## [Automorphism](/automorphism-0) Definition 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 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 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 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 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 Reversal An endomorphism that lacks an inverse is not an automorphism; losing invertibility removes group structure and many symmetry conclusions. ## Boundary 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 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 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.