Beschreibung
Eine Gruppe wird lokal-indizierbar genannt, wenn jede endlich generierte nichttriviale Untergruppe als Quotient hat. Der Quotient . definiert eine Ordnung auf den Nebenklassen. Die Nebenklassen haben nun aber auch als Quotient , lassen sich also weiter ordnen. Durch Induktion erlaubt damit jede lokal indizierbare Gruppe eine linke Ordnung.
Eigenschaften
Eigenschaft