Ação de semigrupo

Em álgebra e ciência da computação teórica, uma ação de um semigrupo em um conjunto é uma regra que associa a cada elemento do semigrupo uma transformação do conjunto de tal modo que o produto de dois elementos do grupo (usando a operação binária do semigrupo) é associado com a composta das duas transformações correspondentes. A terminologia transmite a ideia de que os elementos do semigrupo estão agindo como transformações do conjunto. De um ponto de vista algébrico, uma ação de semigrupo é uma generalização da noção de ação de grupo da teoria de grupos. Do ponto de vista da ciência da computação, ações de semigrupos estão intimamente relacionadas aos autômatos: o conjunto de modela os estados do autômato e a ação modela mudanças de estado em resposta à entrada.

Definições formais

Seja S um semigrupo. Uma ação de semigrupo (a esquerda) de S consiste de um conjunto X juntamente com uma operação •: S × XX que é compatível com a operação * do semigrupo no seguinte sentido:

  • Para quaisquer s, t em S e x em X, s • (tx) = (s * t) • x.

Este é o conceito análogo ao de ação de grupo para a teoria de semigrupos e é equivalente a um homomorfismo de semigrupo no conjunto das funções sobre X. Ações de semigrupo a direita são definidas de forma semelhante por meio de uma operação •: X × SX que satisfaça (xa) • b) = x • (a * b).

Se M é um monoide, então uma ação de monoide (a esquerda) de M é uma ação de semigrupo (a esquerda) de M com a propriedade adicional de que

  • para todo x em X: ex = x

em que e denota o elemento neutro de M. Isso corresponde a um homomorfismo de monoides. Uma ações do monoide a direita é definida de forma análoga.

Uma ação de semigrupo de S em X pode ser transformada em uma ação de monoide acrescentando um elemento neutro ao semigrupo e exigindo que ele aja como a transformação identidade em X.

Referências

  • A. H. Clifford and G. B. Preston (1961), The Algebraic Theory of Semigroups, volume 1. American Mathematical Society, ISBN 978-0821802724.
  • A. H. Clifford and G. B. Preston (1967), The Algebraic Theory of Semigroups, volume 2. American Mathematical Society, ISBN 978-0821802724.
  • Mati Kilp, Ulrich Knauer, Alexander V. Mikhalev (2000), Monoids, Acts and Categories: with Applications to Wreath Products and Graphs, Expositions in Mathematics 29, Walter de Gruyter, Berlin, ISBN 978-3110152487.
  • Rudolf Lidl and Günter Pilz, Applied Abstract Algebra (1998), Springer, ISBN 978-0387982908