错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On complete lattices of radical submodules and \( z \)-submodules

  • Hosein Fazaeli Moghimi,
  • Seyedeh Fatemeh Mohebian

摘要

Let M be a module over a commutative ring R, and \(\mathcal {R}(_{R}M)\) R ( R M ) denote the complete lattice of radical submodules of M. It is shown that if M is a multiplication R-module, then \(\mathcal {R}(_{R}M)\) R ( R M ) is a frame. In particular, if M is a finitely generated multiplication R-module, then \(\mathcal {R}(_{R}M)\) R ( R M ) is a coherent frame and if, in addition, M is faithful, then the assignment \(N\mapsto (N:M)_{ z }\) N ( N : M ) z defines a coherent map from \(\mathcal {R}(_{R}M)\) R ( R M ) to the coherent frame \(\mathcal {Z}(_{R}R)\) Z ( R R ) of \( z \) z -ideals of R. As a generalization of \( z \) z -ideals, a proper submodule N of M is called a \( z \) z -submodule of M if for any \(x\in M\) x M and \(y\in N\) y N such that every maximal submodule of M containing y also contains x, then \(x\in N\) x N . The set of \( z \) z -submodules of M, denoted \(\mathcal {Z}(_{R}M)\) Z ( R M ) , forms a complete lattice with respect to the order of inclusion. It is shown that if M is a finitely generated faithful multiplication R-module, then \(\mathcal {Z}(_{R}M)\) Z ( R M ) is a coherent frame and the assignment \(N\mapsto N_{ z }\) N N z (where \(N_{ z }\) N z is the intersection of all \( z \) z -submodules of M containing N) is a surjective coherent map from \(\mathcal {R}(_{R}M)\) R ( R M ) to \(\mathcal {Z}(_{R}M)\) Z ( R M ) . In particular, in this case, \(\mathcal {R}(_{R}M)\) R ( R M ) is a normal frame if and only if \(\mathcal {Z}(_{R}M)\) Z ( R M ) is a normal frame.