Seien ${\displaystyle {}R}$ und ${\displaystyle {}A}$ kommutative Ringe und sei ${\displaystyle {}R\rightarrow A}$ ein fixierter Ringhomomorphismus. Dann nennt man ${\displaystyle {}A}$ eine ${\displaystyle {}R}$-Algebra.