An isomorphism from an object to itself: a bijective structure-preserving morphism a: X → X with an inverse a^{-1}, representing a symmetry or self-equivalence of the object.

Principle

Automorphisms are the invertible self-maps that preserve the entire structure of the object; they form a group under composition (the automorphism group), encoding internal symmetries.

Demonstration

A rotation by 90 degrees of a square viewed as a geometric object is an automorphism; a bijective linear operator on a vector space is an automorphism of that vector space in the category of vector spaces.

Misapplication

Calling any bijection of underlying sets an automorphism when it does not respect the additional structure (e.g., ring operations, topology), or treating non-invertible endomorphisms as automorphisms.

Consequence

Automorphisms structure classification problems: objects often decompose into orbits under the automorphism group and invariants are functions constant on those orbits; automorphism groups measure symmetry and rigidity.

Reversal

An endomorphism that lacks an inverse is not an automorphism; losing invertibility removes group structure and many symmetry conclusions.

Boundary

Automorphisms require preservation of whatever structure the category encodes (algebraic operations, topology, order); the same underlying set may have fewer automorphisms when more structure is imposed.

Semantic Tension

Automorphism versus permutation: a permutation of the underlying set may not be an automorphism unless it preserves the object's structure; tension also between inner automorphisms and outer automorphisms in algebraic contexts.

Synthesis

An automorphism is an invertible self-morphism capturing a genuine symmetry of an object: as elements of a group they organize the object's self-equivalences and determine invariant and orbit structures.