Coprime preradicals and modules. (Q557059): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2004.12.040 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2039637229 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON THE LATTICES OF NATURAL AND CONATURAL CLASSES IN<i>R</i>-MOD / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prime and coprime modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3941569 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4534153 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lattice structure of preradicals. III: Operators. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PRIME AND IRREDUCIBLE PRERADICALS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3804856 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE LATTICE STRUCTURE OF HEREDITARY PRETORSION CLASSES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Serre subcategories of R-mod / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duprime and dusemiprime modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Module categories with linearly ordered closed subcategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002547 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4881597 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:52, 10 June 2024
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