Semigrupo – Wikipédia, a enciclopédia livre
Este artigo não cita fontes confiáveis. (Dezembro de 2019) |
Um semigrupo pode ser definido de 2 maneiras completamente equivalentes
- é um conjunto G dotado de uma operação binária para a qual valem as seguintes propriedades:
- fechamento: dado o elemento resultante da composição de a e b pertence a G ()
- associatividade: para todos vale
- é um magma dotado da propriedade associativa (associatividade)
- associatividade: para todos vale
Acrescentando outros axiomas à operação binária *, temos:
- Monóide - se existe elemento neutro