Estructura algebraica.

En la matemática, una estructura algebraica es una n-tupla (a1,a2,...,an), donde a1 es un

conjunto dado no vacío, y {a2,...,an} un conjunto de operaciones aplicables a los elementos
de dicho conjunto.

Principales estructuras algebraicas.

Las estructuras algebraicas se clasifican según las propiedades que cumplen las operaciones
sobre el conjunto dado. En estructuras algebraicas más elaboradas, se definen además
varias leyes de composición interna.

• Magma.
• Semigrupo.
• Monoide.
• Grupo.
• Grupo abeliano.
• Anillo.
• Pseudoanillo.
• Cuerpo.
• Módulo.
• Espacio vectorial.
• Álgebra
• Sistema numérico (No confundir con sistema de numeración).

Estructura algebraica.

En la matemática, una estructura algebraica es un conjunto de elementos con unas

propiedades operacionales determinadas; es decir, lo que define a la estructura del conjunto
son las operaciones que se pueden realizar con los elementos de dicho conjunto y las
propiedades matemáticas que dichas operaciones poseen. Un objeto matemático constituido
por un conjunto no vacío y algunas leyes de composición interna definida en él es una
estructura algebraica. Las estructuras algebraicas más importantes son:

Conmutat
Estructura Ley interna Asociatividad Neutro Inverso
ividad
Magma
Semigrupo
Monoide
Monoide
abeliano
Grupo
Grupo
 abeliano

Estructura (A,+,·) (A,+) (A,·)

Semianillo Monoide abeliano Monoide
Anillo Grupo abeliano Semigrupo
Cuerpo Grupo abeliano Grupo

Operación binaria.

Se define como operación binaria un procedimiento entre dos o más variables en base 2 (o
también llamado en módulo 2). Desde el punto de vista de la informática, estas
operaciones, aunque son puramente matemáticas, ocupan un gran rol en el funcionamiento
de la computadora. Esta es la razón por la que se encuentran muchas veces en los
microprocesadores y más específicamente en las ALU (Unidades Aritmético Lógicas).

Operaciones binarias.

En primer lugar introducimos el concepto de operación binaria, tanto interna como externa,
si bien nos centraremos en el primer caso, puesto que el ejemplo más interesante de
operación externa tiene que ver con espacios vectoriales, que se estudiarán con detalle en la
correspondiente asignatura del Plan de Estudios (Álgebra Lineal).
Definición 1.1

i)
Una operación interna ` ' en un conjunto es una aplicación

ii)
Una operación externa ` ' en con operadores en (por la izquierda) es una
aplicación
En lo que sigue supondremos que ` ' es una operación interna en . En ese caso, un

subconjunto se dice que es cerrado con respecto a dicha operación si se verifica

que

Es decir, al hacer operaciones con elementos de no nos salimos del conjunto . Por otra
parte, una operación interna puede cumplir o no (entre otras) las siguientes propiedades:

Asociativa:

, .
Conmutativa:

, .
Elemento Neutro:

, .
Elemento Inverso:

Suponiendo que existe elemento neutro , entonces se dice que un elemento

tiene inverso (u opuesto) si

Distributiva:
Dadas dos operaciones internas ` ' y ` ' en , se dice que ` ' es distributiva
respecto de ` ' si

Otras:
No se verán con mucho detalle, pues tienen que ver principalmente con Retículos y
Álgebras de Boole, que es un tema muy específico de Informática.

Hacemos notar que el elemento neutro, en caso de existir, es único, y lo mismo ocurre con
el elemento inverso de un elemento dado .

Semigrupo.

Un semigrupo es una estructura algebraica de la forma (A,*) donde A es un conjunto donde

se ha definido una ley de composición interna binaria *. Un semigrupo cumple las
siguientes propiedades:

1. Clausura: para cualesquiera dos elementos del semigrupo A operados bajo " * ", el
resultado siempre pertenece al mismo semigrupo A. Es decir,
 . La propiedad de cerradura del semigrupo se expresa
generalmente como .
2. Asociatividad: para cualesquiera elementos del semigrupo no importa el orden en
que se operen las parejas de elementos, mientras no se cambie el orden de los
elementos (ver grupo abeliano), siempre dará el mismo resultado. Es decir,
.

Si además se cumple la conmutatividad, se dice que es un semigrupo es conmutativo o

abeliano.

Un ejemplo de semigrupo conmutativo es el conjunto de los números naturales con la

operación suma.

Monoide.

Un monoide es un magma, es decir, una estructura algebraica (M, * ), donde M es un

conjunto, y * una operación binaria que cumple:

• Es cerrada en M, esto es, el resultado de para cualesquiera

.
• Existe un elemento neutro o identidad, esto es, un elemento e tal que cumple a * e =
e * a = a.
• La operación * es asociativa.

En esencia, un monoide es un semigrupo con elemento neutro. Un monoide abeliano es un

monoide conmutativo.

Ejemplo [editar]

• y son monoides

En la Teoría de categorías

Una categoría monoidal, es una categoría con una operación binaria que convierte a la
categoría en un monoide. Dos ejemplos:

•
1. La categoría de conjuntos con la unión disjunta de conjuntos y el conjunto
vacío como elemento neutro.
2. La categoría de los espacios vectoriales sobre un campo junto con
el producto tensorial de espacios vectoriales y a como el elemento neutro.
3.