#group theory #monoids #identity element #binary operation #algebraic structures #abstract algebra #modern algebra #axioms