Commutator: Difference between revisions

Revision as of 14:51, 30 June 2008

Definition

Definition with symbols

The term commutator is used in group theory in two senses: the commutator map, and the set of possible images of that map. The commutator map is the following map:

$(x,y)\mapsto x^{-1}y^{-1}xy$

And is denoted by outside square brackets (that is, the commutator of $x$ and $y$ is denoted as $[x,y]$ ). The image of this map is termed the commutator of $x$ and $y$ .

An element of the group is termed a commutator if it occurs as the commutator of some two elements of the group.

Sometimes the commutator map is defined somewhat differently, i.e., as:

$(x,y)\mapsto xyx^{-1}y^{-1}$

Although this alters the commutator map, it does not alter the set of elements that are commutators, because the commutator of $x$ and $y$ in one definition becomes the commutator of $x^{-1}$ and $y^{-1}$ in the other definition.

Facts

Identity element is a commutator

In fact, whenever $xy=yx$ , $[x,y]=e$ . Hence, in particular, the commutator of any element with itself is the identity element.

Inverse of a commutator is a commutator

The inverse of the commutator $[x,y]$ is the commutator $[y,x]$ (this statement is true regardless of which definition of commutator we follow).

Product of commutators need not be a commutator

In general, a product of commutators need not be a commutator.

Iterated commutators

Since the commutator of two elements of the group is itself an element of the group, it can be treated as one of the inputs to the commutator map yet again. This allows us to construct iterated commutators.

A basic commutator is a word that can be expressed purely by iterating the commutator operations.

A simple commutator is an iterated commutator that can be expressed as a left-normed commutator, i.e., a commutator of the form:

$[[[\dots [x_{1},x_{2}],x_{3}]\dots ,x_{n}]$

Subgroups related to the commutator

The subgroup generated by all the commutators is termed the commutator subgroup.

@@ Line 9: / Line 9: @@
 And is denoted by outside square brackets (that is, the commutator of <math>x</math> and <math>y</math> is denoted as <math>[x,y]</math>). The image of this map is termed the commutator of <math>x</math> and <math>y</math>.
-An element of the group is termed a commutator if it occurs as the commutator of some two elements of the group.
+An element of the group is termed a '''commutator''' if it occurs as the commutator of some two elements of the group.
+Sometimes the commutator map is defined somewhat differently, i.e., as:
+<math>(x,y) \mapsto xyx^{-1}y^{-1}</math>
+Although this alters the commutator map, it does not alter the set of elements that are commutators, because the commutator of <math>x</math> and <math>y</math> in one definition becomes the commutator of <math>x^{-1}</math> and <math>y^{-1}</math> in the other definition.
 ==Facts==
@@ Line 15: / Line 21: @@
 ===Identity element is a commutator===
-In fact, whenever <math>xy = yx</math>, <math>[x,y] = e</math>. Hence, in particular, the commutator of any element with itself is a commutator.
+In fact, whenever <math>xy = yx</math>, <math>[x,y] = e</math>. Hence, in particular, the commutator of any element with itself is the identity element.
 ===Inverse of a commutator is a commutator===
-The inverse of the commutator <math>[x,y]</math> is the commutator <math>[y,x]</math>.
+The inverse of the commutator <math>[x,y]</math> is the commutator <math>[y,x]</math> (this statement is true regardless of which definition of commutator we follow).
 ===Product of commutators need not be a commutator===
@@ Line 27: / Line 33: @@
 ==Iterated commutators==
-Since the commutator of two elements of the group is itself a commutator, it can be treated as one of the inputs to the commutator map yet again. This allows us to construct iterated commutators.
+Since the commutator of two elements of the group is itself an element of the group, it can be treated as one of the inputs to the commutator map yet again. This allows us to construct iterated commutators.
 A [[basic commutator]] is a [[word]] that can be expressed purely by iterating the commutator operations.
+A [[simple commutator]] is an iterated commutator that can be expressed as a left-normed commutator, i.e., a commutator of the form:
+<math>[[[\dots [ x_1, x_2 ], x_3 ] \dots, x_n]</math>
 ==Subgroups related to the commutator==
 The subgroup generated by all the commutators is termed the [[commutator subgroup]].