Gruppeneigenschaften

Sei eine (mulitplikative) Gruppe $G$ gegeben. Formalisiere:

(1) Jedes Element der Gruppe lässt sich dadurch schreiben, dass man ein (endliches) Produkt aus einem fest gewählten Element schreibt.

(2) Das neutrale Element von $G$ ist eindeutig,