Central extension of a Lie algebra ($0\to \mathfrak{z}\to \hat{\mathfrak{g}}\to \mathfrak{g}\to 0$)

A central extension is a Lie algebra surjection whose kernel commutes with every element of the larger algebra. The Virasoro central extension adds a central generator to the Witt algebra.