Arithmetic on groups of positive rationals (Q5960985)

A subgroup \(1 \neq H < \mathbb Q^+\) of the positive rationals is called factorial if \(p^{\text{ord}_p (c)} \in H\) for every prime number \(p\) and every \(c \in H\). For any subgroup \(1 \neq H < \overline {\mathbb Q}\), let \(\overline H\) be the intersection of all factorial subgroups of \(\mathbb Q^+\) containing \(H\), and \(\text{CL} (H) = \overline H/H\). The author proves that every subgroup \(H\) of \(\mathbb Q^+\) is the quotient group of a Krull monoid \(M_H\) in a natural way, and if \(\text{CL} (H)\) is a torsion group, then it is the class group of \(M_H\). The most important application is the case \(H = \mathcal N (\mathcal H)\), where \(\mathcal H\) is a group of fractional ideals of an algebraic number field \(K\) (containing all principal ideals) and \(\mathcal N\) denotes the absolute norm. In this case, the \(L\)-functions attached to \(H\) are connected with certain \(L\)-functions of \(K\), the genus theory of \(K\) can be interpreted in terms of \(H\) and there is a prime element theorem for the divisor classes of \(M_H\).