Semigrupo inverso

Em matemática, um semigrupo inverso S é um semigrupo em que todo elemento x em S possui um único inverso y em S no sentido de que x = xyx e y = yxy. Semigrupos inversos aparecem em diferentes contextos; eles podem, por exemplo, ser empregados no estudo de simetrias parciais.

(A convenção seguida neste artigo é aquela em que se escreve uma função ao lado direito de seu argumento, e a composição de funções é feita da esquerda para a direita — uma convenção observada frequentemente na teoria de semigrupos)

Origem

Os semugrupos inversos foram introduzidos independentemente por Viktor Vladimirovich Wagner na União Soviética em 1952, e por Gordon Preston na Grã-Betanha em 1954. Ambos os autores chegaram aos semigrupos inversos através do estudo de funções bijetoras de um conjunto: uma função parcial α de um conjunto X é uma função de A para B, em que A e B são subconjuntos de X. Sejam α e β funções parciais de um conjunto X; α e β podem ser compostas (da esquerda para a direita) no maior domínio em que essa composição "faz sentido":

dom αβ = [im α $\cap$ dom β]α⁻¹

em que α⁻¹ denota a pré-imagem por α. As funções parciais já haiam sido estudadas no contexto de pseudogrupos. Foi Wagner, no entanto, o primeiro a observar que a composição de funções parciais é um tipo especial de multiplicação de relações binárias. Ele também reconheceu que o domínio de composição de duas funções parciais pode ser o conjunto vazio, e introduziu então uma função vazia para englobar este caso. Com a inclusão desta aplicação vazia, a composição de funções parciais de um conjunto torna-se uma relação binária associativa, definida para quaisquer pares de funções parciais. Sob esta composição, a coleção ${\mathcal {I}}_{X}$ de todas as funções parciais bijetivas de um conjunto X forma um semigrupo inverso, chamado o semigrupo inveso simétrico em X (ou o monóide inverso simétrico em X) Este é o semigrupo inverso que serve de modelo para todos os demais, de forma análoga ao papel desempenhado pelos grupos simétricos em relação aos grupos. Por exemplo, da mesma forma em que todo grupo pode ser imerso em um grupo simétrico, todo semigrupo inverso pode ser imerso em um semigrupo inverso simétrico (veja abaixo).

Noções básicas

O inverso de um lemento x de um semigrupo inverso S é denotado geralmente por x⁻¹. Os inversos de um semigrupo inverso possuem muitas das propriedades que os inversos de um grupo. Por exemplo, (ab)⁻¹ = b⁻¹a⁻¹. Em um monóide inverso, xx⁻¹ e x⁻¹x não são necessariamente iguais ao elemento neutro, mas ambos são elementos idempotentes. Um monóide inverso S em que xx⁻¹ = 1 = x⁻¹x, para todo elemento x de S (um monóide inverso unipotente), é, obviamente, um grupo.

Há diversas caracterizações diferentes para um semigrupo inverso S:

• Todo elemento de S possui um único inverso, no sentido acima.
• Todo elemento de S possui pelo menos um inverso (S é um semigrupo regular) e os idempotentes comutam (isto é, os idempotentes de S formam um semi-reticulado).
• Toda classe ${\mathcal {L}}$ e toda classe ${\mathcal {R}}$ contém exatamente um idempotente (aqui, ${\mathcal {L}}$ e ${\mathcal {R}}$ são duas das relações de Green.

Os idempotentes da classe ${\mathcal {L}}$ de s ´e s⁻¹s, enquanto que o idempotente na classe ${\mathcal {R}}$ de s é ss⁻¹. Há então uma caracterização simples das relações de Green em um semigrupo inverso:

$a\,{\mathcal {L}}\,b\Longleftrightarrow a^{-1}a=b^{-1}b,\quad a\,{\mathcal {R}}\,b\Longleftrightarrow aa^{-1}=bb^{-1}$

Exemplos de semigrupos inversos:

• Todo grupo é um semigrupo inverso.
• O semigrupo bicíclico é inverso, e (a,b)⁻¹ = (b,a).
• Todo semi-reticulado é inverso.
• O semigrupo de Brandt é inverso.
• O semigrupo de Munn semigroup é inverso.

A não ser que seja feita indicação contrária, o semi-reticulado de idempotentes de um semigrupo inverso S será denotado por E(S).

Ver também

• Conjunto biordenado
• Pseudogrupo
• Simetria parcial
• Semigrupo regular
• Semi-reticulado
• Relações de Green
• Teoria das categorias

Referências

• A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Volume 2, Mathematical Surveys of the American Mathematical Society, No. 7, Providence, R.I., 1967.
• J. B. Fountain (1979). «Adequate semigroups». Proceedings of the Edinburgh Mathematical Society. 22 (02): 113–125. doi:10.1017/S0013091500016230 
• St. Golab (1939). «Über den Begriff der "Pseudogruppe von Transformationen"». Mathematische Annalen. 116: 768–780. doi:10.1007/BF01597390 
• R. Exel (1998). «Partial actions of groups and actions of inverse semigroups». Proceedings of the American Mathematical Society. 126 (12): 3481–3494. doi:10.1090/S0002-9939-98-04575-4 
• V. Gould, "(Weakly) left E-ample semigroups"
• J. M. Howie, Fundamentals of Semigroup Theory, Clarendon Press, Oxford, 1995.
• M. V. Lawson, Inverse Semigroups: The Theory of Partial Symmetries, World Scientific, 1998.
• D. B. McAlister (1974a). «Groups, semilattices and inverse semigroups». American Mathematical Society. Transactions of the American Mathematical Society. 192: 227–244. JSTOR 1996831. doi:10.2307/1996831 
• D. B. McAlister (1974b). «Groups, semilattices and inverse semigroups II». American Mathematical Society. Transactions of the American Mathematical Society. 196: 351–370. JSTOR 1997032. doi:10.2307/1997032 
• M. Petrich, Inverse semigroups, Wiley, New York, 1984.
• G. B. Preston (1954a). «Inverse semi-groups». Journal of the London Mathematical Society. 29 (4): 396–403. doi:10.1112/jlms/s1-29.4.396 
• G. B. Preston (1954b). «Inverse semi-groups with minimal right ideals». Journal of the London Mathematical Society. 29 (4): 404–411. doi:10.1112/jlms/s1-29.4.404 
• G. B. Preston (1954c). «Representations of inverse semi-groups». Journal of the London Mathematical Society. 29 (4): 411–419. doi:10.1112/jlms/s1-29.4.411 
• B. M. Schein (1981). «Obituary: Viktor Vladimirovich Vagner (1908–1981)». Semigroup Forum. 28: 189–200. doi:10.1007/BF02676643 
• B. M. Schein (2002). «Book Review: "Inverse Semigroups: The Theory of Partial Symmetries" by Mark V. Lawson». Semigroup Forum. 65: 149–158. doi:10.1007/s002330010132 
• V. V. Wagner (1952). «Generalised groups». Proceedings of the USSR Academy of Sciences. 84: 1119–1122  (em russo) English translation: [1]
• V. V. Wagner (1953). «The theory of generalised heaps and generalised groups». Matematicheskii Sbornik (N.S.). 32 (74): 545–632  (em russo)

Leitura complementar

• Para uma breve introdução aos semigrupos inversos, consulte Clifford & Preston 1967 : Chapter 7 ou então Howie 1995 : Chapter 5.
• Introduções mais agrangentes podem ser encontradas em Petrich 1984 e Lawson 1998.