Semigrupo

estrutura algébrica

Um semigrupo pode ser definido de 2 maneiras completamente equivalentes

  1. é um conjunto G dotado de uma operação binária para a qual valem as seguintes propriedades:
    1. fechamento: dado o elemento resultante da composição de a e b pertence a G ()
    2. associatividade: para todos vale
  2. é um grupóide dotado da propriedade associativa (associatividade)
    1. associatividade: para todos vale

Acrescentando outros axiomas à operação binária *, temos:

Ver tambémEditar

  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.