Order of a group element


order of a group element is a invariant.