arXiv++ Combinatorics

In this note, we extend results about unique $n^{\textrm{th}}$ roots and cancellation of finite disconnected graphs with respect to the Cartesian, the strong and the direct product, to the rooted hierarchical products, and to a modified lexicographic product. We show that these results also hold for graphs with countably many finite connected components, as long as every connected component appears only finitely often (up to isomorphism). The proofs are via monoid algebras and generalized power series rings.

The (left) linear hull of a weighted automaton over a field is a topological invariant. If the automaton is minimal, the linear hull can be used to determine whether or not the automaton is equivalent to a deterministic one. Furthermore, the linear hull can also be used to determine whether the minimal automaton is equivalent to an unambiguous one. We show how to compute the linear hull, and thus prove that it is decidable whether or not a given automaton over a number field is equivalent to a deterministic one. In this case we are also able to compute an equivalent deterministic automaton. We also show the analogous decidability and computability result for the unambiguous case. Our results resolve a problem posed in a 2006 survey by Lombardy and Sakarovitch.

A multivariate, formal power series over a field $K$ is a Bézivin series if all of its coefficients can be expressed as a sum of at most $r$ elements from a finitely generated subgroup $G \le K^*$; it is a Pólya series if one can take $r=1$. We give explicit structural descriptions of $D$-finite Bézivin series and $D$-finite Pólya series over fields of characteristic $0$, thus extending classical results of Pólya and Bézivin to the multivariate setting.

A (noncommutative) Pólya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$. We show that rational Pólya series are unambiguous rational series, proving a 40 year old conjecture of Reutenauer. The proof combines methods from noncommutative algebra, automata theory, and number theory (specifically, unit equations). As a corollary, a rational series is a Pólya series if and only if it is Hadamard sub-invertible. Phrased differently, we show that every weighted finite automaton taking values in a finitely generated subgroup of a field (and zero) is equivalent to an unambiguous weighted finite automaton.

Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes in $\mathcal C$ and, for any module $M$ in $\mathcal C$, let $[M]$ denote the unique element in $\mathcal V (\mathcal C)$ isomorphic to $M$. Then $\mathcal V (\mathcal C)$ is a reduced commutative semigroup with operation defined by $[M] + [N] = [M \oplus N]$, and this semigroup carries all information about direct-sum decompositions of modules in $\mathcal C$. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if $\operatorname{End}_R (M)$ is semilocal for all $M\in \mathcal C$, then $\mathcal V (\mathcal C)$ is a Krull monoid. Suppose that the monoid $\mathcal V (\mathcal C)$ is Krull with a finitely generated class group (for example, when $\mathcal C$ is the class of finitely generated torsion-free modules and $R$ is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of $\mathcal V (\mathcal C)$ using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid $\mathcal V (\mathcal C)$ for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.

For a finite abelian group $G$ and a splitting field $K$ of $G$, let $d(G, K)$ denote the largest integer $l \in \N$ for which there is a sequence $S = g_1 \cdot ... \cdot g_l$ over $G$ such that $(X^{g_1} - a_1) \cdot ... \cdot (X^{g_l} - a_l) \ne 0 \in K[G]$ for all $a_1, ..., a_l \in K^{\times}$. If $D(G)$ denotes the Davenport constant of $G$, then there is the straightforward inequality $D(G)-1 \le d (G, K)$. Equality holds for a variety of groups, and a standing conjecture of W. Gao et.al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups $G$ for which $D(G) -1 < d(G, K)$ holds. Thus we disprove the conjecture.