hasAbelianization
P77186
predicate
Indicates that one algebraic structure is related to the abelian group obtained by quotienting it by its commutator subgroup (its abelianization).
Observed surface forms (2)
- abelianizationIs ×1
- hasAbelianQuotientByCenter ×1
Sample triples (4)
| Subject | Object |
|---|---|
| Heisenberg Lie algebra | true via predicate surface "hasAbelianQuotientByCenter" ⓘ |
| PGL(2,7) | C2 ⓘ |
|
modular group PSL(2,Z)
surface form:
PSL(2,ℤ)
|
C₆ ⓘ |
| SL(2,ℤ) | cyclic group of order 12 via predicate surface "abelianizationIs" ⓘ |