On weakly classical primary submodules (Q907816)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On weakly classical primary submodules |
scientific article |
Statements
On weakly classical primary submodules (English)
0 references
26 January 2016
0 references
Let \(M\) be a module over a commutative ring \(R\). As defined by \textit{M. Baziar} and \textit{M. Behboodi} [J. Algebra Appl. 8, No. 3, 351--362 (2009; Zbl 1182.13009)], a proper submodule \(N\) of \(M\) is called a \textit{classical primary submodule}, if for all elements \(m\in M,a,b \in R\) such that \(abm \in N\), either \(am \in N\) or \(b^t m \in N\) for some integer \(t\geq1\). The author defines a \textit{weakly classical primary submodule} of \(M\) by requiring that \(abm\neq0\) in the previous definition. Several characterizations of weakly classical primary submodule are presented. For example, if \(N\subsetneq M\) are \(R\)-modules, then \(N\) is a weakly classical primary submodule of \(M\) iff \[ (N :_M ab ) \subseteq ( 0 :_ M ab ) \cup ( N :_ M a ) \cup \bigcup_{t\geq1} ( N :_M b^t), \] for every \(a,b \in R\). Thus the author studies weakly classical primary submodules of modules over \(u\)-rings and \(um\)-rings. Here a commutative ring \(R\) is a \textit{\(u\)-ring} if an ideal of \(R\) that is equal to a finite union of ideals, it is equal to one of them. Similarly, a ring is a \textit{\(um\)-ring}, if an \(R\)-module that is a finite union of submodules, it is equal to one of them. The author presents an example of a proper submodule \(N\) of a module \(M\) that is weakly classical primary (even weakly classical prime), but it is not classical primary. He also proves that if \(N\) is a weakly classical primary, but not classical primary submodule of \(M\), then \(( N :_ R M )^ 2 N = 0\). Many other results are included, some of them concerning multiplication modules, direct products of modules, etc.
0 references
weakly primary submodule
0 references
classical primary submodule
0 references
weakly classical primary submodule
0 references
\(u\)-ring
0 references
\(um\)-ring
0 references