arXiv:1709.02748v1 [] 8 Sep 2017

ON PRESERVATION PROPERTIES AND A SPECIAL
ALGEBRAIC CHARACTERIZATION OF SOME STRONGER
FORMS OF THE NOETHERIAN CONDITION
DANNY ARLEN DE JESÚS GÓMEZ-RAMÍREZ, JUAN D. VÉLEZ,
AND EDISSON GALLEGO
Abstract. We give an elementary proof prove of the preservation of
the Noetherian condition for commutative rings with unity R having at
least one finitely generated ideal I such that the quotient ring is again
finitely generated, and R is I−adically complete. Moreover, we offer as
a direct corollary a new elementary proof of the fact that if a ring is
Noetherian then the corresponding ring of formal power series in finitely
many variables is Noetherian. In addition, we give a counterexample
showing that the ‘completion’ condition cannot be avoided on the former
theorem. Lastly, we give an elementary characterization of Noetherian
commutative rings that can be decomposed as a finite direct product of
fields.

Mathematical Subject Classification (2010): 13E05
Keywords: Noetherian condition, direct product of fields

Introduction
Among the most studied rings in commutative algebra are the Noetherian
ones, i.e., commutative rings with unity such that every ideal can be finitely
generated. Moreover, one needs to increase a little bit the level of formal
sophistication in order to find simple examples of non-Noetherian structures
such as the ring of polynomials in countable many variables over a field or the
ring of algebraic integers. So, (elementary) results preserving and implying the
Noetherian condition after the application of standard algebraic operations
(such as completion, quotient, localization, etc.) are quite useful (see [9],
[4], [11] and [8]). Similarly, new characterizations of (stronger forms of the)
Noetherian condition are oft very valuable for enlightening our understanding
of what finite generation in (non-)commutative algebra means (see [14], [13],
[2] and [7]).
Finally, we will prove in an elementary way two results concerning, on the
one hand, the preservation of the Noetherian condition for a commutative
ring with unity R having at least one finitely generated ideal I such that the
1

2

DANNY A. J. GÓMEZ-RAMÍREZ, JUAN D. VELEZ, AND EDISSON GALLEGO

quotient ring is again finitely generated and R is I−adically complete. In
addition, we also offer as a corollary a new elementary proof of the fact that
the ring of formal power series in finitely many variables is Noetherian, if
its ring of coefficient so is, and we give a counterexample showing that the
‘completion’ condition cannot be avoided. On the other hand, we give a quite
simple algebraic characterization of Noetherian commutative rings that can
be decomposed as a finite direct product of fields.
1. Preservation Properties of the Noetherian Condition
involving a Special Class of Finitely Generated Ideals
In this section, by a ring we will mean a commutative ring with identity,
not necessarily Noetherian.
Let R be a ring, and let I be an ideal of R. We will show that if I
is finitely generated and R/I is Noetherian, then the completion of R with
respect to the I-adic topology is also Noetherian. In general one cannot expect
R to be Noetherian under these hypothesis, as shown in Example 1.3 below.
This result can be regarded as a generalization of the following well known
corollary to the Cohen Structure Theorems ([3]), ([5, pag. 189,201]): if (R, m)
is a quasilocal complete ring (with respect to the m-adical topology) then R
is Noetherian if m is finitely generated. The Noetherian property is deduced
from the fact that under these hypothesis R is a quotient of a power series
ring over a complete discrete valuation ring. We observe that this result can
be recovered immediately from Theorem 1.1 as the very special case when
I is maximal, since R/I is a field, hence automatically Noetherian. While
Cohen Structure Theorems require some machinery, the result below is totally
elementary.
As a corollary, we deduce a quite elementary new proof of the fact that If
A is Noetherian, so it is the power series ring A[[x1 , . . . , xn ]].
Theorem 1.1. Let R be a ring, and let I be a finitely generated ideal of R.
Suppose that R is I-adically complete, and that R/I is Noetherian. Then R
is also Noetherian.
Proof. If R were not Noetherian, a standard argument using Zorn’s Lemma
shows that there is a maximal ideal P in R with respect to the property of not
being finitely generated, and this ideal is necessarily prime. It is clear that P
does not contain I, otherwise, since R/I is Noetherian, any lifting of a set of
generator for P/I coupled with generators of I would also generate P. Thus,
we may assume that there exist z ∈ I such that z ∈
/ P. By the maximality of
P , the ideal P + Rz must be finitely generated. Let fi + ri z, i = 1, . . . , n be
any set of generators, with fi ∈ P.
We claim that {f1 , . . . , fn } is a set of generators for P. Let f be any element
(0)
of P . Then, since f is a priory in P + Rz there must be elements gi ∈ R

ON SPECIAL PROPERTIES INVOLVING THE NOETHERIAN CONDITION

3

such that
(1.1)

f=

n
X

(0)

gi (fi + ri z) =

n
X

(0)

gi fi + zf (1) ,

i=1

i=1

(0)
i=1 gi ri .

Pn

Pn

(0)

Hence, f − i=1 gi fi = zf (1) is in P. Since we
where f (1) =
are assuming z ∈
/ P, and P is prime we deduce f (1) ∈ P.
P
(1)
The same reasoning applied to f (1) yields f (1) =
i = 1n gi fi + zf (2) ,
(1)
for some elements gi ∈ R, and f (2) ∈ P. Replacing f (1) in 1.1 by the right
P
(1)
(0)
hand side of this last equation gives f = ni=1 (gi + zgi )fi + z 2 f (2) . Since
t
z ∈
/ P for any t > 0, a straightforward induction shows that f can be written
as
n
X
(t)
(1)
(0)
(gi + zgi + · · · + z t gi )fi + z t+1 f (t+1) ,
(1.2)
f=
i=1

(t)

for certain elements gi ∈ R, and f (t+1) ∈ P. Since R is complete, hi =
P∞ t (t)
is a well defined element of R.
t=0 z gi
T∞
We now observe that R must be I-adically separated, i.e., t=0 I t is just
b
the kernel of the canonical map i : R −→ RI , which should be the zero ideal,
because i is an isomorphism, since we are making the
Pnassumption that R is
I-adically complete. From this, we deduce that f = i=1 hi fi , since
f−

n
X
i=1



n
∞
n
X
X
X
(j+t+1)
(t)
(1)
(0)
 fi

z j gi
hi fi = f − (gi +zgi +· · ·+z t gi )fi −z t+1
i=1

i=1



= z t+1 f (t+1) −

n
X
i=1




∞
X
j=0

(j+t+1) 

z j gi

j=0

 

fi  ,

is an element of I t , for all t.
In conclusion, any element f ∈ P can be generated by the set {f1 , · · · , fn } ⊆
P . Therefore, P would be finitely generated, which contradicts our former
assumption.

Corollary 1.2. If A is Noetherian, so it is A[[x1 , . . . , xn ]].
Proof. Let R = A[[x1 , . . . , xn ]] and I = (x1 , . . . , xn ). A standard argument
b
([5, pag. 192]), ([10, pag. 61]) shows that R = B I where B = A[x1 , . . . , xn ].
Since R/IR ≃ A is Noetherian, the previous theorem gives that so it is R. 
In general, if R is not complete with respect to the I-adic topology, it is not
true that R is Noetherian under the hypothesis of I being finitely generated
and R/I being Noetherian, not even in the case where I is maximal, as the
following example shows.

4

DANNY A. J. GÓMEZ-RAMÍREZ, JUAN D. VELEZ, AND EDISSON GALLEGO

Example 1.3. Let N denote the set of natural numbers, and let U be any
non principal ultrafilter in N , that is, a collection of infinite subsets of N ,
closed under finite intersection, with the property that for any D ⊂ N , either
D or its complement belongs to U. Let (R, m) be any discrete valuation ring,
and let us denote by Rw a copy of R indexed by the natural w ∈ N. By
S we will denote the ultraproduct, S = u limw→∞ Rw . We recall that
Q this is
defined as the set of equivalent classes in the Cartesian product w∈N Rw ,
where two sequences (aw ) and (bw ) are regarded as equivalent if the set of
indices w where aw = bw is an element of U. This is a ring with the obvious
operations, and it is also local with a principal maximal ideal m′ generated
by the class of (pw ), where mw = (pw ) is the maximal ideal of Rw (see [12,
Ch. 1-2]). If c denotes the class of the sequence of powers (pw )w , then it
′ w
is clear that c belongs to the Jacobson radical of S, ∩∞
w=0 (m ) , and it is
a nonzero element. Consequently, S cannot be Noetherian, even though its
maximal ideal is finitely generated (actually, principal), and S/m′ is a field.
2. A Characterization of a Noetherian Finite Direct Product
of Fields
In this section we will give an elementary algebraic re-formulation of the
fact that a commutative Noetherian ring is the direct product of fields by
means of a idempotent-membership condition, namely, the fact that any of
its elements belongs lo the ideal generated by its-own square.
Theorem 2.1. Let R be a commutative Noetherian ring. Then R is the finite
direct product of fields if and only if any element f ∈ R, holds that f ∈ (f 2 ).
Proof. If R is a finite product of fields, then clearly the desired condition is
satisfied, since any element in R is the direct product of zeros and unities.
Conversely, let us assume, by contradiction, that R is a Noetherian ring
which is not a finite product of fields. We want to prove that there is an
element f ∈ R such that f ∈
/ (f 2 ). In fact, we can reduced to the case of SpecR
connected, because if SpecR is not connected then, due to the Noetherian
hypothesis, we can write SpecR = V (Q1 ) ⊎ · · · ⊎ V (Qs ), where V (Qj ) ∼
=
Spec(R/Qj ) are the connectedQcomponents of SpecR. Hence, by the Chinese
s
Remainder Theorem [1], R ∼
= i=1 R/Qi and by the previous assumption at
least one of the R/Qi is not a field. So, it is enough to find an fi ∈ R/Qi such
that fi ∈
/ (fi2 ) to obtain the desired element f = (0, ..., fi , ..., 0) ∈ R. Now, the
connectedness of SpecR it is equivalent to saying that the only idempotents
of R are trivial ones, namely, zero and one (see for example [6, Ch. 2]).
Lastly, choose f ∈ R neither a unit nor idempotent. Then, f ∈
/ (f 2 ). In
2
fact, by contradiction, if f = cf , for some c ∈ R, and so cf (1 − cf ) = 0,
which means that cf is idempotent. Hence, cf = 0 or cf = 1. In the first
case we have f = (cf )f = 0, and in the second case, f is a unit. Then both
cases contradicts our hypothesis on f .


ON SPECIAL PROPERTIES INVOLVING THE NOETHERIAN CONDITION

5

Acknowledgements
The authors want to thank the Universidad Nacional of Colombia for its
support. In addition, Danny A. J. Gómez-Ramı́rez specially thanks Holger
Brenner for all the inspiring discussions during the preparation of this work.
D. A. J. Gómez-Ramı́rez was supported by the Vienna Science and Technology
Fund (WWTF) as part of the Vienna Research Group 12-004. Finally, he
thanks deeply to Rubents Ramı́rez for being nuestro milagro de vida and for
all the inspiration, to Veronica Ramirez for her unconditional support and to
J. Quintero for (the determination of) being there.

References
[1] Atiyah, M.F., Macdonald, I.: Introducion to Commutative Algebra. Addison-Wesley,
Reading, MA (1969)
[2] Bass, H.: Injective dimension in Noetherian rings. Transactions of the American Mathematical Society 102(1), 18–29 (1962)
[3] Cohen, I.S.: On the structure and ideal theory of complete local rings. Transactions of
the American Mathematical Society 59(1), 54–106 (1946)
[4] Eisenbud, D.: Subrings of Artinian and Noetherian rings. Mathematische Annalen
185(3), 247–249 (1970)
[5] Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry, vol.
150. GTM, Springer-Verlag (1995)
[6] Hartshorne, R.: Algebraic Geometry, vol. 52. GTM, Springer, New York (1977)
[7] He, Z.X.: Characterizations of Noetherian and hereditary rings. Proceedings of the
American Mathematical Society 93(3), 414–416 (1985)
[8] Jategaonkar, A.V.: Localization in Noetherian rings, vol. 98. Cambridge University
Press (1986)
[9] Kunz, E.: On Noetherian rings of characteristic p. American Journal of Mathematics
98(4), 999–1013 (1976)
[10] Matsumura, H.: Commutative Ring Theory. Cambridge University Press, Cambridge
(1989)
[11] Richman, F.: Constructive aspects of Noetherian rings. Proceedings of the American
Mathematical Society 44(2), 436–441 (1974)
[12] Schoutens, H.: The Use of Ultraproducts in Commutative Algebra, Lecture Notes in
Mathematics, vol. 1999. Springer Science & Business Media (2010)
[13] Vamos, P.: The dual of the notion of finitely generated Journal of the London Mathematical Society 1(1), 643–646 (1968)
[14] Van Huynh, D.: A characterization of Noetherian rings by cyclic modules. Proceedings
of the Edinburgh Mathematical Society 39(2), 253–262 (1996)

Vienna University of Technology, Institute of Discrete Mathematics and Geometry, wiedner Hauptstae 8-10, 1040, Vienna, Austria.
Universidad Nacional de Colombia, Escuela de Matemáticas, Calle 59A No 63
- 20, Núcleo El Volador, Medellı́n, Colombia.

6

DANNY A. J. GÓMEZ-RAMÍREZ, JUAN D. VELEZ, AND EDISSON GALLEGO

University of Antioquia, Calle 67 # 53-108, Medellı́n, Colombia.
E-mail address: daj.gomezramirez@gmail.com
E-mail address: jdvelez@unal.edu.co
E-mail address: egalleg@gmail.com

