 ##  [Inner Automorphism](/inner-automorphism-0) 

 Definition

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

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

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

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

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

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

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

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

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.