Extensible local isomorphisms theorem
Statement
Suppose is a group. Suppose we have an isomorphism between two subgroups and of , such that, whenever is a group containing , can be extended to an automorphism of .
Then, extends to an inner automorphism of .