Definition:Commutative and Unitary R-algebra
From ProofWiki
Definition
Let $R$ be a commutative and unitary ring.
A $R$-algebra is by definition a ring $A$ together with a structural morphism $\phi: R \to A$.
Needs more explanation.
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
