Write the finite cyclic group as . A group homomorphism is determined by ; it is a group automorphism exactly when generates , equivalently . Composition multiplies the exponents modulo , proving . Its group order is therefore Euler's totient function . A group homomorphism is determined by a unit with .
The holomorph acts on the underlying set of a group by . Its multiplication is . This is exactly the normalizer of the left regular permutation representation: a normalizing permutation fixing the identity is an group automorphism, and every normalizing permutation is a left translation followed by one. The embedded copy of is normal and the identity stabilizer is its group automorphism group.
An inner automorphism is conjugation by an element of the group. The inner automorphisms form a normal subgroup .
An outer group automorphism is not conjugation by any element of the group. Its nonidentity class belongs to . A permutation-group example is the exceptional automorphism of that swaps its natural and transitive copies of ; it sends a transposition to a product of three disjoint transpositions and hence cannot be inner.
Articles by others on the same topic
In mathematics, specifically in the field of group theory and abstract algebra, an automorphism group is a concept that involves the symmetries of a mathematical structure. ### Definition An **automorphism** is an isomorphism from a mathematical object to itself. In other words, it is a bijective mapping that preserves the structure of the object.