Semigrupo

Un ejemplo de semigrupo conmutativo es el conjunto de los números naturales, ${\displaystyle N}$ con la operación suma, +. Que se representa: ${\displaystyle (N,+)\,}$.

${\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:

${\displaystyle \forall a,b\in N\;:\quad a+b\in N}$.

Una operación asociativa:

${\displaystyle \forall a,b,c\in N\;:\quad (a+b)+c=a+(b+c)}$.

Y conmutativa:

${\displaystyle \forall a,b\in N\;:\quad a+b=b+a}$.

Luego ${\displaystyle (N,+)\,}$ es semigrupo conmutativo o abeliano.

Otros ejemplos son los formados por el conjunto ${\displaystyle Z}$⁺ de los enteros positivos junto con una cualquiera de las siguientes operaciones:

• la multiplicación
• la obtención del m.c.d.
• la obtención del m.c.m.

Estos tres son semigrupos abelianos,[1]

• Consideremos el conjunto potencia de A, P(A) = {X/ X⊂ A}; P(A) tanto con la unión cuanto la intersección de conjuntos es un semigrupo con unidad.[2] Unidad para la unión es el conjunto vacío; y en este ejemplo, la unidad para la intersección será el conjunto A.
• Sea ${\displaystyle M_{n}}$ el conjunto de la matrices reales de orden n, con la suma de matrices. En tal caso es un semigrupo conmutativo. Lo mismo, cuando se considera la multiplicación es un semigrupo, pero no es conmutativo.[3]
• Sea ${\displaystyle P_{n}}$ el conjunto de matrices estocásticas con la habitual multiplicación de matrices; si es así es un semigrupo.[4]

• Sea S = {4k+1/ k ∈ ℕ} con la multiplicación habitual de números naturales. Luego S es un semigrupo multiplicativo.

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´.[5]

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.[7]

Un lazo es un cuasi grupo con una unidad 1 tal que 1a = a1 = a para cualquier elemento a.[8]