Definition:Unital Associative Commutative Algebra Homomorphism

This page has been identified as a candidate for refactoring of basic complexity. In particular: multiple definitions Until this has been finished, please leave {{Refactor}} in the code. New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code.

Definition

Let $A$ be a commutative ring with unity.

Let $B$ and $C$ be $A$-algebras.

Definition 1

Let $B$ and $C$ be viewed as rings under $A$, say $(B, f)$ and $(C, g)$.

An $A$-algebra homomorphism $h : B \to C$ is a morphism of rings under $A$.

That is, a unital ring homomorphism $h$ such that $g = h \circ f$:

$\xymatrix{

A \ar[d]_f \ar[r]^{g} & C\\ B \ar[ru]_{h} }$

Definition 2

Let $B$ and $C$ be viewed as unital algebras over $A$.

An $A$-algebra homomorphism $h : B \to C$ is a unital algebra homomorphism.

Also see

• Equivalence of Definitions of Unital Associative Commutative Algebra