Semigrupo

Semigrupo Concepto: Estructura algebraica de un conjunto y una operación sobre éste que es cerrada y asociativa.

Semigrupo. En Álgebra dícese de la estructura algebraica conformada por el par <G,*>, tales que G es un conjunto no vacío y * es una operación binaria; entonces se cumple que * es cerrada y asociativa.

En el caso que <G,*> sea semigrupo y la operación sea conmutativa se dice que es un semigrupo conmutativo o abeliano.

Definición.

Sea un conjunto G y la operación binaria * definida como *(x,y)=z, normalmente escrita como x*y=z que satisface los axiomas:

1. Clausura: . * es cerrada.
2. Asociatividad: Para todo x, y, z de G, (x*y)*z=x*(y*z).

Se dice que G con la operación * es un semigrupo.

Nótese que los semigrupos se diferencian de los grupos en que estos son semigrupos que además tienen elemento neutro y por cada elemento del conjunto tienen uno y solo un elemento inverso.

Ejemplos.

1. Todo grupo <G,*> es un semigrupo.
2. Los siguientes son semigrupos representados en forma tabular:

<{a,b},*>	<{a,b,c},@>
@ a b a a b b b a
class="wikitable"	*	a	b	c
a	a	b	c
b	b	c	a
c	c	a	b

|}

Fuentes.

1. Carl B. Allendoerfer, Cletus O. Oakley. Introducción moderna a la matemática superior. Ediciones del Castillo, Madrid. 1967.