Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909619299811328 |
|---|---|
| author | Cox, Sean |
| author_facet | Cox, Sean |
| contents | Deconstructibility is an often-used sufficient condition on a class $\mathcal{C}$ of modules that allows one to carry out homological algebra \emph{relative to $\mathcal{C}$}. The principle \textbf{Maximum Deconstructibility (MD)} asserts that a certain necessary condition for a class to be deconstructible is also sufficient. MD implies, for example, that the classes of Gorenstein Projective modules, Ding Projective modules, their relativized variants, and all torsion classes are deconstructible over any ring. MD was known to follow from Vopěnka's Principle and imply the existence of an $ω_1$-strongly compact cardinal. We prove that MD is equivalent to Vopěnka's Principle, and to the assertion that each torsion class of abelian groups is generated by a single group within the class (yielding the converse of a theorem of Göbel and Shelah). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_19380 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes Cox, Sean Logic Commutative Algebra Category Theory Rings and Algebras Deconstructibility is an often-used sufficient condition on a class $\mathcal{C}$ of modules that allows one to carry out homological algebra \emph{relative to $\mathcal{C}$}. The principle \textbf{Maximum Deconstructibility (MD)} asserts that a certain necessary condition for a class to be deconstructible is also sufficient. MD implies, for example, that the classes of Gorenstein Projective modules, Ding Projective modules, their relativized variants, and all torsion classes are deconstructible over any ring. MD was known to follow from Vopěnka's Principle and imply the existence of an $ω_1$-strongly compact cardinal. We prove that MD is equivalent to Vopěnka's Principle, and to the assertion that each torsion class of abelian groups is generated by a single group within the class (yielding the converse of a theorem of Göbel and Shelah). |
| title | Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes |
| topic | Logic Commutative Algebra Category Theory Rings and Algebras |
| url | https://arxiv.org/abs/2412.19380 |