Un semigrupo es un sistema algebraico de la forma ( A , ⊚ ) {\displaystyle (A,\circledcirc )} en la cual A es un conjunto no vacío, ⊚ {\displaystyle \circledcirc } es una operación interna definida en A:
⊚ : A × A ⟶ A ( a , b ) ⟼ c = a ⊚ b {\displaystyle {\begin{array}{rccl}\circledcirc :&A\times A&\longrightarrow &A\\&(a,b)&\longmapsto &c=a\circledcirc b\end{array}}}Un semigrupo cumple las dos siguientes propiedades:
|
En otras palabras, un semigrupo es un magma asociativo. Si además se cumple la propiedad conmutativa:
Conmutatividad: un conjunto A tiene la propiedad conmutativa respecto a la operación interna ⊚ {\displaystyle \circledcirc } si: ∀ a , b ∈ A : a ⊚ b = b ⊚ a {\displaystyle \forall a,b\in A\;:\quad a\circledcirc b=b\circledcirc a} |
se dice que es un semigrupo conmutativo o abeliano.
Un ejemplo de semigrupo conmutativo es el conjunto de los números naturales, N {\displaystyle N} con la operación suma, +. Que se representa: ( N , + ) {\displaystyle (N,+)\,} .
+ : N × N ⟶ N ( a , b ) ⟼ c = a + b {\displaystyle {\begin{array}{rccl}+:&N\times N&\longrightarrow &N\\&(a,b)&\longmapsto &c=a+b\end{array}}}Podemos ver que '+' es:
Una operación interna, dado que la suma de dos números naturales es otro número natural:
∀ a , b ∈ N : a + b ∈ N {\displaystyle \forall a,b\in N\;:\quad a+b\in N} .Una operación asociativa:
∀ a , b , c ∈ N : ( a + b ) + c = a + ( b + c ) {\displaystyle \forall a,b,c\in N\;:\quad (a+b)+c=a+(b+c)} .Y conmutativa:
∀ a , b ∈ N : a + b = b + a {\displaystyle \forall a,b\in N\;:\quad a+b=b+a} .Luego ( N , + ) {\displaystyle (N,+)\,} es semigrupo conmutativo o abeliano.
Otros ejemplos son los formados por el conjunto Z {\displaystyle Z} + de los enteros positivos junto con una cualquiera de las siguientes operaciones:
Estos tres son semigrupos abelianos,
Considerando S´ ⊂ S donde S es un semigrupo con la operación º, diremos que S´ es un subsemigrupo si xºy está en S´ para cualquier x, y elementos de S´.
Un cuasi grupo Q es un sistema de elementos Q(a,b,c,...) en el cual está definida una operación binaria de producto ab tal que, en ab = c cualquiera de los dos de a, b, c determina, de modo único, el tercero como elemento de Q.
Un grupo es a la vez un semigrupo y un cuasi grupo.
Un lazo es un cuasi grupo con una unidad 1 tal que 1a = a1 = a para cualquier elemento a.
|