Professional Documents
Culture Documents
net/publication/350853296
CITATIONS READS
0 40
2 authors:
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Hani A. Khashan on 14 April 2021.
1. Introduction
Throughout, rings will be commutative with identity and modules are unital.
We denote by R a ring, by M a unitary R-module, and by J(R) the Jacobson
radical of R which is the √ intersection of all maximal ideals of R. The radical of an
ideal I of R, denoted by I, is defined to be the set of all a ∈ R for which an ∈ I
for some positive integer n. For a submodule N of M , we mean by (N : M ), the
set of all elements r of R for which rM ⊆ N .
The concept of prime submodules, which is an important subject of module
theory, has been widely studied by various authors. Recall that a proper submodule
N of an R-module M is a (resp. weakly) prime submodule if for r ∈ R and m ∈ M
whenever (resp. 0 6= rm ∈ N ) rm ∈ N , then r ∈ (N : M ) or m ∈ N , [3]. In 2005,
Atani and Farzalipour [4] defined weakly primary submodules as follows: A proper
submodule N of M is said p to be weakly primary if whenever 0 6= rm ∈ N for r ∈ R
and m ∈ M , then r ∈ (N : M ) or m ∈ N . In 2017, ”Tekir et.al.” [12] defined
the concept of n-ideals and n-submodules. The authors call a proper submodule p
N of M an n-submodule if for r ∈ R and m ∈ M , rm ∈ N with r ∈ / (0 : M ),
then m ∈ N . Generalizing these concepts, Khashan and Bani-Ata (2021) recently
introduced and studied the concepts of J-ideals and J-submodules in [7]. According
to [7], a proper ideal I of R is said to be a J-ideal if whenever ab ∈ I for a ∈ R\J(R)
and b ∈ R, then b ∈ I. As extending this structure to the context of J-submodules,
a proper submodule N of M is called a J-submodule if whenever r ∈ R and m ∈ M
such that rm ∈ N and r ∈ / (J(R)M : M ), then m ∈ N . As a very recent paper, in
[8], the notion of weakly J-ideals is presented. A weakly J-ideal of R is a proper
ideal with the property that a, b ∈ R, 0 6= ab ∈ I and a ∈ / J(R) imply b ∈ I.
With J-submodules and weakly J-ideals in mind, we define the notion of weakly
J-submodules. We call a proper submodule N of M weakly J-submodule if when-
ever r ∈ R and m ∈ M such that 0 6= rm ∈ N and r ∈ / (J(R)M : M ), then
m ∈ N . We obtain (Proposition 10) that weakly J-submodules and J-submodules
coincide in J-presimplifiable modules. But, we start with some examples to show
that in general, the class of weakly J-submodules is a proper generalization of that
of J-submodules. Among many other results in this paper, in Lemma 1, we give
a condition on a weakly J-submodule N of an R-module M contained in J(R)M
to be a J-submodule. In Theorem 1, we conclude some equivalent statements
characterizing weakly J-submodules of modules. Also, we obtain some other char-
acterizations for weakly J-submodules of finitely generated faithful multiplication
modules (Corollary 1, Theorem 3 and Corollary 3). Moreover, we investigate the
behavior of this structure under module homomorphisms and localizations, (Propo-
sitions 7, 12 and Corollary 4).In Proposition 13, we clarify a condition on weakly
primary submodules to be weakly J-submodules. It is shown in Theorem 2 that a
maximal weakly J-submodule N satisfying (0 :M S) ⊆ N for any S * J(R) of a
finitely generated faithful multiplication R-module M is a J-submodule. Finally,
in Proposition 14, we give a characterization of weakly J-ideals in the idealization
ring R(+)M .
Let us recall that an R-module M is called a multiplication module provided that
for every submodule N of M , there exists an ideal (presentation ideal) I of R such
that N = IM , [6]. If N and K are two submodules of a multiplication module M ,
define the multiplication of N and K as N K = IJM where I and J are the presen-
tation ideals of N and K, respectively. Also, recall that the idealization ring of an R-
module M is the set R(+)M = R⊕M = {(r, m) : r ∈ R, m2 ∈ M } with coordinate-
wise addition and multiplication defined as (r1 , m1 )(r2 m2 ) = (r1 r2 , r1 m2 + r2 m1 ).
If I is an ideal of R and N a submodule of M , then I(+)N is an ideal of R(+)M
if andponly if IM√⊆ N . It is well known that if I(+)N is an ideal of R(+)M ,
then I(+)N = I(+)M . Moreover, we have J(R(+)M ) = J(R)(+)M , [2]. For
undefined notations or terminologies in commutative ring and module theory, we
refer the reader to [5] and [10].
also r1 = 0, we have (r1 , (ā, b̄)) ∈ N as needed. On the other hand, N is not a J-
submodule of M . For example, 2.(0, (1̄, 1̄)) = (0, (0̄, 0̄)) ∈ N with 2 ∈
/ (J(Z)M : M )
but (0, (1̄, 1̄)) ∈
/ N.
We next give a rather general condition on a weakly J-submodule N of an R-
module M contained in J(R)M to be a J-submodule.
Lemma 1. Let N be a weakly J-submodule of an R-module M such that N ⊆
J(R)M . If N is not a J-submodule, then (N : M )N = 0. In particular, (N :
M )2 ⊆ Ann(M ). Hence a weakly J-submodule N ⊆ J(R)M with (N : M )N 6= 0 is
J-submodule.
Proof. Assume on the contrary (N : M )N 6= 0. We show that N is a J-submodule.
Let r ∈ R and m ∈ M with rm ∈ N . If rm 6= 0, then clearly we are done. So,
assume that rm = 0. We have the following cases:
Case 1. Let rN 6= 0. Then rn 6= 0 for some n ∈ N. Hence, 0 6= rn = r(n + m) ∈
N which implies either r ∈ (J(R)M : M ) or n + m ∈ N . Thus, r ∈ (J(R)M : M )
or m ∈ N .
Case 2. Let (N : M )m 6= 0. Then there exists a ∈ (N : M ) satisfying am 6= 0.
Hence, 0 6= am = (r + a)m ∈ N which follows either r + a ∈ (J(R)M : M ) or
m ∈ N. By assumption, a ∈ (N : M ) ⊆ (J(R)M : M ) and so r ∈ (J(R)M : M ) or
m ∈ N.
Case 3. Let rN = 0 and (N : M )m = 0. Since (N : M )N 6= 0, then bn1 6= 0 for
some b ∈ (N : M ) ⊆ (J(R)M : M ) and n1 ∈ N . So, 0 6= bn1 = (r + b)(n1 + m) ∈ N
which implies r + b ∈ (J(R)M : M ) or n1 + m ∈ N. Thus, r ∈ (J(R)M : M ) or
m ∈ N and we are done.
In particular, (N : M )2 ⊆ ((N : M )N : M ) = (0 : M ) = Ann(M ).
In the following result, we give several characterizations for weakly J-submodules
of an R-module M .
Theorem 1. For a proper submodule N of an R-module M , the following state-
ments are equivalent:
(1) N is a weakly J-submodule of M .
(2) For m ∈ M \N, (N : Rm) ⊆ (J(R)M : M ) ∪ (0 : Rm).
(3) Whenever I is an ideal of R and m ∈ M with 0 6= Im ⊆ N , then I ⊆
(J(R)M : M ) or m ∈ N .
(4) Whenever I is an ideal of R and K is a submodule of M with 0 6= IK ⊆ N ,
then I ⊆ (J(R)M : M ) or K ⊆ N .
Proof. (1)⇒(2) Suppose N is a weakly J-submodule of M and let m ∈ M \N . Let
r ∈ (N : Rm) so that rm ∈ N . If rm = 0, then r ∈ (0 : Rm). If rm 6= 0,
then r ∈ (J(R)M : M ) since N is a weakly J-submodule and m ∈ / N . Thus,
(N : Rm) ⊆ (J(R)M : M ) ∪ (0 : Rm) as needed.
(2)⇒(3) Suppose I is an ideal of R and m ∈ M with 0 6= Im ⊆ N and m ∈ / N.
Then I ⊆ (N : Rm) with I * (0 : Rm). By assumption, we conclude that
I ⊆ (J(R)M : M ) and we are done.
(3)⇒(4) Assume on the contrary that there are an ideal I of R and a submodule
K of M such that 0 6= IK ⊆ N but I * (J(R)M : M ) and K * N . Then there
exists m ∈ K such that 0 6= Im ⊆ N . Since I * (J(R)M : M ), then by (3), we get
m ∈ N . Now, choose an element m′ ∈ K\N and note that Im′ = 0 since otherwise,
4 HANI A. KHASHAN AND ECE YETKIN CELIKEL
References
[1] M. M. Ali, Residual submodules of multiplication modules, Beitr Algebra Geom, 46 (2)
(2005), 405–422.
[2] D. D. Anderson, M. Winders, Idealization of a Module, Journal of Commutative Algebra, 1
(1) (2009), 3-56.
[3] S. E. Atani, F. Farzalipour, On weakly prime submodules, Tamkang Journal of Mathematics,
38 (3) (2007), 247-252.
[4] S. E. Atani, F. Farzalipour, On weakly primary ideals, Georgian Mathematical Journal, 12
(3) (2005), 423-429.
[5] A. Barnard, Multiplication modules. J. Algebra, 71 (1981), 174–178.
[6] Z. A. El-Bast and P. F. Smith, Multiplication modules, Comm. in Algebra, 16 (1988), 755-779.
[7] H. A. Khashan, A. B. Bani-Ata, J-ideals of commutative rings, International Electronic
Journal of Algebra, 29 (2021), 148-164.
[8] H. A. Khashan, E. Yetkin Celikel, , Weakly J-ideals of commutative rings (submitted).
[9] T. K. Lee, .Y. Zhou, Reduced modules. Rings, modules, algebras and abelian groups, 236
(2004). 365-377.
[10] R. Y. Sharp, Steps in commutative algebra, Second edition, Cambridge, UK: Cambridge
University Press. (2000).
[11] P. Smith, Some remarks on multiplication modules, Arch. Math., 50 (1988), 223-235.
[12] U. Tekir, S. Koc, K. H. Oral, n-ideals of Commutative Rings, Filomat, 31 (10) (2017), 2933-
2941.
[13] E. Yetkin Celikel, H. A. Khashan, Quasi J-submodules (submitted).