Chain-extensible automorphism

Definition with symbols
An automorphism $$\sigma$$ of a group $$G$$ is termed chain-extensible if the following holds. Given the following data:


 * A totally ordered set $$I$$ with unique minimum element $$0$$
 * A group $$G_i$$ for each $$i \in I$$ such that $$G_0 = G$$
 * Inclusions $$G_i \to G_j$$ for $$i < j$$, compatible with composition

There exist automorphisms $$\sigma_i$$ of $$G_i$$ for each $$i$$ such that whenever $$i < j$$ the restriction of $$\sigma_j$$ to $$G_i$$ is $$\sigma_i$$, and such that $$\sigma_0 = \sigma$$.

Stronger properties

 * Weaker than::Inner automorphism
 * Weaker than::Diagram-extensible automorphism

Weaker properties

 * Stronger than::Ascending chain-extensible automorphism
 * Stronger than::Finite-chain-extensible automorphism