{"title":"一维单元代数和主理想的上升链","authors":"Alan Bu, Felix Gotti, Bangzheng Li, Alex Zhao","doi":"arxiv-2409.00580","DOIUrl":null,"url":null,"abstract":"An integral domain $R$ is called atomic if every nonzero nonunit of $R$\nfactors into irreducibles, while $R$ satisfies the ascending chain condition on\nprincipal ideals if every ascending chain of principal ideals of $R$\nstabilizes. It is well known and not hard to verify that if an integral domain\nsatisfies the ACCP, then it must be atomic. The converse does not hold in\ngeneral, but examples are hard to come by and most of them are the result of\ncrafty and technical constructions. Sporadic constructions of such atomic\ndomains have appeared in the literature in the last five decades, including the\nfirst example of a finite-dimensional atomic monoid algebra not satisfying the\nACCP recently constructed by the second and third authors. Here we construct\nthe first known one-dimensional monoid algebras satisfying the almost ACCP but\nnot the ACCP (the almost ACCP is a notion weaker than the ACCP but still\nstronger than atomicity). Although the two constructions we provide here are\nrather technical, the corresponding monoid algebras are perhaps the most\nelementary known examples of atomic domains not satisfying the ACCP.","PeriodicalId":501475,"journal":{"name":"arXiv - MATH - Commutative Algebra","volume":"6 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"One-dimensional monoid algebras and ascending chains of principal ideals\",\"authors\":\"Alan Bu, Felix Gotti, Bangzheng Li, Alex Zhao\",\"doi\":\"arxiv-2409.00580\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An integral domain $R$ is called atomic if every nonzero nonunit of $R$\\nfactors into irreducibles, while $R$ satisfies the ascending chain condition on\\nprincipal ideals if every ascending chain of principal ideals of $R$\\nstabilizes. It is well known and not hard to verify that if an integral domain\\nsatisfies the ACCP, then it must be atomic. The converse does not hold in\\ngeneral, but examples are hard to come by and most of them are the result of\\ncrafty and technical constructions. Sporadic constructions of such atomic\\ndomains have appeared in the literature in the last five decades, including the\\nfirst example of a finite-dimensional atomic monoid algebra not satisfying the\\nACCP recently constructed by the second and third authors. Here we construct\\nthe first known one-dimensional monoid algebras satisfying the almost ACCP but\\nnot the ACCP (the almost ACCP is a notion weaker than the ACCP but still\\nstronger than atomicity). Although the two constructions we provide here are\\nrather technical, the corresponding monoid algebras are perhaps the most\\nelementary known examples of atomic domains not satisfying the ACCP.\",\"PeriodicalId\":501475,\"journal\":{\"name\":\"arXiv - MATH - Commutative Algebra\",\"volume\":\"6 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Commutative Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.00580\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Commutative Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.00580","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
One-dimensional monoid algebras and ascending chains of principal ideals
An integral domain $R$ is called atomic if every nonzero nonunit of $R$
factors into irreducibles, while $R$ satisfies the ascending chain condition on
principal ideals if every ascending chain of principal ideals of $R$
stabilizes. It is well known and not hard to verify that if an integral domain
satisfies the ACCP, then it must be atomic. The converse does not hold in
general, but examples are hard to come by and most of them are the result of
crafty and technical constructions. Sporadic constructions of such atomic
domains have appeared in the literature in the last five decades, including the
first example of a finite-dimensional atomic monoid algebra not satisfying the
ACCP recently constructed by the second and third authors. Here we construct
the first known one-dimensional monoid algebras satisfying the almost ACCP but
not the ACCP (the almost ACCP is a notion weaker than the ACCP but still
stronger than atomicity). Although the two constructions we provide here are
rather technical, the corresponding monoid algebras are perhaps the most
elementary known examples of atomic domains not satisfying the ACCP.