stringtranslate.com

Semigrupo

Estructuras algebraicas entre magmas y grupos : Un semigrupo es un magma con asociatividad . Un monoide es un semigrupo con un elemento identidad .

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 ): xy , 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 ( xy ) ⋅ z = x ⋅ ( yz ) 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 xy no es necesariamente igual a yx ; 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 .

Definición

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

Para todo a , b , cS , se cumple la ecuación ( ab ) ⋅ c = a ⋅ ( bc ) .

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

Ejemplos de semigrupos

Conceptos básicos

Identidad y cero

Una identidad izquierda de un semigrupo S (o más generalmente, magma ) es un elemento e tal que para todo x en S , ex = x . De manera similar, una identidad derecha es un elemento f tal que para todo x en S , xf = 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 eS a S y definiendo es = se = s para todo sS ∪ { e } . [2] [3] La notación S 1 denota un monoide obtenido a partir de S mediante la unión de una identidad si es necesario ( S 1 = 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 0 , un semigrupo con 0 que encierra a S.

Subsemigrupos e ideales

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

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]

Homomorfismos y congruencias

Un homomorfismo de semigrupo es una función que conserva la estructura del semigrupo. Una función f  : ST 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 0S 1 un homomorfismo de semigrupo. La imagen de f también es un semigrupo. Si S 0 es un monoide con un elemento identidad e 0 , entonces f ( e 0 ) es el elemento identidad en la imagen de f . Si S 1 es también un monoide con un elemento identidad e 1 y e 1 pertenece a la imagen de f , entonces f ( e 0 ) = e 1 , 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  : ST . 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 ] ​​~ = { xS | 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 .

Cocientes y divisiones

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 TS 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.

Estructura de semigrupos

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 | nZ + } . 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 .

Clases especiales de semigrupos

Teorema de estructura para semigrupos conmutativos

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 , bL tiene un límite inferior máximo , denotado ab . La operación ∧ convierte a L en un semigrupo que satisface la ley de idempotencia adicional aa = a .

Dado un homomorfismo f  : SL de un semigrupo arbitrario a un semirretículo, cada imagen inversa S a = f −1 { a } es un semigrupo (posiblemente vacío). Además, S se gradúa según L , en el sentido de que S a S bS ab .

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 n = 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 n = yz para algún z y n > 0 .

Grupo de fracciones

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  : SG ( 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  : SH , existe un homomorfismo de grupo único f  : GH 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]

Métodos de semigrupos en ecuaciones diferenciales parciales

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 :

Sea X = L 2 ((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

donde H 2 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 :

A nivel heurístico, la solución a este problema "debería" ser u ( t ) = exp( tA ) u 0 . 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 0 en el instante t = 0 al estado u ( t ) = exp( tA ) u 0 en el instante t . Se dice que el operador A es el generador infinitesimal del semigrupo.

Historia

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 .

Generalizaciones

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 × MM .

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]

Véase también

Notas

  1. ^ El axioma de clausura está implícito en la definición de una operación binaria sobre un conjunto. Por ello, algunos autores lo omiten y especifican tres axiomas para un grupo y sólo un axioma (asociatividad) para un semigrupo.
  2. ^ A saber: el semigrupo trivial en el que (para todo x e y ) xy = a y su contraparte en el que xy = b , los semigrupos basados ​​en la multiplicación módulo 2 (eligiendo a o b como el elemento identidad 1), los grupos equivalentes a la adición módulo 2 (eligiendo a o b como el elemento identidad 0), y los semigrupos en los que los elementos son ambos identidades de izquierda o ambos identidades de derecha.
  3. ^ Véanse las referencias en Udo Hebisch y Hanns Joachim Weinert, Semirings and Semifields , en particular, Sección 10, Semirings with infinite sums , en M. Hazewinkel, Handbook of Algebra, Vol. 1, Elsevier, 1996. Nótese que en este contexto los autores utilizan el término semimódulo en lugar de semigrupo .

Citas

  1. ^ Talador 1971
  2. ^ Jacobson 2009, pág. 30, ej. 5
  3. ^ Véase Lawson 1998, pág. 20
  4. ^ Kilp, Mati; Knauer, U.; Mikhalev, Aleksandr V. (2000). Monoides, actos y categorías: con aplicaciones a productos de corona y gráficos: un manual para estudiantes e investigadores. Walter de Gruyter. p. 25. ISBN 978-3-11-015248-7.Zbl 0945.20036  .
  5. ^ Li͡apin, ES (1968). Semigrupos. American Mathematical Soc. pág. 96. ISBN 978-0-8218-8641-0.
  6. ^ Lothaire 2011, pág. 463
  7. ^ Lothaire 2011, pág. 465
  8. ^ Pin, Jean-Éric (30 de noviembre de 2016). Fundamentos matemáticos de la teoría de autómatas (PDF) . p. 19.
  9. ^ Clifford y Preston 2010, pág. 3
  10. ^ Parrilla 2001
  11. ^ Farb, B. (2006). Problemas de mapeo de grupos de clases y temas relacionados . Amer. Math. Soc. p. 357. ISBN 978-0-8218-3838-9.
  12. ^ Auslander, M.; Buchsbaum, DA (1974). Grupos, anillos, módulos . Harper y fila. pag. 50.ISBN 978-0-06-040387-4.
  13. ^ Clifford y Preston 1961, pág. 34
  14. ^ Suschkewitsch 1928
  15. ^ Preston, GB (1990). Personal reminiscences of the early history of semigroups (Reminiscencias personales de la historia temprana de los semigrupos). Archivado desde el original el 9 de enero de 2009. Consultado el 12 de mayo de 2009 .
  16. ^ Maltsev, A. (1937). "Sobre la inmersión de un anillo algebraico en un campo". Math. Annalen . 113 : 686–691. doi :10.1007/BF01571659. S2CID  : 122295935.
  17. ^ "Usos más antiguos conocidos de algunas palabras de las matemáticas".
  18. ^ ab "An account of Suschkewitsch's paper by Christopher Hollings" (PDF) . Archivado desde el original (PDF) el 25 de octubre de 2009.
  19. ^ BM Schein (1963) "Representaciones de semigrupos por medio de relaciones binarias" (ruso), Matematicheskii Sbornik 60: 292–303 MR 0153760
  20. ^ BM Schein (1972) Miniconferencia sobre teoría de semigrupos , MR 0401970
  21. ^ BM Schein y R. McKenzie (1997) "Todo semigrupo es isomorfo a un semigrupo transitivo de relaciones binarias", Transactions of the American Mathematical Society 349(1): 271–85 MR 1370647
  22. ^ Dudek, WA (2001). "Sobre algunos viejos problemas en grupos n-arios". Quasigroups and Related Systems . 8 : 15–36. Archivado desde el original el 14 de julio de 2009.

Referencias

Referencias generales

Referencias específicas