Abbreviation: RRng
A \emph{regular ring} is a rings with identity R=⟨R,+,−,0,⋅,1⟩ such that
every element has a pseudo-inverse: ∀x∃y(x⋅y⋅x=x)
Let R and S be 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
Remark: It follows that h(0)=0 and h(−x)=−h(x).
\begin{examples} \end{examples}
f(1)=1f(2)=f(3)=f(4)=f(5)=f(6)=