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