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