Def/Ring homomorphism 1