最終更新日：2022/12/24
The unique maximal ideal of a (commutative) local ring contains all of the zero divisors of such ring, and all elements of the ring outside of it are units. Then in a local ring, the sum of any two zero divisors is also a zero divisor. Contrapositively, if two ring elements add up to a unit then one of them must be a unit as well. A simple example of a local ring is ℤ₈.
編集履歴（0）
元となった例文
The
unique
maximal
ideal
of
a
(commutative)
local
ring
contains
all
of
the
zero
divisors
of
such
ring,
and
all
elements
of
the
ring
outside
of
it
are
units.
Then
in
a
local
ring,
the
sum
of
any
two
zero
divisors
is
also
a
zero
divisor.
Contrapositively,
if
two
ring
elements
add
up
to
a
unit
then
one
of
them
must
be
a
unit
as
well.
A
simple
example
of
a
local
ring
is
ℤ₈.
