The Group Properties Wiki (pre-alpha)

TIP: Having trouble locating the wiki page about a given fact? Get tips

ABOUT US: We use Semantic MediaWiki. Learn more about using Semantic MediaWiki

ALSO CHECK OUT: Diffgeom: The Differential Geometry Wiki

From Groupprops

Contents 1 Definition 1.1 Symbol-free definition 1.2 Definition with symbols 1.3 Equivalence of definitions 1.4 Further note for finite groups 2 Facts 2.1 Multiplicativity of the index 2.2 Effect of intersection on the index 3 Related notions 3.1 For double cosets and multicosets 3.2 Related subgroup properties 4 References 4.1 Textbook references

This article is about a basic definition in group theory. The article text may, however, contain more material. Rate its utility as a basic definition article on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in group theory | Go through a guided tour for beginners to this wiki

Definition

Symbol-free definition

The index of a subgroup in a group is the following equivalent things:

1. The number of left cosets of the subgroup
2. The number of right cosets of the subgroup

The collection of left cosets is sometimes termed the coset space, so in this language, the index of a subgroup is the cardinality of its coset space.

Definition with symbols

Given a subgroup H of a group G, the index of H in G, denoted [G:H], is defined in the following ways:

1. It is the number of left cosets of H in G, i.e. the number of sets of the form xH.
2. It is the number of right cosets of H in G, i.e. the number of sets of the form Hx.

The collection of left cosets of H in G is sometimes termed the coset space, and is denoted G / H. With this notation, the index of H in G, is the cardinality .

Equivalence of definitions

The equivalence of definitions follows from the fact that there is a natural bijection between the collection of left cosets of a subgroup, and the collection of its right cosets, given by the map

Further information: Left and right coset spaces are naturally isomorphic

Further note for finite groups

When the group is finite, then by Lagrange's theorem, the index of a subgroup is the ratio of the order of the group to the order of the subgroup.

Facts

Multiplicativity of the index

Further information: Index is multiplicative If , then we have:

[G:K][K:H] = [G:H]

In other words, the number of cosets of H in G equals the number of cosets of H in K, times the number of cosets of K in G.

In fact, more is true. We can set up a bijection as follows:

However, this bijection is not a natural one, and, in order to define it, we first need to choose a system of coset representatives of H.

Effect of intersection on the index

Further information: Conjugate-intersection index theorem If H₁ and H₂ are two subgroups of G, then the index of is bounded above by the product of the indices of H₁ and of H₂.

This follows as a consequence of the product formula. Note that equality holds if and only if H₁H₂ = G.

Note that in case H₁ and H₂ are conjugate subgroups of index r, the index of is bounded above by r(r − 1).

Related notions

For double cosets and multicosets

• Double coset index of a subgroup
• Multicoset index of a subgroup

Related subgroup properties

• Subgroup of index two
• Subgroup of finite index
• Subgroup of prime index
• Hall subgroup

References

Textbook references

• Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, ^{More info}, Page 57, Point (6.8) (definition in paragraph, defined as number of left cosets)
• Abstract Algebra by David S. Dummit and Richard M. Foote, ISBN 0471433349, ^{More info}, Page 90 (formal definition, defined as number of left cosets)