# Three subgroups lemma

Last updated

In mathematics, more specifically group theory, the three subgroups lemma is a result concerning commutators. It is a consequence of Philip Hall and Ernst Witt's eponymous identity.

## Notation

In what follows, the following notation will be employed:

• If H and K are subgroups of a group G, the commutator of H and K, denoted by [H, K], is defined as the subgroup of G generated by commutators between elements in the two subgroups. If L is a third subgroup, the convention that [H,K,L] = [[H,K],L] will be followed.
• If x and y are elements of a group G, the conjugate of x by y will be denoted by ${\displaystyle x^{y}}$.
• If H is a subgroup of a group G, then the centralizer of H in G will be denoted by CG(H).

## Statement

Let X, Y and Z be subgroups of a group G, and assume

${\displaystyle [X,Y,Z]=1}$ and ${\displaystyle [Y,Z,X]=1.}$

Then ${\displaystyle [Z,X,Y]=1}$. [1]

More generally, for a normal subgroup ${\displaystyle N}$ of ${\displaystyle G}$, if ${\displaystyle [X,Y,Z]\subseteq N}$ and ${\displaystyle [Y,Z,X]\subseteq N}$, then ${\displaystyle [Z,X,Y]\subseteq N}$. [2]

## Proof and the Hall–Witt identity

HallWitt identity

If ${\displaystyle x,y,z\in G}$, then

${\displaystyle [x,y^{-1},z]^{y}\cdot [y,z^{-1},x]^{z}\cdot [z,x^{-1},y]^{x}=1.}$

Proof of the three subgroups lemma

Let ${\displaystyle x\in X}$, ${\displaystyle y\in Y}$, and ${\displaystyle z\in Z}$. Then ${\displaystyle [x,y^{-1},z]=1=[y,z^{-1},x]}$, and by the HallWitt identity above, it follows that ${\displaystyle [z,x^{-1},y]^{x}=1}$ and so ${\displaystyle [z,x^{-1},y]=1}$. Therefore, ${\displaystyle [z,x^{-1}]\subseteq \mathbf {C} _{G}(Y)}$ for all ${\displaystyle z\in Z}$ and ${\displaystyle x\in X}$. Since these elements generate ${\displaystyle [Z,X]}$, we conclude that ${\displaystyle [Z,X]\subseteq \mathbf {C} _{G}(Y)}$ and hence ${\displaystyle [Z,X,Y]=1}$.

## Notes

1. Isaacs, Lemma 8.27, p. 111
2. Isaacs, Corollary 8.28, p. 111

## Related Research Articles

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory.

In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.

In mathematics, a Lie algebra is a vector space together with an operation called the Lie bracket, an alternating bilinear map , that satisfies the Jacobi identity. The vector space together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative.

An exact sequence is a concept in mathematics, especially in group theory, ring and module theory, homological algebra, as well as in differential geometry. An exact sequence is a sequence, either finite or infinite, of objects and morphisms between them such that the image of one morphism equals the kernel of the next.

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n×n orthogonal matrices, where the group operation is given by matrix multiplication; an orthogonal matrix is a real matrix whose inverse equals its transpose. The orthogonal group is an algebraic group and a Lie group. It is compact.

In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted Sp(2n, F) and Sp(n) for positive integer n and field F. The latter is called the compact symplectic group. Many authors prefer slightly different notations, usually differing by factors of 2. The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2n, C) is denoted Cn, and Sp(n) is the compact real form of Sp(2n, C). Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n.

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group.

A group is a set together with an associative operation which admits an identity element and such that every element has an inverse.

In mathematics, the Jacobi identity is a property of a binary operation which describes how the order of evaluation affects the result of the operation. By contrast, for operations with the associative property, any order of evaluation gives the same result. The identity is named after the German mathematician Carl Gustav Jakob Jacobi.

In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group GH. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from G and H into a group K factor uniquely through a homomorphism from GH to K. Unless one of the groups G and H is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group.

In mathematics, a universal enveloping algebra is the most general algebra that contains all representations of a Lie algebra.

In mathematics, the Heisenberg group, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form

In mathematics, more specifically in group theory, a group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no non-trivial abelian quotients. In symbols, a perfect group is one such that G(1) = G, or equivalently one such that Gab = {1}.

In group theory, a field of mathematics, a double coset is a collection of group elements which are equivalent under the symmetries coming from two subgroups. More precisely, let G be a group, and let H and K be subgroups. Let H act on G by left multiplication and let K act on G by right multiplication. For each x in G, the (H, K)-double coset of x is the set

In mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, this is an explicit expression that the group is a nilpotent group, and for matrix rings, this is an explicit expression that in some basis the matrix ring consists entirely of upper triangular matrices with constant diagonal.

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

Symmetries in quantum mechanics describe features of spacetime and particles which are unchanged under some transformation, in the context of quantum mechanics, relativistic quantum mechanics and quantum field theory, and with applications in the mathematical formulation of the standard model and condensed matter physics. In general, symmetry in physics, invariance, and conservation laws, are fundamentally important constraints for formulating physical theories and models. In practice, they are powerful methods for solving problems and predicting what can happen. While conservation laws do not always give the answer to the problem directly, they form the correct constraints and the first steps to solving a multitude of problems.

In mathematics, Lie group–Lie algebra correspondence allows one to study Lie groups, which are geometric objects, in terms of Lie algebras, which are linear objects. In this article, a Lie group refers to a real Lie group. For the complex and p-adic cases, see complex Lie group and p-adic Lie group.

## References

• I. Martin Isaacs (1993). Algebra, a graduate course (1st ed.). Brooks/Cole Publishing Company. ISBN   0-534-19002-2.