Tema 1: Semigrupos 1

Tema 1: Semigrupos

1. Semigrupos: Conceptos fundamentales.

Recordemos que un sistema algebraico es un conjunto S con una o varias opera-

ciones sobre él, siendo una operación ó ley de composición interna una aplicación
de S × S en S. Usualmente, se denotan las operaciones mediante sı́mbolos: ∗, +, etc.
entendiendo que a + b es al imagen del par (a, b) ∈ S × S mediante la operación definida
+ en S.

Ejemplo. (N, +), (Z, −) son ejemplos de sistemas algebraicos con una única opera-
ción.

Como es sabido, las operaciones pueden presentar diversas propiedades. Supongamos

que (S, .) es un sistema algebraico. Entonces, . puede verificar las siguientes propiedades:

(i) Asociativa: ∀a, b, c ∈ S, (a.b).c = a.(b.c).

(ii) Conmutativa: ∀a, b ∈ S, a.b = b.a.

(iii) Existencia de elemento neutro o identidad: ∃e ∈ S tal que ∀a ∈ S, a.e = a = e.a.

(iv) Existencia de elemento opuesto o inverso: ∀a ∈ S, ∃a−1 ∈ S, tal que a.a−1 =

e = a−1 .a, donde e es el elemento nuetro de ..

Un elemento de un monoide se dice que es inversible si tiene elemento inverso.

A veces se suele hablar de elemento neutro a derecha o a izquierda. Ası́, un elemento

d ∈ S se dice que es un elemento neutro a derecha si para todo x ∈ S se cumple
x.d = x y un elemento l ∈ S se dice que es un elemento neutro a izquierda si para
todo x ∈ S se cumple l.x = x. Lo mismo sucede con los elementos inversos: si se cumple
sólo una de las igualdades se dice que es un elemento inverso a derecha o a izquierda.

Definición. Sea (S, .) un sistema algebraico. Se dice que (S, .) es un semigrupo si .

verifica la propiedad asociativa.

Un semigrupo (S, .) se dice que es conmutativo, si . es conmutativa.

Un semigrupo (S, .) se dice que es monoide si . tiene elemento neutro.

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

2 1. Semigrupos: Conceptos fundamentales

Un monoide (S, .) se dice que es un grupo, si . verifica la existencia de elemento

inverso para todo a ∈ S.

Ejemplos.

(1) (N, +) es un semigrupo y (Z, −) no lo es.

(2) (R, ∗), donde a ∗ b = 2a + 2b no es un semigrupo.

(3) (N ∪ {0}, +) es un monoide conmutativo.

(4) (S, ∗), donde s1 ∗ s2 = s1 para todo s1 , s2 ∈ S, es un semigrupo que no tiene elemento
identidad si |S| ≥ 2.

Se dice que un semigrupo (S, .) es finito si el conjunto S es finito.

Para los semigrupos finitos podemos construir la llamada tabla del semigrupo que
viene dada por:

· s1 s2 ... sn
s1 s1 · s1 s1 · s2 . . . s1 · sn
s2 s2 · s1 s2 · s2 . . . s2 · sn
.. .. .. ..
. . . .
sn sn · s1 sn · s2 . . . sn · sn

En el caso de que S sea un monoide finito con |S| ≥ 2 podemos extraer algunas
consecuencias de su tabla: no aparecen dos filas ni dos columnas distintas iguales. Además,
para localizar los posibles elementos neutros bastará con localizar aquellos elementos que
verifiquen s.s = s, esto es los elementos idempotentes y entre éstos examinar si son o no
elementos neutros.

En relación a los elementos idempotentes es fácil demostrar que en un grupo el único

elemento idempotente es el elemento identidad. En cambio, en un semigrupo puede haber
más de un elemento idempotente. Por ejemplo, si consideramos (Z, .) el elemento 0 es
idempotente y no es el elemento identidad en este semigrupo.

Otros elementos interesantes en un sistema algebraico son los elementos cero

Definición. Sea (S, .) un sistema algebraico y s ∈ S. Se dice que s es un elemento

cero a derecha si para todo x ∈ S se verifica x.s = s.

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

 Tema 1: Semigrupos 3

Definición. Sea (S, .) un sistema algebraico y s ∈ S. Se dice que s es un elemento

cero a izquierda si para todo x ∈ S se verifica s.x = s.

Definición. Sea (S, .) un sistema algebraico y s ∈ S. Se dice que s es un elemento

cero si para todo x ∈ S se verifica x.s = s = s.x.

Es inmediato demostrar:

Proposición 1.1. Sea (S, .) un sistema algebraico. Si r ∈ S es un elemento cero a

derecha y l ∈ S es un elemento cero z izquierda, entonces s = l.

Como consecuencia de esta proposición, se tiene:

Corolario 1.2. Sea (S, .) un sistema algebraico. Si existe un elemento cero, entonces
éste es único.

Por otro lado, es evidente que todo elemento cero de un semigrupo es un elemento
idempotente.

Ejemplos.

(1) En el monoide S = {f : R×R → R×R | f es aplicación} con la operación composición

de aplicaciones (f ◦ g es la imagen por la operación del par (f, g))los elementos in-
versibles son las aplicaciones biyectivas. Existen elementos cero a izquierda son las
aplicaciones constantes y tiene elementos idempotentes, como por ejemplo aplicaciones
del tipo f (x, y) = (x, c) donde c es una constante ó f (x, y) = (c, y) ó las aplicaciones
constantes.

(2) Sea S un conjunto no vacı́o. Si B(S) = {M | M ⊆ S}, sabemos que (B(S), ∩) es un

monoide con elemento neutro S y en el que todo elemento es idempotente. Además,
∅ verifica que es un elemento cero.

La siguiente construcción nos permite adjuntar un elemento cero y un elemento iden-

tidad a aquellos semigrupos que no los posean:

Teorema 1.3. Sea (S, .) un semigrupo sin elemento cero y 0 ̸∈ S. En S ′ = S ∪ {0}

definimos la operación ∗ como sigue
{
s∗s =′ s.s′ , si s, s′ ∈ S;
0 si s = 0 ó s′ = 0.

Entonces, 0 es un elemento cero de (S ∪ {0}, ∗).

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

4 2. Subsemigrupos

Teorema 1.4. Sea (S, .) un semigrupo sin elemento identidad y 1 ̸∈ S. En S ′ =

S ∪ {1} definimos la operación ∗ como sigue
{
s.s′ , si s, s′ ∈ S;
′
s∗s = s si s′ = 1
s′ si s = 1.

Entonces, 1 es un elemento identidad de (S ∪ {1}, ∗).

2. Subsemigrupos.

Definición. Sea (S, .) un semigrupo y A ⊆ S. Se dice que A es un subsemigrupo

de S si (A, .|A ) es un semigrupo.

Cuando A sea subsemigrupo de S escribiremos: A ≤ S.

Definición. Sea (S, .) un monoide y A ⊆ S. Se dice que A es un submonoide de S

si (A, .|A ) es un monoide.

Dado un semigrupo (S, .) y A ⊆ S, si denotamos por A2 al conjunto {a.b | a, b ∈ A},

podemos dar una caracterización equivalente del concepto de semigrupo. En efecto,

Proposición 2.1. Sea (S, .) un semigrupo y A ⊆ S. Entonces, A es subsemigrupo de

S si y sólo si A2 ⊆ A.

Ejemplo. (N, +) es un subsemigrupo de (Z, +).

Como se observa en el ejemplo anterior, un subsemigrupo de un monoide no tiene

que ser necesariamente submonoide. Más aún, si A es un submonoide del monoide S,
puede suceder que tenga A y S elementos identidad distintos. Por ejemplo, ({0}, .) es un
submonoide de (Z, .). y el elemento neutro del primero es el 0 y del segundo 1.

Por otro lado, puede suceder que un semigrupo o un monoide tengan subsemigrupos
que sean además grupos. Por ejemplo, en (Z, .) el subsemigrupo ({1, −1}, .) es un grupo.
Al subsemigrupo más grande que sea grupo lo llamaremos grupo de las unidades.

Definición. Sea (S, .) un monoide. Al conjunto GS = {s ∈ S | s es inversible} se le

llama grupo de las unidades de (S, .).

Es inmediato probar que GS es un conjunto no vacı́o y que (GS , .) es un grupo. Cuanto

mayor sea GS más próximo está el monoide S de ser un grupo.

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

 Tema 1: Semigrupos 5

Ejemplo. En el monoide S = {f : R × R → R × R | f es aplicación} con la operación

composición de aplicaciones (f ◦ g es la imagen por la operación del par (f, g)) el grupo de
las unidades GS viene dado por GS = {f : R × R → R × R | f es biyectiva}

Nos ocupamos ahora de estudiar que sucede con la intersección y unión de subsemi-
grupos.

Proposición 2.2. Sea (S, .) un semigrupo. Cualquier intersección de subsemigrupos

no vacı́a es un subsemigrupo.

En cambio, la unión de subsemigrupo no es necesariamente un subsemigrupo. Por

ejemplo, si tomamos el semigrupo (Z, .) y los subsemigrupos S1 = {2n | n ∈ N} y S2 =
{1, −1} resulta que S1 ∪ S2 no es subsemigrupo de (Z, .) ya que −1.2n ̸∈ S1 ∪ S2 .

Por otro lado, si (S, .) es un semigrupo y ∅ ̸= T ⊆ S, podemos considerar todos los

subsemigrupos de S que contengan a T . Entonces, según acabamos de ver, la intersección
de éstos es un subsemigrupo, que además es el más pequeño que contiene a T . A este
subsemigrupo se le llama subsemigrupo generado por T y lo denotaremos por < T >.
Si T = {t1 , . . . , tn } escribiremos < t1 , . . . , tn > en lugar de < {t1 , . . . , tn } > para denotar
el subsemigrupo generado por T .

Es obvio que T es un subsemigrupo de (S, .) si y sólo si T =< T >. Por otro lado,
de la propia definición de < T >, se sigue que T ⊆< T >. Además, si denotamos por
T k = {t1 . . . tk | t1 , . . . tk ∈ T }, siendo k ∈ N, podemos dar una caracterización de < T >:

Proposición 2.3. Sea (S, .) un semigrupo y ∅ =

̸ T ⊆ S. Entonces, < T >= ∪n∈N T n .

Cada semigrupo (S, .) verifica que < S >= S. Además, si T cumple < T >= S (esto
es T genera a S y T ⊆ V ⊆ S, es claro que < V >= S. Entonces, nos intersa buscar los
subconjuntos T que sean lo más pequeños posibles y que generen a S.

Definición. Sea (S, .) un semigrupo. Se dice que S está finitamente generado si

existe T finito tal que T genere a S.

Definición. Sea (S, .) un semigrupo. Se dice que S es cı́clico si existe t ∈ S tal que
< t >= S.

Ejemplos.

(1) El semigrupo (N, +) es un semigrupo cı́clico ya que < 1 >= N.

(2) El semigrupo (N ∪ {0}, +) está finitamente generado ya que < 0, 1 >= N pero no es
cı́clico.

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

6 3. Homomorfismos de semigrupos

(3) El semigrupo (N, .) no es cı́clico ni finitamente generado.

3. Homomorfismos de semigrupos.

Un concepto intersante de analizar son las aplicaciones entre semigrupos que conservan
las operaciones: los homomorfismos de semigrupos.

Definición. Sean (S1 , .) y /S2 , ∗) dos semigrupos y f : S1 → S2 una aplicación entre

ellos. Se dice que f es un homomorfismo entre los semigrupos S1 y S2 si ∀x, y ∈ S1 se
verifica f (x.y) = f (x) ∗ f (y).

Denotaremos por Hom(S1 , S2 ) = {f : S1 → S2 | f es homomorfismo}

Un monomorfismo es un homomorfismo inyectivo. Un epimorfismo es un ho-

momorfismo sobreyectivo. Finalmente, Un isomorfismo es un homomorfismo biyectivo.
Cuando exista un isomorfismo entre los semigrupos S1 y S2 diremos que S1 y S2 son
semigrupos isomorfos y lo denotaresmo por S1 ∼
= S2 .

Ejemplo. La aplicación f : (Z, .) → (N ∪ {0}, .) definida por f (x) = |x| es un

epimorfismo que no es inyectivo.

Los epimorfismos tienen una propiedad interesante con respecto a los elementos cero
e identidad:

Teorema 3.1. Sea f : S1 → S2 un epimorfismo. Entonces,

(i) Si a es un elemento cero de S1 , entonces f (a) es un elemento cero de S2 .

(ii) Si e es un elemento identidad de S1 , entonces f (e) es un elemento identidad de S2 .

Si f es un homomorfismo no sobreyectivo, el teorema anterior no tiene porqué verifi-

carse. Por ejemplo, el homomorfismo f : (N, .) → (Z, .) definido por f (n) = 0 no verifica
que f (1) sea un elemento identidad de (Z, .).

Definición. Sea (S, .) un semigrupo y ≡ una relación de equivalencia sobre S. Se

dice que la relación ≡ es estable con la operación . si se verifica la siguiente condición:
Para todo a, a′ , b, b′ ∈ S tales que a ≡ a′ y b ≡ b′ , se tiene a.b ≡ a′ .b′ .

Para las relaciones de equivalencia estables, podemos definir en el conjunto cociente

una nueva operación [a].[b] = [a.b]. Con esta operación, dotamos al conjunto cociente de
la estructura de semigrupo. Es fácil demostrar:

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

 Tema 1: Semigrupos 7

Teorema 3.2. Sea (S, .) un semigrupo y ≡ una relación de equivalencia estable con la
operación . . Entonces, (S/ ≡, .) es un semigrupo llamado semigrupo cociente de (S, .)
sobre ≡. Además, la aplicación f : S → S/ ≡, definida por f (a) = [a] es un epimorfismo
de semigrupos llamado epimorfismo canónico.

Por otro lado, a partir de un epimorfismo de semigrupos podemos definir una relación
de equivalencia estable:

Teorema 3.3. Sea f : S → S ′ un epimorfismo de semigrupos y sea ≡ la relación

definida en S mediante ∀s1 , s2 ∈ S, s1 ≡ s2 si y solo si f (s1 ) = f (s2 ). Entonces,

(i) ≡ es una relación de equivalencia sobre S.

(ii) La relación ≡ es estable con la operación definida en S.

(iii) (S/ ≡, .) es isomorfo a (S ′ , .′ ).

Observación. Si en el enunciado del teorema anterior eliminamos la condición de

sobreyectividad en el homomorfismo f , se verificarı́a (i) e (ii), pero no (iii).

Según el teorema 1.4, podemos construir un monoide a partir de un semigrupo no

monoide cuya operación restringida al semigrupo coincida con la del semigrupo. Esto nos
permite demostrar una generalización del Teorema de Cayley que pone de manifiesto la
importancia de los grupos (N N , ◦), donde N N = {f : N → N | f es aplicación}:

Teorema 3.4. Para cualquier semigrupo (S, .), existe un monoide N y un monomor-
fismo ψ : S → N N .

Demostración. Si S es un monoide, tomamos N = S. En otro caso, por el teorema

1.4, construimos el monoide N = S ∪ {1}. Para cada s ∈ S, definimos fs : N → N ,
mediante fs (x) = s.x. Entonces, la aplicación ψ : S → N N dada por ψ(s) = fs es un
monomorfismo.

Observación. El hecho de ser N un monoide es fundamental para probar la inyec-

tividad de la aplicación ψ construida.

4. Producto directo de semigrupos.

Sean (S1 , .1 ) y (S2 , .2 ) dos semigrupos. En el conjunto S1 ×S2 = {(s1 , s2 ) | si ∈ Si , i =

1, 2} definimos la operación ∗ (s1 , s2 )∗(s′1 , s′2 ) = (s1 .1 s′1 , s2 .2 s′2 ). Es fácil demostrar que con
la operación anterior dotamos a S1 × S2 de la estructura de semigrupo, al que llamaremos

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

8 5. Semigrupo libre de palabras

producto directo de (S1 , .1 ) y (S2 , .2 ). De forma análoga, se define el producto directo

de un número finito de semigrupos.

Ejemplo. Si tomamos (Z, +) y (N, .) podemos definir en Z × N la operación ∗ (z, n) ∗

(z , n′ ) = (z + z ′ , n.n′ ).
′

Cuando tenemos un producto directo de un ∏nnúmero finito de semigrupos , aparecen

unas aplicaciones llamadas proyecciones πi : j=1 Sj → Si definida por πi (s1 , . . . , sn ) =
si . Es fácil comprobar que estas aplicaciones son, en realidad, epimorfismos de semigrupos.

5. Semigrupo libre de palabras.

Analizamos en este párrafo un tipo especial de semigrupos: los llamados semigrupos

libres.

Definición. Sea (F, .) un semigrupo y ∅ ̸= B ⊆ F . Se dice que F es semigrupo

libre sobre B, si cada aplicación f : B → S, donde S es un semigrupo arbitrario, se puede
extenser de forma única a un homomorfismo h : F → S, es decir,
∀S semigrupo y ∀f : B → S aplicación, ∃!h ∈ Hom(F, S), tal que h|B = f.

Cuando F es un semigrupo libre sobre B, se suele decir que B es base de F .

En relación a este concepto, aparecen de forma inmediata diversas cuestiones, como

por ejemplo, si todo semigrupo es semigrupo libre para alguna base B, o si dos bases de
un mismo semigrupo libre deben tener el mismo cardinal. Con los siguientes resultados,
vamos a ver que la respuesta a la primera cuestión es negativa y a la segunda afirmativa.

Teorema 5.1. Sea F un semigrupo libre con base B. Entonces, < B >= F .

Observación. El teorema anterior nos indica que el semigrupo libre con base B
coincide con el semigrupo generado por B.

Otra cuestión que surge de manera inmediata es si dado cualquier subconjunto B

podemos construir un semigrupo libre con base B.

Teorema 5.2. Sea B un subconjunto no vacı́o. Entonces, existe F semigrupo libre

con base B.

Observación. El teorema anterior ha permitido describir cómo son los elementos

y cómo operar en el semigrupo libre con base B. A esta operación se le suele llamar
concatenación.

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

 Tema 1: Semigrupos 9

A continuación justificamos por qué hemos indicado “el” semigrupo libre y no “un”
semigrupo libre.

Teorema 5.3. Sean F y F ′ dos semigrupos libre de bases B y B ′ , respectivamente.

Entonces, F y F ′ son isomorfos si y solo si |B| = |B ′ |.

Como consecuencia del teorema anterior, tenemos los siguientes corolarios:

Corolario 5.4. Dado un conjunto B no vacı́o, el semigrupo libre con base B es único,
salvo isomorfismos.

Corolario 5.5. Si B y B ′ son dos bases para el semigrupo libre F , entonces |B| = |B ′ |.

En lo que sigue, denotaremos por FB el semigrupo libre con base B y a veces escribire-
mos Fβ para denotar el semigrupo libre con base un conjunto B con β elementos. A sus
elementos se les suele llamar palabras sobre el alfabeto B. Si además consideramos Λ la
palabra vacı́a, denotaremos por ΩB a FB ∪ {Λ}.

Hasta ahora los resultados vistos nos han permitido describir como es el semigrupo
libre con base B. De esta descripción, podemos deducir que FB es infinito, luego no
existen semigrupos libres de cardinal finito. Por otro lado, si |B| = 1, sabemos que
FB = {b, b2 , b3 , . . .} y es posible establecer un isomorfismo entre FB y el semigrupo (N, +)
(basta considerar h : FB → N definida por h(bk ) = k). En particular, FB será conmutativo
cuando |B| = 1. En cambio, si |B| ≥ 2, como b1 b2 ̸= b2 b1 si b1 ̸= b2 , podemos deducir que
FB no es conmutativo.

Otra de las caracterı́sticas de los semigrupos libres es que cualquier semigrupo es la

imagen homomorfa de un semigrupo libre, tal y como lo indica el siguiente resultado:

Teorema 5.6. Sea S un semigrupo con sistema generador E y F el semigrupo libre

con base E. Entonces, existe un epimorfismo h : FE → S.

Por otro lado, los semigrupos libres nos sirven para describir los semigrupos en térmi-
nos de generadores y relaciones:

Definición. Sea S un semigrupo generado por un conjunto X y ≡ una relación de

equivalencia definida sobre FX tal que S ∼
= FX / ≡. Entonces, al par (X, R) se le llama
presentación de S y a los elementos de R relaciones definitorias de S.

Ejemplo. Consideremos el semigrupo (Z4 , .). Sea X = {2, 3} y x1 = 2 y x2 = 3.

Definimos la relación de equivalencia que se deduce de las siguientes igualdades: x32 = x2 ,
x1 x2 = x2 x1 , x2 x1 = x1 , x21 = x31 . Entonces, las clases de equivalencia vendrán dadas por

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez

10 5. Semigrupo libre de palabras

a0 = [x21 ], a1 = [x22 ], a3 = [x1 ] y a4 = [x2 ]. Entonces, si definimos en FX / ≡ la operación:

[y] ∗ [z] = [yz], tenemos la siguiente tabla:

· a0 a1 a2 a3
a0 a0 a0 a0 a0
a1 a0 a1 a2 a2
a2 a0 a2 a0 a2
a3 a0 a3 a2 a1

Al comparar la tabla anterior con la que se obtiene para (Z4 , .), observamos que se
puede establecer un isomorfismo ψ entre (Z4 , .) y (FX / ≡, ∗), dado por ψ(i) = ai .

Para finalizar este apartado, señalamos que se puede realizar una construcción análoga
de monoides libres: basta reemplazar “semigrupo” por “monoide” en la definición de
semigrupo libre. Además, empleando los mismos razonamientos, se puede demostrar que,
salvo isomorfismos, existe un único monoide libre con base B, siendo B un conjunto no
vacı́o y que cualquier monoide es imagen homomorfa de un monoide libre.

Proyecto OCW de la UPV/EHU. [Link]ı́a y T. Ramı́rez