On the \(S\)-class group of the monoid algebra \(D[\Gamma]\) (Q6042171)

Let \(D\) be an integral domain, \(\ast\) a star-operation on \(D\), and \(S\) a multiplicative subset of \(D\). In [``Extension of star operation'' (submitted)], \textit{A. Mekky} et al. extended the notion of \(\ast\)-ideals (respectively, \(\ast\)-invertible ideals) by introducing the concept of \(S\)-\(\ast\)-ideals (respectively, \(S\)-\(\ast\)-invertible ideals) as follows: A fractional ideal \(I\) of \(D \) is called an \(S\)-\(\ast\)-ideal if there exists an element \(s \in S\) such that \(s I^\ast \subseteq I \subseteq I^\ast\) (respectively, \(I\) is called \(S\)-\(\ast\)-invertible if there exist an \(s \in S\) and a fractional ideal \(J\) of \(D\) such that \(sD \subseteq (I J)^\ast \subseteq D \) or, equivalently, there exists an \(s \in S\) such that \(sD \subseteq (I I^{-1})^\ast \subseteq D \)). Let \(D \subseteq E\) be an extension of integral domains, \(\Gamma\) a nontrivial commutative, additive, cancellative, torsion-free monoid, \( \Gamma^* := \Gamma \setminus \{0\}\) and let \(R := D+E[ \Gamma^*]\) be the composite monoid algebra. In the first part of this paper, the author gives a complete description of the homogeneous \(S\)-\(\ast\)-invertible \(S\)-\(\ast\)-ideals of the composite monoid algebra \(R\) (where a fractional ideal \(F\) of the graded domain \(R\) is called homogeneous if there exists a nonzero homogeneous element \(r\) of \(R\) such that \( rF\) is a homogeneous (integral) ideal of \(R\)). As a consequence, he obtains a generalization of a result proved by \textit{S. El Baghdadi} [Arab. J. Sci. Eng., Sect. C, Theme Issues 26, No. 1, 83--88 (2001; Zbl 1271.13028)] concerning the homogenous class group of \(R = D+E[ \Gamma^*]\) (recall that homogenous class group of a graded domain \(R\), denoted by HCl(\(R\)), is the group of the homogeneous \(t\)-invertible fractional \(t\)-ideals of \(R\) under \(t\)-multiplication modulo its subgroup of homogeneous principal fractional ideals). Precisely, HCl(\(D+E[ \Gamma^*]\)) \(\cong\) HCl(\(D + XE[X]\)). In a second part of the paper, the author computes the \(S\)-class group of a general monoid algebra \(D[\Gamma]\), where \(\Gamma\) is a numerical monoid, showing that \(S\)-Cl\(_t (D[\Gamma]) = S\)-Cl\(_t (D[X]) \oplus\) Pic\((K[\Gamma])\), where \(K\) is the field of quotients of \(D\), \(S\)-Cl\(_t(A) \)(respectively, Pic\((A)\)), is the \(S\)-class (respectively, Picard) group of an integral domain \(A\)). This result extends a classical theorem proved by \textit{D. F. Anderson} and \textit{G. W. Chang} [Commun. Algebra 32, No. 2, 787--792 (2004; Zbl 1092.13017)].