Lagrange Theorem in Group Theory

Introduction

• Joseph-Louis Lagrange: Credited with the Lagrange Theorem.
• Concept: In group theory, for any finite group G, the order of a subgroup H is a divisor of the order of G.
• Order of a Group: The number of elements in the group.

Statement of Lagrange Theorem

• Theorem Statement: The order of the subgroup H divides the order of group G, represented as (|G|=|H|).

Important Concepts

• Coset:
  • Definition: For a finite group G with subgroup H and an element g in G.
  • Left Coset: (gH = {gh: h \text{ is an element of } H}).
  • Right Coset: (Hg = {hg: h \text{ is an element of } H}).

Lemmas for Proof

1. Lemma 1: If G is a finite group and H is its subgroup, there is a one-to-one correspondence between H and any coset of H.
2. Lemma 2: The left coset relation is an equivalence relation.
3. Lemma 3: If A and B are two equivalence classes with (A \cap B = \emptyset), then (A = B).

Proof of Lagrange Theorem

• Given subgroup H of order 'n' in group G of order 'm'.
• Consider coset breakdown of G with respect to H. Each coset of aH comprises n distinct elements.
• Using cancellation law of G:
  • (aH = {ah_1, ah_2, \ldots, ah_n}) are distinct members.
• Total elements in all cosets: (np = m). Hence (p = m/n), showing that n is a divisor of m.

Corollaries

1. Corollary 1: If G is of finite order m, the order of any element a in G divides m, and (a^m = e).
2. Corollary 2: If G is of prime order, it has no proper subgroups.
3. Corollary 3: A group of prime order is cyclic.

Important Notes

• Theorem Importance: Essential in understanding the structure of finite groups and their subgroups in abstract algebra.
• The order of a subgroup is always a divisor of the order of the group.

Solved Examples

• Example 1: Using Lagrange theorem to prove properties of set N.
• Example 2: Proving that the product of two Sylow p-groups JK isn't a subgroup of G.

FAQs

• Using Lagrange Theorem: Explains index equations among subgroups.
• Importance: Key in group theory for understanding finite groups.
• Converse of Lagrange Theorem: Discusses conditions under which Lagrange’s theorem converse might hold.
• Coset in Group Theory: Definition and significance.
• Proving Lagrange Theorem: Step-by-step proof explanation.

Related Topics

• Lagrange Interpolation Formula
• Differentiation and Integration Formula

---

These notes encapsulate the key points from the given lecture on Lagrange Theorem in Group Theory, focusing on the theorem's statement, proof, related concepts such as cosets, lemmas, and its implications through corollaries and examples.