可解构抽象基本类的模块和范畴

IF 0.8 3区数学 Q2 MATHEMATICS

Bulletin of the London Mathematical Society Pub Date : 2024-10-16 DOI:10.1112/blms.13172

Jan Šaroch, Jan Trlifaj

{"title":"可解构抽象基本类的模块和范畴","authors":"Jan Šaroch, Jan Trlifaj","doi":"10.1112/blms.13172","DOIUrl":null,"url":null,"abstract":"We prove a version of Shelah's categoricity conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if <math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math> is a deconstructible class of modules that fits in an abstract elementary class <math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>,</mo>\n <mo>⪯</mo>\n <mo>)</mo>\n </mrow>\n <annotation>$(\\mathcal {A},\\preceq)$</annotation>\n </semantics></math> such that (1) <math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math> is closed under direct summands and (2) <math>\n <semantics>\n <mo>⪯</mo>\n <annotation>$\\preceq$</annotation>\n </semantics></math> refines direct summands, then <math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math> is closed under arbitrary direct limits. In the Appendix, we prove that the assumption (2) is not needed in some models of ZFC.","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"56 12","pages":"3854-3866"},"PeriodicalIF":0.8000,"publicationDate":"2024-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13172","citationCount":"0","resultStr":"{\"title\":\"Deconstructible abstract elementary classes of modules and categoricity\",\"authors\":\"Jan Šaroch, Jan Trlifaj\",\"doi\":\"10.1112/blms.13172\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We prove a version of Shelah's categoricity conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math> is a deconstructible class of modules that fits in an abstract elementary class <math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>,</mo>\\n <mo>⪯</mo>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$(\\\\mathcal {A},\\\\preceq)$</annotation>\\n </semantics></math> such that (1) <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math> is closed under direct summands and (2) <math>\\n <semantics>\\n <mo>⪯</mo>\\n <annotation>$\\\\preceq$</annotation>\\n </semantics></math> refines direct summands, then <math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math> is closed under arbitrary direct limits. In the Appendix, we prove that the assumption (2) is not needed in some models of ZFC.\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"56 12\",\"pages\":\"3854-3866\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-10-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13172\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/blms.13172\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.13172","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

我们证明了任意可解构模块类的Shelah范畴猜想的一个版本。此外，我们证明了如果A $\mathcal {A}$是一个可解构的模块类，它适合于一个抽象的基本类(A)，⪯)$ (\mathcal {A},\ precq)$使得(1)A $\mathcal {A}$在直接求和下闭，(2)⪯$\ precq $精炼直接求和，则A $\mathcal {A}$在任意直接极限下闭。在附录中，我们证明了在ZFC的一些模型中不需要假设(2)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Deconstructible abstract elementary classes of modules and categoricity

We prove a version of Shelah's categoricity conjecture for arbitrary deconstructible classes of modules. Moreover, we show that if $A$ is a deconstructible class of modules that fits in an abstract elementary class $(A, ⪯)$ such that (1) $A$ is closed under direct summands and (2) $⪯$ refines direct summands, then $A$ is closed under arbitrary direct limits. In the Appendix, we prove that the assumption (2) is not needed in some models of ZFC.