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!