Monoids and Groups

Definition 1. A monoid (M, ·, e) is a set M with a binary operation and a neutral element e (also called the identity) satisfying the following properties for all a, 6, c in M:

(M l) (associativity) (ab)c = a(6c); (M2) ae = ea = a.