Kommutative Ringtheorie/Algebra-Isomorphismus über Ring/Definition

Algebra-Isomorphismus

Seien ${}R$ und ${}S$ zwei kommutative ${}K$-Algebren über einem kommutativen Grundring ${}K$. Dann nennt man einen bijektiven ${}K$-Algebrahomomorphismus

$\varphi \colon R\longrightarrow S$

einen ${}K$-Algebraisomorphismus.