Coprime preradicals and modules. (Q557059): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Stefan Veldsman / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16N80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D90 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16N60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16S90 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D70 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2182117 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coprime preradicals | |||
Property / zbMATH Keywords: coprime preradicals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coprime modules | |||
Property / zbMATH Keywords: coprime modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coprime elements | |||
Property / zbMATH Keywords: coprime elements / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
big lattices of preradicals | |||
Property / zbMATH Keywords: big lattices of preradicals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
module categories | |||
Property / zbMATH Keywords: module categories / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fully invariant submodules | |||
Property / zbMATH Keywords: fully invariant submodules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coprimeness | |||
Property / zbMATH Keywords: coprimeness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lattices of submodules | |||
Property / zbMATH Keywords: lattices of submodules / rank | |||
Normal rank |
Revision as of 14:58, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coprime preradicals and modules. |
scientific article |
Statements
Coprime preradicals and modules. (English)
0 references
23 June 2005
0 references
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.
0 references
coprime preradicals
0 references
coprime modules
0 references
coprime elements
0 references
big lattices of preradicals
0 references
module categories
0 references
fully invariant submodules
0 references
coprimeness
0 references
lattices of submodules
0 references