Jede Untergruppe U{\displaystyle {}U} von Zm{\displaystyle {}\mathbb {Z} ^{m}} lässt sich durch höchstens m{\displaystyle {}m} Elemente erzeugen.