Let be a one-dimensional complete local reduced -algebra over a field of characteristic zero. R. Berger conjectured that is regular if and only if the universally finite module of differentials is torsion free. When is a domain, we prove the conjecture in several cases. Our techniques are primarily reliant on making use of the valuation semi-group of . First, we establish a method of verifying the conjecture by analyzing the valuation semi-group of and orders of units of the integral closure of . We also prove the conjecture in the case when certain monomials are missing from the monomial support of the defining ideal of . These monomials are based on the smallest power of that is contained within the conductor ideal. This also generalizes a previous result of Cortiñas, Geller and Weibel.

生成讲解博客的中文版本

生成AI智能校验的中文版本