Published online by Cambridge University Press: 20 November 2018
Given an abelian group G and a mapping θ that maps a subgroup A of G homomorphically onto another subgroup B of G, then it is known (3) that there always exists an embedding group G* ⊇ G which is abelian and possesses an endomorphism θ* which coincides with θ on A, i.e. aθ = aθ* whenever aθ is defined. θ is called a partial endomorphism of G and θη a total endomorphism or simply an endomorphism that extends or continues θ.