An automorphism of an algebraic object given by conjugation by a fixed invertible element of the ambient structure: for a group G and a ∈ G invertible, the map φ_a(g)=a g a^{-1} is an inner automorphism.

Principle

Inner automorphisms are those symmetries realized by the object's own elements acting by conjugation; they form a normal subgroup Inn(A) of the full automorphism group Aut(A).

Demonstration

In a group G the map g ↦ a g a^{-1} for fixed a ∈ G is an inner automorphism; in a unital ring or algebra, x ↦ u x u^{-1} for a unit u is an inner automorphism of the multiplicative structure (compatible with additive structure when relevant).

Misapplication

Calling conjugation by a non-invertible element 'inner' or failing to check that the conjugating element lies in the appropriate ambient group of units; also treating every automorphism as inner when outer automorphisms may exist.

Consequence

Inner automorphisms capture conjugacy-related symmetries and determine normality properties; Inn(A) is normal in Aut(A), and the quotient Out(A)=Aut(A)/Inn(A) measures outer symmetries not realized internally.

Reversal

An outer automorphism is an automorphism not representable by conjugation; reversing the condition isolates symmetries that require an extension or new labeling beyond internal conjugation.

Boundary

Applies only where conjugation by invertible elements is defined (groups, unital rings, unit groups of algebras); not every category admits an inner/outer distinction, and in some contexts 'inner' may require central adjustments.

Semantic Tension

Tension with 'automorphism' at large: all inner automorphisms are automorphisms but not vice versa; tension also arises in distinguishing inner action on objects versus conjugacy classes and central automorphisms that act trivially on commutator structure.

Synthesis

An inner automorphism is a symmetry realized by conjugation with an invertible element of the structure, forming a characteristic normal subgroup of Aut that organizes conjugacy symmetries while leaving a quotient measuring genuinely external automorphisms.