Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 didnt help. And exercise 2.18 showed me that $c$ is not always $unit+unit$. I`m out of ideas, need some help.


share|cite|improve this question
up vote 3 down vote accepted

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.

share|cite|improve this answer
In that case we have $a = qc + r$, with $r = 0$ or $\varphi(r)\leq\varphi(c)$ for all $a \in R$. Using the Least Element Principle i know that $r = 0$ or $\varphi(r) = \varphi(c)$, cant be smaller. – Integral Jun 15 '12 at 17:10
@Integral: The definition of "Euclidean domain" requires that the $q$ and $r$ satisfy $r=0$ or $\varphi(r)\lt\varphi(c)$; must be strictly smaller, cannot be equal. So either $r=0$ or $\varphi(r)\lt \varphi(c)$. Also, notice that $\varphi(c)$ is not the smallest value that $\varphi$ can take overall, it's just the smallest value that it can take when the input is not a unit. – Arturo Magidin Jun 15 '12 at 17:11
ops... In that case we have a=qc+r, with r=0 or φ(r)<φ(c) for all a∈R. Using the Least Element Principle i know that r=0 , cant be smaller. But how this let me know that r could be 1 ? – Integral Jun 15 '12 at 17:13
@Integral: no. You have the definition of Euclidean domain wrong. And you are not looking carefully at the definition of $S$. There is no a priori reason why something cannot have $\varphi$ smaller than $\varphi(c)$. Look carefully at the definition of $S$, don't just repeat the same false statement you did three minutes ago. – Arturo Magidin Jun 15 '12 at 17:14
Yes, my fault. I need some time to process. – Integral Jun 15 '12 at 17:18

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 a unit.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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