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