Beschreibung
Eine endlich präsentierbare Gruppe ist eine Gruppe, die eine Präsentation hat, die endlich viele Erzeuger und endlich viele Relatoren hat.
Eigenschaften
Überabzählbare Anzahl
Es gibt bis auf Isomorphie abzählbar viele Endlich präsentierte Gruppen.