Estructura de los PLARI-Semigrupos

Sebastián Perdomo Leiva

Universidad Distrital Francisco José de Caldas

Facultad de Ciencias y Educación, Proyecto Curricular de Matemáticas
Bogotá, Colombia
2017
Estructura de los PLARI-Semigrupos

Sebastián Perdomo Leiva

Trabajo de grado presentado como requisito parcial para optar al tı́tulo de:
Matemático

Directora:
Magister Verónica Cifuentes Vargas

Lı́nea de Investigación:
Álgebra, Teorı́a de Semigrupos
Grupo de Investigación:
ITENUA

Universidad Distrital Francisco José de Caldas

Facultad de Ciencias y Educación, Proyecto Curricular de Matemáticas
Bogotá, Colombia
2017
Dedicado a mis padres y hermanos.
Agradecimientos
Quisiera resaltar a un conjunto de personas que mas que un apoyo fueron quienes vie-
ron en mi una persona dispuesta a salir adelante ante cualquier adversidad y que siempre
estuvieron dispuestas a enseñarme lo capaz que era de luchar por mis sueños. Primero ante
todo mi madre Lenney que siempre me dio ese aliento para enfrentar la intensidad y el rigor
del dı́a a dı́a en las matemáticas. A mis hermanos Juan Manuel, Maria Fernanda y Ángela
Lucia quienes han sido mis amigos y compañeros en el transcurso de mi vida. De ellos he
aprendido un montón de cosas, sobre todo a no darme por vencido y a ser disciplinado. A mi
padre Fernando que siempre me ha abierto la mente, enseñandome la verdadera riqueza que
se encuentra en el estudio y el aprendizaje. Me ha hecho entender el valor de los momentos
en familia. También le agradezco a la profesora Verónica Cifuentes haberme acompañado y
enseñado desde que empecé a incursionar el álgebra le agradezco el tenerme paciencia y el
vincularme con grandez especialistas en el campo como Adolfo Ballester y Enric Cosme. Le
agradezco a los miembros del grupo ITENUA En el aprendı́ a encontrar las herramientas
para encontrar mi enfoque.
 ix

Resumen
En el siguiente trabajo se muestra en detalle el teorema de la estructura de los PLARI-
semigrupos vistos en [10]. Antes de llegar a la demostración, se veran algunos conceptos
básicos en una teorı́a enriquecedora que busca relacionar de manera equivalente la manera
de ver los semigrupos de matrices matriciales de Rees en bloques con la forma de ver las Ex-
tensiones de Relaciones de Green. Ası́ es como quiere dar un manejo más moderno a un tipo
de semigrupos de matriz Rees bloqueados usando los métodos innovadores de Extensiones
de Relaciones Verdes.

Palabras clave: (Semigrupos inversos, Extenciones de las Relaciones de Green, Se-

migrupos de Matrices de Rees en Bloques.).

Abstract
In the following work the structure theorem of the PLARI semigroups seen in [10]. Be-
fore arriving at the demonstration, we will show some basic concepts in an enriching theory
that seeks to relate equivalently the way to see Rees matrix matrices in blocks with the way
to see the Green Relations Extensions. This is how you want to give a more modern handling
to a type of blocked Rees matrix semigroups using the innovative methods of Extensions of
Green Relationships.

Keywords: (Inverse Semigroups, Extensions of Green Relations, Blocked Rees Ma-

trix Semigroups.)
Contenido
Agradecimientos VII

Resumen IX

1 Preliminares 2
1.1 Nociones básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Relaciones de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Semigrupos Inversos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Matrices de Rees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2 Los PLARI- semigrupos 18

2.1 S-sistemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2 Extensiones de las Relaciones de Green . . . . . . . . . . . . . . . . . . . . . 21
2.3 Semigrupos de Matrices de Rees en Bloques . . . . . . . . . . . . . . . . . . 28

Bibliografı́a 37
1 Preliminares

1.1. Nociones básicas

Si R es una relación en un conjunto E, dos elementos x y y de E estan relacionados por R
si (x, y) ∈ R, lo cual es denotado como xRy.
Una relación R es reflexiva si, para cada x ∈ E, xRx, simétrica si, para cada x, y ∈ E, xRy
implique yRx, antisimétrica si, para cada x, y ∈ E, xRy y yRx implique x = y y transitiva
si, para cada x, y, z ∈ E, xRy y yRz implica xRz.

Definición 1.1.1. (Preorden) Una relacion es un preorden si esta es reflexiva y transitiva,

un orden (o orden parcial) si esta es reflexiva, transitiva y antisimétrica y una relacion de
Equivalencia (o una equivalencia) si esta es reflexiva, transitiva y simétrica.

Es conocido que una relación de equivalencia genera una partición del conjunto y además se
puede definir un orden ≤ en el conjunto de las relaciónes por contenencias.
A continuación se dará un ejemplo comúnmente usado pero aquı́ se mostrará de una forma
general para conjuntos cualquiera sin estructura definida.

Ejemplo 1.1.1. Dados X, Y conjuntos no vacı́os con ϕ : X → Y una función . La relación

kerϕ = {(x, x0 ) ∈ X × X|ϕ(x) = ϕ(x0 )} es reflexiva ya que φ(x) = φ(x) por lo tanto
(x, x) ∈ kerφ. Es simétrica ya que sı́ φ(x) = φ(y) entonces φ(y) = φ(x) y es transitiva ya
que sı́ φ(x) = φ(y) y φ(y) = φ(z) entonces φ(x) = φ(z). Por lo tanto kerφ es una relación de
equivalencia en X la cual es llamada la equivalencia Kernel o el kernel de ϕ.

Definición 1.1.2. Sea S un conjunto no vacı́o con una operación interna (S, ·). Se dirá que
S es semigrupo si la operación interna es asociativa.

Definición 1.1.3. A menudo se trabajará con un tipo especial de semigrupos estos se

denominan los semigrupos monoides denotado por S 1 son los semigrupos en los que existe
1 tal que a · 1 = 1 · a = a para todo a ∈ S 1 .

Si S es un semigrupo, entonces se denota S 1 := S ∪ {1} donde 1 es un nuevo elemento

identidad si S no tiene elemento identidad o 1 es el elemento identidad en S. Normalmente, se
considera una notación multiplicativa; es decir, denotará la actuación de · entre dos elementos
s, t ∈ S, de la siguiente manera: st = s · t. Ası́, se usará la potencia para indicar la iteración.
1.1 Nociones básicas 3

Ejemplo 1.1.2. El conjunto N+ de los enteros positivos es un semigrupo conmutativo con

la adición usual de enteros. Este también es un semigrupo conmutativo con la multiplicación
usual de enteros.

Ejemplo 1.1.3. Sea n un entero positivo. Sea Bn el conjunto de todas las matrices de
tamaño n × n con entradas unos y ceros tal que una sea con todas sus entradas ceros y las
demás con una única entrada 1 equipada con la multiplicación usual de matrices, Bn es un
semigrupo. Por ejemplo,
           
1 0 0 1 0 0 0 0 0 0
B2 = , , , ,
0 0 0 0 1 0 0 1 0 0
Este semigrupo es comunmente llamado el ejemplo de Conteo universal ya que este es de
prueba para cualquier Ejemplo de Conteo [9] en teorı́a de semigrupos. Poniendo
   
0 1 0 0
a= yb=
0 0 1 0
se obtiene
     
1 0 0 0 0 0
ab = , ba = y0= .
0 0 0 1 0 0
Ası́ B2 = {a, b, ab, ba, 0}. Ademas, la relaciónes aa = bb = 0, aba = a y bab = b definen la
multiplicación en B2

Ejemplo 1.1.4. El conjunto U1 = {1, 0} definido por esta tabla de multiplicación, (1 ∗ 1 = 1

y 0 ∗ 1 = 0 ∗ 0 = 1 ∗ 0 = 0) es un monoide
Mas generalmente, para cada entero no negativo n, el monoide Un es definido en el conjunto
{1, a1 , . . . , an } por la operación ai aj = aj para cada i, j ∈ {1, . . . , n} y 1ai = ai 1 = ai para
1 ≤ i ≤ n.

A continuación se caracterizan algunos semigrupos que tienen subestructuras o elementos

particulares que serán útiles para algunas construcciones de estructuras más complejas.

Definición 1.1.4. Un subconjunto de un semigrupo que es cerrado bajo la operación del

semigrupo se denomina un subsemigrupo.

Si X ⊆ S es un subconjunto no vacı́o de S, se denotará por hXi al menor subsemigrupo de

S que contiene a X.

Definición 1.1.5. Un semigrupo S es llamado semigrupo cancelativo a izquierda, (derecha)

si para todo a, b, c ∈ S, ca = cb implica a = b y (ac = bc implica a = b).

Definición 1.1.6. (Elementos especiales). Sea S un semigrupo. Se dirá que:

e ∈ S es idempotente, si e2 = e.
 4 1 Preliminares

1 ∈ S es la identidad, si 1s = s1 = s, para todo s ∈ S.

0 ∈ S es un cero, si 0s = s0 = 0, para todo s ∈ S.

Observación 1.1.1. Claramente la existencia de identidad o cero implica su correspondiente

unicidad.

Para lo que sigue, en este trabajo se empleará la siguiente notación. Si S es un semigrupo,

E(S) = {e ∈ S : e2 = e}(el conjunto de idempotentes de S) y TE(S) = hE(S)i

Definición 1.1.7. Un elemento s de un semigurpo S es de orden finito si existe un n ∈ N

tal que sn = e con e idempotente.

Definición 1.1.8. Si X, Y ⊆ S son subconjuntos de S, se define el producto de X y Y por

XY := {xy : x ∈ X, y ∈ Y }.

Observación 1.1.2. Sea e idempotente de S 1 , el conjunto eSe = {ese ∈ S : s ∈ S} es un

monoide cuya identidad es e ya que si x ∈ eSe existe un s ∈ S tal que x = ese y por lo
tanto se tiene, ex = xe = x, y de igual forma para y ∈ eSe ey = ye = y y por lo tanto
exy = xye = xy, es decir xy ∈ eSe. eSe es el mayor monoide en S que tiene ”e” como
identidad. Se define Se = {s ∈ eSe : ∃s0 ∈ S, s0 s = ss0 = e}. Se es el mayor grupo contenido
en S y que tiene e como elemento identidad.

Definición 1.1.9. Un morfismo de semigrupos es una aplicación ϕ de un semigrupo S a un

semigrupo cualquiera T tal que para cualquier s1 , s2 ∈ S, ϕ(s1 s2 ) = ϕ(s1 )ϕ(s2 ). Similarmente
un morf ismo de monoides es una aplicación ϕ de un monoide S en un monoide T que
satisface además ϕ(1) = 1.

Similar a lo visto en [9] un morfismo ϕ es monomorfismo si ϕ es inyectivo, es epimorfismo si

es sobreyectivo y es isomomorfismos si es biyectivo. Para denotar si S y T son isomorfos, Se
usará la notación S ' T .

Definición 1.1.10. (Definición Congruencias) sea ρ ⊆ S ×S una relación de equivalencia en

un semigrupo S 1 . Se dice que ρ es una congruencia a derecha(izquierda) si para a, b, u ∈ S,
a ≡ b implica au ≡ bu.(para a, b, u ∈ S, a ≡ b implica ua ≡ ub ). Se puede ver que una
relación es de congruencia si y sólo si es una relación estable, es decir que es de congruencia
si y sólo si sρt y uρv implica (su)ρ(tv), para s, t, u, v ∈ S.

Si ρ es una congruencia en S se define la multiplicación en S/ρ por [s]ρ [t]ρ = [st]ρ para
s, t ∈ S. Entonces S/ρ se convierte en un semigrupo el cual es llamado el ”semigrupo
f actor”
1.2 Relaciones de Green 5

1.2. Relaciones de Green

Las relaciones de Green son cinco relaciones de equivalencia que describen los elementos de
un semigrupo por los ideales principales que genera. Su nombre es debido a James Alexander
Green, quien las presentó en su tesis PhD llamada Abstract algebra and semigroups, publi-
cada en 1951. Las relaciones son fundamentales para entender una estructura de semigrupo
tal como lo mencionó John Howie [6], estas relaciones son ”tan omnipresente que cuando
nos encontramos con un nuevo semigrupo, casi la siempre la primera pregunta que se hace
es ¿como son sus relaciones de Green? Por supuesto, las Relaciones también existen en un
grupo, pero no no aportan mucho ya que la multiplicación siempre es invertible en un grupo.
Se usará la notación de de ideal a izquierda(derecha) cuando el semigrupo actua sobre el
conjunto a izquierda(derecha) y no cuando el conjuto actua a izquierda(derecha) sobre el
semigrupo esta notación es muy usada en [5] y [1].

Definición 1.2.1. Sea S un semigrupo e I ⊆ S conjunto de S. Entonces:

Si SI = I, se dirá que I es un ideal a derecha de S.

IS = I, se dirá que I es un ideal a izquierda de S.

Si SIS = I, se dirá que I es un ideal de S.

Definición 1.2.2. Un ideal I de un semigrupo S es un ideal principal a derecha si para algún

s ∈ S, I = s ∪ sS; análogamente I es un ideal a izquierda si para algún s ∈ S I = s ∪ Ss.

Definición 1.2.3. (Preorden de Green). Sea S un semigrupo y s, t ∈ S.Se definen los

siguientes preordenes de Green:

s ≤R t si, y solo si sS 1 ⊆ tS 1

s ≤L t si, y solo si S 1 s ⊆ S 1 t

s ≤J t si, y solo si S 1 sS 1 ⊆ S 1 tS 1

s ≤H t si, y solo si s ≤R t y s ≤L t

Observación 1.2.1. Cada relación es un preorden (es ref lexiva y transitiva también llamado
un quasiorden). Para todos los cuatro preordenes de Green a ≤ b se tiene en caso de que a
sea multiplo de b. Si S tiene elemento cero y elemento identidad, entonces 0 ≤ x ≤ 1 para
todo x ∈ S bajo los cuatro preordenes.

Definición 1.2.4. (Relaciones de Green). Sea S un semigrupo y s, t ∈ S. las relaciones de

equivalencia de Green, R, L, H y J se definen por:

sRt si, y solo si sS 1 = tS 1 .

 6 1 Preliminares

sLt si, y solo si S 1 s = S 1 t.

sJ t si, y solo si S 1 sS 1 = S 1 tS 1 .

sHt si, y solo si sRt y sLt.

Se denotará por Ks a la K clase (con K = R, L, J ) de un elemento s ∈ S.

Proposición 1.2.1. Sea S un semigrupo.

(1) Si e un idempotente de S entonces s ≤R e si y solo si es = s y s ≤L e si y solo si

se = s.

(2) Si s ≤R sxy, entonces sRsxRsxy. Si s ≤L yxs, entonces sLxsLyxs.

Demostración. Se mostrará la prueba de solamente la primera parte de cada apartado, ya

que la otra parte es dual.

(1) Si s ≤R e, entonces s = eu para algún u ∈ S 1 . Esto se sigue que es = e(eu) = (ee)u =

eu = s. Inversamente, si es = s, entonces s ≤R e por definición.

(2) Si s ≤R sxy, entonces s ≤R sxy ≤R sx ≤R s, de donde sRsxRsxy.

La primera parte de la proposición 1.2.1 se puede extender al preorden ≤H .

Corolario 1.2.1. Sean S un semigrupo y s ∈ S y e un idempotente de S. Entonces s ≤H e

si y solo si es = s = se.

Observación 1.2.2. La restricción del preorden ≤H a E(S) es un orden, llamado el orden

natural y es denotado por ≤ .

Corolario 1.2.2. Dado S un semigrupo y e, f idempotentes de S. Las siguientes condiciones

son equivalentes:

(1) e ≤ f,

(2) ef = e = f e,

(3) f ef = e,

Demostración. Para ver la que (1) =⇒ (2) si e ≤ f entonces usando el corolario 1.2.1
se obtiene ef = e = f e. Para ver que (2) =⇒ (3) si ef = e = f e se puede ver que
f ef = f f e = f e = e. Para mostrar que (3) =⇒ (1) se usa el hecho de que e es multiplo de
f y por lo visto en la observación 1.2.1. se llega a que e ≤ f.
1.2 Relaciones de Green 7

Ejemplo 1.2.1. Sea S un semigrupo generado por 4 idempotentes, e, f, g, h, como se muestra

a continuación. Cuando todos lo elementos de un semigrupos por idempotentes al semigrupo
se le suele llamar una banda.

Note que las L-clases son las siguientes (corresponden a aquellas columnas con los mis-

e f g h
e e e g g
f f f h h
g e e g g
h f f h h

mos elementos):

[e] = {e, f } [g] = {g, h}

Por otro lado, las R−clases son las siguientes (corresponden a aquellas filas que tienen los
mismos elementos):

[e] = {e, g} [f ] = {f, h}

Ası́, las H−clases, que son la interseccion de las anteriores es:

[e] = {e} [f ] = {f } [g] = {g} [h] = {h}

Por ultimo, observando la tabla se puede ver que solo se tiene una J −clase:

S 1 xS 1 = S ∀x ∈ S.

Ası́, se vé que en general cada relación de equivalencia es diferente.

Proposición 1.2.2. En un semigrupo S, las relaciones ≤L i ≤R conmmutan, consecuente-

mente lo hacen RiL.

Demostración. Sea x, y ∈ S tales que x (≤R ◦ ≤L ) y.

Supóngase que x ≤R z y z ≤L y, entonces,
x = zv, z = uy ⇒ x = uyv ≤L yv ≤R y.
Por tanto, x (≤R ◦ ≤L ) y.
Ası́, se tiene que (≤R ◦ ≤L ) ⊆ (≤L ◦ ≤R ) y análogamente se tiene para la otra inclusión.
Por tanto, ≤L i ≤R conmutan (y consecuentemente, R y L tambien conmutan).
 8 1 Preliminares

Definición 1.2.5. Sea S un semigrupo. Se dice que s, t ∈ S estan D-relacionados si s(R ◦

L)t = s(L ◦ R)t

Observación 1.2.3. Definiendo D como anteriormente. Entonces D es reflexiva, simétrica (ya

que L y R conmutan) y transitiva, ya que aDbDc implica aLxRbLyRc para algunos x, y ∈ S,
aLxLzRyRc para algunos z ∈ S, y aDc. Por lo tanto D es relación de equivalencia.

Corolario 1.2.3. Dadas las relaciones de Green en un semigrupo S

H = R ∩ L ⊆ L, R ⊆ D ⊆ J

Demostración. Para probar que H ⊂ D, se verá que si xHy entonces xRy y xLy. Luego
existen s, t, u, v tales que x = sy, y = ux y x = yv, y = xt de donde
x = syRstLxt = y
y de igual forma,
x = yvLuvRux = y,
Por lo tanto xDy.
Para ver que D ∈ J , si sRzLt; entonces:
s = zu, z = vt ⇒ s = vtu
y análogamente, t = u0 sv 0 , por tanto S 1 sS 1 = S 1 tS 1 .

Observación 1.2.4. Si S es finito D = J .

Debido a que no hay un preorden en D. S/D no es un conjunto parcialmente ordenado.

En particular, cada D−clase es una unión de L−clases, y una unión de R−clases. Además,
la definición de D muestra que una L−clase y una R−clase se intersectan si y solo si ellas
estan contenidas en alguna D−clase. Esta relación entre L, R, y D puede ser visualizada
como en [5] por la imagen caja de huevos de una D−clase

···
···
.. .. .. ..
. . . .

En el que la caja de imágenes de una D−clase D, las filas de la imagen son las R−clases
contenidas en D, las columnas de la imagen son las L−clases contenidas en D, y las celdas
de la imagen son las H−clases contenidas en D. Esta representación se puede generalizar a
J − clases como se ve en la figura 1-1

Ejemplo 1.2.2. En general, si S no es finito, no se tiene la igualdad de la Observación 1.2.4

ya que por ejemplo al considerar el semigrupo infinito:
1.2 Relaciones de Green 9

Figura 1-1: Representación de las relaciones de Green

   
a 0 +
S= : a, b ∈ Q
b 1

con la multiplicación usual de matrices se puede ver que en primer lugar, las R, L−clases se
reducen a un único elemento. En efecto sea:
   
a 0 c 0
A= ,C =
b 1 d 1

tales que existe:

 
p 0
,
q 1

de manera que:
      
p 0 a 0 pa 0 c 0
= = .
q 1 b 1 qa + b 1 d 1

Entonces, se infiere que p = ca−1 y q = (d − b)a−1 ; con lo que queda, d > b.

Ası́, se concluye que C ≤L A, se ha de cumplir que d > b y análogamente, si A ≤L C, se
ha de cumplir que b > d, con lo que no es posible tener estos dos requisitos; por tanto, no
pueden estar L−relacionados A y C. Con un razonamiento similar, se concluye que A y C
no estan R − relacionados y por tanto, se concluye lo siguiente:

∀A ∈ S, [A]R = [A]L = {A}

 10 1 Preliminares

Ası́, la matriz que se obtiene para H = R ∩ L y para D = R ◦ L es [A]H = [A]D = {A}.

No obstante, se puede ver que sólo tiene una J −clase igual a todo S; es decir,

∀A ∈ S, S 1 AS 1 .

Sean:
   
a 0 c 0
A= ,C = .
b 1 d 1

Entonces, se puede escribir:

       
a 0 l 0 c 0 r 0 lrc 0
= = .
b 1 1 1 d 1 s 1 r(c + d) + s 1

En S es tal que b − s > 0 ya que si r = (b − s)(c + d)−1 , r debe ser pertenecer a Q+ por la
forma en como está definido S. Ademas c, d ∈ Q+ por tanto (c + d) ∈ Q+ . Si l = a(cr)−1 se
vé efectivamente que todos los elementos de S estan J −relacionados. Ası́, se ha probado un
ejemplo de un semigrupo S no finito, en donde D y J no coinciden.

A continuación se mostrará que la multiplicación por un elemento adecuado induce a una

biyección entre R, L, y H−clases. Esta es la principal propiedad de las relaciones de Green.

Lema 1.2.1. (Lema de Green) Sea S un semigrupo. Entonces:

1 Si sLt y u, v ∈ S 1 tal que us = t, vt = s existen las aplicaciones

ϕ : Rs −→ Rt , ψ : Rt −→ Rs

Definidas por ϕ(x) = ux y ψ(y) = vy, que son biyecciones una inversa de la otra.
Además, si x, x0 ∈ Rs y xHx0 entonces ϕ(x)Hϕ(x0 ).

2 Si sRt y u, v ∈ S 1 tal que su = t, tv = s. existen las aplicaciones

ϕ : Ls −→ Lt ψ : Lt −→ Ls

Definidas por ϕ(x) = xu y ψ(y) = yv, que son biyecciones una inversa de la otra.
Ademas, si x, x0 ∈ Ls y xHx0 se puede obtener ϕ(x)Hϕ(x0 ).

3 Si sLrRt y u, v, w, z ∈ S 1 son tales que us = r, vr = s, rw = t y tz = r, existen las

aplicaciones

ϕ : Hs −→ Ht ψ : Ht −→ Hs

definida por ϕ(x) = uxw y ψ(y) = vyz, que son biyecciones una inversa de la otra.
1.2 Relaciones de Green 11

Demostración. Se probará solo 1, ya que 2 es dual y 3 se sigue directamente de 1 y 2.

Sea x ∈ Rs . Claramente, se tiene que uxS = usS (ya que ambos x y s pertenecen a misma
R − clase que a la vez es una relación de congruencia) es decir, uxRus = t; Por tanto;
ϕ(x) = ux ∈ Rt esta bien definida. Similarmente, ψ esta bien definida.

Para este caso, se puede ver que ψ ◦ ϕ = 1Rs , ya que si x ∈ Rs entonces x = sz para
algun z ∈ S 1 ; ası́ (ψ ◦ ϕ)(x) = ψ(ux) = vux = vusz = vtz = sz = x. Para el otro caso,
análogamente se puede tener que ϕ ◦ ψ = 1Rt . Quedando probada la parte de las biyecciones.

Ahora, supongase que x, x0 ∈ Rs y xHx0 . Entonces, existen z, z 0 ∈ S 1 tales que zx = x0 y

z 0 x0 = x (ya que en particular, estan L − relacionados ). De donde se obtiene
(uzv)ux = uz(ψ ◦ ϕ)(x) = uzx = ux0 Igualmente (uz 0 v)ux0 = uz 0 (ψ ◦ ϕ)(x0 ) = uz 0 x0 = ux.
Por lo tanto
ϕ(x) = uxLux0 = ϕ(x0 )
Pero, por definición ϕ(x), ϕ(x0 ) ∈ Rt ; Ası́ se llega a que ϕ(x)Hϕ(x0 ), como se querı́a probar.

Lema 1.2.2. Para una H-clase H de un semigrupo S las siguientes afirmaciones son equi-
valentes:

(1) ab ∈ H para algunos a, b ∈ H;

(2) H contiene un idempotente;

(3) H es un subsemigrupo de S;

(4) H es un subgrupo de S.

Demostración. Ya que (4) ⇒ (3) ⇒ (1) y (4) ⇒ (2) ⇒ (1) solo es necesario mostrar que (1)
implica (4).

Asumase que a, b ∈ H, ab ∈ H. Entonces abLb y por el Lema de Green implica que x 7−→ ax
es una biyección de Hb = H sobre Hab = H. Por lo tanto aH = H. Para cualquier c ∈ H se
tiene ahora acRa, y dualmente por el Lema de Green implica que x 7−→ xc es una biyección
de Ha = H sobre Hac = H. Por lo tanto Hc = H para todo c ∈ H y H es un subsemigrupo
de S. Además x 7−→ xc y x 7−→ cx son permutaciones de H para cualquier c ∈ H.

Esto implica fácilmente que H es un grupo. Primero a = ea para algún e ∈ H. Entonces

eea = ea, ası́ que ee = e. Para todo x ∈ H; de donde se puede ver que eex = ex y xee = xe,
 12 1 Preliminares

lo que implica ex = xe = x. Ya que x 7−→ xc y y 7−→ cy son permutaciones de H para

cualquier c ∈ H tiene una inversa a izquierda xc = e e inversa a derecha cy = e. Entonces
x = xe = xcy = ey = y y cualquier c ∈ H tiene una inversa de dos lados.

Observación 1.2.5. Sea e ∈ S, se puede notar que teniendo definitivamente Se como el

subgrupo maximal de S que tiene a e como elemento identidad se llega a que por definición
de H−clase es claro que Se ⊆ He ya que si s ∈ Se se = es = s y ademas existe s0 tal que
ss0 = s0 s = e. entonces He = Se ; es decir la H−clase del idempotente e, He , es el subgrupo
maximal de S que tiene a e como identidad.

1.3. Semigrupos Inversos

Definición 1.3.1. Dos elementos s, s0 de un semigrupo son inversos si ss0 s = s y s0 ss0 = s0 .
El conjunto de todos los inversos de s ∈ S es denotado por V (s).

Definición 1.3.2. Un semigrupo S es llamado inverso si cada elemento x ∈ S tiene preci-

samente un único inverso y ∈ S.

Si por ejemplo a pertenece a un subgrupo G de S, entonces su grupo inverso b = a−1 en

G satisface aba = a y bab = a y es un (semigrupo) inverso de a ∈ S. El concepto general
de inversos fue introducido independientemente por V.V. Vagner en el articulo Generalised
groups publicado en 1952 en Rusia y también por G.B. Preston en su articulo llamado
Inverse semigroups publicado en 1954 en Londres. Ambos autores llegaron a los semigrupos
inversos mediante el estudio de transformaciones parciales de uno a uno de un conjunto.
Una transformación parcial α de un conjunto X es una función de A a B, donde A y B son
subconjuntos de X. α y β pueden ser compuestos (de izquierda a derecha) en el dominio
más grande sobre el cual tiene sentido componerlos:

dom αβ = [ im α ∩ dom β ]α−1

Donde α−1 denota la preimagen bajo α. Las transformaciones parciales ya habı́an sido estu-
diadas en el contexto de pseudogrupos. Sin embargo, Wagner fue el primero que observó que
la composición de las transformaciones parciales es un caso especial de la composición de las
relaciones binarias. Reconoció también que el dominio de la composición de dos transforma-
ciones parciales puede ser el conjunto vacı́o, por lo que introdujo una transformación vacı́a
para tener en cuenta esto. Con la adición de esta transformación vacı́a, la composición de las
transformaciones parciales de un conjunto se convierte en una operación binaria asociativa
definida en todas partes. Bajo esta composición, la recopilación IX de todas las transfor-
maciones one-one parciales de un conjunto X forma un semigrupo inverso, llamado inverso
simétrico Su relación con las relaciones de Green fue explorada por Clifford y Miller en el
articulo Regular D-Classes in Semigroups de 1956, Obteniendo los principales resultados en
esta sección.
1.3 Semigrupos Inversos 13

Ejemplo 1.3.1. Para cualquier conjunto X, sea IX el conjunto de todas las biyecciones
parciales en X, es decir biyecciones entre subconjuntos de X bajo la composición de funciones
parciales forma un semigrupo inverso.

Si x es un elemeto de un semigrupo este podrı́aa tener varios inversos como se puede ver a
continuación.

Ejemplo 1.3.2. 2 (El semigrupo de transformación I3 ) El semigrupo de transformación

I3 Consiste de las seis permutaciones representadas en la figura 1-2 junto con las 21 no
invertibles aplicaciones de la Figura 1-3. (Los aplicaciones están dispuestas en un diagrama
de caja de huevo; en la misma fila o columna de una caja tienen el mismo dominio o imagen
respectivamente). Sea

x = ( 11 21 31 ), y = ( 12 22 32 ), z = ( 13 23 33 ).
xyx = ( 11 21 31 ) ( 12 22 32 ) ( 11 21 31 ) = ( 11 21 31 ) = x,
yxy = ( 12 22 32 ) ( 11 21 31 ) ( 12 22 32 ) = ( 12 22 32 ) = y.
xzx = ( 11 21 31 ) ( 13 23 33 ) ( 11 21 31 ) = ( 11 21 31 ) = x,
zxz = ( 13 23 33 ) ( 11 21 31 ) ( 13 23 33 ) = ( 11 21 31 ) = z.

Ası́ x tiene al menos dos inversos y y z.

Figura 1-2: Los elementos de S3 .

Segun [5] en un semigrupo, el numero y la localización de los inversos de a está determinada

por la localización de los idempotentes en la D − clase de a.

Proposición 1.3.1. Hb contiene un inverso b de a sı́ y solo si Hb ⊆ Da y Ra ∩ Lb , Rb ∩ La

ambos contienen idempotentes. Entonces Hb contiene exactamente un inverso de a.
 14 1 Preliminares

Figura 1-3: Los elementos restantes de T3 .

Demostración. Si b ∈ V (a), entonces aba = a, bab = b se puede ver de inmediato que

ab ∈ Ra ∩ Lb y ba ∈ Rb ∩ La , en particular b ∈ Da ya que b = babRbaLa de donde Hb ⊆ Da ;
también abab = ab y baba = ba, ası́ que ab y ba son idempotentes.

Si c ∈ Hb es otro inverso de a, entonces de igual forma c ∈ Da de donde Hc ⊆ Da ; también

ac y ca son idempotentes, ac ∈ Ra ∩ Lc = Ra ∩ Lb , y ca ∈ Rc ∩ La = Rb ∩ La . Por lo tanto
ac = ab y ca = ba, Ya que por Lema 1.2.2 una H − clase no puede contener mas que un
idempotente pues este actua como identidad del subgrupo generado.
Inversamente asúmase que Hb ⊆ Da y que existen idempotentes e ∈ Ra ∩ Lb y f ∈ Rb ∩ La .
Ası́ a, b, e y f estan localizados en la imagen caja de huevos de Da como se sigue:
a e

f b

De f ∈ La se obtiene f = ra y a = xf para algun r, x ∈ S 1 , ası́ que a = xf = xf f = af ;

similarmente e = as y a = ea, para algún s ∈ S 1 . Por el Lema de Green, ā : Rb −→
Ra , x 7−→ ax y r̄ : Ra −→ Rb , y 7−→ ry son mutuamente inversas, preservando biyecciones
en L − clases; dualmente, â : Lb −→ La , x 7−→ xa y ŝ : La −→ Lb , y 7−→ ys son mutuamente
inversas que preservan biyección en R − clases. Sea c = ras = f s = re. Entonces c ∈
Rf ∩ Lc = Rb ∩ La . También ac = are = ār̄e = e, ca = f sa = f ŝâ = f, aca = ae = a, y
cac = f c = f f s = f s = c, ası́ que c ∈ V (a).
1.3 Semigrupos Inversos 15

Se puede deducir facilmente de lo anterior que el subgrupo maximal contenido en la misma

D − clase son isomorfos.

Un elemento a de S es regular(von Neuman regular) si satisface las condiciones equiva-

lentes de abajo.

Lema 1.3.1. Para un elemento a de un semigrupo S lo siguiente es equivalente:

(1) a tiene un inverso.

(2) axa = a para algun x ∈ S.

(3) Ra contiene un idempotente.

(4) La contiene un idempotente.

Demostración. Si axa = a, entonces axaxa = axa = a, xaxaxax = xax, y xax ∈ V (a). Ası́
(2) implica (1). Por 1.2.4 (1) implica (3) y (4). Si Ra contiene un idempotente e, entonces
e = au, a = ev para algún u, v ∈ S 1 , a = ea, y x = ue satisfacen axa = auea = eea = a, ası́
(3) implica (2). Dualmente (4) implica (2).

A continuación se mostrará que en un semigrupo, el numero y la localización de inversos de

a viene determinada por la localización de los idempotentes en la D−clase de a

Corolario 1.3.1. Si una D−clase D contiene un elemento regular, entonces cualquier ele-
mento de D es regular y cualquier L−clase ( R-clase) contenida en D contiene un idempo-
tente.

Demostración. Sea a ∈ D regular. Por la proposición 1.3.1 Ra contiene un idempotente; si se

toma un elemento b ∈ Ra se puede ver que b = au y a = bv para u, v ∈ S 1 entonces como a
es regular a = axa para x ∈ S 1 ası́ bvxb = axb = axau = au = b de modo que b es regular y
ası́ cualquier elemento de Ra es regular. De igual manera de puede demostrar que cualquier
elemento de La es regular. Ahora si se toma un elemento r ∈ D se debe tener que rRtLa
para algún t ∈ S 1 ; usando lo que se ha mostrado se puede llegar a que t es regular y de
esto se obtiene inmediatamente que r es regular, entonce cualquier elemento de D es regular.
Para ver que cualquier R − clase de D contiene un idempotente se toma un elemento s ∈ D,
este por supuesto debe ser regular s = sts para algún t ∈ S 1 entonces srsr = sr y además
srRs (ya que (sr)s = s), por lo tanto tanto Rs tiene un idempotente para cualquier s ∈ S 1 .
Análogamente se puede mostrar que Ls tiene un idempotente para cualquier s ∈ S 1 .

Observación 1.3.1. El conjunto de los elementos regulares de un semigrupo es denotado por

Reg(S). Ya que un idempotentes es su propio inverso, E(S) es un subconjunto de Reg(S).
 16 1 Preliminares

1.4. Matrices de Rees

Los semigrupos de matriz Rees son una clase especial de semigrupo introducida por David
Rees en su articulo .On semi-groups 3”publicado en Cambridge en 1940. Son de fundamen-
tal importancia en la teorı́a semigrupos porque se utilizan para clasificar ciertas clases de
semigrupos simples.

Definición 1.4.1. Sean A, B dos conjuntos finitos no vacı́os y sea G0 un grupo con cero.
Una matriz de Rees C, es una aplicación

C : B × A −→ G◦ .

donde G◦ denota el grupo con cero 0 a partir del grupo G

Se denotará por C(b, a) el valor de C en (b, a) ∈ B × A.

Definición 1.4.2. Se dice que una matriz de Rees es regular si no tiene cada fila o columna
nula. Es decir para cada a0 , b0 existen b, a respectivamente tales que C(b, a0 ) 6= 0 6= C(b0 , a)

Observación 1.4.1. Sea g ∈ G, a0 ∈ A y b0 ∈ B, se denotará ga0 b0 la matriz de Rees tal que

ga0 b0 (b, a) = 0 si (b, a) 6= (b0 , a0 ) y ga0 b0 (b0 , a0 ) = g.

Definición 1.4.3. Sea G un grupo y sea C : B ×A −→ G◦ una matriz de Rees. Se denomina

un semigrupo asociado a una matriz de Rees C sobre un grupo G al conjunto:

M◦ (G, A, B, C) = {ga0 b0 : g ∈ G◦ , a0 ∈ A, b0 ∈ B}.

Este semigrupo opera bajo una multiplicación de la siguiente forma.

ga0 b0 ga0 0 b0 = (gC(b0 , a00 )g 0 )a0 b00

0 0

Observación 1.4.2. La asociatividad es clara ya que:

(ga0 b0 ga0 00 b00 )ga00000 b000 = (gC(b0 , a00 )g 0 )a0 b00 ga00000 b000
= ((gC(b0 , a00 )g 0 )C(b0 , a00 )g 00 )a0 b000
= (gC(b0 , a00 )(g 0 C(b0 , a00 )g 00 ))a0 b000
= ga0 b0 (g 0 C(b0 , a00 )g 00 )a00 b000
= ga0 b0 (ga0 00 b00 ga00000 b000 )

Por tanto se tiene la igualdad y se conserva la propiedad asociativa en G◦

Por otro lado, se puede ver que los idempotentes no nulos de M◦ (G, A, B, C) tienen una
forma muy caracteristica, ya que si gab es un idempotente no nulo entonces:
1.4 Matrices de Rees 17

gab gab = gab ⇐⇒ (gC(b, a)g)ab = gab ⇐⇒ g = (C(b, a))−1

y si gab 6= 0, es idempotente no nulo, entonces C(b, a) 6= 0. Por tanto los idempotentes, no

nulos vienen determinados por aquello (b, a) tales que C(b, a) 6= 0. es decir E(M◦ ) = {gab ∈
S : C(b, a) 6= 0}

Ejemplo 1.4.1. (Semigrupos 0-bandas Rectangulares) Sea A = {1, . . . , m}, B = {1, . . . , n},
C = gab una matriz regular B × A sobre {0, 1}, S = (B × A) ∪ {0} un semigrupo con
multiplicación
(
(b, a0 ) si gab = 1
(b, a)(b0 , a0 ) = , (b, a)0 = 0(b, a) = 0.
0 e.o.c

De este modo se puede ver que S = M◦ (G◦ , A, B, C). Un caso de este ejemplo es al tomar
P = ( 01 10 ). Si se toma al conjunto S = {(1, 1), (1, 2), (2, 1), (2, 2)} al operar sus elementos

(1, 1)(1, 1) = 0 ya que g11 = 0

(1, 1)(1, 2) = 0 ya que g11 = 0
(1, 1)(2, 1) = (1, 1) ya que g12 = 1
(1, 1)(2, 2) = (1, 2) ya que g12 = 1
(1, 2)(1, 1) = (1, 1) ya que g21 = 1
(1, 2)(1, 2) = (1, 2) ya que g21 = 1
(1, 2)(2, 1) = (1, 1) ya que g22 = 0
(1, 2)(2, 2) = (1, 2) ya que g22 = 0
(2, 1)(1, 1) = 0 ya que g11 = 0
(2, 1)(1, 2) = 0 ya que g11 = 0
(2, 1)(2, 1) = (2, 1) ya que g12 = 1
(2, 1)(2, 2) = (2, 2) ya que g12 = 1
(2, 2)(1, 1) = (2, 1) ya que g21 = 1
(2, 2)(1, 2) = (2, 2) ya que g21 = 1
(2, 2)(2, 1) = (2, 1) ya que g21 = 1
(2, 2)(2, 2) = 0 ya que g22 = 0

El conjunto S forma un semigrupo asociado a la matriz de Rees P

2 Los PLARI- semigrupos
En este capı́tulo se usarán las clases laterales de las relaciones de green R y L en la categorı́a
de los S − sistemas

2.1. S-sistemas
Definición 2.1.1. Si M es un conjunto y S 1 es un semigrupo con identidad 1, se dice que
M es un S − sistema a derecha si existe una aplicación Ψ : M × S 1 −→ M con la propiedad

((x, s)Ψ, t)Ψ = (x, st)Ψ y (x, 1)Ψ = x (x ∈ M, s, t ∈ S)

. Igualmente, M es un S − sistema a izquierda si existe una aplicación producto Φ : S 1 ×

M −→ M tal que

(t, (s, x)Φ)Φ = (ts, x)Φ y (1, x)Φ = x (x ∈ M, s, t ∈ S)

En aras de la brevedad, se va a escribir xs en lugar de (x, s)Ψ y sx en lugar de (s, x)Φ. De

esto se puede ver que los S − sistemas son representaciones de monoides por funciones de
conjuntos.

Definición 2.1.2. Si S 1 y T 1 son semigrupos con identidad se dice que M es un (S, T ) −

bisistema si es un S − sistema a derecha, un T − sistema a izquierda y si, para todo
s ∈ S, t ∈ T y x ∈ M,

(sx)t = s(xt).

Estas definiciones son por supuesto de cerca el análogo a las definiciones de los módulos a
derecha,(izquierda) y los módulos bimódulos. En [2] (capitulo 11) usan el termino ”operando
” en lugar de sistema y en [8] se usa el temino S-acto en vez de S − sistema.

Ejemplo 2.1.1. Si se toma cualquier monoide S 1 . Sea K un ideal a derecha de S si ks ∈ K

para cualquier k ∈ K y s, t ∈ S 1 se puede usar la asociatividad en S y ver que (ks)t = k(st)
de esta manera se concluye que K es un S − sistema a derecha. En particular sS 1 y S 1 s son
S − sistemas a izquierda y a derecha respectivamente y sSs es un (S, S) − bisistema. si R
es un submonoide de S entonces RSR es un (R, R) − bisistema
2.1 S-sistemas 19

Ejemplo 2.1.2. Sea X un (S, U )−bisistema, Y un (U, T )−bisistema. Entonces si se define

la operación producto en X ×Y como s(x, y) = (sx, y) para s ∈ S 1 , (x, y) ∈ X ×Y ) y (x, y)t =
(x, yt) tal que (s1 s2 )(x, y) = s1 (s2 x, y), 1S (x, y) = (x, y), (x, y)(t1 t2 ) = (x, yt1 )t2 , (x, y)1T =
(x, y), para todo s, s1 , s2 ∈ S 1 y t, t1 , t2 ∈ T , de este modo se puede ver que X × Y tiene
estructura de un (S, T ) − bisistema.

Definición 2.1.3. Dado M un S-sistema a derecha (izquierda) y ρ una relación de con-

gruencia en M . Se define la multiplicación por un elemento de S 1 en el cociente M/ρ =
{[a]ρ : a ∈ A} por

[a]ρ s = [as]ρ

Tal que [a]ρ (s1 s2 ) = [as1 ]ρ s2 y [a]ρ 1 = [a]ρ . De esta manera M/ρ se convierte en un S −
sistema a derecha(izquierda). Llamado S − sistema cociente a derecha(izquieda) de M por
la congruencia ρ.

Definición 2.1.4. Si P y Q son S − sistemas a derecha, Una función f : P −→ Q es un

S − homomorf ismo a derecha de S − sistemas si para cualquier x ∈ P y cualquier s ∈ S 1

f (xs) = f (x)s.

Una similar definición de S − homomorf ismos es aplicada a los S − sistemas a izquierda

y a los (S, T ) − sistemas como (S,T)-homomorfismos.

Lema 2.1.1. (1) La composición f g de S − homomorf ismos de S − sistemas a dere-

cha(izquierda) f : M → N, g : N → R es un S−homomorf ismo a derecha(izquierda).

(2) La función inversa de un S − homomorf ismo a derecha(izquierda) biyectivo es un

S − homorf ismo a derecha(izquierda).

Demostración. (1) Sea h = f g, x ∈ M, s ∈ S 1 entonces

h(xs) = (f g)(xs) = f (g(xs)) = f (g(x)s)

= f (g(x))s = (f g)(x)s = h(x)s

(2) Sea f : M → N un homomorfimo biyectivo de S − sistemas. Si para cualquier y ∈

N, s ∈ S 1

f (f −1 (ys)) = ys = f (f −1 (y))s = f (f −1 (y)s)

y como f es inyectiva se obtiene que f −1 (ys) = f −1 (y)s de donde f −1 es un S −

homomorf ismo a derecha.
 20 2 Los PLARI- semigrupos

Teorema 2.1.1. (Teorema de S − Homomorf ismos de S-sistemas a derecha(izquierda)).

Sean M, N S − sistemas, f : M → N un S − homomorf ismo y ρ =kerf . Entonces f 0 :
M/ρ → N donde f 0 ([x]ρ ) = f (x), x ∈ M, es un S − homomorf ismo a derecha(izquierda) tal
que el siguiente diagrama.
f
M /
=N
πρ
f0

M/ρ

es conmutativo si f es sobreyectivo, es decir f 0 πρ = f, donde πρ denota la proyección canónica

f bajo ρ.

Demostración. Se define f 0 : M/ρ → N por f 0 ([x]ρ ) = f (x) para todo x ∈ M. Supóngase

[x]ρ = [x0 ]ρ para x, x0 ∈ M. Entonces (x, x0 ) ∈ ρ y ası́ f (x) = f (x0 ). por lo tanto,, f 0 ([x]ρ ) =
f (x) = f (x0 ) = f ([x0 ]ρ ) ası́ f 0 esta bien definida.
Para ver que f 0 es un S − homomorf ismo a derecha se procede usando la definición del
producto de S − sistema cociente a derecha de la siguiente manera
f 0 ([x]ρ s) = f 0 ([xs]ρ )
= f (xs)
= f (x)s
= f 0 ([x]ρ )s.
Para ver que f 0 es inyectiva supóngase que f 0 ([x]ρ ) = f 0 ([x0 ]ρ ). Entonces f (x) = f (x0 ), por lo
tanto, (x, x0 ) ∈ kerf. De donde [x]ρ = [x0 ]ρ , ası́ f 0 es inyectiva. La sobreyectividad se puede
obtener trivialmente; si f es sobreyectiva entonces para todo x ∈ M existe un y ∈ N tal
que f (x) = y, pero f (x) = f 0 ([x]ρ ) = b. por lo tanto, tambien se cumple que para todo
w = [x]ρ ∈ As /ρ existe un y ∈ N tal que f 0 (w) = y. por lo tanto, f 0 es sobreyectivo.

Definición 2.1.5. Si X, Y son (S, T ) − sistemas entonces, f : X −→ Y es un (S, T ) −

homomorf ismo si β es una S − homomorf ismo a izquierda y una T − homomorf ismo a
derecha).

Definición 2.1.6. Si X es un (S, U ) − sistema, Y un (U, T ) − sistema y Z es un (S, T ) −

sistema entonces, β : X ×Y −→ Z es un U −bihomomorf ismo si es un (S, T )−homorf ismo
y además β(xu, y) = β(x, uy) para x ∈ X, y ∈ Y, u ∈ U .

Análogamente se puede cumplir este teorema 2.1.1 para (S, T ) − homomorf ismos e incluso
para U − bihomorf simos

La menor relación de equivalencia en cualquier conjunto Z es la que contiene todos los

pares (z, z) para z ∈ Z. Tiene que ser aquellas que son reflexivas, y cualquier otra relación
2.2 Extensiones de las Relaciones de Green 21

de equivalencia debe contenerlas. La relación de equivalencia más grande es el conjunto de

todos los pares (z1 , z2 ) ∈ Z 2 . Un ejemplo de dicha relación usado para definir el producto
tensorial en S − sistemas descrito en [7].
Para definir el producto tensorial de M y N (S, S) − sistemas, se parte de lo enunciado en
el teorema 2.1.1 pero en este caso para S − bihomomorf ismos.

Definición 2.1.7. Dados M, N (S, S)−sistemas tal que M ×N es un S −bihomomorf ismo.

Sea ρ la menor relación de equivalencia en M × N que identifica todas las parejas

((xs, y), (x, sy)) ∈ (M × N )2 , x ∈ M, s ∈ S 1 , y ∈ N .

Si πρ : M ×N −→ (M ×N )/ρ y f : M ×N −→ (M ×N )2 son dos S −bihomomorf ismos con

ρ =kerf donde f es inyectivo. Entonces por el teorema 2.1.1 existe un S − bihomomorf ismo
biyectivo f 0 tal que el siguiente diagrama
f
M ×N / (M × N )2
8
πρ
f0

(M × N )/ρ

es conmutativo es decir f = f 0 πρ y donde πρ denota la proyección canonica. De esta manera

se puede definir en producto tensorial x ⊗S y = f (x, y) y por ser f un S − bihomorf ismo se
puede ver que

xs ⊗ y = x ⊗ sy Para x ∈ M, y ∈ N, s ∈ S

Para x ∈ M, y ∈ N, s ∈ S

Con M y N como se describen, el tensor producto M ⊗S N es simplemente un conjunto. Si

M y N tienen estructura extra, el tensor producto hereda algúna de estas. Precisamente, si
M es un (T, S) − bisistema y N es un (S, U ) − bisistema entonces M ⊗S N se convierte en
un (T, U ) − bisistema con

t(x ⊗ y) = (tx ⊗ y); (x ⊗ y)u = (x ⊗ yu)

para t ∈ T, u ∈ U, x ⊗ y ∈ M ⊗S N .

2.2. Extensiones de las Relaciones de Green

En esta sección se dará una extención de las relaciones de Green usando el concepto de
los ideales principales de un semigrupo. Este concepto es inspirado de la teoria de anillos.
Recuerdese que un anillo R se dice que es PP a izquierda(derecha) si cada ideal principal
izquierdo(derecho) de R considerado como un R-módulo, es proyectivo.
 22 2 Los PLARI- semigrupos

Los conceptos de PP-anillos a izquierda y PP-anillos a derecha se introdujeron por primera

vez alrededor de 1960. Naturalmente, un El anillo R se dice que es un anillo PP si R es
tanto PP a izquierda como a derecha. Es bién sabido que la clase de PP-anillos contiene
las clases de anillos regulares, los anillo hereditarios, anillos de Baer, P-Q Anillos Baer y
anillos semi-hereditarios con sus propias subclases. La literatura de los PP-anillos ha tenido
un extenso estudio por muchos teóricos. Cabe destacar que la definición de PP-anillos se
extendió a los semigrupos, en particular, Fountain introdujo el concepto de PP-monoides
a izquierdaen el articulo [3] en 1977. El llamó un monoide abundante [3] si es ambos un
PP-monoide a izquierda y PP- monoide a derecha. Similar a los PP-anillos, la clase de los
Semigrupos abundante contiene la clase de los semigrupos regulares como su propia subclase.
Pastijn introduce las extensiones de relaciones de Green en su articulo Una ”generalización
de las relaciones de Green para los semigrupos”publicado en 1975 las cuales se denotan por
R∗ , L∗ , H∗ , J ∗ definidas a continuación. Fountain [4] y [3] observó primero que las relacio-
nes de Green* pueden ser aplicadas al estudio de los PP-semigrupos a izquierda y a los
semigrupos abundantes. Una serie de documentos han indicado que las relaciones de Green*
son particularmente apropiadas en el estudio de semigrupos abundantes; que desempeñan
exactamente el mismo papel que las relaciones habituales de Green en Semigrupos regulares.

Definición 2.2.1. Un S −sistema P es proyectivo cuando para cualquier S −sistema M, N

y para cada S − epimorf ismo g : M → N y cada S − homomorf ismo h : P → N existe un
S − homomorf ismo k : P → M tal que gk = h.

Definición 2.2.2. Un ideal R de un semigrupo S es llamado principal a izquierda(derecha)

cuando R = s ∪ sS,(R = Ss ∪ s) para algún s ∈ S.

Definición 2.2.3. Un monoide S 1 es llamado principal proyectivo a izquierda(derecha)

denotado por P P a izquierda(derecha) cuando cada ideal principal a izquierda(derecha) de
S 1 es proyectivo.

Definición 2.2.4. Sea S 1 un monoide con un conjunto de idempotentes E(S 1 ) y sea e

un elemento de E(S 1 ). Un elemento a ∈ S es e − cancelable a derecha(izquierda) cuando
ae = a(ea=a) y para cualquier elementos s, t ∈ S y as = at(sa = ta) implica es = et(se = te).

Observación 2.2.1. Equivalentemente, se puede decir que a es e−cancelable a derecha(izquieda)

probando que as = at(sa = ta) si y sólo si es = et(se = te) para todo s, t ∈ S 1 ,. La prueba
es de la siguiente manera: Si a es e − cancelable a derecha se tiene que ax = ay implica
ex = ey para x, y ∈ S 1 y ae = a. De este modo si ex = ey entonces aex = aey y por lo
tanto, ax = ay. Ahora para mostrar la otra implicación; Si se tiene que as = at(sa = ta) si
y sólo si es = et(se = te) para todo s, t ∈ S 1 . Entonce para s = e y t = 1 se puede tener que
ee = 1e = e y esto implica ae = a por lo tanto, queda probado.
Esta equivalencia significa que existe un S − isomorf ismo a derecha(izquierda) de eS 1 (S 1 e)
sobre aS 1 (S 1 a) que envı́a e a a. Para mostrar esto se define una aplicación ϕ(as) = es, s ∈
2.2 Extensiones de las Relaciones de Green 23

S 1 . Se puede ver que si a es e − cancelable y ax = ay esto implica ex = ey x, y ∈ S 1 . Esto

significa que esta bien definida. También tiene que es un S − homomorf ismo a derecha;
para ver esto se usa el hecho que ϕ(as) = es = ϕ(a)s. Además es sobreyectiva ya que para
todo x = at siempre existe y = et sólo por el hecho de ser eS 1 un S − sistema a derecha; de
este modo ϕ(x) = y, t ∈ S 1 . Para mostrar la inyectividad si ϕ(as1 ) = ϕ(as2 ) s1 , s2 ∈ S 1 ,
entonces es1 = es2 y por ser a e − cancelable de la observación anterior se obtiene as1 = as2 .
y por lo tanto ϕ es un s − isomorf ismo a derecha.

Ejemplo 2.2.1. Si S es regular y a ∈ S, entonces existe un a0 ∈ S tal que a = aa0 a = a(a0 a).
De esto se puede ver que (a0 a)(a0 a) = (a0 aa0 )a = a0 a luego a0 a ∈ E(S), además si as = at
para cualesquiera s, t ∈ S esto implica a0 as = a0 at y por lo tanto, a es a0 a − cancelable a
derecha.

Definición 2.2.5. Sea S un semigrupo. Una traslación parcial a derecha(izquierda) λ :

S −→ S es una función parcial tal que

(1) ∆λ el dominio de λ, es un ideal a derecha(izquierda) de S.

(2) Para todo a ∈ ∆λ , x ∈ S λ(ax) = λ(a)x(λ(xa) = xλ(a)).

Es inmediato ver que si λ es una traslación de S entonces esta puede ser un S−homomorf ismo
si se restringe la función sólo a su dominio ∆λ de S.

Lema 2.2.1. Un monoide S 1 es P P a derecha si y sólo si para cada elemento a en S 1 existe

un elemento e en E(S 1 ) tal que a es e − cancelable a izquierda.

Demostración. Si por hipotesis se tiene que S 1 es P P a derecha por la definición 2.1.7 para un
S −epimorf ismo traslación a derecha de ideales principales de S 1 , λ : eS 1 −→ S 1 , e ∈ E(S)
cuyo dominió sea ∆λ = eS 1 e imagen sea Im= S 1 definida como λ(ex) = x con x ∈ S 1 ; y
para θ : eS 1 −→ S 1 un S − homorf ismo definido como θ(ex) = x para x ∈ S 1 . Existe un
S −homorf ismo en este caso π1 : S 1 −→ S 1 definido por π1 (x) = 1x para x ∈ S 1 tal que λ =
π1 θ. Se puede ver θ es inyectivo ya que si θ(ex) = θ(ey) entonces x = y; y entonces ex = ey; θ
es sobreyectivo ya que para p = ay, θ(p) = y. Tambien se ve que π1 es la identidad por tanto
un S − isomorf ismo derecha de donde se puede tener que λ = π1 θ es un S − isomorf ismo
a derecha λ : S 1 −→ eS 1 de tal modo que λ(x) = ex = eex = λ(ex), s, x ∈ S 1 por lo tanto,
ya que λ es inyectivo se obtiene ex = x. Ahora para ver que se cumple la segunda parte de
la definición 2.1.10 nuevamente aplica las proyectividad de los ideales principales de S 1 para
λ : xS 1 −→ eS 1 un S − epimorf ismo traslación a derecha con dominio ∆λ = xS 1 y para
θx : xS 1 −→ S 1 un S − homorf ismo a derecha definido como θx (xs) = s, x, s ∈ S 1 ; existe la
proyección πe : S 1 −→ eS 1 definido como πe (s) = es, e ∈ E(S), s ∈ S 1 tal que λ = πe θx . Ası́
para ver que θx es inyectivo si θx (ax) = θx (bx), x, a, b ∈ S 1 se llega a que a = b y entonces
ax = bx. Tambien θx es sobreyectivo ya que para b = xy se tiene que θx (xy) = y. De modo
quesi xs = xt, x, s, t ∈ S 1 se llega a que ex = λ(xs) = λ(xt) = et y ası́ se ha demostrado
 24 2 Los PLARI- semigrupos

la primera implicación. Para demostrar la segunda si para cualquier elemento a ∈ S 1 existe

un e ∈ E(S 1 ) tal que a es e − cancelable a izquierda entonce a = ea esto significa que
existe un isomorfismo entre S 1 y eS 1 . si se define este isimorfismo como θe : S 1 −→ eS 1
y este S − isomorf ismo se puede descomponer como producto de dos S − isomorf ismos
πa : S 1 −→ aS 1 y λ : aS 1 −→ eS 1 ; tales que θ = λπa es decir aS 1 es un ideal principal
proyectivo. Porlo tanto S es P P a derecha.

Definición 2.2.6. Si S es un P P -monoide a derecha(izquierda) en el cual sus idempotentes

conmutan y además para todo a ∈ S, e ∈ E(S) Sa ∩ Se = Sae(eS ∩ aS = eaS) entonces S
es un semigrupo tipo-A a derecha(izquierda).

Teorema 2.2.1. Sea S un P P -monoide a izquierda y supóngase que los idempotentes de S

conmuntan. Entonces las siguientes condiciones son equivalentes:

(i) S es un semigrupo tipo-A a derecha

(ii) Sean a, e ∈ S y e un idempotente. Si ea es j − cancelable a derecha, entonces ea = aj

j ∈ S.

Demostración. Asúmase que la condición (i) se tiene. Sea a, e ∈ S, e2 = e y sea ea j −

cancelable a derecha. Entonces existe un S − homorf ismo φ : aS → ajS de la forma
φ(eas) = ajs para s ∈ S. Si b ∈ eaS ∩ajS, entonces b = eas = ajt para algún s, t ∈ S, ya que
b = eb y eb = eajt = eat entonces φ(b) = φ(eb) = φ(eat) = ajt = b. Por ser ea j − cancelable
a derecha entonces ea = aej, además por (i) se tiene que ajS ∩ eS = eajS = eaS, luego
ea ∈ ajS, ası́ que ea ∈ eaS ∩ ajS y entonces ea = φ(ea) = aj.
Para mostrar la otra implicación. Asúmase que la condición (ii) se tiene y sean a, e ∈ S tal
que e2 = e. si b ∈ eS ∩ aS entonces b = et = as con s, t ∈ S y por lo tanto eb = e y b = as.
De este modo b = eas y ası́ b ∈ asS. Con se ha mostrado que eS ∩ asS ⊆ asS. Ahora para
ver la otra contenencia. Si b ∈ easS entonces se sabe que eas ⊆ eS de este modo b ∈ eS y
ya que ea = aj donde ea es j − cancelable a derecha entonces b ∈ aS. luego b ∈ eS ∩ aS
entonces eS ∩ aS = eaS y ası́ S es un monoide tipo − A a izquierda.

Definición 2.2.7. Sea S un semigrupo y sea a, b ∈ S. Entonces se dice que aR∗ b si y sólo
si para todo x, y ∈ S 1 , ax = ay si y sólo si bx = by.

Definición 2.2.8. Sea S un semigrupo y sea a, b ∈ S. Entonces se dice que aL∗ b si y sólo si
Para todo x, y ∈ S 1 , xa = ya si y sólo si xb = yb.

Análogamente aH∗ b si y sólo si aR∗ b y aL∗ b.

Observación 2.2.2. Se puede ver que para a, b ∈ S un semigrupo; aR∗ b(aL∗ b) si y sólo si
existe un S − isomorf ismo a derecha(izquierda) ϕ : aS 1 7−→ bS 1 que envı́a a al elemento b.
Para mostrar esto se define una aplicación ϕ : aS 1 7−→ bS 1 tal que ϕ(as) = bs, s ∈ S 1 . Se
puede ver que si aR∗ b entonces ax = ay implica bx = by x, y ∈ S 1 . Esto significa que esta
2.2 Extensiones de las Relaciones de Green 25

bien definida. Se puede ver que es un S − homomorf ismo a derecha, se usa el hecho que
ϕ(as) = bs = ϕ(a)s. Además es sobreyectiva ya que para todo x = at siempre existe y = bt
sólo por el hecho de ser bS 1 un S − sistema a derecha; de este modo ϕ(x) = y, t ∈ S 1 .
Para mostrar la inyectividad si ϕ(as1 ) = ϕ(as2 ) s1 , s2 ∈ S 1 , entonces bs1 = bs2 y por estar
aR∗ b se obtiene as1 = bs2 . y por lo tanto ϕ es un s − isomorf ismo a derecha. El otro lado
de la implicación se obtiene de inmediato ya que si ax = ay y ϕ es un S − isomorf ismo
ϕ(ax) = ϕ(ay) y por lo tanto bx = by para todo x, y ∈ S 1 . ahora si bx = by entonces
ϕ(ax) = ϕ(ay) y por el hecho de ser ϕ un S − isomorf ismo; es inyectivo, por lo tanto; aR∗ b.
Observación 2.2.3. Se desprende de las observación anteriores y del Lema 2.1.1 y la definición
2.2.4 que S 1 es un monoide P P a derecha(izquierda) si y sólo si cada R∗ , (L∗ ) de S contiene
al menos un idempotente. Además cuando S 1 es P P a (derecha)izquierda, aR∗ b si y sólo si
existe un idempotente e ∈ S 1 tal que a y b son ambos e − cancelables a derecha(izquierda).
Teorema 2.2.2. Si S es un semigrupo; entonces R ⊆ R∗ y R∗ es una congruencia a derecha
en S.
Demostración. (1) supóngase (a, b) ∈ R luego S 1 a = S 1 b, de esta manera existen u, v ∈ S 1
tal que b = ua y a = vb. Se asúme que ax = ay entonces bx = uax = uay = by. De
igual forma si se asúme que bx = by entonces ax = vbx = vby = ayax = ay y ası̀
ax = ay ⇔ bx = by, para todo x, y ∈ S 1 . En consecuencia (a, b) ∈ R∗ y ası̀ R ⊆ R∗

(2) Si (a, b) ∈ R∗ entonces para todo x, y ∈ S 1 , xa = ya si y sólo si xb = yb; por lo tanto,

xac = yac si y sólo si xbc = ybc para algún c ∈ S 1 de donde (ac, bc) ∈ R∗ .

Lema 2.2.2. Si a, e2 = e ∈ S un semigrupo; entonces aR∗ e si y sólo si ae = a y para

cualquier x, y ∈ S 1 , ax = ay implica que ex = ey.
Demostración. Por la definición 2.2.6 ax = ay si y sólo si ex = ey para x, y ∈ S 1 de este
modo usando lo mostrado en la Observación 2.2.1 se obtiene la demostración.

Observación 2.2.4. Se puede concluir del lema 2.2.1 y de la observación 2.2.2 que un monoide
S es P P a derecha(izquierda) respectivamente si y sólo si cada R∗ − clase(L∗ − clase)
contiene al menos un idempotente. La existencia de un elemento de identidad no es relevante
para la Caracterización y en lo que sigue de este trabajo se manejarán algunas clases de
semigrupos cuyos idempotentes conmutan y en el cual cada R∗ − clase(L∗ − clase) contiene
un idempotent. De esto se llega a la siguientes definiciónes.
Definición 2.2.9. Un semigrupo S es llamado abundante a derecha(izqierda) si cada R∗ −
clase(L∗ − clase) tiene al menos un idempotente.
Observación 2.2.5. Se puede ver que si los idempotentes de cada R∗ − clase,(L∗ − clase)
conmutan entoces dados e, f idempotentes eR∗ f se obtiene del lema 2.2.2 e = ef = f e = f
por lo tanto, cada R∗ − clase,(L∗ − clase) tiene un único idempotente.
 26 2 Los PLARI- semigrupos

Definición 2.2.10. Un semigrupo S es llamado adecuado a izquierda(derecha) si cada R∗ −

clase(L∗ ) contiene un único idempotente. De este modo (a)† ((a)∗ denotan el idempotente de
su R∗a − clase(L∗a − clase) respectivamente.

Una caracterización general para los monoides T ipo − A se da usando el lema 2.2.1 pero de
un modo mas general sin interes en la identidad viene dada en la siguiente definición.

Definición 2.2.11. Sea S es un semigrupo adecuado a izquierda, se dice que es Amplio a

izquierda si para a, e2 = e ∈ S. Se tiene que ae = (ae)† a.

Ejemplo 2.2.2. sea a = ( 10 00 ), b = ( 11 00 ). Poniendo

T = {2n a, 2n b |n ≥ 0}.

Entonces para ver que T es un semigrupo con el producto usual de matrices. se puede
ver que (2n a2m a = 2n+m a, 2j b2k b = 2j+k a, 2t a2u b = 2t+u a, 2u b2t a = 2u+t b, pa-
ra n, m, j, k, u, v ≥ 1). por lo tanto, T es cerrado. Además se puede ver que es asocia-
tivo por las asociatividad del producto usual de matrices. Ahora si se forma un semigrupo
S = {a, b, c, d, e, f, g, h, u, v, w, x, y, z, an , bm } por la siguiente tabla de Cayley

Donde an = 2n a, am = 2m a, bi = 2i b y bj = 2j b para cualquier i, j, m, n ≥ 1.

En efecto la multiplicación es definida extendiendo la multiplicación en el semigrupo de ma-

trices T , donde E(S) = {a, b, c, d} es el conjunto de todos los idempotentes de S. Se puede
verificar que las R∗ − clases de S son {a, b, an , bi |n, i ≥ 1}, {c, d, e, f, h, u, v, w, x, y, z} y las
L∗ clases de S son {a, an |n ≥ 1}.{b, bi |i ≤ 1}, {c, e, g, u, w, y} y {d, f, h, v, x, z}. Ası́ cada
R∗ − clase y cada L∗ − clase contiene un idempotente y ası́ por definición S es un semigrupo
abundante.
2.2 Extensiones de las Relaciones de Green 27

Tambien es importante destacar que E(S) es un subsemmigrupo de S y para cualquier ele-

mento x, y ∈ E(S) se tiene que xyx = xy. Cuando este caso se tiene se le suele llamar a
E(S) una banda regular a izquierda. Además

S1 = {a, b, c, d, e, f, g, h, u, v, w, x, y, z}

Es un semigrupo inverso a izquierda de S. Ya que cualquier elemento de S \ S1 no es regular

entonces S no es un semigrupo inverso a izquierda. También,cada idempotente de S no
conmuta entre sı́, por lo tanto, S no es un semigrupo amplio.

Ejemplo 2.2.3. Los Semigrupos inversos son abundantes a derecha (izquierda). Para mos-
trar esto, sea a ∈ S un semigrupo inverso. Entonces existe un b ∈ S tal que a = a(ba) y
b = bab. De este modo se puede ver que si ax = ay entonces bax = bay . Además si bax = bay
entonces a = abax = abay = ay por lo tanto aR∗ ab y ademas ab es idempotente de donde
cada R∗a − clase tiene un idempotente de donde S es abundante.

Es conocido el orden natural en E(S), el cual se define como e ≤ f si y sólo si e = ef = f e.

Definición 2.2.12. Sea S un semigrupo; un idempotente e ∈ S es primitivo si para cualquier

f ∈ S si e ≤ f implica e = f o e = 0 si S tiene cero. S es primitivo si todos sus idempotentes
son primitivos.

Definición 2.2.13. Un semigrupo primitivo y amplio a izquierda es llamado P LA−semigrupo.

Teorema 2.2.3. Sea S un PLA-semigrupo con cero 0, si a, b ∈ S, e, f ∈ E(S), Entonces

(1) aR∗ ab o ab = 0

(2) ae = 0 o ae = a. Además, si aS 6= {0}, entonces existe un único a ∈ E(S) tal que

aa = a.

(3) Si e 6= f entonces ef = 0.

Demostración. (1) Asúmase que ab 6= 0. Ya que por ser S amplio a izquierda sus idempo-
tentes conmutan. Ası́ se tiene que a† (ab)† = (ab)† a† y ası́

((ab)† a† )((ab)† a† ) = ((ab)† (a† (ab)† )a† )

= (ab)† (ab)† a†
= (ab)† a†

De donde (ab)† a† = a† (ab)† ∈ E(S) y como a† (ab)† = a† ((ab)† a† ) = ((ab)† a† )a† con esto
se puede ver que (ab)† a† ≤ a† . Pero a† es primitivo, luego (ab)† a† = a† o (ab)† a† = 0.

Si (ab)† a† = 0 entonces (ab)† = 0 y ya que ab = ab(ab)† por ser abR∗ (ab)† del teorema
2.2.2. Esto es contrario a ab 6= 0.
 28 2 Los PLARI- semigrupos

Entonces (ab)† a† = a† . Ademas tambien se puede ver que a† (ab)† = a† (ab)† (ab)† =
(ab)† a† (ab)† por lo tanto a† (ab)† ≤ (ab)† pero por ser S Primitivo se tiene que o
a† (ab)† = (ab)† o a† (ab)† = 0. Si a† (ab)† = 0 entonces (ab)† = 0 y ya que ab = ab(ab)†
por ser abR∗ (ab)† del teorema 2.2.2. Esto es contrario a ab 6= 0.
De este modo a† (ab)† = (ab)† y asi aR∗ a† R(ab)† R∗ ab.

(2) (i) Supóngase ae 6= 0, Entonces por (1), (ae)† R∗ aeR∗ a† , por tanto (ae)† = a† . Ası́
por ser S amplio a derecha se tiene que ae = (ae)† a = a† a = a.
(ii) Ahora asúmase que aS 6= {0}. Entonces existe x ∈ S tal que ax 6= 0. Pero
ax† x = ax 6= 0, luego por la prueba anterior ax† = a.
(iii) (Unicidad) Si existe otro g ∈ E(S) tal que ag = a, entonces a = ag = ax† g.
Ya que a 6= 0 se tiene que x† g 6= 0. De esto y usando lo mostrado en el item
(1) x† R∗ ax† = a = agR∗ g por lo tanto x† , g son idempotentes de una misma
R∗ − clase. Ası́ se puede ver que por ser S adecuado los idempotentes de cada
R∗ − clase conmutan y entonces x† g = x† x† g = x† gx† y x† g = x† x† gg = gx† g por
lo tanto x† g ≤ x† , g. Se sigue que x† = x† g = g ya que x† , g son idempotentes
primitivos. Consecuentemente, existe un único a ∈ E(S) tal que aa = a.

(3) Supongase e 6= f y ef 6= 0; Por el item (2) se tiene que ef = 0 o ef = e. Si la segunda

igualdad se tiene, entonces por el item (1) f R∗ e y por ser S adecuado los idempotentes
de cada R∗ − clase conmutan es decir f e = ef = e de donde e ≤ f ; ahora por ser
S primitivo, e = 0 o e = f , Ası́ e = 0 de donde ef = 0. Por lo tanto se llega a una
contradicción.

Observación 2.2.6. Este Lemma se puede tener para el caso en que S sea un Semigrupo
primitivo y amplio a derecha por medio de las L∗ − clases.

2.3. Semigrupos de Matrices de Rees en Bloques

En esta sección se construirá un semigrupo desde un conjunto de monoides y bisistemas
sobre estos semigrupos. Esta construcción generaliza el concepto de semigrupos asociados a
una matriz de Rees y se llamará semigrupo de matrices de Rees en bloques, ya que usará
una matriz particionada en submatrices o bloques. El caso más general es de poco interés
por lo tanto se impondrán una serie de condiciones para obtener lo que se llamará un PA
semigrupos matriz Rees en bloques. Estos son amplios y primitivos. El producto tensor de
los S − sistemas proporciona una notación conveniente para usar en su definición.

Lema 2.3.1. Sea M, N (S, T ) − bisistemas y P, Q (T, U ) − bisistemas. Si φ : M → N

es un (S, T ) − homomorf ismo y ψ : P → Q es un (T, U ) − homomorf ismo, entonces
2.3 Semigrupos de Matrices de Rees en Bloques 29

la función φ ⊗ ψ : M ⊗T P → N ⊗T Q definida por (m ⊗ p)(φ ⊗ ψ) = mφ ⊗ pψ es un

(S, U ) − homomorf ismo.

Demostración. Se puede ver que φ ⊗ ψ es un S − sistema a izquierda ya que

(s(m ⊗ p))(φ ⊗ ψ) = (sm ⊗ p)(φ ⊗ ψ)

= (sm)φ ⊗ pψ
= s(mφ ⊗ pψ).

Análogamente se muestra que φ ⊗ ψ es U -sitemas a derecha.

Se puede ver que si M es un (S, T ) − bisistema entonces S ⊗ M es un (S, T ) − bisistema a

izquierda ya que teniendo en la estructura del producto tensorial anteriorimente vista se tiene
que s1 (s ⊗ m) = ((s1 s) ⊗ m) y (s ⊗ m)t = ((s ⊗ mt) s, s1 ∈ S, t ∈ T, m ∈ M . Análogamente
se puede ver que M ⊗ T es un (S, T ) − bisistema.

Lema 2.3.2. Sea M es un (S, T ) − bisistema, si ω : S × M → M (τ : M ⊗ T → M ) tales

que ω(s ⊗ m) = sm(τ (m ⊗ t) = mt), entonces ω y τ son S − isomorf ismo a izquierda y
T − isomorf ismo a derecha respectivamente.

Demostración. Para ver que ω es un S − homomorf ismo se toman s, s1 ∈ S, m ∈ M ası́:

ω(s1 s ⊗ m) = (s1 s)m

= s1 (sm)
= s1 ω(s ⊗ m)

de esta manera ω es un S − homomorf ismo a izquierda. análogamente se demuestra que es

S − homorf ismo a derecha. Asi para ver que es inyectivo si ω(s1 ⊗ m1 ) = ρ(s2 ⊗ m2 ) para
s1 , s2 ∈ S 1 , m1 , m2 ∈ M entonces sm1 = sm2 de donde 1 ⊗ (s1 m1 ) = 1 ⊗ (s2 m2 ) y por una
propiedad del producto tensoria mencionada en la definición 2.1.7 se obtiene

s1 ⊗ m1 = 1 ⊗ (s1 m1 )
= 1 ⊗ (s2 m2 )
= (1s2 ) ⊗ m2
= s2 ⊗ m 2

La sobreyectivida de ω se obtiene inmediatamente de hecho de ser M un (S, T ) − bisitema y

por tanto para s ∈, m ∈ M siempre se va a tener que sm ∈ M . De este modo cada elemento
del dominio de ω siempre va a tener una imagen. Por lo tanto se ha mostrado que ω es un
S − isomorf ismo a izquierda. Análogamente se puede ver que ω es un T − isomorf ismo a
derecha.
 30 2 Los PLARI- semigrupos

Lema 2.3.3. Si M es un (S, T ) − bisistema, N es un (T, U ) − bisistema, y P es un (U, V ) −

bisistema, entonces la función σ : M ⊗ (M ⊗ P ) −→ (M ⊗ N ) ⊗ P definida como σ(m ⊗ (n ⊗
p)) = (m ⊗ n) ⊗ p, m ∈ M, n ∈ N, p ∈ P es un (S, V ) − isomorf ismo de M ⊗T (N ⊗U P )
sobre (M ⊗T N ) ⊗U P.

Demostración. Para ver que σ es un (S, V ) − homomorf ismo se procede de la siguiente

manera:

σ(s(m ⊗ (n ⊗ p))) = σ((sm) ⊗ (n ⊗ p)))

= ((sm) ⊗ n) ⊗ p
= (s(m ⊗ n) ⊗ p
= s(m ⊗ n) ⊗ p
= sσ((m ⊗ n) ⊗ p).

Por lo tanto se ha mostrado que σ es un S − homorf ismo a izquierda. Análogamente se

muestra que σ en un V − homomorf ismo a derecha. Para ver que sigma es inyectiva, para
m1 , m2 ∈ M, n1 , n2 ∈ N, p1 , p2 ∈ P si

σ(m1 ⊗ (n1 ⊗ p1 )) = σ(m2 ⊗ (n2 ⊗ p2 ))

(m1 ⊗ n1 ) ⊗ p1 = (m2 ⊗ n2 ) ⊗ p2

Pero usando la inyectividad del producto tensorial según la definición 2.1.7 se concluye que
σ es inyectiva. sobreyectividad se obtiene de inmediato ya que para cualquier m, n, p la
definición del producto tensorial implica que seimpre va a existir (m ⊗ n) ⊗ p.

Cuando no puede haber ambigüedad al omitir la S en M ⊗S N. Se identifica M ⊗T (N ⊗U P )

y (M ⊗T N ) ⊗U P via isomorfismo del lema anterior y simplemente se escribe M ⊗ N ⊗ P .

En lo que resta de este trabajo se centrara en mostrar el teorema de la estructura de los

P LARI − semigrupo. Primero se hará la construcción de las matrices de Rees en bloques.
Despues se manejarán los idempotentes de cada R∗ − clase en la indexación de las entradas
de la matriz en donde se creará un isomorfismo con los P LA − semigrupos caraterizando
sus idempotentes mediante el teorema 2.2.3.

Definición 2.3.1. Un semigrupo amplio primitivo a izquierda S es llamado un PLARI-

semigrupo si para cualquier a ∈ S \ {0}, aS 6= {0}.

Teorema 2.3.1. Un semigrupo S es un PLARI-semigrupo si y sólo si S es isomorfo a algún

LA semigrupo matriz de Rees en bloques.

Demostración. Como principio se construiran las matrices de Rees en bloques

2.3 Semigrupos de Matrices de Rees en Bloques 31

Construcción

Sea I, Λ conjuntos no vacios y sea Γ un conjunto no vacio de indices. Se denotará P (I) =

{Iγ : γ ∈ Γ}, P (Λ) = {Λγ : γ ∈ Γ} el conjunto de particiones indexadas de I y Λ respecti-
S S
vamente. Es decir I = γ∈Γ Iγ y Λ = γ∈Γ Λγ Se hace una convención, que i, j, k, h pueden
denotar miembros de I; λ, µ, υ, ρ pueden denotar miembros de Λ y α, β, γ, δ pueden denotar
elementos de Γ.

Para cada para (α, β) ∈ Γ × Γ sea Mαβ un conjunto tal que para cada α, Mαα = Tα es un
monoide con identidad 1α y para α 6= β, se tienen dos opciones o Mαβ = ∅ o Mαβ es un
(Tα , Tβ ) − bisistema. Ademas Mαβ 6= {0}.

Una matriz I × Λ es una matriz cuyas entradas estan indexadas por (i, λ) donde i ∈ I
y λ ∈ Λ.
Cuando una matriz esta compuesta de bloques, el conjunton de indices de las entradas de la
matriz es decir I × Λ se particiona en Iα × Λβ donde cada (α, β)-bloque en una submatriz
Iα × Λβ . El conjunto en el cual sus entrada se indexan, se reservan solo a Iα × Λβ , es decir
si (i, λ) es una entrada de la matriz I × Λ entonces existen α y β tal que i ∈ Iα , λ ∈ Λβ ,
esto significa que la posición (i, λ) se encuentra en el (α, β) − bloque. Los (α, α)-bloques son
llamados los bloques diagonales de la martriz.

Se denotará por S, el conjunto que consiste de la matriz cero I × Λ (denotada por 0) junto
con todas las matrices I × Λ con una singular entrada no cero donde una entrada de no cero
en el (α, β)-Bloque. Esta entrada toma el valor de un elemento de Mαβ .

Siguiendo la convención usada, (a)iλ denota la I ×Λ matriz con entrada a en la (i, λ) posición
y cero en otra posición, donde la (i, λ) se encuentra en el (α, β)-bloque, con i ∈ Iα , λ ∈ Λβ .

Con el fin de definir una multiplicación de S, se introduce la matriz sandwich Λ × I de

Rees C = (Cλ,j ) donde una entrada en el (α, β)−bloque de C es Cλ,j ∈ Mαβ . A fin de ser
capaz de formar el producto de la matriz (a)iλ C(b)jµ donde (a)iλ , (b)jµ ∈ S Se adopta la
convención de que 0x = 0 = x0 para cualquier elemento x de {0} ∪ {Mαβ : α, β ∈ Γ} y se
imponen las siguientes condiciones:

(M) Para todo α, β, γ ∈ Γ, si Mαβ , Mβγ son ambos no vacios, entonces si Mαγ es no vacı́o,
existe un (Tα , Tγ ) − homomorf ismo ϕαβγ : Mαβ ⊗ Mβγ −→ Mαγ tal que ϕαβγ es el
isomorfismo canónico del Lema 2.3.2 y tal que el cuadrado.
 32 2 Los PLARI- semigrupos

Iαβ ⊗ ϕαβγ
Mαβ ⊗ Mβγ ⊗ Mγδ Mαβ ⊗ Mβδ

ϕαβγ ⊗ Iγδ ϕαβδ

ϕαγδ
Mαγ ⊗ Mγδ Mαδ

Es conmutativo.

Para a ∈ Mαβ , b ∈ Mβγ , se denotará (a ⊗ b)ϕαβγ por ab. Ahora sea A, B ∈ S. Si A = 0 o

B = 0, entonces ACB = 0. asúmase entonces que A = (a)iλ y B = (b)jµ son distintos de
cero. Si C(λ, j) = 0, entonces (aC(λ, j))b = 0 = a(C(λ, j)b) ası́ que AP B = 0. asúmase
que C(λ, j) 6= 0 y sea (i, λ) ∈ Iα × Λβ , (j, µ) ∈ Iγ × Λδ . Entonces a ∈ Mαβ , b ∈ Mδγ , y
C(λ, j) ∈ Mβλ Ası́ que por la condición (M), (aC(λ, j))b = a(C(λ, j)b) es un elemento de
Mαδ bien definido y (aC(λ, j)b)iµ ∈ S. Entonces se tiene un producto definido en S por
AB = ACB. Es sencillo ver que este producto es asociativo ya que si D = (d)kν entonces

((a)iλ (b)jµ )(d)kν = (aC(λ, j)b)iµ (d)kν

= ((aC(λ, j)b)C(µ, k)d)iν
= (aC(λ, j)(bC(µ, k)d))iν
= (a)iλ (bC(µ, k)d)jν
= (a)iλ (bC(µ, k)d)jν
= (a)iλ ((b)jµ (d)kν )

ası́ que S es un semigrupo el cual se denota por M◦ (Mαβ ; I, Λ, Γ; C) y es llamado Semigrupo

de matrices de rees en bloques. Por supuesto cuando Γ es un sólo elemento Γ = {1}, enton-
ces S es sólo el semigrupo de matriz de Ress M◦ (T1 , I, Λ; C).

Para asegurar la abundancia y para localizar los idempotentes de S fácilmente se imponen

las siguientes condiciones adicionales.

(C) Si a, a1 , a2 ∈ Mαβ , b, b1 , b2 ∈ Mβγ , entonces ab1 = ab2 implica b1 = b2 ; Tambien a1 b =

a2 b implica a1 = a2 .

(U) Para cada α ∈ Γ y cada λ ∈ Λα (i ∈ Iα ) existe un elemento i de Iα (λ de Λα ) tal que

C(λ, i) es una unidad en Tα

(R) Si Mαβ , Mβα son ambos conjuntos no vacios donde α 6= β, entonces aba 6= a para todo
a ∈ Mαβ , b ∈ Mβα .
2.3 Semigrupos de Matrices de Rees en Bloques 33

La condición (R) se impone para garantizar que una matriz con una entrada no-cero en un
bloque no diagonal no puede ser un elemento habitual del semigrupo matriz. Esto nos ayuda
a encontrar los idempotentes en el semigrupo matriz. En particular, se evita que tengan
cualquiera idempotentes no primitivos.

Definición 2.3.2. Por un P A semigrupo matriz de Rees en bloques se entenderá aquel que
satisface las condiciones. (C), (U), y (R).

En lo que sigue de este trabajo se centrará en los P A semigrupo matriz de Rees en bloques a
izquierda denotados como LABM(Mαβ ; I, Γ) donde I = Λ. y el producto de cualquera dos
de sus elementos A = (a)ij , B = (b)kl
(
(ab)il si j = k;
AB =
0 si j 6= k,
Proposición 2.3.1. Sea (a)ij ∈ LABM(Mαβ ; I, Γ) \ {0} con a ∈ Mαβ .
(1) (a)ij es un idempotentes si y sólo si i = j y a = 1α .

(2) (a)ij R∗ (1α )jj .

(3) (a)ij es regular si y sólo si α = β y a es unidad de Tα .

(4) (a)ij LABM(Mαβ ; I, Γ) 6= {0}.

Demostración. (1) Si (a)ij es un idempotente, entonces 0 6= (a)ij = (a)2ij , Ası́ i = j y
a2 = a. La segunda igualdad implica α = β y de la condición (C) a = 1α .

(2) Obviamente, (a)ii = (a)ij (1α )jj . Sea (x)kl , (y)pq ∈ LABM(Mαβ ; I, Γ) y se asúme que
(a)ij (x)kl = (a)ij (y)pq . Consideremos los siguientes casos:
Si (a)ij (x)kl = 0, entonces (x)kl = 0 o j 6= k. De esto se sigue que (1α )jj (x)kl = 0.
Si (a)ij (x)kl = (a)ij (y)pq 6= 0, luego j = k = p, l = i = q y ax = ay. La segunda
igualdad puede implicar por la condición (C) que x = y. Ası́ (1α )jj (x)kl = (x)ki =
(y)pi = (1α )jj (y)pq .
teniendo probado que si (a)ij (x)kl = (a)ij (y)pq entonces (1α )jj (x)kl = (1α )jj (y)pq . En
efecto, (1α )jj (x)kl = (1α )jj (y)pq implica (a)ij (x)kl = (a)ij (y)pq . Ası́ (a)ij R∗ (1α )ii .

(3) asúmase que (a)ij es regular. Entonces existe (b)ji tal que (a)ij (b)ji (a)ij = (a)ij . De
esto se sigue que a = aba. Por la condición (R), se muestra que α = β y a = aba. Por
la condición (C), la segunda igualdad conduce a ab = 1α , ası́ que es una unidad de Tα .
Si a es una unidad de Tα entonces existe un b ∈ Tα tal que 1β = ba = ab = 1α de donde
se puede tener aba = a y ası́ (a)ij (b)ji (a)ij . Por lo tanto (a)ij es regular.
 34 2 Los PLARI- semigrupos

(4) Sea (a)ij ∈ LABM(Mαβ ; I, Γ) con a ∈ Mαβ . Claramente, (a)ij (1β )jj = (a)ij , ası́ que
(a)ij LABM(Mαβ ; I, Γ) 6= {0}.

Teorema 2.3.2. LABM(Mαβ ; I, Γ) es un PLA-semigrupo.

Demostración. Por la proposición 2.3.1 LABM(Mαβ ; I, Γ) es un semigrupo abundante a

izquierda y
E(LABM(Mαβ ; I, Γ)) = {(1α )ii : α ∈ Γ} ∪ {0}.
Ahora, por la definición de LABM(Mαβ ; I, Γ), para cualquier u, v ∈ E(LABM(Mαβ ; I, Γ)),
se ve facilmente que us = 0. De esto sigue que cualquier idempotente de LABM(Mαβ ; I, Γ) es
primitivo y que E(LABM(Mαβ ; I, Γ)) es un semigrupo ordenado es decir un semiretı́culo con
la multiplicación de LABM(Mαβ ; I, Γ). Ası́ LABM(Mαβ ; I, Γ) es un semigrupo adecuado
y primitivo a izquierda. Sea (a)kl LABM(Mαβ ; I, Γ) con a ∈ M. Ya que
(
0 = 0(a)kl si k 6= i;
(a)kl (1α )ii =
(a1α )ki = (a)ki = (1β )kk (a)kl si l = i,
Se tiene que LABM(Mαβ ; I, Γ) es amplio a izquierda.

El teorema de la estructura
En esta sección se establecerá el teorema de la estructura de los semigrupos amplios primi-
tivos a izquierda.
Teorema 2.3.3. Sea S un PLA-semigrupo. Si aS 6= {0} para todo a ∈ S \ {0}, entonces S
es isomormorfo a algún semigrupo de matrices de Rees en bloques.

Demostración. Asúmase S es un PLA-semigrupo que satisfaces las condiciones dadas, y sea

P el conjunto de todos los idempotentes no cero de S. Si se defini el conjunto
Q = {Dx : x ∈ Reg(S) \ {0}},
donde Dx es la D−clase de x en S. Para cualquier α ∈ Q se utilizará Pα para denotar
el conjunto de idempotentes de α y además se toma un elemento 1α de Pα . Claramente,
P = ∪α∈Q Pα . Por otro lado se denota Nαβ = (1α S1β ) \ {0}.
Lema 2.3.4. (1) Nαα es un monoide cancelativo a izquierda.

(2) Nαβ es un (Nαα , Nββ ) − bisistema.

Demostración. (1) Nαα es un subsemigrupo de S y 1α es la identidad de Nαα . Sea a, x, y ∈

Nαα . Por el teorema 2.2.3 (1), 1α R∗ a. Si ax = ay, 1α x = 1α y, ası́ que x = y. De esto
se sigue que Nαα es un monoide cancelativo a izquierda.
2.3 Semigrupos de Matrices de Rees en Bloques 35

(2) Por la definición de Nαβ , es claro que Nαβ es un (Nαα , Nββ )-bisistema.

Ahora sea α, β, γ ∈ Q. Se define la función φαβγ como sigue:

φαβγ : Nαβ ⊗ Nβγ → Nαγ ; a ⊗ b 7→ ab.
Evidentemente, φαβγ es un (Nαα , Nββ )−homomorfismo. del Lema 2.3.2 se puede ver que φαβγ
es un (Nαα , Nββ )−isomomorfismo y por tanto satisface la condición (M).
Asúmase a1 , a2 ∈ Nαβ , b ∈ Nβγ y ba1 = ba2 . Ya que b1β = b 6= 0, se tienes por el teorema
2.2.3 (1) que 1β R∗ b. De la igualdad ba1 = ba2 , se obtiene que a1 = 1β a1 = 1β a2 = a2 , ası́ que
la condición (C) a izquierda se tiene.

Sea c ∈ Nαβ , d ∈ Nβα y α 6= β. Note que 1α c = c 6= 0 y 1β d = d 6= 0. Se observa que

cR∗ 1α , dR∗ 1β . Se pretende ver que cdc 6= c. Si no se tiene, entonces c es regular, cd 6= 0
y dc 6= 0. Por el Lema 2.2.3, las dos igualdades implican que cdR∗ c, cR∗ dc. por lo tanto,
cdR∗ 1α , dcR∗ 1β . Pero cdcd = cd y dcdc = dc luego cd, dc ∈ E(S). Ya que S es un semigrupo
amplio a izquierda, cd = 1α y dc = 1β . Ası́ 1α RcLdc = 1β . Esto sigue que 1α D1β . Ası́ que
por como se definió 1α , 1β α = β, contrario a que α 6= β. por lo tanto, la condición (R) se tiene.

Para cualquier i ∈ Pα se fija un ai tal que 1α Rai Li. De esto sigue que 1α = ai a−1 −1
i y i = ai ai ,
donde a−1
i es la inversa de ai . Sea s un elemento arbitrario de S. Se tiene el siguiente lema.
Lema 2.3.5. Existe un único s◦ ∈ Nπσ tal que s = a−1 s†
s◦ as , donde s tiene el mismo sentido
que en el Lema 2.2.3, y π, σ ∈ Q tal que s† ∈ Pπ , s ∈ Pσ .

Demostración. Ya que s† = a−1 a † , 1π = as† a−1

s† s s†
, s = a−1 −1
s as y 1σ = as as , se tiene

s = s† ss = a−1
s†
· as† sa−1
s  · as 

De este modo s◦ = as† sa−1

s
Si existe s1 ∈ Nπσ tal que s = a−1
s†
· s1 · as , entonces a−1
s†
· s1 · as = a−1
s†
· as† sa−1
s · as , Ası́ que

s1 = 1π s1 1σ = as† · a−1 s a  · a−1

s† 1 s
−1
s = as† sas

Esto prueba el Lema.

Se forma el semigrupo de matrices de Rees LABM(Nαβ ; P, Q) y se define

θ : S → LABM(Nαβ ; P, Q); s 7→ (s◦ , s† , s ), 0 7→ 0.
Por el Lema 2.2.3(2) y 2.3.5, θ esta bien definida. Ahora sea s, t, ∈ S. Si (s◦ , s† , s ) =
(t◦ , t† , t ), entonces s◦ = t◦ , s† = t† y s = t . Por el Lema 2.3.5 s = a−1
s†
sas = a−1
t†
tat = t
ası́ que θ es inyectiva.
 36 2 Los PLARI- semigrupos

Sea (x, i, j) ∈ LABM(Nαβ ; P, Q) con i ∈ Pα , j ∈ Pβ y x ∈ Nαβ . Entonces x = 1α x1β , ası́

que x = ai · a−1 −1
i xaj · aj ya que 1α = ai a−1 i y 1β = aj a−1 −1
j . Se sigue que ai xaj 6= 0 ya que
x 6= 0. Se denota b = a−1 −1
i xaj . Se tiene que ib = iai · xaj = b, ası́ que por el lema 2.2.3(1),
iR∗ b, en otras palabras, b† = i. Luego, como b = bj, por el Lema 2.2.3(2), b = j. Ahora por
el Lema 3.3, b◦ = x. Entonces bθ = (x, i, j). Esto muestra que θ es sobreyectivo.
Operando
(
0 si s 6= t† ;
(sθ)(tθ) =
(s◦ t◦ , s† , t† ) En otro caso.
Por otra parte, consideramos los siguientes dos casos

Si st = 0, entonces o s = 0 o t = 0, si s = 0 entonces st† = 0 y si t = 0 entonces

t† = 0 y por tanto st† = 0. Se pretende mostrar que: s t† = 0; utilizando el Lema
2.2.3(3) supóngase que se tiene s = s t† = t† Ası́ que s t† ≤ s , t† , de esto se sigue
que s = ss = st† 6= 0, contrario a st† = 0. Esto por el Lemma 2.2.3(3) y la hipotesis
s 6= t† , se obtiene que (st)θ = 0 = (sθ)(tθ).

Si st 6= 0, entonces

(1) a−1
(st)†
(st)◦ a(st)◦ = st = a−1
s†
s as a−1
t†
t◦ at = a−1
s†
· s◦ t† · a−1
t†
t◦ at ,
ya que por el Lema 2.2.3(3) s = t† , de esto se obtiene

(2) a−1
(st)†
(st)◦ aa(st)† = st = a−1
s†
· ·a−1
t†
t◦ at = a−1
s†
s◦ t◦ at .
Note que s† · st = st y st · (st) = st = st · t . Por el Lema 2.2.3 (1) y (2), se observa
que s† R∗ stR∗ (st)† y t = (st) . La anterior formula implica que s† = (st)† ya que S
es un semigrupo amplio a izquierda. Ahora por el Lema 2.3.5 y la equivalencia (2), se
puede obtener que (st)◦ = s◦ t◦ , ası́ que (st)θ = (s◦ t◦ , s† .t ) = (sθ)(tθ).

por lo tanto, se tiene (st)θ = (sθ)(tθ). Consecuentemente, θ es un homomorfismo. Se completa

la prueba.

Sumando la Proposición 2.3.1, el Teorema 2.3.2 Se Obtiene la primera implicación es decir

que la matriz de Rees en a la que es isomorfo el semigrupo S es primitiva y amplia a izquierda,
y además para a ∈ S se tiene aS 6= {0} es decir un P LARI −Semigrupo. La otra implicación
se obtiene del teorema 2.3.3. Con esto se obtiene la demotración del teorema de la estructura
de los P LARI − semigrupos.
Bibliografı́a
[1] Calabuig, Vicent P.: Sobre els semigrups finits H-resolubles. Valencia, 2013.

[2] Clifford, A.H ; Preston, G.B: The Algebraic Theory of Semigroups. Providence,
Rhode Island : American Mathematical Society, 1967.

[3] Fountain, J. B.: A class of right PP monoids. Quart. J. Math. Oxford 28(2). (1977),
p. 285–300.

[4] Fountain, J. B.: Adequate Semigroups, Proc. Edinb. Math. Soc., 22. (1979), p.
113–125.

[5] Grillet, Pierre A.: Semigroups: An Introduction to the Structure Theory. New Orleans,
Louisiana,

[6] Howie, J. M.: An introduction to semigroup theory. London : Academic Press, 1976

[7] Howie, Ruškuc N: Semigroups and Applications. UK : University of St Andrews, 1997.

[8] Kilp, U ; Mikhalev, A.V.: Monoids, Acts and Categories: With Applications to Wreath
Products and Graphs. Walter de Gruyter, 2000.

[9] Pin, J.E. ; Gomes, G.M.S: Semigroups, Algorithms, Automata and Languages. 2002.

[10] Xiaogiang Guo, Xiaoting H.: Primitive left ample semigroups. China, 2013.