Grundlegende Begriffe und der Satz von Lagrange - Universität ...

Erzeugendensysteme
Erinnerung: 〈M〉 = {U | M ⊆ U ≤ G}
zu zeigen: 〈M〉 = M0 := {m a1
1 · ma2
2 · · · man n |
n ∈ N; m1, m2, . . . , mn ∈ M; a1, a2, . . . , an ∈ Z}.
Beweis:
Wir überprüfen schnell M ⊆ M0 sowie M0 ≤ G.
18 / 25