Lagrange's Theorem

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Lagrange's Theorem is a theorem in group theory that states if G is a finite group and H is a subgroup of G, then |H| (the order of H) divides |G| (the order of G). Moreover, the number of distinct left (right) cosets of H in G is |G|/|H|.