MULTIPLICATION MODULES AND THE IDEAL
Let \(R\) be a commutative ring with identity and let \(M\) be a unitary \(R\)-module. Then, \(M\) is called a multiplication module if, for each submodule \(N\) of \(M\), the relation \(N=IM\) holds, for some ideal \(I\) of \(M\). Example of multiplicative ideals (that is, ideals of a ring \(R\) which are multiplication \(R\)-modules) include invertible ideals, principal ideals, and ideals generated by idempotents. The paper by \textit{D. D. Anderson} [Commun. Algebra 28, 2577-2583 (2000; Zbl 0965.13003)] contains a number of characterizations of multiplication modules. In another paper by \textit{D. D. Anderson} [Math. Jap. 25, 463-469 (1980; Zbl 0446.13001)], there is introduced the ideal \(\theta(M)=\sum_{m\in M}(Rm:M)\) of \(R\) which has been useful in the study of multiplication modules. The authors prove in the article under review that, if \(M\) is a faithful multiplication module then \(\theta(M)\) is equal to the intersection of the ideals \(I\) of \(R\) such that \(IM=M\). Moreover, under the same conditions, the authors also show that \(\theta(M)=\tau(M)=D_0(M)\), where \(\tau(M)\) is the trace of \(M\), that is \(\tau(M)=\Sigma\{f(M): f\in \text{Hom}_R(M,R)\}\), and \(D_0(M)=\sum_{m\in M}(0:(0:M))\). These equalities tie together several different approaches to studying multiplication modules. It is also shown that, if \(M\) is a faithful multiplication module, then \(\theta(M)\) also is and \(\theta(\theta(M))=\theta(M)\). The authors also prove that, for any multiplication \(R\)-module \(M\), the ideal \(\theta(M)/(0:M)\) is an idempotent multiplication ideal of \(R/(0:M)\). The ring \(R/(0:M)\) can be embedded naturally in \(\text{End}{(}_RM)\) as a subring in this case, where \(\text{End}{(}_RM)\) is the ring of \(R\)-endomorphisms of \(M\). Then, it is proved that \(\theta(M)/(0:M)\) is an ideal of \(\text{End}{(}_RM)\) and that \(\text{End}{(}_RM)\) is equal to the inverse limit of the rings \(R/(0:N)\), where \(N\) varies in the set of finitely generated submodules \(N\) of \(M\).
- A companion ideal of a multiplication module
- Endomorphisms of a multiplication module
- Zariski topology over multiplication Krasner hypermodules
- Multiplication semimodules
- scientific article; zbMATH DE number 5869926 (Why is no real title available?)
- Finitely generated graded multiplication modules
- Multiplication Modules in Which Every Prime Submodule is Contained in a Unique Maximal Submodule
- Some Remarks on Multiplication and Projective Modules
- scientific article; zbMATH DE number 6342250 (Why is no real title available?)
- THE IDEAL τ(M) AND LOCALLY CYCLIC PROJECTIVE MODULES
- Idealization and Theorems of D. D. Anderson
- Reduced multiplication modules
- ½ Cancellation Modules and Homogeneous Idealization II
- Comultiplication modules over commutative rings
- scientific article; zbMATH DE number 6889689 (Why is no real title available?)
- Some Remarks on Multiplication and Projective Modules II
- Some results on the comaximal colon ideal graph
- Characterization of multiplication commutative rings with finitely many minimal prime ideals
- Idealization and Theorems of D. D. Anderson II
- Cancellation Modules and Homogeneous Idealization
- Multiplication modules and ideals
- IDEALS AND SUBMODULES OF MULTIPLICATION MODULES
- S-principal ideal multiplication modules
- Distributive and multiplication modules
- The theta ideal, dense submodules and the forcing linearity number for a multiplication module
- Multiplication modules and homogeneous idealization. III.
This page was built for publication: MULTIPLICATION MODULES AND THE IDEAL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3146321)
