Extensible local isomorphisms theorem

From Groupprops
Revision as of 16:24, 5 November 2009 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.