Monoide: diferenças entre revisões

15 bytes adicionados ,  22 de novembro de 2012
m (r2.7.3rc2) (Robô: A adicionar: is:Einungur)
##fechamento: dado <math> a,b \in G </math> o elemento resultante da composição de a e b pertence a G (<math> a*b \in G </math>)
##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 [[grupoide]] dotado das propriedades:
## 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>
Utilizador anónimo