Extensible local isomorphisms theorem

From Groupprops

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 .