central extension
C43711
concept
A central extension is a group (or algebraic structure) formed by inserting an additional central subgroup into another group so that the original group is recovered as the quotient by this central part.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Heisenberg Lie algebra | — |