Introduction
Suppose that
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
is a commutative ring with identity,
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is a unitary
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
-module and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
is a multiplicatively closed subset of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
.
Factorization theory in commutative rings, which has a long history, still gets the attention of many researchers. Although at first, the focus of this theory was factorization properties of elements in integral domains, in the late nineties the theory was generalized to commutative rings with zero-divisors and to modules. Also recently, the factorization properties of an element of a module with respect to a multiplicatively closed subset of the ring has been investigated. It has been shown that using these general views, one can derive new results and insights on the classic case of factorization theory in integral domains.
An important and attractive question in this theory is understanding how factorization properties of a ring or a module behave under localization. In particular, Anderson, et al in 1992 showed that if
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
is an integral domain and every principal ideal of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image008.gif)
contracts to a principal ideal of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
, then there are strong relations between factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image008.gif)
. In the same paper and also in another paper by Aḡargün, et al in 2001 the concepts of inert and weakly inert extensions of rings were introduced and the relation of factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image008.gif)
, under the assumption that
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image010.gif)
is (weakly) inert, is studied.
In this paper, we generalize the above concepts to modules and with respect to a multiplicatively closed subset. Then we utilize them to relate the factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
.
Material and methods
We first recall the concepts of factorization theory in modules with respect to a multiplicatively closed subset of the ring. Then, we define multiplicatively closed subsets conserving cyclic submodules of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
and say that
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
conserves cyclic submodules of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
, when the contraction of every cyclic submodule of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
to
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is a cyclic submodule. We present conditions on
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
equivalent to conserving cyclic submodules of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
and study how factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is related to those of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
, when
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
coserves cyclic submodules of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image014.gif)
Finally we present generalizations of inert and weakly inert extensions of rings to modules and investigate how factorization properties behave under localization with respect to
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
, when
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image016.gif)
is inert or weakly inert.
Results and discussion
We show that if
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
is an integral domain,
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is torsion-free and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
conserves cyclic submodules of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
, then
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image018.gif)
splits
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
(as defined by Nikseresht in 2018) and hence factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
and those of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
are strongly related. Also we show that under certain conditions, the converse is also true, that is, if
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
splits
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
, then
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
conserves cyclic submodules of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
.
Suppose that
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image020.gif)
is a multiplicatively closed subset of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
containing
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image022.gif)
. We show that if
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image016.gif)
is a
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image024.gif)
-weakly inert extension, then there is a strong relationship between
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image020.gif)
- factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image026.gif)
-factorization properties of
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
. For example, under the above assumptions, if
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is also torsion-free and has unique (or finite or bounded) factorization with respect to
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image020.gif)
, then
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
has the same property with respect to
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image026.gif)
.
Conclusion
In this paper, the concepts of a multiplicatively closed subset conserving cyclic submodules and inert and weakly inert extensions of modules are introduced and utilized to derive relations between factorization properties of a module
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
and those of its localization
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image012.gif)
. It is seen that many properties can be delivered from one to another when
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image006.gif)
conserves cyclic submodules or when
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image016.gif)
is a weakly inert extension, especially when
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image002.gif)
is an integral domain and
![](file:///C:/Users/1/AppData/Local/Temp/msohtmlclip1/01/clip_image004.gif)
is torsion-free.
./files/site1/files/51/%D9%86%DB%8C%DA%A9_%D8%B3%D8%B1%D8%B4%D8%AA.pdf