Group order

The order of an element and its inverse are the same

Given a group and an element with order , the order of the inverse . #m/thm/group

Proof

By the uniqueness of the inverse, iff . Therefore the orders of and must be equal, since neither can have a lower order than the other.

#state/tidy | #lang/en | #SemBr