Commutator bijection from a fixed-point-free automorphism

ID: commutator-bijection-from-a-fixed-point-free-automorphism

Let be a finite group and an automorphism whose only fixed element is the identity. If , then , so . The displayed map is therefore a bijection. For conjugation by a nonidentity element of a Frobenius complement, it gives the commutator map .

New to topics? Read the docs here!