Professional Documents
Culture Documents
Weakly Prime Submodules
Weakly Prime Submodules
R. NEKOOEI
Department of Mathematics
Shahid Bahonar University of Kerman
Kerman, Iran
e-mail: rnekooei@mail.uk.ac.ir
Abstract
1. Introduction
Throughout this paper, all rings are commutative with identity and all modules
are unital.
For any submodule N of an R-module M, we define ( N : M ) = {r ∈ R | rM ⊆ N }
and denote (0 : M ) by AnnR ( M ) . The R-module M is called faithful if AnnR ( M )
= 0. A submodule P of M is called prime if P ≠ M and, if r ∈ R, m ∈ M and
rm ∈ P, then m ∈ P or r ∈ ( P : M ) . It is easy to show that if P is a prime
submodule of an R-module M, then ( P : M ) is a prime ideal of R. The radical of an
R-module M, given by rad ( M ) , is the intersection of all prime submodules of M. If
2010 Mathematics Sub ject Classification: 13C13, 13C99.
Keywords and phrases: prime submodules, multiplication modules, ZPI-rings.
This research has been supported by the Linear Algebra and Optimization Center of
Excellence of Shahid Bahonar University of Kerman.
Received September 21, 2009
186 R. NEKOOEI
Note that the converse of Theorem 1 is not generally true. For example, {0} is
the only prime submodule of Q as a Z -module, but (0 : Q ) = {0}.
Note that the converse of Lemma 3 is not true. For example, Q as a Z -module
is faithful and (Z : Q ) = {0} is a prime ideal of Z but Z is not a weakly prime
submodule of Q. We next modify Theorem 1, for faithful multiplication modules.
(ii) For x ∈ M \ P; ( P : x ) = ( P : M ) ∪ (0 : x ).
(iii) For x ∈ M \ P; ( P : x ) = ( P : M ) or ( P : x ) = (0 : x ) .
(ii) ⇒ (iii). It is well known that if an ideal is the union of two ideals, then it is
equal to one of them.
The converse of Lemma 8 is not true in general. For example, let V be a vector
space over the field F, such that dim F V ≥ 2. Since every proper submodule of V
is prime, hence, every proper submodule of V is weakly prime and V is not a
multiplication module.
Proof. First we show that R is a field. It is enough to show that every proper
ideal of R is prime. Let I be a proper ideal of R. It follows from [3, Proposition 3.4]
that, M is finitely generated and so IM ≠ M . Hence, IM is a weakly prime
190 R. NEKOOEI
∩
= Q n M , by [3, Theorem 1.6] and so ax = 0, a contradiction.
n ≥1
References
[1] R. Ameri, On the prime submodules of multiplication modules, Int. J. Math. Math. Sci.
27 (2003), 1715-1724.
[2] D. D. Anderson and E. Smith, Weakly prime ideals, Houston J. Math. 29(4) (2003),
831-840.
[3] Z. Abd El-Bast and P. F. Smith, Multiplication modules, Comm. Algebra 16(4) (1988),
755-779.