Monoide: diferenças entre revisões

2 bytes adicionados ,  23 de setembro de 2018
m (ajustes usando script)
#é 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>
##existenciaexistê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>
#é um [[semi-grupo]] dotado da existenciaexistência de um elemento neutro '''e''': 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>.
 
Um monoide para o qual todo elemento possui elemento inverso é um [[grupo (matemática)|grupo]].
Utilizador anónimo