Abstract Algebra: Theory and Applications · Problem 35
Polynomials — Thomas Judson
Mathematics — Abstract Algebra · inner-automorphisms-rings
Problem
Let be a ring with identity. (a) Let be a unit in . Define a map by . Prove that is an automorphism of . Such an automorphism of is called an inner automorphism of . Denote the set of all inner automorphisms of by . (b) Denote the set of all automorphisms of by . Prove that is a normal subgroup of . (c) Let be the group of units in . Prove that the map defined by is a homomorphism. Determine the kernel of . (d) Compute , , and .Intuitive explanation
Inner automorphisms are ring isomorphisms built by conjugating elements with units—they're the "symmetries you get for free" from the ring's own invertible elements. The key insight is that conjugation by a unit preserves all ring structure (addition and multiplication), and the set of all such conjugations forms a normal subgroup of all automorphisms because any automorphism can "conjugate away" an inner automorphism. Part (c) asks you to see that different units might give the same inner automorphism, so the kernel captures exactly which units act trivially by conjugation—those that commute with everything.
Intuitive explanation
Inner automorphisms are ring isomorphisms built by conjugating elements with units—they're the "symmetries you get for free" from the ring's own invertible elements. The key insight is that conjugation by a unit preserves all ring structure (addition and multiplication), and the set of all such conjugations forms a normal subgroup of all automorphisms because any automorphism can "conjugate away" an inner automorphism. Part (c) asks you to see that different units might give the same inner automorphism, so the kernel captures exactly which units act trivially by conjugation—those that commute with everything.