Group element to the power group size equals identity

Dependencies:

  1. Group
  2. Order of element divides order of group

Let $G$ be a group and $g \in G$. $\operatorname{order}(g) \mid |G| \Rightarrow g^{|G|} = e$

Dependency for:

  1. Euler's Theorem Used in proof

Info:

Transitive dependencies:

  1. Integer Division Theorem
  2. Group
  3. Coset
  4. Size of coset equals size of subset
  5. Identity of a group is unique
  6. Order of element in finite group is finite
  7. Subgroup
  8. Inverse of a group element is unique
  9. gH = H iff g in H
  10. Two cosets are either identical or disjoint
  11. Lagrange's Theorem
  12. Conditions for a subset to be a subgroup
  13. Cyclic Group
  14. Order of cyclic subgroup is order of generator
  15. Order of element divides order of group