{"title":"An iterative constructive Hilbert basis theorem","authors":"Peter Schuster , Ihsen Yengui","doi":"10.1016/j.jalgebra.2025.03.027","DOIUrl":null,"url":null,"abstract":"<div><div>A sequential characterisation of Noetherian carries over in constructive algebra from a commutative ring to the univariate polynomial ring; coherence of the base ring is only needed for the multivariate case.</div></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":"676 ","pages":"Pages 56-68"},"PeriodicalIF":0.8000,"publicationDate":"2025-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Algebra","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0021869325001784","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
A sequential characterisation of Noetherian carries over in constructive algebra from a commutative ring to the univariate polynomial ring; coherence of the base ring is only needed for the multivariate case.
期刊介绍:
The Journal of Algebra is a leading international journal and publishes papers that demonstrate high quality research results in algebra and related computational aspects. Only the very best and most interesting papers are to be considered for publication in the journal. With this in mind, it is important that the contribution offer a substantial result that will have a lasting effect upon the field. The journal also seeks work that presents innovative techniques that offer promising results for future research.