Class semigroups of integral domains

Abstract: This paper seeks ring-theoretic conditions of an integral domain R that reflect in the Clifford property or Boolean property of its class semigroup S(R), that is, the semigroup of the isomorphy classes of the nonzero (integral) ideals of R with the operation induced by multiplication. Precisely, in Section 3, we characterize integrally closed domains with Boolean class semigoup; in this case, S(R) identifies with the Boolean semigroup formed of all fractional overrings of R. In Section 4, we investigate Noetherian-like settings where the Clifford and Boolean properties of S(R) coincide with (Lipman and Sally-Vasconcelos) stability conditions; a main feature is that the Clifford property forces t-locally Noetherian domains to be one-dimensional Noetherian domains. Section 5 studies the transfer of the Clifford and Boolean properties to various pullback constructions. Our results lead to new families of integral domains with Clifford or Boolean class semigroup, moving therefore beyond the contexts of integrally closed domains or Noetherian domains.

Review text

Let \(R\) be an integral domain with quotient field \(K\). The class semigroup \({\mathcal S}(R)\) of \(R\) is the monoid of the nonzero fractional ideals of \(R\) under multiplication modulo its subgroup of nonzero principal fractional ideals. Recall that a semigroup \(S\) is a Clifford (respectively Boolean) semigroup if for each \(x\in S\), there exists an \(a\in S\) with \(x^2a=x\) (respectively \(x^2=x\)). \textit{P. Zanardo} and \textit{U. Zannier} [Math. Proc. Camb. Philos. Soc. 115, 379-391 (1994; Zbl 0828.11068)] showed that an integrally closed domain \(R\) with \({\mathcal S}(R)\) a Clifford semigroup is a Prüfer domain, but that the converse is false. Then \textit{S. Bazzoni} [``Clifford regular domains, J. Algebra 238, 703-722 (2001; see the preceding review Zbl 1027.13011)] showed that an integrally closed domain \(R\) has \({\mathcal S}(R)\) a Clifford semigroup iff \(R\) is a Prüfer domain of finite character. The main result of the paper under review is that an integrally closed domain \(R\) has \({\mathcal S}(R)\) a Boolean semigroup iff \(R\) is a strongly discrete Bezout domain of finite character iff each nonzero ideal of \(R\) is principal in its endomorphism ring. It is also shown that for \(R\) a \(t\)-locally Noetherian domain, \(R\) has Clifford (respectively Boolean) class semigroup iff \(R\) is stable (respectively each nonzero ideal of \(R\) is principal in its endomorphism ring). The transfer of the Clifford and Boolean properties to pullbacks is also discussed.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Class semigroups of integral domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1399188)