Es sei ${\displaystyle {}K}$ ein kommutativer Ring und ${\displaystyle {}A}$ eine kommutative ${\displaystyle {}K}$-Algebra. Ein bijektiver ${\displaystyle {}K}$-Algebrahomomorphismus

${\displaystyle \varphi \colon A\longrightarrow A}$

heißt ${\displaystyle {}K}$-Algebraautomorphismus.