Aloha :)
Gemäß des Axioms über die Existenz eines inversen Elementes, gibt es zu jedem \(a\in G\) ein \(a'\in G\), dessen Verknüpfung mit \(a\) das neutrale Element \(e\) der Gruppe ergibt.$$a\cdot a'=e\quad;\quad a'\cdot a=e$$Wir nehmen nun an, es gibt ein weiteres Element \(a''\in G\), das invers zu \(a\) ist, dann gilt auch:
$$\left.a\cdot a''=e\quad\right|\quad\text{Multiplikation von links mit \(a'\)}$$$$\left.a'\cdot(a\cdot a'')=a'\cdot e\quad\right|\quad\text{Assiziativ-Gesetz links}$$$$\left.(a'\cdot a)\cdot a''=a'\cdot e\quad\right|\quad\text{links \(a'\cdot a=e\) einsetzen}$$$$\left.e\cdot a''=a'\cdot e\quad\right|\quad\text{Existenz eines neutralen Elmentes \(e\) links und rechts}$$$$a''=a'$$Es gibt also kein anderes inverses Element zu \(a\) als \(a'\). Das inverse Element ist eindeutig bestimmt.