Coprime preradicals and modules. (Q557059): Difference between revisions

The authors study the coprime elements in the big lattice of preradicals of module categories (the class of all such preradicals is not a set but it behaves like a lattice -- hence the terminology ``big lattice''). For a fixed left \(R\)-module \(M\), let \(\sigma[M]\) be the full subcategory of \(R\)-mod where each object is a module subgenerated by \(M\). Let \(M\)-\(\mathbf{pr}\) be the big lattice of all preradicals of \(\sigma[M]\). At first, several properties of \(M\)-\(\mathbf{pr}\) are given. For example, \(M\)-\(\mathbf{pr}\) is an atomic lattice and the atoms are given explicitly; a necessary and sufficient condition for \(M\)-\(\mathbf{pr}\) to be coatomic is determined. Four binary operations are defined: meet \(\wedge\), join \(\vee\), product \(\cdot\) and coproduct \(:\). Using the coproduct, coprimeness is defined by: A preradical \(\tau\in M\)-\(\mathbf{pr}\) is coprime if \(\tau\leq(\mu:\rho)\) implies \(\tau\leq\mu\) or \(\tau\leq\rho\) where \(\mu,\rho\in M\)-\(\mathbf{pr}\) and \((\mu:\rho)\) is the preradical in \(M\)-\(\mathbf{pr}\) with \((\mu:\rho)(N)/\mu(N)=\rho(N/\mu(N))\) for \(N\in\sigma[M]\). Properties of these preradicals are determined; in particular when the top element \(\underline 1\) will be coprime. The consequences of this on the ring \(R\) are also given. Using these results, a coproduct for fully invariant submodules of a module is defined. In the last section, coprime is defined in terms of the join. This leads to a weaker concept than the coprimeness defined above in terms of the coproduct. The main results of this section show how this concept leads to decompositions of modules into fully invariant submodules.