algebra Definition Group A Group is a monoid with an inverse element : Note that denotes the neutral element.