Extensible local isomorphisms theorem

From Groupprops

Statement

Suppose G is a group. Suppose we have an isomorphism σ between two subgroups A and B of G, such that, whenever K is a group containing G, σ can be extended to an automorphism of K.

Then, σ extends to an inner automorphism of G.