Some characterizations of strongly irreducible submodules in arithmetical and Noetherian modules

arXiv2101.01695MaRDI QIDQ6357640FDOQ6357640

Publication date: 5 January 2021

Abstract: The purpose of the present paper is to prove some properties of the strongly irreducible submodules in the arithmetical and Noetherian modules over a commutative ring. The relationship among the families of strongly irreducible submodules, irreducible submodules, prime submodules and primal submodules is proved. Also, several new characterizations of the arithmetical modules are given. In the case when

R

is Noetherian and

M

is finitely generated, several characterizations of strongly irreducible submodules are included. Among other things, it is shown that when

N

is a submodule of

M

such that

N :_{R} M

is not a prime ideal, then

N

is strongly irreducible if and only if there exist submodule

L

of

M

and prime ideal

f r a k p

of

R

such that

N

is

f r a k p

-primary,

N s u b s e t n e q q L s u b s e t e q f r a k p M

and for all submodules

K

of

M

either

K s u b s e t e q N

or

L_{f r a k p} s u b s e t e q K_{f r a k p}

. In addition, we show that a submodule

N

of

M

is strongly irreducible if and only if

N

is primary,

M_{f r a k p}

is arithmetical and

N = (f r a k p M)^{(n)}

for some integer

n > 1

, where

f r a k p = R a d (N :_{R} M)

with

f r a k p o t i n A s s_{R} R / A n n_{R} (M)

and

f r a k p M s u b s e t e q N

. As a consequence we deduce that if

R

is integral domain and

M

is torsion-free, then there exists a strongly irreducible submodule

N

of

M

such that

N :_{R} M

is not prime ideal if and only if there is a prime ideal

f r a k p

of

R

with

f r a k p M s u b s e t e q N

and

M_{f r a k p}

is an arithmetical

R_{f r a k p}

-module.

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Commutative Noetherian rings and modules (13E05)

This page was built for publication: Some characterizations of strongly irreducible submodules in arithmetical and Noetherian modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6357640)