Kurs:Diskrete Mathematik (Osnabrück 2020)/Untergruppen von Z/Ein Erzeuger/Fakt/Faktreferenznummer