An inner automorphism is only an inner automorphism, but an inner endomorphism can be something strange.

DOI10.5565/PUBLMAT_56112_04zbMATH Open1254.16032arXiv1001.1391OpenAlexW2064301173MaRDI QIDQ433390FDOQ433390

Authors: George M. Bergman 

Publication date: 13 July 2012

Published in: Publicacions Matemàtiques (Search for Journal in Brave)

Abstract: The inner automorphisms of a group G can be characterized within the category of groups without reference to group elements: they are precisely those automorphisms of G that can be extended, in a functorial manner, to all groups H given with homomorphisms G --> H. Unlike the group of inner automorphisms of G itself, the group of such extended systems of automorphisms is always isomorphic to G. A similar characterization holds for inner automorphisms of an associative algebra R over a field K; here the group of functorial systems of automorphisms is isomorphic to the group of units of R modulo units of K. If one substitutes "endomorphism" for "automorphism" in these considerations, then in the group case, the only additional example is the trivial endomorphism; but in the K-algebra case, a construction unfamiliar to ring theorists, but known to functional analysts, also arises. Systems of endomorphisms with the same functoriality property are examined in some other categories; other uses of the phrase "inner endomorphism" in the literature, some overlapping the one introduced here, are noted; the concept of an inner {em derivation} of an associative or Lie algebra is looked at from the same point of view, and the dual concept of a "co-inner" endomorphism is briefly examined. Several questions are posed.

Full work available at URL: https://arxiv.org/abs/1001.1391

Recommendations

• On Conditions for an Endomorphism to be an Automorphism
• Automorphisms and inner automorphisms
• A Characterization of Inner Automorphisms
• ON p-AUTOMORPHISMS THAT ARE INNER
• Inner automorphisms and some their generalizations
• scientific article; zbMATH DE number 2062212
• Automorphisms of the semigroup \(\mathrm{End}(K[x_1,\dots,x_n])\).
• All automorphisms of \({\mathcal F}P^+(S_n)\) are inner
• On extending endomorphisms to automorphisms
• Automorphisms of the Endomorphism Semigroup of a Free Inverse Semigroup

zbMATH Keywords

groupsassociative algebrasLie algebrasinner derivationsinner automorphismscomma categoriesinner endomorphisms

Mathematics Subject Classification ID

Automorphisms of selfadjoint operator algebras (46L40) Automorphisms and endomorphisms of algebraic structures (08A35) Automorphisms of infinite groups (20E36) Automorphisms and endomorphisms (16W20) Automorphisms, derivations, other operators for Lie algebras and super algebras (17B40) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Functor categories, comma categories (18A25)

Cited In (11)

• Locally anisotropic toposes
• Inner autoequivalences in general and those of monoidal categories in particular
• Isotropy groups of free racks and quandles
• Naturality and innerness for morphisms of compact groups and (restricted) Lie algebras
• Inner automorphisms of groupoids
• Inner automorphisms as 2-cells
• Isotropy of algebraic theories
• Covariant isotropy of Grothendieck toposes and extensive categories
• Double wreath quasi-Hopf algebras
• Inner automorphisms of presheaves of groups
• Characterizing inner automorphisms of groups

This page was built for publication: An inner automorphism is only an inner automorphism, but an inner endomorphism can be something strange.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433390)