# Difference between revisions of "Every subgroup has a left transversal"

From Groupprops

(Created page with '==Statement== Suppose <math>G</math> is a group and <math>H</math> is a fact about::subgroup of <math>G</math>. Then, there exists a subset <math>S</math> of <math>G</ma…') |
|||

Line 1: | Line 1: | ||

==Statement== | ==Statement== | ||

− | Suppose <math>G</math> is a [[group]] and <math>H</math> is a [[fact about::subgroup]] of <math>G</math>. Then, there exists a subset <math>S</math> of <math>G</math> such that <math>S</math> intersects each [[fact about::left coset of a subgroup|left coset]] of <math>H</math> in a subset of size <math>1</math>. In other words, <math>S</math> is a [[lfact about::left transversal of a subgroup|left transversal]] of <math> | + | Suppose <math>G</math> is a [[group]] and <math>H</math> is a [[fact about::subgroup]] of <math>G</math>. Then, there exists a subset <math>S</math> of <math>G</math> such that <math>S</math> intersects each [[fact about::left coset of a subgroup|left coset]] of <math>H</math> in a subset of size <math>1</math>. In other words, <math>S</math> is a [[lfact about::left transversal of a subgroup|left transversal]] of <math>H</math>. |

==Foundational issues== | ==Foundational issues== |

## Revision as of 22:02, 4 May 2010

## Statement

Suppose is a group and is a Subgroup (?) of . Then, there exists a subset of such that intersects each left coset of in a subset of size . In other words, is a left transversal of .

## Foundational issues

The proof of this statement requires the axiom of choice. `Further information: existence of left transversals is equivalent to axiom of choice`

However, for many subgroup, we do not need the axiom of choice. Specifically, what we need is a way to pick representatives for each of the left cosets. We consider the following two cases:

- The subgroup is a subgroup of finite index: In this case, the usual Zermelo-Fraenkel set theory guarantees that we can pick a left transversal. This is because
*finite choice*follows from the ZF axioms. - The subgroup is a subgroup of countable index: In this case, we only need the axiom of countable choice, which is generally considered weaker and more tenable than the full axiom of choice, since it does not lead to most of the contradictions or paradoxes that arise from the full axiom of choice.

## Related facts

An important related subgroup property is that of being a subgroup having a left transversal that is also a right transversal. Every normal subgroup as well as every subgroup of finite index satisfies this property.