Lagrange's theorem (group theory)
Lagrange's theorem in group theory states if G is a finite group and H is a subgroup of G, then |H| (how many elements are in H, called the order of H) divides |G|. Moreover, the number of distinct left (right) cosets of H in G is |G|/|H|.
Applications
- For any g in a group G, [math]\displaystyle{ g^k=e }[/math] for some k that divides the |G|
- Any group of prime order cyclic (Any element in G can be created by a single element) and simple (no normal subgroups that aren't trivial)