3
$\begingroup$

We know that every commutative ring can be embedded in a ring with identity as follow:

Let $R$ be ring and $R_1=R\times \mathbb{Z}=\{(r,n)\mid r\in R,n\in \mathbb Z\}$. This is a ring with addition defined as $$(r,n)+(s,m)=(r+s,n+m)$$ and multiplication defined as $$(r,n)\cdot(s,m)=(rs+ns+mr,nm).$$ This ring has unity as $(0,1)$. Now we can easily show that if we define an homomorphism from $R\to R_1$ as $f(r)=(r,0)$ $\forall r\in R$ then $R \cong f(R)\subseteq R_1$. Hence $R$ is embeddable in $R_1$ which has unity $(0,1)$.

Now I want to know that if there is any description for the ideals of $R \times \mathbb{Z} $, or special prime or maximal ideals.

$\endgroup$
  • $\begingroup$ The similar question for Nagata idealization is in Section 3 in Anderson and Winders, Idealization of a module: projecteuclid.org/download/pdf_1/euclid.jca/1229376151 I don't know if their proofs can be translated to your case. Probably I'm not saying anything new to you. $\endgroup$ – A.G Sep 25 '16 at 14:31
1
$\begingroup$

If $I$ is an ideal of $R$, consider $I\times \mathbb{Z}$. You have that for any element $(r,n) \in R \times \mathbb{Z}$, for any $(i,m) \in I \times \mathbb{Z}$ $$(r,n)(i,m) = (ri+ni+mr,mn)$$ which a priori is not an element of $I \times \mathbb{Z}$, unless $m=0$. So, for sure, any ideal of $R$ becomes an ideal of $R \times \mathbb{Z}$ via $f$ (including $R$ itself)

There is no ideal of the form $(0,p)$ for any $p$, since multiplication by $(r,n)$ makes the first factor a multiple of $r$.

However, consider an ideal $J$ of $\mathbb{Z}$ (they are of the form $n\mathbb{Z}$). Then $R \times J$ is an ideal of $R \times \mathbb{Z}$ since $$(r,n)(s,j) = (rs+ns+jr,jn)$$

$\endgroup$
  • $\begingroup$ I don't get this: "there is no ideal of the form $(0,p)$". $\endgroup$ – user26857 Sep 25 '16 at 19:01
  • $\begingroup$ I meant that $(r,n)(0,p) = (rp,np)$, so basically the ideals of $\mathbb{Z}$ do not translate to ideals of $R\times \mathbb{Z}$ as the ideals of $R$ do $\endgroup$ – AnalysisStudent0414 Sep 25 '16 at 19:27
0
$\begingroup$

I don't think I've seen a proof that lists exhaustively the ideals of this construction (the Dorroh extension). People have certainly explored the problem though. A more recent work is this one by Mesyan which gets some good results in certain conditions (see sections 6-8).

Here are some basics to take away:

  1. if $R$ has identity then $R_1$ is isomorphic to $R\times \mathbb Z$ and finding the prime and maximal ideals is trivial.
  2. if $R$ does not have identity things are not so easy, but at least you know the prime and maximal ideals containing $R\times\mathbb Z$, since they correspond to those in $\mathbb Z\cong R_1/R\times\{0\}$.
  3. At least the nilradical of $R_1$ is easy to find for commutative rings: it's just $nil(R)\times \{0\}\subseteq R_1$.
  4. any idempotents of $R_1$ are of the form $(e, 0)$ with $e^2=e$ or $(f, 1)$ with $f^2=-f$.
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.