Universal central extension: Difference between revisions

Latest revision as of 03:27, 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, and hence a superperfect group (superperfect means that it's perfect and Schur-trivial).
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.
Another equivalent formulation: a group is superperfect if and only if it is perfect and equals its own universal central extension.

@@ 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]], and hence a [[superperfect group]] (superperfect means that it's perfect and Schur-trivial).
+* 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.
+* Another equivalent formulation: a group is superperfect if and only if it is perfect and equals its own universal central extension.