Kommutative Ringtheorie/Algebra-Homomorphismus über Ring/Definition/Begriff

Ein Algebrahomomorphismus zwischen -Algebren und .