Scribd
Upload
39 views2 pages

La Grange

This document provides the statement and proof of Lagrange's Theorem from abstract algebra. It begins by stating three lemmas: 1) there is a one-to-one correspondence between a subgroup and its cosets, 2) the left coset relation defines an equivalence relation, and 3) distinct equivalence classes are disjoint. It then proves Lagrange's Theorem: if G is a finite group of order n with subgroup H of order k, then k divides n and there are n/k distinct cosets of H in G. The proof uses the previous lemmas to partition G into disjoint cosets with cardinality equal to the order of H.

Uploaded by

world of football
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
39 views2 pages

La Grange

This document provides the statement and proof of Lagrange's Theorem from abstract algebra. It begins by stating three lemmas: 1) there is a one-to-one correspondence between a subgroup and its cosets, 2) the left coset relation defines an equivalence relation, and 3) distinct equivalence classes are disjoint. It then proves Lagrange's Theorem: if G is a finite group of order n with subgroup H of order k, then k divides n and there are n/k distinct cosets of H in G. The proof uses the previous lemmas to partition G into disjoint cosets with cardinality equal to the order of H.

Uploaded by

world of football
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Lagrange’s Theorem: Statement and Proof

Paul D. Humke

April 5, 2002

Abstract

Lagrange’s Theorem is one of the central theorems of Abstract Algebra and it’s proof uses
several important ideas. This is some good stuff to know!

Before proving Lagrange’s Theorem, we state and prove three lemmas.

Lemma 1. If G is a group with subgroup H, then there is a one to one correspondence between H
and any coset of H.

Proof. Let C be a left coset of H in G. Then there is a g ∈ G such that C = g ∗ H.1 Define
f : H → C by f (x) = g ∗ x.

1. f is one to one.
If x1 6= x2 , then as G has cancellation, g ∗ x1 6= g ∗ x2 . Hence, f (x1 ) 6= f (x2 ).

2. f is onto.
If y ∈ C, then since C = g ∗ H, there is an h ∈ H such that y = g ∗ h. It follows that f (h) = y
and as y was arbitrary, f is onto.

This completes the proof of Lemma 1.

Lemma 2. If G is a group with subgroup H, then the left coset relation, g1 ∼ g2 if and only if
g1 ∗ H = g2 ∗ H is an equivalence relation.

Proof. The essence of this proof is that ∼ is an equivalence relation because it is defined in terms
of set equality and equality for sets is an equivalence relation. The details are below.

• ∼ is reflexive.
Let g ∈ G be given. Then, g ∗H = {g ∗h : h ∈ H} and as this set is well defined, g ∗H = g ∗H.
1 We use “∗” to represent the binary operation in G.

1
• ∼ is symmetric.
Let g1 , g2 ∈ G with g1 ∼ g2 . Then by the definition of ∼, g1 ∗H = g2 ∗H. That is, {g1 ∗h : h ∈
H} = {g2 ∗ h : h ∈ H} and as set equality is symmetric, {g2 ∗ h : h ∈ H} = {g1 ∗ h : h ∈ H}.
Hence, g2 ∼ g1 and as g1 and g2 were arbitrary, ∼ is symmetric.
• ∼ is transitive.
Let g1 , g2 , g3 ∈ G with g1 ∼ g2 and g2 ∼ g3 . Then,
g1 ∗ H = {g1 ∗ h : h ∈ H} = {g2 ∗ h : h ∈ H} = g2 ∗ H
and
g2 ∗ H = {g2 ∗ h : h ∈ H} = {g3 ∗ h : h ∈ H} = g3 ∗ H.
As set equality is transitive, it follows that
g1 ∗ H = {g1 ∗ h : h ∈ H} = {g3 ∗ h : h ∈ H} = g3 ∗ H,
or g1 ∗ H = g3 ∗ H. That is, g1 ∼ g3 , and as g1 , g2 , g3 ∈ G are arbitrary, ∼ is transitive.

This complete the proof of the lemma.


Lemma 3. Let S be a set and ∼ be an equivalence relation on S. If A and B are two equivalence
classes with A ∩ B 6= ∅, then A = B.

Proof. To prove the lemma, we show that A ⊂ B and B ⊂ A. As A and B are arbitrarily labeled,
it suffices to show the former.

Let a ∈ A. As A ∩ B 6= ∅, there is a c ∈ A ∩ B. As A is an equivalence class of ∼ and both a and


c are in A, it follows that a ∼ c. But as a ∼ c, c ∈ B and B is an equivalence class of ∼, it follows
that a ∈ B.

Armed with these three lemmas we proceed to the main result.


Theorem 1. [Lagrange’s Theorem] If G is a finite group of order n and H is a subgroup of G of
order k, then k|n and nk is the number of distinct cosets of H in G.

Proof. Let ∼ be the left coset equivalence relation defined in Lemma 2. It follows from Lemma 2
that ∼ is an equivalence relation and by Lemma 3 any two distinct cosets of ∼ are disjoint. Hence,
we can write
G = (g1 ∗ H) ∪ (g2 ∗ H) ∪ · · · ∪ (g` ∗ H)
where the gi ∗ H, i = 1, 2, . . . , ` are the disjoint left cosets of H guaranteed by Lemma 3.

By Lemma 1, the cardinality of each of these cosets is the same as the order of H, and so
|G| = |g1 ∗ H| + |g2 ∗ H| + · · · + |g` ∗ H|
= |H| + |H| + · · · + |H|
| {z }
` summands

= ` · |H| = ` · k.

This completes the proof.

You might also like