Monoide: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 1: | Linha 1: | ||
Um '''monóide''' pode ser definido de 3 maneiras completamente equivalentes |
Um '''monóide''' pode ser definido de 3 maneiras completamente equivalentes |
||
<br>(Sendo '*' uma operação qualquer) |
<br>'''(Sendo ' * ' uma operação qualquer)''' |
||
#é um [[conjunto]] G dotado de uma operação binária para a qual valem as seguintes propriedades: |
#é um [[conjunto]] G dotado de uma operação binária para a qual valem as seguintes propriedades: |
Revisão das 23h30min de 18 de outubro de 2006
Um monóide pode ser definido de 3 maneiras completamente equivalentes
(Sendo ' * ' uma operação qualquer)
- é 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
- existência do elemento neutro: existe um único e tal que para todo vale
- é um grupóide dotado das propriedades:
- associativa (associatividade) para todos vale
- existencia de um elemento neutro e tal que existe um único e tal que para todo vale
- é um semi-grupo dotado da existencia de um elemento neutro e: existe um único e tal que para todo vale .