Universal central extension: Difference between revisions

Revision as of 03:26, 12 January 2013

Suppose $G$ is a perfect group. The universal central extension of $G$ is defined in the following equivalent ways:

It is the unique (up to isomorphism) group $K$ that is a Schur covering group of $G$ .
It is the exterior square of $G$ .

The term universal central extension is sometimes also used for the quotient mapping $K \to G$ .

The universal central extension of a perfect group is also perfect.
The universal central extension of a perfect group is a Schur-trivial group.
The universal central extension operator is idempotent, i.e., the universal central extension of the universal central extension is the universal central extension. This follows directly from the universal central extension being a Schur-trivial group.

@@ Line 1: / Line 1: @@
 ==Definition==
-Suppose <math>G</math> is a [[perfect group]]. The '''universal central extension''' of <math>G</math> is defined as the unique (up to isomorphism) group <math>K</math> that is a [[Schur covering group]] of <math>G</math>. The term ''universal central extension'' is sometimes also used for the quotient mapping <math>K \to G</math>.
+Suppose <math>G</math> is a [[perfect group]]. The '''universal central extension''' of <math>G</math> is defined in the following equivalent ways:
+# It is the unique (up to isomorphism) group <math>K</math> that is a [[defining ingredient::Schur covering group]] of <math>G</math>.
+# It is the [[defining ingredient::exterior square]] of <math>G</math>.
+The term ''universal central extension'' is sometimes also used for the quotient mapping <math>K \to G</math>.
+==Facts==
+* The universal central extension of a perfect group is also perfect.
+* The universal central extension of a perfect group is a [[Schur-trivial group]].
+* The universal central extension operator is idempotent, i.e., the universal central extension of the universal central extension is the universal central extension. This follows directly from the universal central extension being a Schur-trivial group.