**Lagrange theorem **is one of the central theorems of abstract algebra. It states that in group theory, for any finite group say G, the order of subgroup H of group G divides the order of G. The order of the group represents the number of elements. This theorem was given by Joseph-Louis Lagrange. In this article, let us discuss the statement and proof of Lagrange theorem in Group theory, and also let us have a look at the three lemmas used to prove this theorem with the examples.

## Lagrange Theorem Statement

As per the statement, the order of the subgroup H divides the order of the group G. This can be represented as;

|G| = |H|

Before proving the Lagrange theorem, let us discuss the important terminologies and three lemmas that help to prove this theorem.

### What is Coset?

In group theory, if G is a finite group, and H is a subgroup of G, and if g is an element of G, then;

gH = { gh: h an element of H } is the left coset of H in G with respect to the element of G

And

Hg = { hg: h an element of H } is the right coset of H in G with respect to the element of G.

Now, let us have a discussion about the lemmas that helps to prove the Lagrange theorem.

**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.

**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.

**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 = ∅, then A = B.

## Lagrange Theorem Proof

With the help of the above mentioned three lemmas, we can easily prove the Lagrange statement.

**Proof of Lagrange Statement:**

Let H be any subgroup of the order n of a finite group G of order m. Let us consider the cost breakdown of G related to H.

Now let us consider each coset of aH comprises n different elements.

Let H = {h_{1},h_{2},…,h_{n}}, then ah_{1},ah_{2},…,ah_{n} are the n distinct members of aH.

Suppose, ah_{i}=ah_{j}⇒h_{i}=h_{j} be the cancellation law of G.

Since G is a finite group, the number of discrete left cosets will also be finite, say p. So, the total number of elements of all cosets is np which is equal to the total number of elements of G. Hence, m=np

p = m/n

This shows that n, the order of H, is a divisor of m, the order of the finite group G. We also see that the index p is also a divisor of the order of the group.

Hence, proved, |G| = |H|

### Lagrange Theorem Corollary

**Corollary 1:** If G is a group of finite order m, then the order of any a∈G divides the order of G and in particular a^{m }= e.

**Proof:** Let p be the order of a, which is the least positive integer, so,

a^{p} = e

Then we can say,

a, a^{2}, a^{3}, …., a^{p-1},a^{p} = e, the elements of group G are all distinct and forms a subgroup.

Since the subgroup is of order p, thus p the order of a divides the group G.

So, we can write,

m = np, where n is a positive integer.

So,

a^{m} = a^{np} = (a^{p})^{n} = e

Hence, proved.

**Corollary 2: **If the order of finite group G is a prime order, then it has no proper subgroups.

**Proof:** Let us consider, the prime order of the group G is m. Now, m has only two divisors 1 and m (prime numbers property). Therefore, the subgroups of G will be {e} and G itself. So, there are no proper subgroups. Hence, proved.

**Corollary 3:** A group of prime order (the order has only two divisors) is a cyclic group.

**Proof:** Suppose, G is the group of prime order of m and a ≠ e∈G.

Since the order of a is a divisor of m, it is either 1 or m.

But the order of a, o(a) ≠ 1, since a ≠ e.

Therefore, the order of o(a) = p, and the cyclic subgroup of G generated by a are also of order m.

It proves that G is the same as the cyclic subgroup formed by a, i.e. G is cyclic.

To learn more important theorems in Maths, download BYJU’S – The Learning App and learn with ease.