{"title":"GROBNER BASES FOR MODULES OVER PRUFER DOMAINS","authors":"ZORAN Z. PETROVIC, MAJA ROSLAVCEV","doi":"10.59277/mrar.2023.25.75.3.495","DOIUrl":null,"url":null,"abstract":"Let R be a Pr¨ufer domain of Krull dimension one. We prove the existence of Gr¨obner bases for finitely generated submodules of finitely generated free modules over R[X], where the term order is POT, or, “position over term”. In order to do this, we first prove that there is a Gr¨obner basis for finitely generated ideals in R[X], which is a special case of the main result. The proof is based on the results from [3]. In addition to this we show, in the case of valuation domains, that every Gr¨obner basis is actually a strong Gr¨obner basis","PeriodicalId":49858,"journal":{"name":"Mathematical Reports","volume":"43 1","pages":"0"},"PeriodicalIF":0.2000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Reports","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.59277/mrar.2023.25.75.3.495","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let R be a Pr¨ufer domain of Krull dimension one. We prove the existence of Gr¨obner bases for finitely generated submodules of finitely generated free modules over R[X], where the term order is POT, or, “position over term”. In order to do this, we first prove that there is a Gr¨obner basis for finitely generated ideals in R[X], which is a special case of the main result. The proof is based on the results from [3]. In addition to this we show, in the case of valuation domains, that every Gr¨obner basis is actually a strong Gr¨obner basis
期刊介绍:
The journal MATHEMATICAL REPORTS (formerly STUDII SI CERCETARI MATEMATICE) was founded in 1948 by the Mathematics Section of the Romanian Academy. It appeared under its first name until 1998 and received the name of Mathematical Reports in 1999. It is now published in one volume a year, consisting in 4 issues. The current average total number of pages is 500.
Our journal MATHEMATICAL REPORTS publishes original mathematical papers, written in English. Excellent survey articles may be also accepted. The editors will put strong emphasis on originality, quality and applicability.