1.1) Siano $e,e'\in G, e\neq e'$ per assurdo, elementi neutri per $\cdot$ e $g \in G$:
per definizione di elemento neutro $g\cdot e = g = e \cdot g$ e $g\cdot e' = g = e' \cdot g$
siccome $e \in G$ possiamo sostituire $g$ con $e$: $e \cdot e' = e = e' \cdot e$, analogamente per $e' \in G$: $e' \cdot e = e' = e \cdot e'$
ottenendo dalle uguaglianze $e' \cdot e = e \cdot e' \rightarrow e = e'$ (contraddizione) $\Rightarrow$ l'elemento neutro è unico.