Semigrupo

En matemáticas, un semigrupo es una estructura algebraica que consiste en un conjunto junto con una operación binaria interna asociativa sobre él.

La operación binaria de un semigrupo se denota con mayor frecuencia de forma multiplicativa (solo notación, no necesariamente la multiplicación aritmética elemental ): x ⋅ y , o simplemente xy , denota el resultado de aplicar la operación de semigrupo al par ordenado ( x , y ) . La asociatividad se expresa formalmente como que ( x ⋅ y ) ⋅ z = x ⋅ ( y ⋅ z ) para todos los x , y y z en el semigrupo.

Los semigrupos pueden considerarse un caso especial de magmas , donde la operación es asociativa, o como una generalización de grupos , sin requerir la existencia de un elemento identidad o inversos. ^[a] Como en el caso de grupos o magmas, la operación de semigrupo no necesita ser conmutativa , por lo que x ⋅ y no es necesariamente igual a y ⋅ x ; un ejemplo bien conocido de una operación que es asociativa pero no conmutativa es la multiplicación de matrices . Si la operación de semigrupo es conmutativa, entonces el semigrupo se llama semigrupo conmutativo o (con menos frecuencia que en el caso análogo de grupos ) puede llamarse semigrupo abeliano .

Un monoide es una estructura algebraica intermedia entre semigrupos y grupos, y es un semigrupo que tiene un elemento identidad , obedeciendo así todos menos uno de los axiomas de un grupo: no se requiere la existencia de inversas de un monoide. Un ejemplo natural son las cadenas con concatenación como operación binaria y la cadena vacía como elemento identidad. Restringir a cadenas no vacías da un ejemplo de un semigrupo que no es un monoide. Los números enteros positivos con adición forman un semigrupo conmutativo que no es un monoide, mientras que los números enteros no negativos sí forman un monoide. Un semigrupo sin un elemento identidad puede convertirse fácilmente en un monoide simplemente añadiendo un elemento identidad. En consecuencia, los monoides se estudian en la teoría de semigrupos más que en la teoría de grupos. Los semigrupos no deben confundirse con los cuasigrupos , que son generalizaciones de grupos en una dirección diferente; la operación en un cuasigrupo no necesita ser asociativa pero los cuasigrupos preservan de los grupos la noción de división . La división en semigrupos (o en monoides) en general no es posible.

El estudio formal de los semigrupos comenzó a principios del siglo XX. Los primeros resultados incluyen un teorema de Cayley para semigrupos que realiza cualquier semigrupo como un semigrupo de transformación , en el que funciones arbitrarias reemplazan el papel de las biyecciones en la teoría de grupos. Un resultado profundo en la clasificación de semigrupos finitos es la teoría de Krohn-Rhodes , análoga a la descomposición de Jordan-Hölder para grupos finitos. Algunas otras técnicas para estudiar semigrupos, como las relaciones de Green , no se parecen en nada a la teoría de grupos.

La teoría de semigrupos finitos ha sido de particular importancia en la ciencia informática teórica desde la década de 1950 debido al vínculo natural entre semigrupos finitos y autómatas finitos a través del monoide sintáctico . En teoría de probabilidad , los semigrupos están asociados con procesos de Markov . ^[1] En otras áreas de las matemáticas aplicadas , los semigrupos son modelos fundamentales para sistemas lineales invariantes en el tiempo . En ecuaciones diferenciales parciales , un semigrupo está asociado a cualquier ecuación cuya evolución espacial sea independiente del tiempo.

Existen numerosas clases especiales de semigrupos , semigrupos con propiedades adicionales, que aparecen en aplicaciones particulares. Algunas de estas clases son incluso más cercanas a los grupos al exhibir algunas propiedades adicionales pero no todas de un grupo. De estas mencionamos: semigrupos regulares , semigrupos ortodoxos , semigrupos con involución , semigrupos inversos y semigrupos cancelativos . También hay clases interesantes de semigrupos que no contienen ningún grupo excepto el grupo trivial ; ejemplos de este último tipo son las bandas y su subclase conmutativa – semirretículos , que también son estructuras algebraicas ordenadas .

Un semigrupo es un conjunto S junto con una operación binaria ⋅ (es decir, una función ⋅ : S × S → S ) que satisface la propiedad asociativa :

Para todo a , b , c ∈ S , se cumple la ecuación ( a ⋅ b ) ⋅ c = a ⋅ ( b ⋅ c ) .

Más sucintamente, un semigrupo es un magma asociativo .

• Semigrupo vacío : el conjunto vacío forma un semigrupo con la función vacía como operación binaria.
• Semigrupo con un elemento : esencialmente sólo hay uno (en concreto, sólo uno hasta isomorfismo ), el singleton { a } con operación a · a = a .
• Semigrupo con dos elementos : hay cinco que son esencialmente diferentes.
• El monoide "flip-flop": un semigrupo con tres elementos que representan las tres operaciones de un interruptor: configurar, reiniciar y no hacer nada.
• El conjunto de números enteros positivos con adición. (Si se incluye el 0, se convierte en un monoide ).
• El conjunto de números enteros con mínimo o máximo. (Si se incluye el infinito positivo o negativo, se convierte en un monoide).
• Matrices cuadradas no negativas de un tamaño dado con multiplicación de matrices.
• Cualquier ideal de un anillo con la multiplicación del anillo.
• Conjunto de todas las cadenas finitas sobre un alfabeto fijo Σ con concatenación de cadenas como operación de semigrupo, el llamado " semigrupo libre sobre Σ". Con la cadena vacía incluida, este semigrupo se convierte en el monoide libre sobre Σ.
• Una distribución de probabilidad F junto con todas las potencias de convolución de F , con la convolución como operación. Esto se denomina semigrupo de convolución.
• Semigrupos y monoides de transformación .
• El conjunto de funciones continuas de un espacio topológico a sí mismo con composición de funciones forma un monoide con la función identidad actuando como identidad. De manera más general, los endomorfismos de cualquier objeto de una categoría forman un monoide bajo composición.
• El producto de las caras de una disposición de hiperplanos .

Una identidad izquierda de un semigrupo S (o más generalmente, magma ) es un elemento e tal que para todo x en S , e ⋅ x = x . De manera similar, una identidad derecha es un elemento f tal que para todo x en S , x ⋅ f = x . Las identidades izquierda y derecha se denominan identidades unilaterales . Un semigrupo puede tener una o más identidades izquierdas pero ninguna identidad derecha, y viceversa.

Una identidad bilateral (o simplemente identidad ) es un elemento que es tanto una identidad izquierda como una identidad derecha. Los semigrupos con una identidad bilateral se denominan monoides . Un semigrupo puede tener como máximo una identidad bilateral. Si un semigrupo tiene una identidad bilateral, entonces la identidad bilateral es la única identidad unilateral en el semigrupo. Si un semigrupo tiene tanto una identidad izquierda como una identidad derecha, entonces tiene una identidad bilateral (que es, por lo tanto, la única identidad unilateral).

Un semigrupo S sin identidad puede estar incluido en un monoide formado mediante la unión de un elemento e ∉ S a S y definiendo e ⋅ s = s ⋅ e = s para todo s ∈ S ∪ { e } . ^{[2] [3]} La notación S ¹ denota un monoide obtenido a partir de S mediante la unión de una identidad si es necesario ( S ¹ = S para un monoide). ^[3]

De manera similar, cada magma tiene como máximo un elemento absorbente , que en la teoría de semigrupos se denomina cero . De manera análoga a la construcción anterior, para cada semigrupo S , se puede definir S ⁰ , un semigrupo con 0 que encierra a S.

La operación de semigrupo induce una operación sobre la colección de sus subconjuntos: dados los subconjuntos A y B de un semigrupo S , su producto A · B , escrito comúnmente como AB , es el conjunto { ab | a en A y b en B }. (Esta noción se define de forma idéntica a como se hace para los grupos .) En términos de esta operación, un subconjunto A se llama

• un subsemigrupo si AA es un subconjunto de A ,
• un ideal correcto si AS es un subconjunto de A , y
• un ideal izquierdo si SA es un subconjunto de A.

Si A es a la vez un ideal izquierdo y un ideal derecho, entonces se llama ideal (o ideal de dos caras ).

Si S es un semigrupo, entonces la intersección de cualquier colección de subsemigrupos de S es también un subsemigrupo de S. Por lo tanto, los subsemigrupos de S forman una red completa .

Un ejemplo de semigrupo sin ideal mínimo es el conjunto de números enteros positivos sometidos a adición. El ideal mínimo de un semigrupo conmutativo , cuando existe, es un grupo.

Las relaciones de Green , un conjunto de cinco relaciones de equivalencia que caracterizan a los elementos en términos de los ideales principales que generan, son herramientas importantes para analizar los ideales de un semigrupo y nociones relacionadas de estructura.

El subconjunto con la propiedad de que cada elemento conmuta con cualquier otro elemento del semigrupo se denomina centro del semigrupo. ^[4] El centro de un semigrupo es en realidad un subsemigrupo. ^[5]

Un homomorfismo de semigrupo es una función que conserva la estructura del semigrupo. Una función f  : S → T entre dos semigrupos es un homomorfismo si la ecuación

f ( ab ) = f ( a ) f ( b ) .

se cumple para todos los elementos a , b en S , es decir, el resultado es el mismo cuando se realiza la operación de semigrupo después o antes de aplicar la función f .

Un homomorfismo de semigrupo entre monoides conserva la identidad si es un homomorfismo de monoide . Pero hay homomorfismos de semigrupo que no son homomorfismos de monoide, por ejemplo, la incrustación canónica de un semigrupo S sin identidad en S ^1. Las condiciones que caracterizan a los homomorfismos de monoide se discuten más a fondo. Sea f  : S ₀ → S ₁ un homomorfismo de semigrupo. La imagen de f también es un semigrupo. Si S ₀ es un monoide con un elemento identidad e ₀ , entonces f ( e ₀ ) es el elemento identidad en la imagen de f . Si S ₁ es también un monoide con un elemento identidad e ₁ y e ₁ pertenece a la imagen de f , entonces f ( e ₀ ) = e ₁ , es decir, f es un homomorfismo de monoide. En particular, si f es sobreyectiva , entonces es un homomorfismo de monoide.

Se dice que dos semigrupos S y T son isomorfos si existe un homomorfismo de semigrupos biyectivo f  : S → T . Los semigrupos isomorfos tienen la misma estructura.

Una congruencia de semigrupo ~ es una relación de equivalencia que es compatible con la operación de semigrupo. Es decir, un subconjunto ~ ⊆ S × S que es una relación de equivalencia y x ~ y y u ~ v implica xu ~ yv para cada x , y , u , v en S . Como cualquier relación de equivalencia, una congruencia de semigrupo ~ induce clases de congruencia

[ a ] _​​~ = { x ∈ S | x ~ a }

y la operación de semigrupo induce una operación binaria ∘ sobre las clases de congruencia:

[ u ] _~ ∘ [ v ] _~ = [ uv ] _~

Como ~ es una congruencia, el conjunto de todas las clases de congruencia de ~ forma un semigrupo con ∘, llamado semigrupo cociente o semigrupo factorial , y denotado S /~ . La función x ↦ [ x ] _~ es un homomorfismo de semigrupo, llamado función cociente , sobreyección o proyección canónica ; si S es un monoide, entonces el semigrupo cociente es un monoide con identidad [1] _~ . A la inversa, el núcleo de cualquier homomorfismo de semigrupo es una congruencia de semigrupo. Estos resultados no son más que una particularización del primer teorema de isomorfismo en álgebra universal . Las clases de congruencia y los monoides factoriales son los objetos de estudio en los sistemas de reescritura de cadenas .

Una congruencia nuclear en S es aquella que es el núcleo de un endomorfismo de S. ^[6 ]

Un semigrupo S satisface la condición máxima de congruencias si cualquier familia de congruencias en S , ordenada por inclusión, tiene un elemento máximo. Por el lema de Zorn , esto es equivalente a decir que se cumple la condición de cadena ascendente : no existe una cadena infinita estrictamente ascendente de congruencias en S . ^[7]

Todo ideal I de un semigrupo induce un semigrupo factorial, el semigrupo factorial de Rees , a través de la congruencia ρ definida por x ρ y si x = y , o tanto x como y están en I .

Las siguientes nociones ^[8] introducen la idea de que un semigrupo está contenido en otro.

Un semigrupo T es cociente de un semigrupo S si existe un morfismo de semigrupo sobreyectivo de S a T. Por ejemplo, ( Z /2 Z , +) es cociente de ( Z /4 Z , +) , utilizando el morfismo que consiste en tomar el resto módulo 2 de un número entero.

Un semigrupo T divide a un semigrupo S , denotado T ≼ S si T es un cociente de un subsemigrupo S . En particular, los subsemigrupos de S dividen a T , mientras que no es necesariamente el caso de que exista un cociente de S .

Ambas relaciones son transitivas.

Para cualquier subconjunto A de S existe un subsemigrupo T de S más pequeño que contiene a A , y decimos que A genera T . Un único elemento x de S genera el subsemigrupo { x ⁿ | n ∈ Z ⁺ } . Si este es finito, entonces se dice que x es de orden finito , de lo contrario es de orden infinito . Se dice que un semigrupo es periódico si todos sus elementos son de orden finito. Un semigrupo generado por un único elemento se dice que es monogénico (o cíclico ). Si un semigrupo monogénico es infinito, entonces es isomorfo al semigrupo de números enteros positivos con la operación de adición. Si es finito y no vacío, entonces debe contener al menos un idempotente . De ello se deduce que todo semigrupo periódico no vacío tiene al menos un idempotente.

Un subsemigrupo que es también un grupo se llama subgrupo . Existe una estrecha relación entre los subgrupos de un semigrupo y sus idempotentes. Cada subgrupo contiene exactamente un idempotente, es decir, el elemento identidad del subgrupo. Para cada idempotente e del semigrupo hay un único subgrupo maximal que contiene a e . Cada subgrupo maximal surge de esta manera, por lo que existe una correspondencia biunívoca entre idempotentes y subgrupos maximalistas. Aquí el término subgrupo maximal difiere de su uso estándar en la teoría de grupos.

A menudo se puede decir más cuando el orden es finito. Por ejemplo, todo semigrupo finito no vacío es periódico y tiene un ideal mínimo y al menos un idempotente. El número de semigrupos finitos de un tamaño dado (mayor que 1) es (obviamente) mayor que el número de grupos del mismo tamaño. Por ejemplo, de las dieciséis "tablas de multiplicar" posibles para un conjunto de dos elementos {a, b }, ocho forman semigrupos ^[b] mientras que solo cuatro de ellos son monoides y solo dos forman grupos. Para más información sobre la estructura de los semigrupos finitos, véase la teoría de Krohn-Rhodes .

• Un monoide es un semigrupo con un elemento identidad .
• Un grupo es un monoide en el que cada elemento tiene un elemento inverso .
• Un subsemigrupo es un subconjunto de un semigrupo que está cerrado bajo la operación de semigrupo.
• Un semigrupo cancelatorio es aquel que tiene la propiedad de cancelación : ^[9] a · b = a · c implica b = c y de manera similar para b · a = c · a . Todo grupo es un semigrupo cancelatorio, y todo semigrupo cancelatorio finito es un grupo.
• Una banda es un semigrupo cuyo funcionamiento es idempotente .
• Una semired es un semigrupo cuya operación es idempotente y conmutativa .
• 0- semigrupos simples.
• Semigrupos de transformación : cualquier semigrupo finito S puede representarse mediante transformaciones de un conjunto (de estados) Q de como máximo | S | + 1 estados. Cada elemento x de S mapea entonces Q en sí mismo x  : Q → Q y la secuencia xy se define por q ( xy ) = ( qx ) y para cada q en Q . La secuenciación es claramente una operación asociativa, aquí equivalente a la composición de funciones . Esta representación es básica para cualquier autómata o máquina de estados finitos (MSF).
• El semigrupo bicíclico es de hecho un monoide, que puede describirse como el semigrupo libre en dos generadores p y q , bajo la relación pq = 1 .
• C ₀ -semigrupos .
• Semigrupos regulares . Cada elemento x tiene al menos un inverso y que satisface xyx = x e yxy = y ; los elementos x e y se denominan a veces "mutuamente inversos".
• Los semigrupos inversos son semigrupos regulares en los que cada elemento tiene exactamente un inverso. Alternativamente, un semigrupo regular es inverso si y solo si dos idempotentes cualesquiera conmutan.
• Semigrupo afín: semigrupo que es isomorfo a un subsemigrupo finitamente generado de Z ^d . Estos semigrupos tienen aplicaciones en el álgebra conmutativa .

Existe un teorema de estructura para semigrupos conmutativos en términos de semirretículos . ^[10] Un semirretículo (o más precisamente un semirretículo de encuentro) ( L , ≤) es un conjunto parcialmente ordenado donde cada par de elementos a , b ∈ L tiene un límite inferior máximo , denotado a ∧ b . La operación ∧ convierte a L en un semigrupo que satisface la ley de idempotencia adicional a ∧ a = a .

Dado un homomorfismo f  : S → L de un semigrupo arbitrario a un semirretículo, cada imagen inversa S _a = f ⁻¹ { a } es un semigrupo (posiblemente vacío). Además, S se gradúa según L , en el sentido de que S _a S _b ⊆ S _{a ∧ b} .

Si f es sobreyectiva, la semirretícula L es isomorfa al cociente de S por la relación de equivalencia ~ tal que x ~ y si y solo si f ( x ) = f ( y ) . Esta relación de equivalencia es una congruencia de semigrupo, como se definió anteriormente.

Siempre que tomamos el cociente de un semigrupo conmutativo por una congruencia, obtenemos otro semigrupo conmutativo. El teorema de estructura dice que para cualquier semigrupo conmutativo S , existe una congruencia mínima ~ tal que el cociente de S por esta relación de equivalencia es un semirretículo. Denotando este semirretículo por L , obtenemos un homomorfismo f de S sobre L . Como se mencionó, S se gradúa por este semirretículo.

Además, los componentes S _a son todos semigrupos arquimedianos . Un semigrupo arquimediano es aquel en el que, dado cualquier par de elementos x , y , existe un elemento z y n > 0 tal que x ⁿ = yz .

La propiedad arquimediana se sigue inmediatamente del ordenamiento en la semired L , ya que con este ordenamiento tenemos f ( x ) ≤ f ( y ) si y sólo si x ⁿ = yz para algún z y n > 0 .

El grupo de fracciones o completitud de grupo de un semigrupo S es el grupo G = G ( S ) generado por los elementos de S como generadores y todas las ecuaciones xy = z que se cumplen en S como relaciones . ^[11] Existe un homomorfismo de semigrupo obvio j  : S → G ( S ) que envía cada elemento de S al generador correspondiente. Esto tiene una propiedad universal para morfismos de S a un grupo: ^[12] dado cualquier grupo H y cualquier homomorfismo de semigrupo k  : S → H , existe un homomorfismo de grupo único f  : G → H con k = fj . Podemos pensar en G como el grupo "más general" que contiene una imagen homomórfica de S .

Una cuestión importante es caracterizar aquellos semigrupos para los cuales este mapa es una incrustación. Esto no tiene por qué ser siempre así: por ejemplo, tomemos S como el semigrupo de subconjuntos de algún conjunto X con intersección de teoría de conjuntos como la operación binaria (este es un ejemplo de una semired). Dado que A . A = A se cumple para todos los elementos de S , esto debe ser cierto también para todos los generadores de G ( S ), que es por lo tanto el grupo trivial . Es claramente necesario para la incrustabilidad que S tenga la propiedad de cancelación . Cuando S es conmutativo esta condición también es suficiente ^[13] y el grupo de Grothendieck del semigrupo proporciona una construcción del grupo de fracciones. El problema de los semigrupos no conmutativos se puede rastrear hasta el primer artículo sustancial sobre semigrupos. ^{[14] [15]} Anatoly Maltsev dio condiciones necesarias y suficientes para la incrustabilidad en 1937. ^[16]

La teoría de semigrupos se puede utilizar para estudiar algunos problemas en el campo de las ecuaciones diferenciales parciales . En términos generales, el enfoque de semigrupos consiste en considerar una ecuación diferencial parcial dependiente del tiempo como una ecuación diferencial ordinaria en un espacio de funciones. Por ejemplo, considere el siguiente problema de valor inicial/frontera para la ecuación del calor en el intervalo espacial (0, 1) ⊂ R y tiempos t ≥ 0 :

${\displaystyle {\begin{cases}\partial _{t}u(t,x)=\partial _{x}^{2}u(t,x),&x\in (0,1),t>0;\\u(t,x)=0,&x\in \{0,1\},t>0;\\u(t,x)=u_{0}(x),&x\in (0,1),t=0.\end{cases}}}$

Sea X = L ² ((0, 1) R ) el espacio L ^p de funciones reales integrables al cuadrado con dominio en el intervalo (0, 1) y sea A el operador de segunda derivada con dominio

${\displaystyle D(A)={\big \{}u\in H^{2}((0,1);\mathbf {R} ){\big |}u(0)=u(1)=0{\big \}},}$

donde H ² es un espacio de Sobolev . Entonces, el problema de valor inicial/límite anterior se puede interpretar como un problema de valor inicial para una ecuación diferencial ordinaria en el espacio X :

${\displaystyle {\begin{cases}{\dot {u}}(t)=Au(t);\\u(0)=u_{0}.\end{cases}}}$

A nivel heurístico, la solución a este problema "debería" ser u ( t ) = exp( tA ) u ₀ . Sin embargo, para un tratamiento riguroso, se debe dar un significado a la exponencial de tA . Como función de t , exp( tA ) es un semigrupo de operadores desde X hasta sí mismo, que lleva el estado inicial u ₀ en el instante t = 0 al estado u ( t ) = exp( tA ) u ₀ en el instante t . Se dice que el operador A es el generador infinitesimal del semigrupo.

El estudio de los semigrupos se situó por detrás del de otras estructuras algebraicas con axiomas más complejos, como los grupos o los anillos . Varias fuentes ^{[17] [18]} atribuyen el primer uso del término (en francés) a J.-A. de Séguier en Élements de la Théorie des Groupes Abstraits (Elementos de la teoría de grupos abstractos) en 1904. El término se utiliza en inglés en 1908 en Theory of Groups of Finite Order (Teoría de grupos de orden finito ) de Harold Hinton .

Anton Sushkevich obtuvo los primeros resultados no triviales sobre semigrupos. Su artículo de 1928 "Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit" ("Sobre grupos finitos sin la regla de invertibilidad única") determinó la estructura de semigrupos simples finitos y mostró que el ideal mínimo (o la clase J de relaciones de Green ) de un semigrupo finito es simple. ^[18] A partir de ese momento, las bases de la teoría de semigrupos fueron establecidas por David Rees , James Alexander Green , Evgenii Sergeevich Lyapin  [fr] , Alfred H. Clifford y Gordon Preston . Los dos últimos publicaron una monografía de dos volúmenes sobre teoría de semigrupos en 1961 y 1967 respectivamente. En 1970, una nueva publicación periódica llamada Semigroup Forum (actualmente editada por Springer Verlag ) se convirtió en una de las pocas revistas matemáticas dedicadas por completo a la teoría de semigrupos.

La teoría de representación de semigrupos fue desarrollada en 1963 por Boris Schein usando relaciones binarias en un conjunto A y composición de relaciones para el producto de semigrupos. ^[19] En una conferencia algebraica en 1972, Schein revisó la literatura sobre B _A , el semigrupo de relaciones en A . ^[20] En 1997, Schein y Ralph McKenzie demostraron que cada semigrupo es isomorfo a un semigrupo transitivo de relaciones binarias. ^[21]

En los últimos años, los investigadores en el campo se han especializado más y han aparecido monografías dedicadas a clases importantes de semigrupos, como los semigrupos inversos , así como monografías centradas en aplicaciones en la teoría de autómatas algebraicos, particularmente para autómatas finitos, y también en el análisis funcional .

Si se descarta el axioma de asociatividad de un semigrupo, el resultado es un magma , que no es más que un conjunto M dotado de una operación binaria cerrada M × M → M .

Generalizando en una dirección diferente, un semigrupo n -ario (también n -semigrupo , semigrupo poliádico o semigrupo multiario ) es una generalización de un semigrupo a un conjunto G con una operación n -aria en lugar de una operación binaria. ^[22] La ley asociativa se generaliza de la siguiente manera: la asociatividad ternaria es ( abc ) de = a ( bcd ) e = ab ( cde ) , es decir, la cadena abcde con tres elementos adyacentes cualesquiera entre corchetes. La asociatividad n -aria es una cadena de longitud n + ( n − 1) con n elementos adyacentes cualesquiera entre corchetes. Un semigrupo 2-ario es simplemente un semigrupo. Otros axiomas conducen a un grupo n -ario .

Una tercera generalización es el semigrupoide , en el que se elimina el requisito de que la relación binaria sea total. Como las categorías generalizan a los monoides de la misma manera, un semigrupoide se comporta de manera muy similar a una categoría, pero carece de identidades.

Varios autores han considerado a veces generalizaciones infinitas de semigrupos conmutativos. ^[c]

• Elemento absorbente
• Conjunto bioordenado
• Semigrupo compacto
• Semigrupo vacío
• Inversa generalizada
• Elemento de identidad
• Prueba de asociatividad de Light
• Factor principal
• Semigrupo dinámico cuántico
• Anillo de semigrupo
• Inversa débil