𝖂𝖎ƙ𝖎𝖊

Semigrupo

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 magma dotado da propriedade associativa (associatividade)
    1. associatividade: para todos vale

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

Ver também

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

talvez você goste