Nach der Definition von Halbachsenklasse ist mit H ∈ K {\displaystyle {}H\in K} auch g ( H ) ∈ K {\displaystyle {}g(H)\in K} für alle g ∈ G {\displaystyle {}g\in G} . Daher ist die Abbildung σ {\displaystyle {}\sigma } wohldefiniert. Seien f , g ∈ G {\displaystyle {}f,g\in G} . Dann ist sofort