solvable Baumslag–Solitar group

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:group_of_people
modular group
gptkbp:contains infinite cyclic subgroup
gptkbp:definedIn presentation ⟨a, b | b⁻¹ab = a^m⟩ for integer m
gptkbp:example BS(1, n) for integer n
https://www.w3.org/2000/01/rdf-schema#label solvable Baumslag–Solitar group
gptkbp:isSolvable true
gptkbp:isSolvableIf |m| = 1
gptkbp:namedAfter gptkb:Gilbert_Baumslag
gptkb:Donald_Solitar
gptkbp:notNilpotent true
gptkbp:notPolycyclic true
gptkbp:bfsParent gptkb:modular_group
gptkbp:bfsLayer 5