5
$\begingroup$

This is a problem from Aluffi's book, chapter V 2.17.

"Let $R$ be a Euclidean Domain that is not a field. Prove that there exists a nonzero, nonunit element $c$ in $R$ such that $\forall a \in R$, $\exists q$, $r \in R$ with $a = qc + r$, and either $r = 0$ or $r$ a unit."

Ok, I know that if $c\mid a$ then $r=0$, but if $c\nmid a$, not sure about what to do. I took the classic Euclidean Domain $\mathbb{Z}$ as example, and in $\mathbb{Z}$ I know that $c = 2$ ( also $-2$). Then I tried to generalize this.

I did $c = unit + unit$, but this didn't help and exercise 2.18 showed me that $c$ is not always $unit+unit$. I'm out of ideas, need some help.

Thanks.

  • 0
    So Aluffi doesn't use the terminology of *universal side divisor*. Interesting.2017-02-11

2 Answers 2

5

If $R$ is not a field, then it has nonunits. Consider the set $S=\{\varphi(a)\mid a\text{ is not a unit, and }a\neq 0\}$, where $\varphi$ is the Euclidean function.

It is a nonempty set of positive integers. By the Least Element Principle, it has a smallest element. Let $c\in R$ be a nonunit, nonzero, such that $\varphi(c)$ is the smallest element of $S$.

Edited. I claim that $c$ satisfies the conditions of the problem. Let $a\in R$. Then we can write $a = qc + r$, with either $r=0$ or $\varphi(r)\lt \varphi(c)$. If $r=0$, we are done. If $r\neq 0$, then $\varphi(r)\lt \varphi(c)$, then $\varphi(r)\notin S$, hence $r$ does not satisfy the condition

$r$ is not a unit, and $r\neq 0$.

Since $r\neq 0$, it follows that $r$ must be a unit.

Thus, for every $a\in R$, there exist $q,r\in R$ such that $a=qc+r$, and either $r=0$ or $r$ is a unit, as desired.

  • 0
    I understand, you are right. thank you again, more than just answering my question, you showed me that i need to be more carefull about definitions. I really need to read all again.2012-06-15
2

Try an element $c$ of smallest value greater than $1$. Then division by $c$ has a remainder of zero or value $1$, which is therefore an unit.