Gruppe/Endlich erzeugt/Definition
Endlich erzeugt
Eine
Gruppe
heißt
endlich erzeugt
, wenn sie von einer
endlichen
Menge
erzeugt
wird.