Extensible equals inner
This article gives a proof/explanation of the equivalence of multiple definitions for the term inner automorphism
View a complete list of pages giving proofs of equivalence of definitions
This fact is related to: Extensible automorphisms problem
View other facts related to Extensible automorphisms problemView terms related to Extensible automorphisms problem |
- 1 Statement
- 2 Definitions
- 3 Related facts
- 4 Facts used
- 5 Proof
- 6 Justification/appeal of the result
- 7 References
- The automorphism is an extensible automorphism i.e., it can be extended to an automorphism for any group containing it.
- The automorphism is an inner automorphism.
An automorphism of a group is said to be extensible if it can be extended to an automorphism for every embedding of the group in a bigger group.
In symbols, an automorphism of a group is said to be extensible if for any group containing , there is an automorphism of such that the restriction of to is .
Further information: Inner automorphism
An automorphism of a group is said to be inner if it can be expressed as conjugation by some element of the group.
In symbols, an automorphism of a group is said to be inner if there exists such that , i.e., is the map .
Note that because of fact (1) (which is very easy to prove), it suffices to prove only the other direction: that every extensible automorphism of a group is inner.
Schupp's proofThis proof uses fact (2). PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
Pettet's proofPLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
Justification/appeal of the result
Inner implies extensible
Every inner automorphism of a group is extensible. In fact, if an inner automorphism occurs as conjugation by a particular element, it can be extended to conjugation by the same element in any bigger group. This means that inner automorphisms are not just extensible, they are also infinity-extensible (i.e., they can be extended infinitely often) and are also diagram-extensible: they can be extended in a consistent manner for all the members of any lattice of subgroups of a big group, all containing that subgroup.
Further information: I-automorphism implies variety-extensible automorphism, Inner automorphisms are I-automorphisms in variety of groups, Interpretation of the extensible automorphisms problem using universal algebra and model theory
To understand this justification, we need to consider a slightly more general setup. Let be a variety of algebras. Roughly, there is a collection of operations of fixed arities, and some universally quantified identities for these operations. An algebra in is a set with those operations satisfying those universal identities.
A variety-extensible automorphism is an automorphism of an algebra in that extends to an automorphism for any algebra in containing it.
There is a general notion of I-automorphism of a variety. An I-automorphism of a variety is an automorphism that can be described by a formula (in terms of the operations, and in terms of parameters taking values in that algebra) such that that formula always gives an automorphism for any algebra of the variety and any values assigned to the parameters. I-automorphisms are clearly extensible; in fact, they are infinity-extensible and diagram-extensible. Moreover, they are the only automorphisms whose very form makes it clear that they are extensible.
In the variety of groups, the I-automorphisms are precisely the inner automorphisms. The extensible automorphisms conjecture thus states that in the variety of groups, the only variety-extensible automorphisms are the I-automorphisms. This is a statement about the structural rigidity of the variety of groups. Note that there are many varieties for which there do exist variety-extensible automorphisms that are not I-automorphisms. For more on this, refer interpretation of the extensible automorphisms problem using model theory and universal algebra.
- A characterization of inner automorphisms by Paul E. Schupp, Proceedings of the American Mathematical Society, Volume 101,Number 2, Page 226 - 228(October 1987): JSTOR linkMore info
- Characterizing inner automorphisms of groups by Martin R. Pettet, Archiv der Mathematik, ISSN 1420-8938 (Online), ISSN 0003-889X (Print), Volume 55,Number 5, Page 422 - 428(Year 1990): Springerlink official copyMore info