Abstract Algebra: Theory and Applications · Problem 35

Polynomials — Thomas Judson

Mathematics — Abstract Algebra · inner-automorphisms-rings

Problem

Let RR be a ring with identity. (a) Let uu be a unit in RR. Define a map iu:R→Ri_u : R \to R by r↦uru−1r \mapsto uru^{-1}. Prove that iui_u is an automorphism of RR. Such an automorphism of RR is called an inner automorphism of RR. Denote the set of all inner automorphisms of RR by Inn(R)\text{Inn}(R). (b) Denote the set of all automorphisms of RR by Aut(R)\text{Aut}(R). Prove that Inn(R)\text{Inn}(R) is a normal subgroup of Aut(R)\text{Aut}(R). (c) Let U(R)U(R) be the group of units in RR. Prove that the map ϕ:U(R)→Inn(R)\phi : U(R) \to \text{Inn}(R) defined by u↦iuu \mapsto i_u is a homomorphism. Determine the kernel of ϕ\phi. (d) Compute Aut(Z)\text{Aut}(\mathbb{Z}), Inn(Z)\text{Inn}(\mathbb{Z}), and U(Z)U(\mathbb{Z}).
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.

Related theory

Browse the problem library