Zeigen Sie:
(U,◦) ist eine Untergruppe von (G,◦) ⇔ U ≠ ∅ und für a,b ∈ U gilt a ◦ b − 1 ∈ U.
"==>" Wenn (U,◦) eine Untergruppe ist, enthält es das neutrale Element e,
ist also nicht leer. Außerdem gibt es zu jedem b auch ein b-1 in U und
wegen der Abgeschlossenheit gilt für alle a,b ∈ U auch a ◦ b − 1 ∈ U.
"<==" Gilt U ≠ ∅ und für a,b ∈ U gilt a ◦ b − 1 ∈ U, dann gibt es jedenfalls ein x∈U
und für dieses x gilt x ◦ x − 1 ∈ U, also e ∈ U.
Dann gilt für jedes x∈U auch e ◦ x − 1 ∈ U also zu jedem x auch das Inverse in U.
Außerdem gilt Assoziativität in G also auch in der Teilmenge U
also nach Vor a ◦ (b − 1) -1 = a ◦ b ∈ U,