Exterior square of a Lie ring: Difference between revisions

Latest revision as of 01:41, 22 January 2013

Suppose $L$ is a Lie ring. The exterior square of $L$ , denoted $L \land L$ or $⋀^{2} L$ , can be defined in the following equivalent ways:

It is the exterior product of $L$ with itself, viewing it as two copies of itself in itself (in general, the exterior product is defined for two possibly equal ideals inside a Lie ring).
It is the derived subring of any Schur covering Lie ring of $G$ . Note that the Schur covering Lie rings need not be isomorphic Lie rings, but they are isoclinic Lie rings, so the definition is independent of the choice of Schur covering Lie ring.
If $L ≅ F / R$ where $F$ is a free Lie ring and $R$ is an ideal in $F$ , it is, up to isomorphism, the same as $[F, F] / [F, R]$ .

@@ Line 1: / Line 1: @@
 ==Definition==
-Suppose <math>L</math> is a [[Lie ring]]. The '''exterior square''' of <math>L</math>, denoted <math>L \wedge L</math> or <math>\bigwedge^2 L</math>, is defined as the [[exterior product of Lie rings|exterior product]] of <math>L</math> with itself, viewing it as two copies of itself in itself (in general, the exterior product is defined for two possibly equal ideals inside a Lie ring).
+Suppose <math>L</math> is a [[Lie ring]]. The '''exterior square''' of <math>L</math>, denoted <math>L \wedge L</math> or <math>\bigwedge^2 L</math>, can be defined in the following equivalent ways:
+# It is the [[exterior product of Lie rings|exterior product]] of <math>L</math> with itself, viewing it as two copies of itself in itself (in general, the exterior product is defined for two possibly equal ideals inside a Lie ring).
+# It is the [[derived subring]] of any [[Schur covering Lie ring]] of <math>G</math>. Note that the Schur covering Lie rings need not be isomorphic Lie rings, but they are [[isoclinic Lie rings]], so the definition is independent of the choice of Schur covering Lie ring.
+# If <math>L \cong F/R</math> where <math>F</math> is a [[free Lie ring]] and <math>R</math> is an [[ideal of a Lie ring|ideal]] in <math>F</math>, it is, up to isomorphism, the same as <math>[F,F]/[F,R]</math>.
 ==Related notions==
 * [[Exterior square of a group]]
+* [[Tensor square of a Lie ring]]
+* [[Tensor square of a group]]