Modules Satisfying the Prime Radical Condition and a Sheaf Construction for Modules I
Abstract
The purpose of this paper and its sequel, is to introduce a new class of modules over a commutative ring $R$, called $\mathbb{P}$-radical modules (modules $M$ satisfying the prime radical condition "$(\sqrt[p]{\cal{P}M}:M)={\cal{P}}$" for every prime ideal ${\cal{P}}\supseteq {\rm Ann}(M)$, where $\sqrt[p]{\cal{P}M}$ is the intersection of all prime submodules of $M$ containing ${\cal{P}}M$). This class contains the family of primeful modules properly. This yields that over any ring all free modules and all finitely generated modules lie in the class of $\mathbb{P}$-radical modules. Also, we show that if $R$ is a domain (or a Noetherian ring), then all projective modules are $\mathbb{P}$-radical. In particular, if $R$ is an Artinian ring, then all $R$-modules are $\mathbb{P}$-radical and the converse is also true when $R$ is a Noetherian ring. Also an $R$-module $M$ is called $\mathbb{M}$-radical if $(\sqrt[p]{\cal{M}M}:M)={\cal{M}}$; for every maximal ideal ${\cal{M}}\supseteq {\rm Ann}(M)$. We show that the two concepts $\mathbb{P}$-radical and $\mathbb{M}$-radical are equivalent for all $R$-modules if and only if $R$ is a Hilbert ring. Semisimple $\mathbb{P}$-radical ($\mathbb{M}$-radical) modules are also characterized. In Part II we shall continue the study of this construction, and as an application, we show that the sheaf theory of spectrum of $\mathbb{P}$-radical modules (with the Zariski topology) resembles to that of rings.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2012
- DOI:
- 10.48550/arXiv.1202.0377
- arXiv:
- arXiv:1202.0377
- Bibcode:
- 2012arXiv1202.0377B
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry;
- Mathematics - Rings and Algebras;
- 13C13;
- 13C99;
- 13A99;
- 14A25
- E-Print:
- 18 Pages