Group

algebra

Definition

Group

A Group $(G,\circ )$ is a monoid with an inverse element $x^{\prime }$:

$$\forall x\in G:\exists x^{\prime }\in G:x\circ x^{\prime }=x^{\prime }\circ x=e$$

Note that $e$ denotes the neutral element.