Published online by Cambridge University Press: 18 May 2009
Let G by any given group. A homomorphic mapping μ of a subgroup A of G onto a second subgroup B of G, where A and B need not be distinct, is called a partial endomorphism of G. When μ is defined on the whole of G, that is when A = G, we call μ a total endomorphism of G; or simply an endomorphism of G.
A partial (or total) endomorphism μ* of a supergroup G* of G is said to extend (or continue) μ if μ* is defined on a supergroup A* of A, that is, μ* is defined for at least the elements for which μ. is defined, and moreover μ* coincides with μ on A.