Semigroup rings as weakly Krull domains (Q2168230)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semigroup rings as weakly Krull domains |
scientific article |
Statements
Semigroup rings as weakly Krull domains (English)
0 references
31 August 2022
0 references
Let \(D\) be an integral domain and let \(X^1(D)\) be the set of its height-one prime ideals. Then \(D\) is said to be weakly Krull if it satisfies the two following conditions: \begin{itemize} \item \(D=\bigcap_{P \in X^1(D)} D_P\); \item Each nonzero element of \(D\) is contained in only finitely many ideals in \(X^1(D)\). \end{itemize} Given an integral domain \(D\) having quotient field \(K\) and a torsion-free commutative cancellative monoid \(\Gamma\) having quotient group \(G\), in this paper it is proved that the semigroup ring \(D[\Gamma]\) is a weakly Krull domain if and only if \(D\) is a weakly Krull UMT-domain, \(\Gamma\) is a weakly Krull UMT-monoid, and \(K[G]\) is a weakly Krull domain. This result gives a complete characterization of the weakly Krull property of \(D[\Gamma]\) depending only on \(D\), \(\Gamma\), and \(G\). Indeed, in [\textit{G. W. Chang} and \textit{D. Y. Oh}, Int. J. Algebra Comput. 29, No. 3, 407--418 (2019; Zbl 1423.13103)] it is proved that: \begin{itemize} \item If \(\mathrm{char}(D)=0\), then \(K[G]\) is a weakly Krull domain if and only if \(G\) is ``of type \((0,0,0,\dots)\)'', i.e., \(G\) satisfies the ascending chain condition on its cyclic subgroups; \item If \(\mathrm{char}(D)=p>0\), then \(K[G]\) is a weakly Krull domain if and only if \(G\) is ``of type \((0,0,0,\dots)\) except \(p\)''. \end{itemize} Moreover, the authors explore some arithmetical applications in the case \(\Gamma\) is either a numerical or an affine semigroup.
0 references
semigroup ring
0 references
weakly Krull domain
0 references
weakly Krull monoid
0 references
UMT-domain
0 references
UMT-monoid
0 references
finite t-character
0 references
system of sets of lengths
0 references
0 references
0 references
0 references
0 references