Abstract
We study combinatorial properties of a class of subsets of semigroups with divisor theory motivated by the study of oscillations of counting functions of sets of algebraic integers with prescribed factorization properties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Semigroup subsets defined by factorization-related properties have been a subject of both structural (combinatorial) and quantitative (analytical) investigations. When the semigroup has an appropriate analytic structure (a positive-integer-valued norm with suitable properties) the counting function \(A(x)\) of its subset \(A\) may be defined as the number of non-associated elements of \(A\) with norm not exceeding \(x\). Quantitative theory of factorizations deals with the study of the counting functions of such subsets: the size of the main term, the size of the error term, and oscillatory behaviour of the error term. The first class of problems was essentially solved in the works of Fogels [2], Narkiewicz [10–12, 14, 15], etc.], Śliwa [23, etc.], and Geroldinger and Halter-Koch (e.g., [4, Chap. 9]). Kaczorowski [7] obtained refined asymptotics with an estimate of the size of the error term for a number of semigroup subsets, including the set \(\varvec{G}_{k}\) of elements with at most \(k\) distinct factorization lengths in the ring of integers in an algebraic number field. General treatment of the problem, in an abstract setting, is again due to Geroldinger and Halter-Koch [4, Chap. 9]. Kaczorowski and Pintz [9] and Kaczorowski and Perelli [8] studied the oscillatory behaviour of the error terms for a number of subsets in rings of algebraic integers. Their methods are directly applicable to what we call “\(\Omega \) sets of rank \(0\)” in the sequel. Kaczorowski and Pintz [9] noted that it is possible to extend their results to \(\varvec{G}_{k}\). This was done by the author [16–18] and by Schmid and the author [21] except for the case of \(\varvec{G}_{1}\), which was only treated conditionally, by assuming some conjectures of analytical or combinatorial character. This paper is a part of a series of papers where the present author settles the case of the set \(\varvec{G}_{1}\) in algebraic integers and, more generally, in a generalized Hilbert semigroup, as defined by Halter-Koch [5, Beispiel 4].
Let \(H\) be a semigroup with divisor theory (cf. [3, 5] and [4, Definition 2.4.1]) and a finite class group \(G\). For \(k\in \mathbf {N}\) let \(\varvec{G}_{k}\) denote the set of elements of \(H\) with at most \(k\) distinct factorization lengths in \(H\). In this paper we show structural properties of \(\varvec{G}_{k}\) and of a class of other semigroup subsets that allow us to show, in the sequel to this paper, using analytic results from [16, 20], a theorem that implies the following (we omit the definitions of the “error term” and “oscillations” here):
Theorem
If \(H\) is a generalized Hilbert semigroup with more than \(2\) divisor classes, then for every \(k\in \mathbf {N}\) the error term of the counting function of the set \(\varvec{G}_{k}\) has oscillations of logarithmic frequency and size \(\sqrt{x}(\log x)^{-M}\) for some \(M>0\).
We restrict this study to subsets \(A\) of \(H\) (or of the corresponding divisor semigroup) such that the value of the characteristic function of \(A\) on an element \(a\) depends only on the values of the functions \(\Omega _{g}\) (the number of prime divisors in a given class) on \(a\). We call such subsets “\(\Omega \) sets”. They correspond directly to “block-dependent factorization properties” considered by Geroldinger and Halter-Koch [4, Sect. 9.4]. A sufficiently regular \(\Omega \) set \(A\) may be expressed as a combination of simpler components, corresponding to what we call “cubes” in the sequel. When \(H\) is equipped with a suitable analytic structure, the complex zeta function associated to a cube is essentially a combination of products of complex powers of various \(L\)-functions multiplied by polynomials in the logarithms of these \(L\)-functions, with coefficients being complex functions regular in a larger region. This allows for the determination of the size of the main term of the counting function corresponding to the cube, and to the result that the size main term of \(A(x)\) is of the order
where the constants \(\eta \) and \(\delta \) depend on the combinatorial structure of \(A\), specifically on what we call the rank (\(\mathrm{rk }A\)) and degree (\(\deg A\)) of \(A\). This method was initiated by Narkiewicz [13, Theorem 9.4], cf. also Geroldinger and Halter-Koch [4, Theorem 9.4.3]. The values of the rank and degree of subsets defined by specific arithmetical properties are related to a number of interesting open problems in finite abelian groups, specifically in Zero-sum theory. For example, in the case when each divisor class contains a prime divisor, the degree of the set of irreducibles in \(H\) is the Davenport constant of the class group \(G\) [4, Chap. 6], \(\mathrm{rk }\varvec{G}_{1}\) equals the constant denoted as \(\mu (G)\), cf., e.g., [4, Sect. 6.7], and the degrees \(\deg \varvec{G}_{k}\) were considered by Śliwa [24] (in an equivalent form) and Radziejewski and Schmid [21].
Building upon the methods of Kaczorowski and Pintz [9] and Kaczorowski and Perelli [8] one can also show the existence of oscillations of the error term of \(A(x)\) by showing that the associated zeta function is not regular in the half-plane \(\mathfrak {R}s\ge \frac{1}{2}\) apart from the real line. The problem is that in most cases neither the combinatorial structure of \(A\) (the expression of \(A\) as a combination of cubes), nor the analytic shape of the zeta functions of cubes, nor the multiplicities of zeros of the related \(L\)-functions are known completely. Roughly speaking, the rank of a cube affects the exponents of the complex powers of \(L\)-functions in the associated zeta function, and its degree is the degree of the polynomial in the logarithms. Our approach is to concentrate on the principal summands of zeta functions of cubes of some rank \(r\) and degree \(d>0\) (so that logarithms are necessarily involved) and show that similar terms do not cancel out. This motivates the notion of \((r,d)\)-singular sets introduced in Sect. 3.4—with suitable analytical structure we are able to show the existence of oscillations precisely for such sets. The main result of the paper is the complete characterization of \((r,d)\)-singular \(\Omega \) sets closed upon in-class divisors (Theorem 11), that allows us to treat \(\varvec{G}_{1}\). Essentially, previous methods allowed us to show the existence of oscillations when \(\deg A>0\), in which case \(A\) is \((\mathrm{rk }A,\deg A)\)-singular (Fact 7).
Sections 3.1 through 3.3 provide the necessary basis for the rest of the paper. A number of results and methods there are known, but we include some of the results for completeness and some, because they were not stated explicitly in the form that we need further. It seems that the rank and degree did not have a general name previously, and that they were not considered for sets other than those expressible as finite combinations of cubes. The implication \((i)\Rightarrow (ii)\) in Proposition 6 is due to Geroldinger and Halter-Koch [4, Proposition 9.4.2.3] who considered a condition similar to \(l(A)=1\), cf. [4, Definition 9.4.1.3]. The implication \((ii)\Rightarrow (iii)\) in Proposition 6 is essentially due to Kaczorowski [7, Sect. 8]. Lemma 2.3 was shown by Geroldinger and Halter-Koch [4, Proposition 9.4.2.4], but we still provide a proof, because of slightly different hypotheses.
2 Notation
The order of a group element \(g\) is denoted as \(\mathrm{ord }g\). For sets \(A\) and \(B\) we denote by \(A^{B}\) is the set of functions from a set \(B\) to a set \(A\), and by \(\left| A\right| \) the cardinality of \(A\). For a set \(X\) we let \(\mathcal {F}(X)\) denote the free (multiplicative) abelian monoid generated by a set \(X\). For \(S\in \mathcal {F}(X)\) we put:
Let \(G\) be a finite abelian group (written additively), \(G_{0}\subseteq G\). For \(S\in \mathcal {F}(G_{0})\) we put, following [4],
and, for \(U\subseteq G_{0}\), \(S\in \mathcal {F}(G_{0}{\setminus } U)\subseteq \mathcal {F}(G_{0})\), \(y\in G\) and \(d\in \mathbf {N}_{0} \),
In particular we have
We let \(\mathsf {S}(G_{0})\) denote the set of all triples \((U,S,y)\) such that \(U\subseteq G_{0}\), \(S\in \mathcal {F}(G_{0}{\setminus } U)\subseteq \mathcal {F}(G_{0})\), \(y\in G\), and \(\Omega _{y}(U,S)\ne \emptyset \). We refer to such non-empty sets \(\Omega _{y}(U,S)\) as cubes (over \(G_{0}\)), and a cube contained in another cube a sub-cube of the latter. For a set \(U\subseteq G_{0}\) the cube \(\Omega _{0}(U,1)\) is also denoted as \(\mathcal {B}(U)\). It is a submonoid of \(\mathcal {F}(U)\) and it is called the block monoid over \(U\). For any subset \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) we define its in-class divisor closure as
For a set \(X\) we consider the set \(\overline{\mathcal {F}(X)}=\left( \mathbf {N}_{0} \cup \left\{ +\infty \right\} \right) ^{X}\) with the product order \(\le \). We treat \(\mathcal {F}(X)\) as a subset of \(\overline{\mathcal {F}(X)}\). For elements of \(\mathcal {F}(X)\) the order \(\le \) coincides with divisibility, but we still use the symbol \(\le \) wherever the elements of \(\overline{\mathcal {F}(X)}\) might be involved. However, for compatibility with the notation employed for \(\mathcal {F}(X)\), we denote the initial element of \(\overline{\mathcal {F}(X)}\) as \(1\) and, for \(a\in \overline{\mathcal {F}(X)}\), we write \(\mathsf {v}_{x}(a)\) instead of \(a(x)\). For a sequence \((b_{n})\) in \(\overline{\mathcal {F}(X)}\) we denote by \(\sup _{n}\left( b_{n}\right) \) the element \(b'\in \overline{\mathcal {F}(X)}\) defined by \(\mathsf {v}_{x}(b')=\sup _{n}\left( \mathsf {v}_{x}(b_{n})\right) \), \(x\in X\).
We recall that a subset of a partially ordered set is called an antichain if no two of its elements are comparable. If \(a,b\) belong to a partially ordered set \(A\), then we write
For partially ordered sets \(A_{1}\) and \(A_{2}\) we define the lexicographic order in \(A_{1}\times A_{2}\) as
The product order in a product of partially ordered sets \(\prod _{i\in I}A_{i}\) is of course
3 Sets of sequences over a finite abelian group
3.1 Basic properties of cubes
Lemma 1
Let \((U_{1},S_{1},y),(U_{2},S_{2},y_{2})\in \mathsf {S}(G_{0})\).
-
1.
If
$$\begin{aligned} y=y_{2}\qquad \text{ and }\qquad \mathsf {v}_{g}(S_{1})=\mathsf {v}_{g}(S_{2}) \text{ for } \text{ all } g\in G_{0}{\setminus }\left( U_{1}\cup U_{2}\right) , \end{aligned}$$(2)then we have
$$\begin{aligned} \Omega _{y}(U_{1},S_{1})\cap \Omega _{y_{2}}(U_{2},S_{2})=\Omega _{y}(U_{1}\cap U_{2},\mathrm{lcm }(S_{1},S_{2})). \end{aligned}$$(3) -
2.
If \(\Omega _{y}(U_{1},S_{1})\cap \Omega _{y_{2}}(U_{2},S_{2})\ne \emptyset \), then (2) holds.
Proof
For \(S\in \mathcal {F}(G_{0})\) we have \(S\in \Omega _{y}(U_{1},S_{1})\cap \Omega _{y_{2}}(U_{2},S_{2})\) if and only if \(\sigma (S)=y=y_{2}\) and
This can be rewritten as the conjunction of (2) and
The existence of such \(S\) implies (2). Moreover, as (4) is equivalent to \(S\in \Omega _{y}(U_{1}\cap U_{2},\mathrm{lcm }(S_{1},S_{2}))\), the condition (2) implies the equality (3). \(\square \)
Lemma 2
-
1.
If \((U,S,y)\in \mathsf {S}(G_{0})\), then for every \(d\in \mathbf {N}_{0} \) we have
$$\begin{aligned} \Omega _{y}(U,S,d)\ne \emptyset . \end{aligned}$$Moreover, for every \(S_{0}\in \mathcal {F}(G_{0})\) such that \(S_0\mid S\), and every \(S'\in \Omega _{y}(U,S_{0})\), \(d\ge \max _{g\in G_{0}{\setminus } U}\mathsf {v}_{g}(S')\), \(S''\in \Omega _{y}(U,S,d)\) we have \(S'\mid S''\).
-
2.
For \((U_{1},S_{1},y_{1}),(U_{2},S_{2},y_{2})\in \mathsf {S}(G_{0})\) we have \(\Omega _{y_{1}}(U_{1},S_{1})\subseteq \Omega _{y_{2}}(U_{2},S_{2})\) if and only if \(y_{1}=y_{2}\), \(U_{1}\subseteq U_{2}\) and \(\mathsf {v}_{g}(S_{1})=\mathsf {v}_{g}(S_{2})\) for all \(g\in G_{0}{\setminus } U_{2}\).
-
3.
If \((U,S,y)\in \mathsf {S}(G_{0})\), \(d\in \mathbf {N}_{0} \), \((U_{1},S_{1},y_{1}),\cdots ,(U_{n},S_{n},y_{n})\in \mathsf {S}(G_{0})\) and
$$\begin{aligned} \Omega _{y}(U,S,d)\subseteq \bigcup _{i=1}^{n}\Omega _{y_{i}}(U_{i},S_{i}), \end{aligned}$$then \(\Omega _{y}(U,S)\subseteq \Omega _{y_{i}}(U_{i},S_{i})\) for some \(i\in \left\{ 1,\cdots ,n\right\} \).
-
4.
If \((U_{1},S_{1},y_{1}),\cdots ,(U_{n},S_{n},y_{n})\in \mathsf {S}(G_{0})\) are pairwise distinct, then the characteristic functions of the cubes \(\Omega _{y_{i}}(U_{i},S_{i})\) are linearly independent.
Proof
-
1.
Let \(S'\in \Omega _{y}(U,S)\). Then for every \(d\) we have
$$\begin{aligned} S'\prod _{g\in U}g^{d\mathrm{ord }g}\in \Omega _{y}(U,S,d), \end{aligned}$$and the “moreover” part is by definition.
-
2.
To see \(\Rightarrow \) we take \(d>\max _{g\in G_{0}}\mathsf {v}_{g}(S_{2})\) in 1. and obtain \(A\in \Omega _{y_{1}}(U_{1},S_{1})\) with \(\mathsf {v}_{g}(A)\ne \mathsf {v}_{g}(S_{2})\), \(g\in U_{1}\). If \(\Omega _{y_{1}}(U_{1},S_{1})\subseteq \Omega _{y_{2}}(U_{2},S_{2})\), then \(A\in \Omega _{y_{2}}(U_{2},S_{2})\) implies \(\mathsf {v}_{g}(A)=\mathsf {v}_{g}(S_{2})\), \(g\in G_{0}{\setminus } U_{2}\), so \(U_{1}\subseteq U_{2}\) and the rest follows from Lemma 1.2. The implication \(\Leftarrow \) follows from Lemma 1.1.
-
3.
Suppose, as we may, that \(d>\max _{g\in G_{0}}\max _{i}\mathsf {v}_{g}(S_{i})\). An element \(A\in \Omega _{y}(U,S,d)\) exists by 1. We have \(A\in \Omega _{y_{i}}(U_{i},S_{i})\) for some \(i\in \left\{ 1,\cdots ,n\right\} \), hence \(U\subseteq U_{i}\), and so \(\mathsf {v}_{g}(S)=\mathsf {v}_{g}(A)=\mathsf {v}_{g}(S_{i})\) for all \(g\in G_{0}{\setminus } U_{i}\), as well as \(y=\sigma (A)=y_{i}\), hence \(\Omega _{y}(U,S)\subseteq \Omega _{y_{i}}(U_{i},S_{i})\) by 2.
-
4.
Suppose, as we may, that \(U_{1}\) is not a proper subset of any of the \(U_{i}\), \(i=2,\cdots ,n\). If we had \(\Omega _{y_{1}}(U_{1},S_{1})\subseteq \Omega _{y_{i}}(U_{i},S_{i})\) for any \(i\in \left\{ 2,\cdots ,n\right\} \), then by 2. we would have \(y_{1}=y_{i}\), \(U_{1}\subseteq U_{i}\), and \(\mathsf {v}_{g}(S_{1})=\mathsf {v}_{g}(S_{i})\) for all \(g\in G_{0}{\setminus } U_{i}\) for some \(i\ge 2\). Hence \(U_{i}=U_{1}\) by maximality of \(U_{1}\), and so \(S_{i}=S_{1}\), contrary to the assumption of the triples being distinct. Hence we have \(\Omega _{y_{1}}(U_{1},S_{1})\nsubseteq \Omega _{y_{i}}(U_{i},S_{i})\), \(i=2,\cdots ,n\), and so \(\Omega _{y_{1}}(U_{1},S_{1})\nsubseteq \bigcup _{i=2}^{n}\Omega _{y_{i}}(U_{i},S_{i})\) by 3. The characteristic function of \(\Omega _{y_{1}}(U_{1},S_{1})\) is thus linearly independent of the others and the assertion follows by induction.\(\square \)
3.2 Rank and degree
If \(\mathcal {A}\) is a non-empty subset of \(\mathcal {F}(G_{0})\), we define its rank \(\mathrm{rk }\mathcal {A}\) as the smallest \(r\in \left\{ 0,\cdots ,\left| G_{0}\right| \right\} \) such that there exist \(n\in \mathbf {N}\) and \((U_{1},S_{1},y_{1}),\cdots ,(U_{n},S_{n},y_{n})\in \mathsf {S}(G_{0})\) satisfying
and \(\max _{i}\left| U_{i}\right| \le r\). Such an \(r\) always exists by (1). We put \(\mathrm{rk }\emptyset =-\infty \).
Lemma 3
-
1.
For \(\mathcal {A},\mathcal {B}\in \mathcal {F}(G_{0})\) we have \(\mathrm{rk }\left( \mathcal {A}\cup \mathcal {B}\right) =\max \left( \mathrm{rk }\mathcal {A},\mathrm{rk }\mathcal {B}\right) \).
-
2.
If \(\mathcal {A}\subseteq \mathcal {B}\), then \(\mathrm{rk }\mathcal {A}\le \mathrm{rk }\mathcal {B}\).
-
3.
If \((U,S,y)\in \mathsf {S}(G_{0})\), then we have \(\mathrm{rk }\Omega _{y}(U,S)=\left| U\right| \).
-
4.
If \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) is contained in a finite union \(\bigcup _{i=1}^{n}\Omega _{y_{i}}(U_{i},S_{i})\), where \(n\in \mathbf {N}\) and \((U_{1},S_{1},y_{1}),\cdots ,(U_{n},S_{n},y_{n})\in \mathsf {S}(G_{0})\), then
$$\begin{aligned} \mathrm{rk }\mathcal {A}=\max _{1\le i\le n}\mathrm{rk }\left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) . \end{aligned}$$
Proof
-
1.
and 2. follow from the definition of rank.
-
3.
Let \(r=\left| U\right| \). The inequality \(\mathrm{rk }\Omega _{y}(U,S)\le r\) is trivial by the definition of rank. The converse inequality follows from the definition and Lemma 2.3.
-
4.
Follows from 1. and
$$\begin{aligned} \mathcal {A}=\bigcup _{i=1}^{n}\left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) . \end{aligned}$$\(\square \)
Next we define the degree \(\deg \mathcal {A}\) of a set \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) as the supremum of all values of \(\left| S\right| \) over the elements \((U,S,y)\) of the set
We note that \(\Omega _{y}(G_{0},1)\) satisfies the condition in (5) for some \(y\in G\) by (1) and Lemma 3.4, so \(\deg \mathcal {A}\ge 0\). In particular we have \(\deg \emptyset =+\infty \).
Lemma 4
-
1.
For \(\mathcal {A},\mathcal {B}\subseteq \mathcal {F}(G_{0})\) we have
$$\begin{aligned} \deg (\mathcal {A}\cup \mathcal {B})={\left\{ \begin{array}{ll} \max \left( \deg \mathcal {A},\deg \mathcal {B}\right) , &{} \text{ if } \mathrm{rk }\mathcal {A}=\mathrm{rk }\mathcal {B},\\ \deg \mathcal {B}, &{} \text{ if } \mathrm{rk }\mathcal {A}<\mathrm{rk }\mathcal {B}. \end{array}\right. } \end{aligned}$$ -
2.
For \(\mathcal {A}\subseteq \mathcal {B}\subseteq \mathcal {F}(G_{0})\) we have either \(\mathrm{rk }\mathcal {A}<\mathrm{rk }\mathcal {B}\), or \(\mathrm{rk }\mathcal {A}=\mathrm{rk }\mathcal {B}\) and \(\deg {\mathcal {A}}\le \deg {\mathcal {B}}\), i.e. the mapping \(\mathcal {A}\mapsto (\mathrm{rk }\mathcal {A},\deg \mathcal {A})\) is monotone with respect to the partial order defined by inclusion of subsets of \(\mathcal {F}(G_{0})\), and lexicographic order for \((\mathrm{rk },\deg )\) pairs.
-
3.
If \((U,S,y)\in \mathsf {S}(G_{0})\), then \(\deg \Omega _{y}(U,S)=\left| S\right| \).
-
4.
If \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) is contained in a finite union \(\bigcup _{i=1}^{n}\Omega _{y_{i}}(U_{i},S_{i})\), where \(n\in \mathbf {N}\) and \((U_{1},S_{1},y_{1}),\cdots ,(U_{n},S_{n},y_{n})\in \mathsf {S}(G_{0})\) are such that
$$\begin{aligned} \mathrm{rk }\mathcal {A}=\max _{1\le i\le n}\left| U_{i}\right| , \end{aligned}$$then
$$\begin{aligned} \deg \mathcal {A}=\max _{i\in J}\left| S_{i}\right| , \end{aligned}$$where \(J=\left\{ i\in \left\{ 1,\cdots ,n\right\} :\mathrm{rk }\left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) =\mathrm{rk }\mathcal {A}\right\} \).
-
5.
If \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) and \(\mathcal {A}\ne \emptyset \), then \(\deg \mathcal {A}\in \mathbf {N}_{0} \).
Proof
-
1.
Let \(\mathrm{Deg }(\mathcal {A})\) denote the set (5). For every \((U,S,y)\in \mathsf {S}(G_{0})\) the equality
$$\begin{aligned} \mathrm{rk }\left( \Omega _{y}(U,S)\cap \left( \mathcal {A}\cup \mathcal {B}\right) \right) =\mathrm{rk }\left( \mathcal {A}\cup \mathcal {B}\right) \end{aligned}$$is equivalent, by Lemma 3.1, to
$$\begin{aligned} \max \left( \mathrm{rk }\left( \Omega _{y}(U,S)\cap \mathcal {A}\right) ,\mathrm{rk }\left( \Omega _{y}(U,S) \cap \mathcal {B}\right) \right) =\max \left( \mathrm{rk }\mathcal {A},\mathrm{rk }\mathcal {B}\right) . \end{aligned}$$(6)If \(\mathrm{rk }\mathcal {A}=\mathrm{rk }\mathcal {B}\), then (6) reduces, by Lemma 3.2, to the alternative
$$\begin{aligned} \mathrm{rk }\left( \Omega _{y}(U,S)\cap \mathcal {A}\right) =\mathrm{rk }\mathcal {A}\qquad \text{ or }\qquad \mathrm{rk }\left( \Omega _{y}(U,S)\cap \mathcal {B}\right) =\mathrm{rk }\mathcal {B}, \end{aligned}$$so \(\mathrm{Deg }(\mathcal {A}\cup \mathcal {B})=\mathrm{Deg }(\mathcal {A})\cup \mathrm{Deg }(\mathcal {B})\). If \(\mathrm{rk }\mathcal {A}<\mathrm{rk }\mathcal {B}\), then (6) similarly becomes
$$\begin{aligned} \mathrm{rk }\left( \Omega _{y}(U,S)\cap \mathcal {B}\right) =\mathrm{rk }\mathcal {B}, \end{aligned}$$so \(\mathrm{Deg }(\mathcal {A}\cup \mathcal {B})=\mathrm{Deg }(\mathcal {B})\). The assertion follows.
-
2.
Follows from 1.
-
3.
Let \(r=\left| U\right| \) and \(d=\left| S\right| \). We have \(\deg \Omega _{y}(U,S)\ge d\) by definition. To see that \(\deg \Omega _{y}(U,S)\le d\), we note that for any \((U',S',y')\in \mathsf {S}(G_{0})\) such that
$$\begin{aligned} \mathrm{rk }\left( \Omega _{y}(U,S)\cap \Omega _{y'}(U',S')\right) =\mathrm{rk }\Omega _{y}(U,S) \end{aligned}$$we must have \(\Omega _{y}(U,S)\cap \Omega _{y'}(U',S')\ne \emptyset \), so \(y'=y\) and \(\left| U\cap U'\right| =r\) by Lemmas 1 and 3.3, hence \(U\subseteq U'\) and, again by Lemma 1, \(\left| S'\right| \le d\).
-
4.
By 1. we have
$$\begin{aligned} \deg \mathcal {A}=\max _{i\in J}\deg \left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) . \end{aligned}$$Let \(i\in J\) and \(r=\mathrm{rk }\mathcal {A}=\mathrm{rk }\left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) \). Obviously
$$\begin{aligned} \mathrm{rk }\left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\cap \Omega _{y_{i}}(U_{i},S_{i})\right) =r, \end{aligned}$$so
$$\begin{aligned} \deg \left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) \ge \left| S_{i}\right| \end{aligned}$$by the definition of degree. We also have \(\mathrm{rk }\Omega _{y_{i}}(U_{i},S_{i})\le r\) by assumption and Lemma 3.3, and \(\mathrm{rk }\Omega _{y_{i}}(U_{i},S_{i})\ge r\) by Lemma 3.2. Hence
$$\begin{aligned} \mathrm{rk }\left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) =\mathrm{rk }\Omega _{y_{i}}(U_{i},S_{i}), \end{aligned}$$so
$$\begin{aligned} \deg \left( \mathcal {A}\cap \Omega _{y_{i}}(U_{i},S_{i})\right) \le \deg \Omega _{y_{i}}(U_{i},S_{i})=\left| S_{i}\right| . \end{aligned}$$ -
5.
Follows from 4., because a finite union \(\bigcup _{i=1}^{n}\Omega _{y_{i}}(U_{i},S_{i})\) satisfying the assumptions of 4. must exist by the definition of rank.\(\square \)
3.3 Sets with a finite number of layers
For every \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) we define \(l(\mathcal {A})\), the number of layers of \(\mathcal {A}\), as the maximum length \(l\) of an interleaved chain of divisors \(a_{1}\mid b_{1}\mid a_{2}\mid b_{2}\mid \cdots \mid b_{l-1}\mid a_{l}\) in \(\mathcal {F}(G_{0})\) such that \(a_{1},a_{2},\cdots ,a_{l}\in \mathcal {A}\), \(b_{1},b_{2},\cdots ,b_{l-1}\notin \mathcal {A}\), and there exists some \(y\in G\) such that \(\sigma (a_{i})=\sigma (b_{j})=y\) for \(i=1,\cdots ,l\), \(j=1,\cdots ,l-1\). In particular we have \(l(\emptyset )=0\). We need one more auxiliary result before giving a complete characterization of sets with a finite number of layers.
Lemma 5
If \(X\) is a finite set, then every antichain in \(\overline{\mathcal {F}(X)}\) is finite.
Proof
For an antichain \(A\subseteq \overline{\mathcal {F}(X)}\) let \(I(A)\) denote the set of such \(x\in X\) that there exists an \(a\in A\) that satisfies \(\mathsf {v}_{x}(a)=+\infty \). Suppose there exists an infinite antichain \(A\subseteq \overline{\mathcal {F}(X)}\) and that \(\left| X\right| \) is the smallest possible number for which this happens. Suppose further that \(\left| I(A)\right| \) is the smallest possible given this \(X\). Let \(a\in A\). We have
where \(A_{x}=\left\{ b\in A:\mathsf {v}_{x}(b)<\mathsf {v}_{x}(a)\right\} \). For \(x\in I(A)\) we have \(I(A_{x})\subseteq I(A){\setminus }\left\{ x\right\} \), so \(A_{x}\) is finite by assumption. For \(x\in X{\setminus } I(A)\) we have
where \(A_{x,j}=\left\{ b\in A:\mathsf {v}_{x}(b)=j\right\} \). For \(x,j\) as above let \(A'_{x,j}\) denote the projection of \(A_{x,j}\) onto \(\overline{\mathcal {F}(X{\setminus }\left\{ x\right\} )}\). Then \(A'_{x,j}\subseteq \overline{\mathcal {F}(X{\setminus }\left\{ x\right\} )}\) is an antichain and \(\left| X{\setminus }\left\{ x\right\} \right| <\left| X\right| \), so \(A'_{x,j}\) is finite by assumption, and so is \(A_{x,j}\), as equinumerous to \(A'_{x,j}\). Hence \(A\) is finite, a contradiction. \(\square \)
Proposition 6
Let \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\). The following conditions are equivalent:
-
(i)
\(l(\mathcal {A})<+\infty \)
-
(ii)
\(\mathcal {A}=\bigcup _{i=1}^{m}B_{i}\) for some \(m\in \mathbf {N}_{0} \) and sets \(B_{i}\) of the form
$$\begin{aligned} B_{i}=\left\{ a\in \mathcal {F}(G_{0})\cap [\alpha _{i,1},\alpha _{i,2}]:\sigma (a)=y_{i}\right\} , \end{aligned}$$where \(y_{i}\in G\), and \(\alpha _{i,1},\alpha _{i,2}\in \overline{\mathcal {F}(G_{0})}\), \(i=1,\dots ,m\).
-
(iii)
The characteristic function of \(\mathcal {A}\) can be represented in the form
$$\begin{aligned} \mathcal {A}=\sum _{j=1}^{n}\gamma _{j}\cdot \Omega _{g_{j}}(U_{j},S_{j}), \end{aligned}$$(7)where \(n\in \mathbf {N}_{0} \), sets are tacitly identified with their characteristic functions, the triples \((U_{j},S_{j},g_{j})\!\in \!\mathsf {S}(G_{0})\) are pairwise distinct, and \(\gamma _{j}\!\in \!\mathbf {Z}{\setminus }\left\{ 0\right\} \), \(j\!=\!1,\dots ,n\).
The representation (7) is then unique up to order. If \(\mathcal {A}\ne \emptyset \), then we have
and \(\gamma _{j}=1\) for all \(j\in \left\{ 1,\cdots ,n\right\} \) such that the cube \(\Omega _{g_{j}}(U_{j},S_{j})\) is inclusion-maximal among others.
Proof
\((i)\Rightarrow (ii)\). First we reduce the general case to a specific one. The intersection of \(\mathcal {A}\) with each subset \(\Omega _{y}(G_{0},1)\) in (1) may be treated independently, so we can assume \(\mathcal {A}\subseteq \Omega _{y}(G_{0},1)\) for some fixed \(y\in G\). We set \(Y=\Omega _{y}(G_{0},1)\). Let \(\mathcal {A}_{1}\) denote the set of all \(a_{1}\in \mathcal {A}\) such that for some \(a_{2},\cdots ,a_{l}\in \mathcal {A}\) and \(b_{1},b_{2},\cdots ,b_{l-1}\in Y{\setminus }\mathcal {A}\) we have \(a_{1}\mid b_{1}\mid a_{2}\mid b_{2}\mid \cdots \mid b_{l-1}\mid a_{l}\). We have \(l(\mathcal {A}_{1})=1\) and \(l(\mathcal {A}{\setminus }\mathcal {A}_{1})=l-1\), so it is enough to prove the assertion in the case \(l(\mathcal {A})=1\) and use induction. Finally, given \(l(\mathcal {A})=1\), we note that the set \({\mathcal {A}}^{\prime }=\mathrm{Div }(\mathcal {A}){\setminus }\mathcal {A}\) satisfies \(\mathrm{Div }({\mathcal {A}}^{\prime })={\mathcal {A}}^{\prime }\), so \(\mathcal {A}=\mathrm{Div }(\mathcal {A}){\setminus }\mathrm{Div }(\mathcal {A}^{\prime })\). As the family of sets expressible in the form required in \((ii)\) is closed upon set difference, it is enough to prove the assertion in the case when
Let \(\mathcal {B}=\left\{ b\in \overline{\mathcal {F}(G_{0})}:Y\cap [1,b]\subseteq \mathcal {A}\right\} \) and let \(\mathcal {B}_{\max }\) denote the set of maximal elements of \(\mathcal {B}\). In order to obtain
we need to show that for every \(a\in \mathcal {A}\) there exists some \(b'\in \mathcal {B}_{\max }\) such that \(a\le b'\), so we assume otherwise. We have \(\mathcal {A}\subseteq \mathcal {B}\), so, starting with \(b_{1}=a\), we can construct an increasing sequence in \(\mathcal {B}\):
We let \(U\) denote the set of elements \(g\in G_{0}\) such that \(\mathsf {v}_{g}(b_{2})=+\infty \). We can assume that \(U\) is the largest possible. For every \(a'\in Y\), \(a'\le \sup _{n}\left( b_{n}\right) \), and every \(g\in G_{0}\), we can find some \(n(g)\in \mathbf {N}\) such that \(\mathsf {v}_{g}(a')\le \mathsf {v}_{g}(b_{n(g)})\), so \(a'\le b_{n}\), where \(n=\max _{g\in G_{0}}n(g)\), and \(a'\in \mathcal {A}\). Therefore \(\sup _{n}\left( b_{n}\right) \in \mathcal {B}\). By the maximality of \(U\) we have \(\mathsf {v}_{g}\left( \sup _{n}\left( b_{n}\right) \right) <+\infty \) for all \(g\in G_{0}{\setminus } U\), contradicting (10). We have shown (9) and the assertion follows, as \(\mathcal {B}_{\max }\) is finite by Lemma 5.
\((ii)\Rightarrow (iii)\), (8) etc. We assume the \(B_{i}\)s non-empty and we can have \(\mathsf {v}_{g}(\alpha _{i,1})=\mathsf {v}_{g}(\alpha _{i,2})\) for each \(i\in \left\{ 1,\cdots ,m\right\} \) and \(g\in G_{0}\) such that \(\mathsf {v}_{g}(\alpha _{i,2})<+\infty \), by splitting each \(B_{i}\) in \((ii)\) to finitely many summands if necessary. For each \(B_{i}\) we put
and
We have \((V_{i},\beta _{i},y_{i})\in \mathsf {S}(G_{0})\) and
for some set \(R_{i}\) equal to a finite union of proper sub-cubes of \(\Omega _{y_{i}}(V_{i},\beta _{i})\). We can group the \(B_{i}\)s with equal triples \((V_{i},\beta _{i},y_{i})\), and possibly re-order them, so that for some \(m'\le m\) we have
where \((V_{i},\beta _{i},y_{i})\ne (V_{j},\beta _{j},y_{j})\) for all \(i,j\in \left\{ 1,\cdots ,m'\right\} \), \(i\ne j\), and each set \(R_{i}'\) is equal to a finite union of sub-cubes of \(\Omega _{y_{i}}(V_{i},\beta _{i})\) of lower rank. By the inclusion-exclusion principle we obtain
and further
where \(R\) is a combination of characteristic functions of proper sub-cubes of the \(\Omega _{y_{i}}(V_{i},\beta _{i})\). We obtain \((iii)\). Uniqueness of (7) follows from Lemma 2.4. By Lemmas 3 and 4 we have \(\mathrm{rk }B_{i}'=\left| V_{i}\right| \) and \(\deg B_{i}'=\left| \beta _{i}\right| \), \(i=1,\cdots ,m'\), so (8) follows. Finally we note that every summand of \(R_{i}'\) in (11) is a proper subset one of the cubes \(\Omega _{y_{i}}(V_{i},\beta _{i})\), and so is every intersection \(\bigcap _{i\in I}B_{i}'\) in (11). Hence the cubes \(\Omega _{y_{i}}(V_{i},\beta _{i})\) are the only inclusion-maximal sets in (12), and they appear with the coefficient \(1\) there.
\((iii)\Rightarrow (i)\). Suppose \(l\ge n+1\) and \(a_{1},a_{3},\cdots ,a_{2l-1}\in \mathcal {A}\), \(a_{2},a_{4},\cdots ,a_{2l-2}\in \mathcal {F}(G_{0}){\setminus }\mathcal {A}\) are such that \(a_{1}\mid a_{2}\mid a_{3}\mid \cdots \mid a_{2l-1}\) and for some \(y\in G\) we have \(\sigma (a_{i})=y\), \(i=1,\cdots ,2l-1\). For \(i=1,\cdots ,2l-1\) and \(j=1,\cdots ,n\), let \(c_{ij}\) denote the value of the characteristic function of \(\Omega _{g_{j}}(U_{j},S_{j})\) on \(a_{i}\), and let \(c_{2l,j}=0\). No two adjacent rows of the matrix \(\left[ c_{ij}\right] _{\begin{array}{c} i=1,\cdots ,2l,\\ j=1,\cdots ,n \end{array}}\) are equal as, by (7), it would place two subsequent \(a_{i}\)s both in \(\mathcal {A}\) or outside of \(\mathcal {A}\), or it would imply \(a_{2l-1}\notin \mathcal {A}\). By the Dirichlet’s box principle there exists some \(j\in \left\{ 1,\cdots ,n\right\} \) such that \(c_{ij}\ne c_{i+1,j}\) for at least three different values of \(i\). However this is impossible by \(l(\Omega _{g_{j}}(U_{j},S_{j}))=1\). Hence \(l(\mathcal {A})\le n\). \(\square \)
Given (7) and \(r\in \mathbf {N}_{0} \) we call the number
the rank-\(r\) degree of \(\mathcal {A}\). The rank-\(0\) degree will also be called the absolute degree of \(\mathcal {A}\). We have \(\deg (\mathcal {A})=\deg _{\mathrm{rk }\mathcal {A}}(\mathcal {A})\le \deg _{\mathrm{rk }\mathcal {A}-1}(\mathcal {A})\le \cdots \le \deg _{1}(\mathcal {A})\le \deg _{0}(\mathcal {A})\) for \(\mathcal {A}\ne \emptyset \), and \(\deg _{0}(\emptyset )=0\). We also put \(\deg _{-\infty }(\mathcal {A})=+\infty \) for all \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) with \(l(\mathcal {A})<+\infty \), so that the equality \(\deg (\mathcal {A})=\deg _{\mathrm{rk }\mathcal {A}}(\mathcal {A})\) holds for \(\mathcal {A}=\emptyset \) as well. We say that an \(\Omega \) set \(\mathcal {A}\) is of absolute degree \(0\) if \(l(\mathcal {A})<+\infty \) and \(\deg _{0}(\mathcal {A})=0\).
3.4 Singular sets
If \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\), \(l(\mathcal {A})<+\infty \), \(r\in \mathbf {N}_{0} \) and \(d\in \mathbf {N}\), then we say that \(\mathcal {A}\) is \((r,d)\)-singular if the unique representation (7) satisfies the following conditions:
-
(\(i\)) There is at least one \(j\in \left\{ 1,\cdots ,n\right\} \) such that
$$\begin{aligned} \left| U_{j}\right| =r \text{ and } \left| S_{j}\right| =d. \end{aligned}$$(13) -
\((ii)\) The sign of \(\gamma _{j}\) is the same for every \(j\) satisfying (13).
-
\((iii)\) For each \(j\in \left\{ 1,\cdots ,n\right\} \) not satisfying (13) we have \(\left| U_{j}\right| <r\) or \(\left| S_{j}\right| <d\).
We note that the condition \((ii)\) is non-trivial: although the \((r,d)\) pair is maximal among the pairs \((\mathrm{rk }\Omega _{g_{j}}(U_{j},S_{j}),\deg \Omega _{g_{j}}(U_{j},S_{j}))\) in the product order by \((i)\) and \((iii)\) alone, it need not be maximal in the lexicographic order, hence the summands in (7) satisfying (13) need not be inclusion-maximal. The interplay between these two orders is really the root of the problem of showing that a set is \((r,d)\)-singular for some suitable \(r\) and \(d\). In the remainder of this subsection we solve this problem in the cases \(\deg \mathcal {A}>0\) (Fact 7) and \(\mathcal {A}=\mathrm{Div }(\mathcal {A})\) (Theorem 11).
Fact 7
If \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) is such that \(\mathcal {A}\ne \emptyset \), \(l(\mathcal {A})<\infty \) and \(\deg \mathcal {A}>0\), then \(\mathcal {A}\) is \((\mathrm{rk }\mathcal {A},\deg \mathcal {A})\)-singular.
Proof
We can take \(r=\mathrm{rk }\mathcal {A}\) and \(d=\deg \mathcal {A}\). Conditions \((i)\) and \((iii)\) hold by Proposition 6. By (8) and Lemma 2.2 any set \(\Omega _{g_{j}}(U_{j},S_{j})\) in (7) satisfying \(\left| U_{j}\right| =r\) is inclusion-maximal, so \(\gamma _{j}=1\), hence condition \((ii)\) holds as well. \(\square \)
We define an equivalence relation in \(\mathcal {F}(G_{0})\) by
for \(S,S'\in \mathcal {F}(G_{0})\). We denote by \([S]_{\sim }\) the equivalence class of \(S\). For \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) we put
and
Lemma 8
A set \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\) is of absolute degree \(0\) if and only if it is a union of equivalence classes of the relation \(\sim \).
Proof
For \(g\in G\), \(U\subseteq G_{0}\) the set
is either empty or is an equivalence class of \(\sim \). By substituting
in (7) we get the implication \((\Rightarrow )\). To get the converse, we first note that for \(S\in \mathcal {F}(G_{0})\), \(g=\sigma (S)\) and \(U=\mathrm{Supp }(S)\) we have
so by the inclusion-exclusion principle and Lemma 1.1 we have
If \(\mathcal {A}\) is a union of equivalence classes of \(\sim \), then it is a finite union, as there are only finitely many such classes in \(\mathcal {F}(G_{0})\). Therefore
for some \(m\in \mathbf {N}_{0} \) and \(S_{1},\cdots ,S_{m}\in \mathcal {F}(G_{0})\), where addition is in terms of characteristic functions, hence the unique representations may likewise be added, and \(\deg _{0}(\mathcal {A})=0\) follows from (14). \(\square \)
Corollary 9
If \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\), then the set \(\mathrm{Ground }(\mathcal {A})\) is the largest \(\Omega \) set of absolute degree \(0\) contained in \(\mathcal {A}\). In particular, we have \(\mathrm{Elev }(\mathcal {A})=\emptyset \) if and only if \(\deg _{0}(\mathcal {A})=0\).
Lemma 10
Let \(\mathcal {A}\) be an \(\Omega \) set satisfying \(\mathcal {A}=\mathrm{Div }(\mathcal {A})\). Then
Proof
We have \(l(\mathcal {A})\le 1\). If \(\deg _{0}(\mathcal {A})=0\), then \(\mathrm{Elev }(\mathcal {A})=\emptyset \) by Corollary 9, so \(\deg (\mathrm{Elev }(\mathcal {A}))=+\infty \). Suppose \(\deg _{0}(\mathcal {A})>0\) and let
with \(n\ge 1\), be the unique representation of \(\mathrm{Elev }(\mathcal {A})\). Suppose as we may (by Proposition 6 and possible re-ordering of (15)) that \(\gamma _{1}\cdot \Omega _{g_{1}}(U_{1},S_{1})\) is one of the summands with
It suffices to show that \(S_{1}\ne 1\), so we assume the converse. The set \(\Omega _{g_{1}}(U_{1},1)\) is inclusion-maximal among the summands of (15), again by Proposition 6 and Lemma 2.2, hence \(\gamma _{1}=1\). Moreover this maximality implies, by Lemma 2.3, that for every \(d\in \mathbf {N}_{0} \) there exists some \(S\in \Omega _{g_{1}}(U_{1},1,d)\) such that
and thus \(S\in \mathrm{Elev }(\mathcal {A})\) by (15). It follows from Lemma 2.1 that
Then \(\Omega _{g_{1}}(U_{1},1)\subseteq \mathrm{Ground }(\mathcal {A})\) by Corollary 9, so \(\Omega _{g_{1}}(U_{1},1)\cap \mathrm{Elev }(\mathcal {A})=\emptyset \), contradicting \(S\in \Omega _{g_{1}}(U_{1},1)\cap \mathrm{Elev }(\mathcal {A})\). \(\square \)
Theorem 11
Let \(\mathcal {A}\) be an \(\Omega \) set such that \(\mathrm{Div }(\mathcal {A})=\mathcal {A}\). Then the following conditions are equivalent:
-
(i)
\(\mathcal {A}\) is \((r,d)\)-singular for some \(r\in \mathbf {N}_{0} \) and \(d\in \mathbf {N}\),
-
(ii)
\(\deg _{0}(\mathcal {A})>0\).
Proof
\((i)\Rightarrow (ii)\) By definition, we have \(\deg _{r}(\mathcal {A})=d\), so \(\deg _{0}(\mathcal {A})\ge d>0\).
\((ii)\Rightarrow (i)\) Since \(\deg _{0}(\mathcal {A})>0\), we have \(\mathrm{Elev }(\mathcal {A})\ne \emptyset \) by Corollary 9. We also have \(\deg (\mathrm{Elev }(\mathcal {A}))>0\) by Lemma 10, so the set \(\mathrm{Elev }(\mathcal {A})\) is \((r,d)\)-singular for \(r=\mathrm{rk }(\mathrm{Elev }(\mathcal {A}))\) and \(d=\deg (\mathrm{Elev }(\mathcal {A}))\) by Fact 7. We have
where addition is in terms of characteristic functions, hence the unique representation (7) of \(\mathcal {A}\) may be obtained by adding the unique representations of \(\mathrm{Ground }(\mathcal {A})\) and \(\mathrm{Elev }(\mathcal {A})\). We have \(\deg _{0}(\mathrm{Ground }(\mathcal {A}))=0\) by Corollary 9, so \(\mathcal {A}\) is \((r,d)\)-singular as well. \(\square \)
4 \(\Omega \) sets in semigroups with divisor theory
Let \(H\) be a commutative, cancellative semigroup with a unit, with divisor theory \(\varphi :H\rightarrow \mathcal {F}(P)\) and a finite class group \(G\). For \(a\in \mathcal {F}(P)\) the divisor class of \(a\) is denoted as \([a]\). We use multiplicative notation for \(H\). Let \(h=\left| G\right| \) and let \(G_{0}\subseteq G\) be the set of classes that contain at least one prime divisor. As usual, \(\Omega _{g}(a)\) denotes (for \(a\in \mathcal {F}(P)\), \(g\in G_{0}\)) the number of prime divisors of \(a\) in the class \(g\) counted according to their multiplicities, cf. [4, Example 9.2.7] and, for the origins of this notation, [1, 6]. Let \(\tilde{\beta }:\mathcal {F}(P)\rightarrow \mathcal {F}(G_{0})\),
A set \(A\subseteq \mathcal {F}(P)\) is an \(\Omega \) set if and only if \(A=\tilde{\beta }^{-1}(\mathcal {A})\) for some \(\mathcal {A}\subseteq \mathcal {F}(G_{0})\). In that case we define the rank, degree and the number of layers of \(A\) as \(\mathrm{rk }\mathcal {A}\), \(\deg \mathcal {A}\) and \(l(\mathcal {A})\) respectively, and we say that \(A\) is \((r,d)\)-singular if \(\mathcal {A}\) is. We extend this notation and terminology also to the set \(\varphi ^{-1}(A)\) in case \(A\subseteq \varphi (H)\).
4.1 Elements with at most a given number of factorization lengths
We are going to show that the set \(\varvec{G}_{k}\) (for a positive integer \(k\)) is \((r,d)\)-singular for some suitable \(r\) and \(d\) unless \(\varvec{G}_{k}=\varvec{G}_{1}=H\). First we recall some well-known facts related to \(\varvec{G}_{k}\). The set \(U\) is called half-factorial if the monoid \(\mathcal {B}(U)=\Omega _{0}(U,1)\) is half-factorial, i.e. every element of \(\mathcal {B}(U)\) has a unique length of factorization into irreducibles. The homomorphism
is a transfer homomorphism [4, Definition 3.2.1], so it establishes a one-to-one correspondence between lengths of factorizations of \(a\) in \(H\) and \(\beta (a)\) in \(\mathcal {B}(G_{0})\), hence \(\varvec{G}_{k}=\beta ^{-1}(\beta (\varvec{G}_{k}))\) is an \(\Omega \) set. We have \(\mathrm{Div }(\varvec{G}_{k})=\varvec{G}_{k}\), in particular \(l(\varvec{G}_{k})=1\). The following equivalence has appeared in several works at various levels of generality. We provide a proof for the convenience of the reader.
Lemma 12
(cf., e.g., [22, 23], [4, Proposition 6.7.3.1], [4, Theorem 9.4.6, Assertion A1]). Let \(U\subseteq G_{0}\). The following conditions are equivalent:
-
\((i)\) \(U\) is half-factorial,
-
\((ii)\) \(\Omega _{0}(U,1)\subseteq \beta (\varvec{G}_{1})\),
-
\((iii)\) \(\Omega _{0}(U,S)\subseteq \beta (\varvec{G}_{k})\) for some \(k\in \mathbf {N}\) and \(S\in \mathcal {F}(G_{0})\) such that \((U,S,0)\in \mathsf {S}(G_{0})\),
-
\((iv)\) for every irreducible \(a\in \beta ^{-1}(\Omega _{0}(U,1))\) we have
$$\begin{aligned} \mathsf {k}(a):=\sum _{g\in G_{0}}\frac{\Omega _{X}(a)}{\mathrm{ord }g}=1. \end{aligned}$$
Proof
\((i)\Rightarrow (ii)\). If \(a\in \beta ^{-1}(\Omega _{0}(U,1))\), then \(\beta (a)\in \mathcal {B}(U)\) has a unique factorization length in \(\mathcal {B}(G_{0})\), so \(a\in \varvec{G}_{1}\).
\((ii)\Rightarrow (iii)\) is clear.
\((iii)\Rightarrow (iv)\). We have \(\mathrm{Div }(\Omega _{0}(U,S))\subseteq \mathrm{Div }(\beta (\varvec{G}_{k}))=\beta (\varvec{G}_{k})\) and \(\Omega _{0}(U,1)\subseteq \mathrm{Div }(\Omega _{0}(U,S))\) by Lemma 2.1, so \(\Omega _{0}(U,1)\subseteq \beta (\varvec{G}_{k})\). Suppose \(a\in \beta ^{-1}(\Omega _{0}(U,1))\) is irreducible and \(\mathsf {k}(a)\ne 1\). Let \(\varphi (a)=\prod _{i=1}^{n}p_{i}^{\alpha _{i}}\) be the factorization of \(\varphi (a)\) to prime divisors, and let \(a_{1},\cdots ,a_{n}\in H\) be some irreducibles satisfying \(\varphi (a_{i})=p_{i}^{\mathrm{ord }[p_{i}]}\). Then the associated elements \(a^{h}\sim \prod _{i=1}^{n}a_{i}^{h\alpha _{i}/\mathrm{ord }[p_{i}]}\) have factorizations of lengths \(h\) and \(h\mathsf {k}(a)\), so \(a^{kh}\) has at least \(k+1\) factorizations of distinct lengths. Hence \(a\notin \varvec{G}_{k}\), a contradiction.
\((iv)\Rightarrow (i)\). Every element of \(\mathcal {B}(U)\) is of the form \(\beta (a)\) for some \(a\in H\), \(\mathrm{Supp }(\beta (a))\subseteq U\). If \(a=a_{1}\cdots a_{n}\) is a factorization of such \(a\) to irreducibles, then \(n=\sum _{i=1}^{n}\mathsf {k}(a_{i})=\mathsf {k}(a)\), so \(a\) and \(\beta (a)\) have unique factorization length.\(\square \)
Theorem 13
Let \(k\) be a positive integer. The set \(\varvec{G}_{k}\) is \((r,d)\)-singular for some \(r\in \mathbf {N}_{0} \) and \(d\in \mathbf {N}\) if and only if the set \(G_{0}\) is not half-factorial.
Proof
If \(G_{0}\) is half-factorial, then by Lemma 12 we have \(\beta (H)=\Omega _{0}(G_{0},1)\subseteq \varvec{G}_{1}\), so \(\varvec{G}_{k}=\varvec{G}_{1}=H\). Suppose \(G_{0}\) is not half-factorial. Then we can find an irreducible \(a\in H\) such that \(\mathsf {k}(a)\ne 1\). Of course \(a\in \varvec{G}_{1}\subseteq \varvec{G}_{k}\). If
then
so \(\mathrm{Supp }(\beta (a))\) is half-factorial by Lemma 12, a contradiction. Hence
and \(\deg _{0}(\varvec{G}_{k})>0\) by Lemma 8. The assertion follows from Theorem 11. \(\square \)
4.2 Elements without divisors in a given \(\Omega \) set
Let \(F\subseteq \mathcal {F}(\mathcal {P})\) denote a non-empty \(\Omega \) set of “forbidden” divisors. The set
is an \(\Omega \) set and it includes all divisors of its elements. The computation of \(\mathrm{rk }A\) and \(\deg A\) may be non-trivial, but we can usually determine whether \(\deg _{0}(A)\) is positive or not. Let \(F_{\min }\) denote the set of minimal elements (with respect to division) of \(F\).
Theorem 14
If \(F\subseteq \mathcal {F}(\mathcal {P})\) is an \(\Omega \) set, then the set \(A=\mathcal {F}(\mathcal {P}){\setminus } F\mathcal {F}(\mathcal {P})\) is \((r,d)\)-singular for some \(r\in \mathbf {N}_{0} \) and \(d\in \mathbf {N}\) if and only if
Proof
The set \(F_{\min }\) is an \(\Omega \) set, as \(F\) is. We have \(F\mathcal {F}(\mathcal {P})=F_{\min }\mathcal {F}(\mathcal {P})\), because divisibility is a well-order on \(\mathcal {F}(\mathcal {P})\). The fact that \(F_{\min }\) is an antichain implies that \(l(F_{\min })=1\) and, using Lemma 5, also
for some \(S_{j}\in \mathcal {F}(G_{0})\), \(j=1,\dots ,n\). Let \(\mathcal {A}=\tilde{\beta }(A)\) and \(V_{j}=\mathrm{Supp }(S_{j})\). Then
where \(\mathsf {S}(\mathcal {A})\) consists of all triples \((U,S,y)\in \mathsf {S}(G_{0})\) such that for every \(j\) there is at least one \(g\in V_{j}{\setminus } U\) with \(\mathsf {v}_{g}(S)<\mathsf {v}_{g}(S_{j})\). In that case \(U\) does not contain any of the \(V_{j}\) and, conversely, for every \(U\) that does not contain any of the \(V_{j}\) we have \((U,1,0)\in \mathsf {S}(\mathcal {A})\). By Lemma 8 we have \(\deg _{0}(\mathcal {A})=0\) if and only if \(\mathcal {A}\) is a union of equivalence classes of the relation \(\sim \). Let
If \(m=0\), then \(\tilde{\beta }(F_{\min })=\left\{ 1\right\} \) and \(\mathcal {A}=\emptyset \). If \(m=1\), then for every \(S\in \mathcal {A}\) we have \(V_{j}\nsubseteq \mathrm{Supp }(S)\), \(j=1,\cdots ,n\), so
Hence \(\deg _{0}(\mathcal {A})=0\). Finally, if \(m>1\), let us fix \(j\) and \(g\in G_{0}\) with \(\mathsf {v}_{g}(S_{j})=m\). Let \(S=g^{-1}S_{j}\in \mathcal {F}(G_{0})\), so \(\mathrm{Supp }(S)=V_{j}\), and let \(y=\sigma (S)\). We have \(S\in \mathcal {A}\), because \(S_{j}\in \tilde{\beta }(F_{\min })\). If
then we would have \(V_{j}\subseteq U\), a contradiction. Hence \(\deg _{0}(\mathcal {A})>0\) and the assertion follows by Theorem 11. \(\square \)
References
Delange, H.: Sur la distribution des entiers ayant certaines propriétés. Ann. Sci. Ecole Norm. Sup. 3(73), 15–74 (1956)
Fogels, E.: Zur Arithmetik quadratischer Zahlenkörper. Univ. Riga. Wiss. Abh. Kl. Math. Abt. 1, 23–47 (1943)
Geroldinger, A., Halter-Koch, F.: Realization theorems for semigroups with divisor theory. Semigroup Forum 44(2), 229–237 (1992)
Geroldinger, A., Halter-Koch, F.: Non-unique factorizations. Chapman & Hall/CRC, Boca Raton (2006)
Halter-Koch, F.: Halbgruppen mit Divisorentheorie. Expo. Math. 8(1), 27–66 (1990)
Hardy, G.H., Wright, E.M.: An introduction to the theory of numbers. Clarendon Press, Oxford (1938)
Kaczorowski, J.: Some remarks on factorization in algebraic number fields. Acta Arith. 43(1), 53–68 (1983)
Kaczorowski, J., Perelli, A.: Functional independence of the singularities of a class of Dirichlet series. Am. J. Math. 120(2), 289–303 (1998)
Kaczorowski, J., Pintz, J.: Oscillatory properties of arithmetical functions. II. Acta Math. Hung. 49(3–4), 441–453 (1987)
Narkiewicz, W.: On algebraic number fields with non-unique factorization. Colloq. Math. 12, 59–68 (1964)
Narkiewicz, W.: On algebraic number fields with non-unique factorization. II. Colloq. Math. 15, 49–58 (1966)
Narkiewicz, W.: Numbers with unique factorization in an algebraic number field. Acta Arith. 21, 313–322 (1972)
Narkiewicz, W.: Elementary and analytic theory of algebraic numbers. PWN-Polish Scientific Publishers, Warsaw (1974). Monografie Matematyczne, Tom 57
Narkiewicz, W.: Finite abelian groups and factorization problems. Colloq. Math. 42, 319–330 (1979)
Narkiewicz, W.: Numbers with all factorizations of the same length in a quadratic number field. Colloq. Math. 45(1):71–74 (1981)
Radziejewski, M.: On the distribution of algebraic numbers with prescribed factorization properties. Acta Arith. 116(2), 153–171 (2005)
Radziejewski, M.: Oscillations of error terms associated with certain arithmetical functions. Monatsh. Math. 144(2), 113–130 (2005)
Radziejewski, M.: Independence of Hecke zeta functions of finite order over normal fields. Trans. Am. Math. Soc. 359(5), 2383–2394 (2007)
Radziejewski, M.: Oscillatory properties of real functions with weakly bounded Mellin transform. Q. J. Math. 65(1), 249–266 (2014)
Radziejewski, M.: Algebraic independence of logarithmic singularities of some complex functions. J. Math. Anal. Appl. 410(2), 764–770 (2014)
Radziejewski, M., Schmid, W.A.: On the asymptotic behavior of some counting functions. Colloq. Math. 102(2), 181–195 (2005)
Skula, L.: On \(c\)-semigroups. Acta Arith. 31(3), 247–257 (1976)
Śliwa, J.: Factorizations of distinct lengths in algebraic number fields. Acta Arith. 31(4), 399–417 (1976)
Śliwa, J.: Remarks on factorizations in algebraic number fields. Colloq. Math. 46(1), 123–130 (1982)
Acknowledgments
The author wishes to thank Professor Jerzy Kaczorowski for his helpful remarks during the preparation of this manuscript. The author also thanks Professor Władysław Narkiewicz for the information on the earliest use of the \(\Omega \) notation. The author gratefully acknowledges the remarks of the anonymous referee, that helped improve the presentation of the paper. The referee’s suggestions have also helped make the notation compatible with other recent works on the subject. This work has been supported by the Polish National Science Centre Grant number N N201 605940.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by László Márki.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Radziejewski, M. Structural results for semigroup subsets defined by factorization properties dependent on \(\Omega \) functions. Semigroup Forum 89, 609–626 (2014). https://doi.org/10.1007/s00233-014-9593-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-014-9593-0