Let us recall that an element
is a zero divisor
if
and there exists
such that
and
.
Let us recall also that because the ring
has a unit
then there is a map
|
(1) |
which allows to talk of an integer as an element of
.
However a nonzero integer
may become
.
For instance every multiple of
becomes 0
in
.
Observe also the ring
may contain nonzero elements that are neither
zero divisor, nor units. For instance in the ring of square
matrices of order 2 with integer coefficients the matrix
is nonsingular but has no inverse (right or left).
But this is not a good example since we limit ourselves
to commutative rings. So consider instead the following example.
Example 1
Let
and let
be
the ring of univariate polynomials over
.
The ring
has units (for instance the constant polynomial
),
it has zero divisors (for instance the polynomial
since
) and also
elements like
which is not a unit nor
a zero divisor.
Why do we need to take such exotic examples?
Because among the rings you are familiar with, this is
the simplest example of ring having zero divisors, units
and nonzero elements that are not zero divisors or units.
Indeed our usual rings are
where
is a field and the residue class ring
(with
not necessarily prime).
The ring
has no zero divisors
whereas
has zero divisors iff
is not prime.
But for every non prime
the ring
consists only of zero, units and zero divisors.
This follows from the proposition below.
This is why we were led to the
example.
Proposition 1
Let
be an Euclidean domain and
an element of
with
and
.
Consider the residue class ring
where
denotes the ideal generated by
.
Then every element of
is either zero, a zero divisor or a unit.
Proof.
Studying the elements of
(for deciding if they
are null, zero divisors or units) can be done
by studying the
for every
.
So let
be in
.
If
is a multiple of
then
.
Assume from now on that
is not a a multiple of
.
Consider
the gcd of
and
together with the Bezout relation
|
(2) |
Observe that
cannot be zero
(otherwise
would be zero
and
would divide
and thus
).
If
then
and this shows
is a unit of
.
The same result holds if
is a unit.
Assume from now on that
is not a unit.
Since
divides
and
let
and
be such that
|
(3) |
Observe that
is not zero
(otheriwse
would write
leading to the contradiction
).
We have
|
(4) |
This shows that
is a zero divisor of
.
Yes, this was that simple!
Definition 1
Let
be a positive integer and
.
-
is a
-th root of unity if
.
-
is a primitive
-th root of unity if
-
,
-
is a unit in
,
- for every prime divisor
of
the element
is neither zero nor a zero divisor.
Remark 1
When
is an integral domain the last condition of Definition 1
becomes: for every prime divisor
of
the element
.
Observe also that a
-th root of unity is necessarily a unit.
Example 2
Consider that
is the field
of complex numbers.
The number
is a
a primitive
-th root of unity.
Example 3
In
we have
.
However
is not a primitive
-th of unity, since
is not a unit in
.
Example 4
In
we have the following computation in AXIOM
(1) -> R := PF(17)
(1) PrimeField 17
Type: Domain
(2) -> w: R := 3
(2) 3
Type: PrimeField 17
(3) -> [w^i for i in 0..16]
(3) [1,3,9,10,13,5,15,11,16,14,8,7,4,12,2,6,1]
Type: List PrimeField 17
(4) -> u: R := 2
(4) 2
Type: PrimeField 17
(5) -> [u^i for i in 0..16]
(5) [1,2,4,8,16,15,13,9,1,2,4,8,16,15,13,9,1]
Type: List PrimeField 17
The first list shows that
is a primitive
-th root of unity.
However with
we have
since
.
Lemma 1
Let
be integers and let
be a primitive
-th
root of unity. Then we have
-
is neither zero nor a zero divisor in
,
-
.
Proof.
It relies on the formula
|
(5) |
which holds for every
and every positive integer
.
Let us prove the first statement of the lemma.
Let
be the gcd of
and
.
Let
be such that
|
(6) |
Since
we have
.
Hence we can cancel a prime factor
of
such that
|
(7) |
Let
|
(8) |
in Relation (
5) leading to
|
(9) |
for some
.
Hence if
would be zero or a zero divisor
then so would be
which is false.
Now applying Relation (
5) with
and
implies that
divides
.
But with Relation (
6) we obtain
|
(10) |
Hence
|
(11) |
Therefore
cannot be zero or a zero divisor.
Now let us prove the second statement of the lemma.
By applying Relation (5)
with
and
we have
|
(12) |
Since
is neither zero nor a zero divisor we otain
the desired formula.
Marc Moreno Maza
2008-01-07