Let $R$ is a commutative ring have identity element, and $R$ have a unique maximal ideal. Let $a,b \in R$ such that $\langle a \rangle = \langle b \rangle$. Show that $$a=bu$$ for some $u\in R^*$.
commutative ring have a unique maximal ideal
-
0What've you done so far? This kind of rings are called *local*, and they're characaterised by the maximal ideal being the set of all non-units, so...? – 2012-11-19
2 Answers
If $a=0$, then $b=0$ and there's nothing to prove, so assume $a,b\neq 0$. Since $a\in(b)$, you can write $a=br$ and similarly $b=as$ for $r,s\in R$. Thus $a=br=ars$, so $(rs-1)a=0$. If $r$ is not a unit, then neither is $rs$. So $rs$ lies in the unique maximal ideal of $R$. This means that $rs-1$ is not in the unique maximal ideal, because then we would have that $1=rs-(rs-1)$ is in it. So $rs-1$ is a unit, which implies $a=0$, contrary to assumption.
-
0I feel confused. Are you assume $r\notin R^*$?, then $rs\ne 1$ – 2012-11-19
-
0Can you tell me why condition $R$ have a unique maximal ideal can't loss?. Thank you – 2012-11-19
-
0or give me a counterexample if we loss condition "$R$ have a unique maximal ideal" – 2012-11-19
-
0Dear @Muniain, Yes, I am assuming $r$ is not a unit to derive a contradiction. Regarding the condition that $R$ has a unique maximal ideal, it can be weakened as in Bill Dubuque's answer below. Presumably there are counterexamples in the paper referenced in that answer. – 2012-11-19
-
0I just checked, and indeed there are counterexamples on the first two pages of the paper referenced by Bill. – 2012-11-19
-
0I see, I pick first counterexample, it is very easy. Thank to Keenan and Bill. – 2012-11-19
More generally, let $R$ be a ring where zero-divisors lie in every max ideal. It's trivial if $a = 0$. Else $b = sa,\ a = rb = rsa,\:$ so $\,a(1-rs) = 0.\:$ So $1\!-\!rs$ is $\,0\,$ or a zero-divisor, so is in every max ideal, hence $rs$ is a unit, lying in no max ideal $M$ (else both $\:1\!-\!rs,\ rs \in M\:$ so their sum $\:1\in M)$.
Remark $ $ For further generalizations see D. Anderson et al. When are Associates Unit Multiples?