Lattice modules having small cofinite irreducibles
ABSTRACT We introduce the concept of small cofinite irreducibles in Noetherian lattice modules and obtain several characterizations of this property.
- Citations (1)
- Cited In (0)
- α-adic completions of Noetherian lattice modules. J A Johnson . 347-37333903.
Page 1
IJMMS 26:3 (2001) 161–166
PII. S0161171201004604
http://ijmms.hindawi.com
© Hindawi Publishing Corp.
LATTICE MODULES HAVING SMALL COFINITE IRREDUCIBLES
E. W. JOHNSON, JOHNNY A. JOHNSON, and MONTY B. TAYLOR
(Received 16 February 2000)
Abstract. We introduce the concept of small cofinite irreducibles in Noetherian lattice
modules and obtain several characterizations of this property.
2000 Mathematics Subject Classification. 06F10, 06F05.
Let L be a multiplicative lattice and let M be an L-module with greatest element M.
Recallfrom[5]thatforanelementaofL,Rad(a) =?{x ∈ L | xn≤ a for some positive
integer n}. For an element B of M, we define Rad(B) to be Rad(B : M), that is, Rad(B) =
?{x ∈ L | xnM ≤ B for some positive integer n}. An element Q of M is defined to be
primary if for all b ∈ L and C ∈ M, bC ≤ Q implies either b ≤ Rad(Q) or C ≤ Q.
Lemma 1. Let L be an r-lattice, let M be an L-module with greatest element M, and
let A and B be elements of M. Then Rad(A∧B) = Rad(A)∧Rad(B).
Proof.We have
Rad(A∧B) = Rad?(A∧B) : M?= Rad(A : M∧B : M)
= Rad(A : M)∧Rad(B : M) = Rad(A)∧Rad(B),
(1)
where the third equality follows from [5, Lemma 2.2].
Lemma 2. Let L be a totally quasi-local lattice with maximal element m, let M be an
L-module, and let Q be an element of M. If Rad(Q) = m, then Q is primary.
Proof.Suppose Rad(Q) = m. Also suppose that b ∈ L and C ∈ M such that bC ≤
Q and C ? Q. Then b ≠ I, and since L is totally quasi-local, it follows that b ≤ m =
Rad(Q). Thus, Q is primary.
Let L be a totally quasi-local lattice with maximal element m and let M be an L-
module. For an element Q of M, Q is said to be m-primary if Rad(Q) = m.
Lemma 3. Let L be a local Noether lattice with maximal element m, let M be an L-
module with greatest element M, and let Q be an element of M different from M. Then
Q is m-primary if and only if there exists a positive integer n such that mnM ≤ Q.
Proof.Suppose Q is m-primary. Since Rad(Q : M) = m, there exists a positive
integer n such that mn≤ Q : M. Thus, mnM ≤ Q. Conversely, suppose that there
exists a positive integer n such that mnM ≤ Q. Then m = Rad(mnM) ≤ Rad(Q) ≤ m,
and so Q is m-primary.
Page 2
162
E. W. JOHNSON ET AL.
Let L be a local Noether lattice with maximal element m and let M be a Noetherian L-
module with greatest element M. Define a metric d (the m-adic metric) on M as follows:
d(A,B) = 0 if A∨mnM = B ∨mnM for all nonnegative integers n, and otherwise,
d(A,B) = 2−s(A,B), where s(A,B) = sup{n | A∨mnM = B ∨mnM}. This metric gives
rise to the m-adic completions of L and M (see [4]).
Lemma 4. Let L be a local Noether lattice with maximal element m, let M be a
Noetherian L-module with greatest element M, and let Q be an element of M. Then Q
is m-primary if and only if M/Q is finite dimensional.
Proof.
integer n such that mnM ≤ Q. Since M/mnM is finite dimensional [1, Corollary 5.2],
if follows that M/Q is finite dimensional.
On the other hand, suppose that Q is not m-primary. Then by Lemma 3, mnM ? Q
for all positive integers n. It follows that {Q∨mnM} is a strictly decreasing sequence
of elements of M with meet Q, so M/Q is not finite dimensional.
Suppose that Q is m-primary. Then by Lemma 3, there exists a positive
Let L be a local Noether lattice with maximal element m, let M be a Noetherian
L-module with greatest element M. We say that M has small cofinite irreducibles if
for every positive integer n, there exists a meet-irreducible element Q of M such that
Q ≤ mnM and M/Q is finite dimensional.
Theorem 5. Let L be a local Noether lattice with maximal element m and let M be
a Noetherian L-module with greatest element M. Then the following are equivalent:
(1) M has small cofinite irreducibles.
(2) For every positive integer n, there exists a meet-irreducible m-primary element
Q of M such that Q ≤ mnM.
(3) For every m-primary element Q?of M, there exists a meet irreducible m-primary
element Q of M such that Q ≤ Q?.
(4) 0 is a closure point in the set of all meet-irreducible m-primary elements of M in
the m-adic topology on M.
Proof.
ducibles. Suppose also that n is a positive integer. Then there exists a meet-irreducible
element Q of M such that Q ≤ mnM and M/Q is finite dimensional. By Lemma 4, we
have that Q is m-primary, so (2) holds.
We next show that (2) implies (4). Suppose that (2) holds and that ? > 0. Choose n
to be a positive integer satisfying 2−n< ?. Using (2), there exists a meet-irreducible
m-primary element Q of M such that Q ≤ mnM. Thus Q ∨ mnM = mnM, and so
d(Q,0) ≤ 2−n< ?. Therefore, 0 is a closure point in the set of meet-irreducible m-
primary elements of M in the m-adic topology on M.
Now we show that (4) implies (3). Suppose that (4) holds and that Q?is an m-primary
element of M. By Lemma 3, there exists a positive integer n such that mnM ≤ Q?. Since
0 is a closure point in the set of meet-irreducible m-primary elements of M in the m-
adic topology on M, there exists a meet-irreducible m-primary element Q of M such
that d(Q,0) ≤ 2−n. Hence, Q∨mnM = mnM, and so it follows that Q ≤ mnM. Thus
the meet-irreducible m-primary element Q satisfies Q ≤ Q?.
We begin by showing that (1) implies (2). Suppose M has small cofinite irre-
Page 3
LATTICE MODULES HAVING SMALL COFINITE IRREDUCIBLES
163
Finally, we show that (3) implies (1). Suppose that (3) holds and that n is a pos-
itive integer. Since mnM is m-primary, then by (3), there exists a meet-irreducible
m-primary element Q of M such that Q ≤ mnM. Also, by Lemma 4, M/Q is finite
dimensional. Thus, M has small cofinite irreducibles.
Theorem 6. Let L be a local Noether lattice with maximal element m and let M be a
Noetherian L-module with greatest element M. Then M has small cofinite irreducibles
if and only if there exists a decreasing sequence {Qn} of meet-irreducible m-primary
elements of M such that for each m-primary element Q?of M, there exists a positive
integer n such that Qn≤ Q?.
Proof.Suppose that m has small cofinite irreducibles. Since mM is an m-primary
element of M, use (2) to pick Q1to be a meet-irreducible m-primary element of M such
that Q1≤ mM. For n > 1, recursively define Qnas follows: choose Qnto be a meet-
irreducible m-primary element of M such that Qn≤ Qn−1∧mnM, which is possible
by Lemma 1 since
Rad?Qn−1∧mnM?= Rad?Qn−1
?∧Rad?mnM?= m,
(2)
and so Qn−1∧mnM is an m-primary element of ˙ M. By construction, {Qn} is a de-
creasing sequence of meet-irreducible m-primary elements of M. Moreover, if Q?is
an m-primary element of M, then by Lemma 3 there exists a positive integer n such
that mnM ≤ Q?, and so Qn≤ Q?.
Conversely, suppose that there exists a decreasing sequence {Qn} of meet-
irreducible m-primary elements of M such that for all m-primary elements Q?of
M, there exists a positive integer n such that Qn≤ Q?. We immediately have that (2)
holds since for each positive integer n, mnM is an m-primary element of M. Thus, by
Theorem 5, M has small cofinite irreducibles, which completes the proof.
Let L be a local Noether lattice with maximal element m and let M be a Noetherian
L-module with greatest element M. Following [2], L∗denotes the set of all formal sums
?∞
i=1aiof elements of L such that
ai= ai+1∨mi
(3)
for all positive integers i. On L∗, define
∞
?
i=1
ai≤
∞
?
i=1
bi
if and only if ai≤ bi∀i,
∞
?
i=1
ai
∞
?
i=1
bi
=
∞
?
i=1
?aibi∨mi?.
(4)
For an element a of L, a∗denotes the element
a local Noether lattice with maximal element m∗=?∞
is a collection of representatives of equivalence classes of Cauchy sequences of L
with the m-adic metric and in fact is the completion of L with this metric. Additional
properties can be found in [2]. Similarly, M∗denotes the set of all formal sums?∞
?∞
i=1(a ∨ mi) of L∗. Then L∗is
i=1m. It can be seen that L∗
i=1Bi
Page 4
164
E. W. JOHNSON ET AL.
of elements of M such that
Bi= Bi+1∨miM
(5)
for all positive integers i. On M∗, define
∞
?
i=1
Bi≤
∞
?
i=1
Ci
if and only if Bi≤ Ci∀i,
∞
?
i=1
ai
∞
?
i=1
Bi
=
∞
?
i=1
aiBi∨miM.
(6)
It is known [1] that M∗is a Noetherian L∗-module with greatest element M∗=?∞
For an element B of M, B∗denotes the element?∞
is an element of M∗, then C(B) denotes the element?∞
Theorem 7. Let L be a local Noether lattice with maximal element m and let M be a
Noetherian L-module with greatest element M. Then the L-module M has small cofinite
irreducibles if and only if the L∗-module M∗has small cofinite irreducibles.
i=1M.
i=1Bi
i=1B∨miM of M∗. Also, if B =?∞
i=1Biof M.
Proof.
integer n, mnM contains an irreducible m-primary element Q, then choose i so that
miM ≤ Q. Then the element of M∗/(m∗)iM∗corresponding to Q is irreducible and
m∗-primary. The argument is reversible.
For any positive integer i, M/miM ? M∗/(m∗)iM∗. If for every positive
Let R be a local Noetherian ring with maximal ideal m and let M be a Noetherian
R-module. Then the R-module M is said to have small cofinite irreducibles if for every
positive integer n, there exists an irreducible submodule Q of M such that Q ⊆ mnM
and M/Q has finite length. Let L(R) denote the lattice of ideals of R and let L(M)
denote the lattice of R-submodules of M. Since the set of irreducible submodules of
M is precisely the set of meet-irreducible elements of the L(R)-submodule L(M), we
immediately have the following theorem.
Theorem 8. Let R be a local Noetherian ring with maximal element m and let M
be a Noetherian R-module. Then the R-module M has small cofinite irreducibles if and
only if the L(R)-module L(M) has small cofinite irreducibles.
For a Noetherian module M over a local ring R with maximal ideal m, we let M∗
and R∗denote the completions of M and R, respectively, in the m-adic topology.
Theorem 9. Let R be a local Noetherian ring with maximal element m and let M be
a Noetherian R-module. Then the following statements are equivalent:
(i) The R-module M has small cofinite irreducibles.
(ii) The R∗-module M∗has small cofinite irreducibles.
(iii) The L(R)-module L(M) has small cofinite irreducibles.
(iv) The L(R∗)-module L(M∗) has small cofinite irreducibles.
(v) The L(R)∗-module L(M)∗has small cofinite irreducibles.
Proof.
alence of (ii) and (iv). The equivalence of (iii) and (v) follows from Theorem 7. The
equivalence of (iv) and (v) is established in [3].
The equivalence of (i) and (iii) follows from Theorem 8. So does the equiv-
Page 5
LATTICE MODULES HAVING SMALL COFINITE IRREDUCIBLES
165
In Theorem 8, we showed that the lattice of submodules of a module having small
cofinite irreducibles is a lattice module having small cofinite irreducibles. We conclude
this paper by giving an example of a module having small cofinite irreducibles which
is not the lattice of submodules of any module.
Let L be the local Noether lattice with maximal element m in which the quotient
m/m2has exactly two points, e and h. Further, assume each quotient mn/mn+1has
exactly two points for each n, with eihj= erhsif i+j = r +s and j and s are both
even or j and s are both odd.
I
m
e
h
m2
e2= h2
eh
m3
e3= eh2
h3= e2h
m4
e4= e2h2= h4
eh3= e3h
m5
0
(7)
It is clear that every power of m contains an irreducible m-primary element. If L is the
lattice of submodules of any module, then every cyclic submodule ≠ m, I is contained
in e or h. Then m = e∪h is a submodule, with e ? h and h ? e, which is impossible.