hasTrivialAbelianization
P77154
predicate
Indicates that the group’s abelianization is trivial, meaning its commutator subgroup is the whole group and it has no nontrivial abelian quotient.
Observed surface forms (2)
- abelianizationIsTrivial ×1
- hasTrivialAbelianizationFor ×1
Sample triples (5)
| Subject | Object |
|---|---|
| Co2 | true ⓘ |
| SL(2,C) | true ⓘ |
| Thompson group Th | true ⓘ |
| PSL(2,ℤ/Nℤ) | N = p prime, p ≥ 5 via predicate surface "hasTrivialAbelianizationFor" ⓘ |
| SL(2,7) | true via predicate surface "abelianizationIsTrivial" ⓘ |