On The Class Group of a Graded Domain

S. El Baghdadi,L. Izelgue,S. Kabbaj

DOI: https://doi.org/10.48550/arXiv.math/0606693

2006-06-28

Abstract:This paper studies the class group of graded integral domains. As an application, we state a decomposition theorem for class groups of semigroup rings. This recovers well-known results developed for the classic contexts of polynomial rings and Krull semigroup rings. Our results are backed by original examples.

Commutative Algebra,Number Theory

What problem does this paper attempt to address?

This paper attempts to solve two main problems:

1. **For any graded integral domain \(R\), how does the equality \(\text{Cl}(R)=\text{HCl}(R)\) reflect in the ring - theoretic properties of \(R\)?**

- Specifically, the author explores whether \(R\) has certain ring - theoretic properties when the graded integral domain \(R\) satisfies \(\text{Cl}(R)=\text{HCl}(R)\). Through research, they prove that if \(R_{0}\subset R\) is an inert extension, then \(\text{Cl}(R)=\text{HCl}(R)\) if and only if \(R\) is almost normal (Theorem 1.1). This result reveals the profound connection between almost - normality and the class group.

2. **For any graded integral domain \(R\), how does "almost - normality" reflect in the group - theoretic properties of its class group?**

- The author further studies the influence of almost - normality on the class group. They find that for the semigroup ring \(A[\Gamma]\), its class group can be decomposed as \(\text{Cl}(A[\Gamma])\cong\text{Cl}(A)\oplus\text{HCl}(K[\Gamma])\) if and only if \(A[\Gamma]\) is integrally closed (Theorem 2.7). This decomposition theorem not only covers the classical cases of polynomial rings and Krull semigroup rings, but also provides a broader framework for understanding the structure of the class group.

In addition, the paper also discusses the properties of the natural homomorphism \(\varphi:\text{Cl}(A)\to\text{Cl}(A[\Gamma])\) and draws an important conclusion: \(\text{Cl}(A[\Gamma]) = \text{Cl}(A)\) if and only if \(A\) and \(\Gamma\) are both integrally closed and \(\text{Cl}(\Gamma)=0\) (Theorem 2.12).

These results not only deepen the understanding of the class group, but also provide new tools and perspectives for studying the algebraic properties of graded integral domains.