hasCentralExtension
P75140
predicate
Indicates that one algebraic structure is a central extension of another, meaning it fits into an exact sequence where the kernel lies in the center of the extending structure.
Observed surface forms (2)
- isCentralExtensionOf ×2
- isUniversalCentralExtensionOf ×1
Sample triples (4)
| Subject | Object |
|---|---|
| Galilean group |
Galilean group
self-linksurface differs
ⓘ
surface form:
Bargmann group
|
| Heisenberg Lie algebra | abelian Lie algebra R^{2n} via predicate surface "isCentralExtensionOf" ⓘ |
| SL(2,7) | PSL(2,7) via predicate surface "isUniversalCentralExtensionOf" NERFINISHED ⓘ |
| metaplectic group | symplectic group via predicate surface "isCentralExtensionOf" NERFINISHED ⓘ |