2
$\begingroup$

The following exercise is from Gallian's Contemporary Abstract Algebra:

Show that every nonzero element of ${\bf Z}_n$ is a unit of a zero-divisor.

A unit of a ring is an element which has a multiplicative inverse. A nonzero element $a$ is a commutative ring $R$ is called a zero-divisor if there is a nonzero element in $R$ such that $ab=0$.

Here is my question:

What is a unit of a zero-divisor in this exercise?

Edit:

According to the answers, this is a typo.

  • 0
    I deleted my comment and moved it to an answer, along with a link to a hint (a$f$ter recalling that you were the author of the related prior question).2011-07-04

2 Answers 2

9

It should say "unit OR a zero-divisor". The proof follows immediately from your prior exercise and an application of Bezout's GCD identity to deduce that $\rm\ gcd(m,n)=1\ \Rightarrow\ m\ $ is a unit in $\rm\:\mathbb Z/n\:.$

2

I think the question is stated wrongly. It should be:

Show that every nonzero element of $\mathbb{Z}_{n}$ is a $\text{unit or a zero-divisor}$.

Solution. Suppose that $a \in \mathbb{Z}_{n}$. If $\text{gcd}(a, n) = 1$, then we know that $a$ is a unit. Suppose that $\gcd(a, n) = d > 1$. Then $a(n/d)= (a/d)n = 0$, so $a$ is a zero-divisor.

  • 0
    @Jack. Indeed. Note that Chandru's final sentence is the same as the [hint](http://math.stackexchange.com/questions/49244/zero-divisors-of-bf-z-n/49281#49281) I gave to your prior question.2011-07-04