Monoide: differenze tra le versioni

Più in generale, sia <math>M</math> un monoide qualsiasi, e sia <math>G</math> l'insieme degli elementi invertibili di <math>M</math>. Intanto, <math>G</math> non è vuoto, perché si vede subito che contiene <math>e</math>. E poi si può vedere che <math>G</math> è un [[gruppo (matematica)|gruppo]] rispetto alla stessa operazione di <math>M</math>. Il gruppo <math>G</math> viene detto il ''gruppo degli elementi invertibili del monoide <math>M</math>''.