## Definition ## Given a [[commutative ring]] $R$, an __$R$-algebra__ is a [[ring]] $A$ with * a [[ring homomorphism]] $f:R \to A$ * a [[commutative ring homomorphism]] $g:R \to Z(A)$ into the [[center]] $Z(A) \subseteq A$ of $A$. * a term $a: i \circ g = f$, where $i:Z(A) \subseteq A$ is the associated [[monic function]] for subtype $Z(A)$ of $A$. ## Properties ## An algebra in ring theory is an [[associative algebra|associative]] [[unital algebra|unital]] [[algebra (module theory)|algebra]] in [[module]] theory. ## See also ## * [[ring]] * [[commutative ring]] * [[commutative algebra (ring theory)]] * [[algebra (module theory)]]