Hauptkongruenzgruppe/Basis für Torsion/Wirkungsweise/Fakt/Beweis

Beweis

Es sei

Die transformierte Basis ist und . In gelten dann die Beziehungen

und

Dies ist eine Identität im -Modul

daher können wir die Zahlen modulo nehmen. Die Gleichheit der Basen bedeutet dann einfach, dass modulo die Gleichheiten und vorliegen. Dies bedeutet .