## Definition ## Given a [[commutative ring]] $R$, an __commutative $R$-algebra__ is a commutative ring $A$ with a [[commutative ring homomorphism]] $f:R \to A$ ## See also ## * [[commutative ring]] * [[polynomial ring]] * [[algebra (ring theory)]] category: not redirected to nlab yet