Monoide: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m desambiguação |
m grupoide -> magma (é menos ambíguo) |
||
Linha 12:
##associatividade: para todos <math> a,b,c \in G </math> vale <math> \left(a*b\right)*c = a*\left(b*c\right) = a*b*c </math>
##existência do elemento neutro: existe um único <math> e </math> tal que para todo <math> a \in G </math> vale <math> \left(a*e\right) = a = \left(e*a\right) </math>
#é um [[
## associativa (associatividade) para todos <math> a,b,c \in G </math> vale <math> \left(a*b\right)*c = a*\left(b*c\right) = a*b*c </math>
##existência de um [[elemento neutro]] '''e''' tal que existe um único '''e''' tal que para todo <math> a \in G </math> vale <math> \left(a*e\right) = a = \left(e*a\right) </math>
| |||