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.Lawson 1998.

(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 WagnerComo seu pai era alemão, Wagner preferia a transliteração alemã de seu nome (com um "W" em vez de um "V") a partir do cirílico - veja Schein 1981. na União Soviética em 1952,Primeiro um breve anúncio em Wagner 1952, e depois uma expisição bem mais abrangente em Wagner 1953. e por Gordon Preston na Grã-Betanha em 1954.Preston 1954a,b,c. 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 α dom β]α−1 em que α−1 denota a pré-imagem por α. As funções parciais já haiam sido estudadas no contexto de pseudogrupos.Veja, por exemplo, Golab 1939. 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.Schein 2002 : 152. 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 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)Howie 1995 : 149. 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−1. Os inversos de um semigrupo inverso possuem muitas das propriedades que os inversos de um grupo. Por exemplo, (ab)−1 = b−1a−1. Em um monóide inverso, xx−1 e x−1x não são necessariamente iguais ao elemento neutro, mas ambos são elementos idempotentes.Howie 1995 : Proposição 5.1.2(1). Um monóide inverso S em que xx−1 = 1 = x−1x, para todo elemento x de S (um monóide inverso unipotente), é, obviamente, um grupo.

Há diversas caracterizações diferentes para um semigrupo inverso S:Howie 1995 : Teorema 5.1.1. 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 e toda classe contém exatamente um idempotente (aqui, e são duas das relações de Green. Os idempotentes da classe de s ´e s−1s, enquanto que o idempotente na classe de s é ss−1. Há então uma caracterização simples das relações de Green em um semigrupo inverso:Howie 1995 : Proposição 5.1.2(1).

Exemplos de semigrupos inversos: Todo grupo é um semigrupo inverso. O semigrupo bicíclico é inverso, e (a,b)−1 = (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

Notas

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.

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.

M. Petrich, Inverse semigroups, Wiley, New York, 1984.

English translation:

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.

Categoria:Álgebra abstrata Categoria:Teoria de semigrupos