Published online by Cambridge University Press: 18 May 2009
Let μ be an isomorphism which maps a subgroup A of the group G onto a second subgroup B (not necessarily distinct from A) of G; then μ is called a partial automorphism of G. If A coincides with G, that is if the isomorphism is defined on the whole of G, we speak of a total automorphism; this is what is usually called an automorphism of G. A partial (or total) automorphism μ,* extends or continues a partial automorphism μ if μ* is defined for, at least, all those elements for which μ is defined, and moreover μ* coincides with μ where μ is defined.