Abbreviation: CRRng
A \emph{commutative regular ring} is a regular rings R=⟨R,+,−,0,⋅,1⟩ such that ⋅ is commutative: x⋅y=y⋅x
Let R and S be commutative regular rings. A morphism from R to S is a function h:R→S that is a homomorphism:
h(x+y)=h(x)+h(y), h(x⋅y)=h(x)⋅h(y), h(1)=1
Example 1:
f(1)=1f(2)=f(3)=f(4)=f(5)=f(6)=