Integral central extensions of a rank-two free abelian group

ID: integral-central-extensions-of-a-rank-two-free-abelian-group

With a fixed identification of the kernel with and quotient with , these central group extensions are classified by . Choose lifts of the quotient generators; their commutator is and is unchanged by central changes of lifts. Every element has unique normal form , proving this invariant is complete. A cocycle representative is , whose cocycle identity follows from bilinearity. Its extension multiplication is . The zero parameter gives and parameter one gives the integer Heisenberg group. The Koszul resolution for a rank-two free abelian group independently computes .

New to topics? Read the docs here!