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