Beschreibung
Eine endlich präsentierbare Gruppe ist eine Group, 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.