Math 2.0

K-theory Definition

Universal central extension

Builds on GroupGroup extensionCentre of a groupGroup homomorphism

Definition

Let GG be a group. A central extension of GG is a pair (X,π)(X, \pi) of a group XX and a surjective homomorphism π ⁣:X→G\pi \colon X \to G. Its kernel must lie in the centre of XX, so that it is a central group extension. A central extension (U,ρ)(U, \rho) of GG is universal if, for every central extension (X,π)(X, \pi) of GG, there is exactly one homomorphism f ⁣:U→Xf \colon U \to X with π∘f=ρ\pi \circ f = \rho.

Remarks

A group GG has a universal central extension if and only if GG is perfect, that is, G=[G,G]G = [G, G]. Then the universal central extension is unique up to a unique isomorphism over GG, and the group UU is itself perfect. The kernel of ρ\rho is isomorphic to H2(G,ℤ)H_2(G, \Z), the Schur multiplier of GG.

Example: for a ring RR, the map St(R)→E(R)St(R) \to E(R) from the Steinberg group to the group generated by elementary matrices is a universal central extension, with kernel K2(R)K_2(R). Example: the map SL2(𝔽5)→PSL2(𝔽5)≅A5SL_2(\F_5) \to PSL_2(\F_5) \cong A_5 is a universal central extension, with kernel {±I}≅ℤ/2ℤ\set{\pm I} \cong \Z/2\Z.

Non-example: G=ℤ/2ℤG = \Z/2\Z has no universal central extension. Let (U,ρ)(U, \rho) be any central extension and let π ⁣:G×G→G\pi \colon G \times G \to G be the first projection, a central extension since G×GG \times G is abelian. The maps u↦(ρ(u),0)u \mapsto (\rho(u), 0) and u↦(ρ(u),ρ(u))u \mapsto (\rho(u), \rho(u)) are two different homomorphisms ff with π∘f=ρ\pi \circ f = \rho, because ρ\rho is onto and so not zero. So the uniqueness clause fails.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Centre of a group concept
  2. Group concept
  3. Group extension concept
  4. Group homomorphism concept
  5. Universal central extension definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Schur_multiplier
About this page
TagDP8NVWCXRJ
URIm2://DP8NVWCXRJ
Kinddefinition
WritingW0 stub
MSC19C09, 20E22, 20J06
DefinesUniversal central extension
UsesGroup, Group extension, Centre of a group, Group homomorphism
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.