-
Monoid algebras and graph products
Authors:
Wilfried Imrich,
Igor Klep,
Daniel Smertnig
Abstract:
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 appear…
▽ More
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.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
A monoid-theoretical approach to infinite direct-sum decompositions of modules
Authors:
Zahra Nazemian,
Daniel Smertnig
Abstract:
Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $κ$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $κ$-indexed direct sums, and…
▽ More
Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $κ$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $κ$-indexed direct sums, and study the resulting $κ$-monoid $V^κ(\mathcal C)$.
The braiding-property and an equivalent universal property, allow us to show: if every module in $\mathcal C$ is a direct sum of modules generated by strictly fewer than $λ$ many elements, then all relations on $V^κ(\mathcal C)$ are induced by relations between direct sums indexed by sets of cardinality strictly less than $λ$. A theorem of Kaplansky states that every projective module is a direct sum of countably generated modules. We augment this, showing that also all relations between infinite direct sums of projective modules are induced from those between countable direct sums of countably generated projective modules.
If every projective module over a ring $R$ is a direct sum of finitely generated projective modules, then the monoid of finitely generated projective modules $V(R)$ completely determines the $κ$-monoid $V^κ(R)$. Together with the realization result of Bergman and Dicks, this characterizes the $κ$-monoids appearing as $V^κ(R)$ for a hereditary ring. In general, the $\aleph_0$-monoid $V^{\aleph_0}(R)$ fully determines $V^κ(R)$. Herbera and Příhoda's characterization of monoids of countably generated projective modules $V^*(R)$ over semilocal noetherian rings, yields a characterization of $V^κ(R)$ for these rings. We also characterize two-generated $\aleph_0$-monoids that appear as $V^{\aleph_0}(R)$ for hereditary rings $R$.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
Authors:
Jason P. Bell,
Daniel Smertnig
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 June, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
On noncommutative bounded factorization domains and prime rings
Authors:
Jason P. Bell,
Ken Brown,
Zahra Nazemian,
Daniel Smertnig
Abstract:
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a res…
▽ More
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a result holds in the noncommutative setting. We provide sufficient conditions for a noncommutative noetherian prime ring to have bounded factorizations. Moreover, we construct a (noncommutative) finitely presented semigroup algebra that is an atomic domain but does not satisfy the ascending chain condition on principal right or left ideals (ACCP), whence it does not have bounded factorizations.
△ Less
Submitted 11 January, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
$D$-finite multivariate series with arithmetic restrictions on their coefficients
Authors:
Jason Bell,
Daniel Smertnig
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 September, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Lattices over Bass rings and graph agglomerations
Authors:
Nicholas R. Baeth,
Daniel Smertnig
Abstract:
We study direct-sum decompositions of torsion-free, finitely generated modules over a (commutative) Bass ring $R$ through the factorization theory of the corresponding monoid $T(R)$. Results of Levy-Wiegand and Levy-Odenthal together with a study of the local case yield an explicit description of $T(R)$. The monoid is typically neither factorial nor cancellative. Nevertheless, we construct a trans…
▽ More
We study direct-sum decompositions of torsion-free, finitely generated modules over a (commutative) Bass ring $R$ through the factorization theory of the corresponding monoid $T(R)$. Results of Levy-Wiegand and Levy-Odenthal together with a study of the local case yield an explicit description of $T(R)$. The monoid is typically neither factorial nor cancellative. Nevertheless, we construct a transfer homomorphism to a monoid of graph agglomerations--a natural class of monoids serving as combinatorial models for the factorization theory of $T(R)$. As a consequence, the monoid $T(R)$ is transfer Krull of finite type and several finiteness results on arithmetical invariants apply. We also establish results on the elasticity of $T(R)$ and characterize when $T(R)$ is half-factorial. (Factoriality, that is, torsion-free Krull-Remak-Schmidt-Azumaya, is characterized by a theorem of Levy-Odenthal.) The monoids of graph agglomerations introduced here are also of independent interest.
△ Less
Submitted 17 March, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
A height gap theorem for coefficients of Mahler functions
Authors:
Boris Adamczewski,
Jason Bell,
Daniel Smertnig
Abstract:
We study the asymptotic growth of coefficients of Mahler power series with algebraic coefficients, as measured by their logarithmic Weil height. We show that there are five different growth behaviors, all of which being reached. Thus, there are \emph{gaps} in the possible growths. In proving this height gap theorem, we obtain that a $k$-Mahler function is $k$-regular if and only if its coefficient…
▽ More
We study the asymptotic growth of coefficients of Mahler power series with algebraic coefficients, as measured by their logarithmic Weil height. We show that there are five different growth behaviors, all of which being reached. Thus, there are \emph{gaps} in the possible growths. In proving this height gap theorem, we obtain that a $k$-Mahler function is $k$-regular if and only if its coefficients have height in $O(\log n)$. Furthermore, we deduce that, over an arbitrary ground field of characteristic zero, a $k$-Mahler function is $k$-automatic if and only if its coefficients belong to a finite set. As a by-product of our results, we also recover a conjecture of Becker which was recently settled by Bell, Chyzak, Coons, and Dumas.
△ Less
Submitted 11 October, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Noncommutative rational Pólya series
Authors:
Jason Bell,
Daniel Smertnig
Abstract:
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)…
▽ More
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.
△ Less
Submitted 29 January, 2021; v1 submitted 17 June, 2019;
originally announced June 2019.
-
Definite orders with locally free cancellation
Authors:
Daniel Smertnig,
John Voight
Abstract:
We enumerate all orders in definite quaternion algebras over number fields with the Hermite property; this includes all orders with the cancellation property for locally free modules.
We enumerate all orders in definite quaternion algebras over number fields with the Hermite property; this includes all orders with the cancellation property for locally free modules.
△ Less
Submitted 27 October, 2019; v1 submitted 25 March, 2019;
originally announced March 2019.
-
On basic and Bass quaternion orders
Authors:
Sara Chari,
Daniel Smertnig,
John Voight
Abstract:
A quaternion order O over a Dedekind domain R is Bass if every R-superorder is Gorenstein, and O is basic if it contains an integrally closed quadratic R-order. In this article, we show that these conditions are equivalent in local and global settings: a quaternion order is Bass if and only if it is basic. In particular, we show that the property of being basic is a local property of a quaternion…
▽ More
A quaternion order O over a Dedekind domain R is Bass if every R-superorder is Gorenstein, and O is basic if it contains an integrally closed quadratic R-order. In this article, we show that these conditions are equivalent in local and global settings: a quaternion order is Bass if and only if it is basic. In particular, we show that the property of being basic is a local property of a quaternion order.
△ Less
Submitted 1 March, 2019;
originally announced March 2019.
-
Factoriality and class groups of cluster algebras
Authors:
Ana Garcia Elsener,
Philipp Lampe,
Daniel Smertnig
Abstract:
Locally acyclic cluster algebras are Krull domains. Hence their factorization theory is determined by their (divisor) class group and the set of classes containing height-1 prime ideals. Motivated by this, we investigate class groups of cluster algebras. We show that any cluster algebra that is a Krull domain has a finitely generated free abelian class group, and that every class contains infinite…
▽ More
Locally acyclic cluster algebras are Krull domains. Hence their factorization theory is determined by their (divisor) class group and the set of classes containing height-1 prime ideals. Motivated by this, we investigate class groups of cluster algebras. We show that any cluster algebra that is a Krull domain has a finitely generated free abelian class group, and that every class contains infinitely many height-$1$ prime ideals. For a cluster algebra associated to an acyclic seed, we give an explicit description of the class group in terms of the initial exchange matrix. As a corollary, we reprove and extend a classification of factoriality for cluster algebras of Dynkin type. In the acyclic case, we prove the sufficiency of necessary conditions for factoriality given by Geiss--Leclerc--Schröer.
△ Less
Submitted 6 August, 2019; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Arithmetical invariants of local quaternion orders
Authors:
Nicholas R. Baeth,
Daniel Smertnig
Abstract:
Let $D$ be a DVR, let $K$ be its quotient field, and let $R$ be a $D$-order in a quaternion algebra $A$ over $K$. The elasticity of $R^\bullet$ is $ρ(R^\bullet) = \sup\{\, k/l : u_1\cdots u_k = v_1 \cdots v_l \text{ with $u_i$, $v_j$ atoms of $R^\bullet$ and $k$, $l \ge 1$} \,\}$ and is one of the basic arithmetical invariants that is studied in factorization theory. We characterize finiteness of…
▽ More
Let $D$ be a DVR, let $K$ be its quotient field, and let $R$ be a $D$-order in a quaternion algebra $A$ over $K$. The elasticity of $R^\bullet$ is $ρ(R^\bullet) = \sup\{\, k/l : u_1\cdots u_k = v_1 \cdots v_l \text{ with $u_i$, $v_j$ atoms of $R^\bullet$ and $k$, $l \ge 1$} \,\}$ and is one of the basic arithmetical invariants that is studied in factorization theory. We characterize finiteness of $ρ(R^\bullet)$ and show that the set of distances $Δ(R^\bullet)$ and all catenary degrees $\mathsf c_\mathsf d(R^\bullet)$ are finite. In the setting of noncommutative orders in central simple algebras, such results have only been understood for hereditary orders and for a few individual examples.
△ Less
Submitted 18 December, 2018; v1 submitted 2 June, 2017;
originally announced June 2017.
-
Factorizations in bounded hereditary Noetherian prime rings
Authors:
Daniel Smertnig
Abstract:
If $H$ is a monoid and $a=u_1 \cdots u_k \in H$ with atoms (irreducible elements) $u_1, \ldots, u_k$, then $k$ is a length of $a$, the set of lengths of $a$ is denoted by $\mathsf L(a)$, and $\mathcal L(H)=\{\,\mathsf L (a) \mid a \in H \,\}$ is the system of sets of lengths of $H$. Let $R$ be a hereditary Noetherian prime (HNP) ring. Then every element of the monoid of non-zero-divisors…
▽ More
If $H$ is a monoid and $a=u_1 \cdots u_k \in H$ with atoms (irreducible elements) $u_1, \ldots, u_k$, then $k$ is a length of $a$, the set of lengths of $a$ is denoted by $\mathsf L(a)$, and $\mathcal L(H)=\{\,\mathsf L (a) \mid a \in H \,\}$ is the system of sets of lengths of $H$. Let $R$ be a hereditary Noetherian prime (HNP) ring. Then every element of the monoid of non-zero-divisors $R^\bullet$ can be written as a product of atoms. We show that, if $R$ is bounded and every stably free right $R$-ideal is free, then there exists a transfer homomorphism from $R^{\bullet}$ to the monoid $B$ of zero-sum sequences over a subset $G_{\textrm{max}}(R)$ of the ideal class group $G(R)$. This implies that the systems of sets of lengths, together with further arithmetical invariants, of the monoids $R^{\bullet}$ and $B$ coincide. It is well-known that commutative Dedekind domains allow transfer homomorphisms to monoids of zero-sum sequences, and the arithmetic of the latter has been the object of much research. Our approach is based on the structure theory of finitely generated projective modules over HNP rings, as established in the recent monograph by Levy and Robson. We complement our results by giving an example of a non-bounded HNP ring in which every stably free right $R$-ideal is free but which does not allow a transfer homomorphism to a monoid of zero-sum sequences over any subset of its ideal class group.
△ Less
Submitted 24 November, 2017; v1 submitted 30 May, 2016;
originally announced May 2016.
-
Factorizations of Elements in Noncommutative Rings: A Survey
Authors:
Daniel Smertnig
Abstract:
We survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include unique factorization up to order and similarity, 2-firs, and modular LCM domains, as well as UFRs and UFDs in the sense of Chatters and Jordan and generalizati…
▽ More
We survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include unique factorization up to order and similarity, 2-firs, and modular LCM domains, as well as UFRs and UFDs in the sense of Chatters and Jordan and generalizations thereof. We recall arithmetical invariants for the study of non-unique factorizations, and give transfer results for arithmetical invariants in matrix rings, rings of triangular matrices, and classical maximal orders as well as classical hereditary orders in central simple algebras over global fields.
△ Less
Submitted 30 May, 2016; v1 submitted 27 July, 2015;
originally announced July 2015.
-
Every abelian group is the class group of a simple Dedekind domain
Authors:
Daniel Smertnig
Abstract:
A classical result of Claborn states that every abelian group is the class group of a commutative Dedekind domain. Among noncommutative Dedekind prime rings, apart from PI rings, the simple Dedekind domains form a second important class. We show that every abelian group is the class group of a noncommutative simple Dedekind domain. This solves an open problem stated by Levy and Robson in their rec…
▽ More
A classical result of Claborn states that every abelian group is the class group of a commutative Dedekind domain. Among noncommutative Dedekind prime rings, apart from PI rings, the simple Dedekind domains form a second important class. We show that every abelian group is the class group of a noncommutative simple Dedekind domain. This solves an open problem stated by Levy and Robson in their recent monograph on hereditary Noetherian prime rings.
△ Less
Submitted 18 November, 2015; v1 submitted 4 May, 2015;
originally announced May 2015.
-
A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems
Authors:
Nicholas R. Baeth,
Alfred Geroldinger,
David J. Grynkiewicz,
Daniel Smertnig
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 September, 2014; v1 submitted 29 April, 2014;
originally announced April 2014.
-
Factorization theory: From commutative to noncommutative settings
Authors:
Nicholas R. Baeth,
Daniel Smertnig
Abstract:
We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. To do so, we extend concepts from the commutative theory of non-unique factorizations to a noncommutative setting. Several notions of factorizations as well as distances between them are introduced. In addition, arithmetical invariants characterizing the non-uniqueness of factoriza…
▽ More
We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. To do so, we extend concepts from the commutative theory of non-unique factorizations to a noncommutative setting. Several notions of factorizations as well as distances between them are introduced. In addition, arithmetical invariants characterizing the non-uniqueness of factorizations such as the catenary degree, the $ω$-invariant, and the tame degree, are extended from commutative to noncommutative settings. We introduce the concept of a cancellative semigroup being permutably factorial, and characterize this property by means of corresponding catenary and tame degrees. Also, we give necessary and sufficient conditions for there to be a weak transfer homomorphism from a cancellative semigroup to its reduced abelianization. Applying the abstract machinery we develop, we determine various catenary degrees for classical maximal orders in central simple algebras over global fields by using a natural transfer homomorphism to a monoid of zero-sum sequences over a ray class group. We also determine catenary degrees and the permutable tame degree for the semigroup of non zero-divisors of the ring of $n \times n$ upper triangular matrices over a commutative domain using a weak transfer homomorphism to a commutative semigroup.
△ Less
Submitted 2 September, 2015; v1 submitted 18 February, 2014;
originally announced February 2014.
-
Factorization in the self-idealization of a PID
Authors:
Gyu Whan Chang,
Daniel Smertnig
Abstract:
Let $D$ be a principal ideal domain and $R(D) = \{\begin{pmatrix} a & b 0 & a \end{pmatrix} \mid a, b \in D\}$ be its self-idealization. It is known that $R(D)$ is a commutative noetherian ring with identity, and hence $R(D)$ is atomic (i.e., every nonzero nonunit can be written as a finite product of irreducible elements). In this paper, we completely characterize the irreducible elements of…
▽ More
Let $D$ be a principal ideal domain and $R(D) = \{\begin{pmatrix} a & b 0 & a \end{pmatrix} \mid a, b \in D\}$ be its self-idealization. It is known that $R(D)$ is a commutative noetherian ring with identity, and hence $R(D)$ is atomic (i.e., every nonzero nonunit can be written as a finite product of irreducible elements). In this paper, we completely characterize the irreducible elements of $R(D)$. We then use this result to show how to factorize each nonzero nonunit of $R(D)$ into irreducible elements. We show that every irreducible element of $R(D)$ is a primary element, and we determine the system of sets of lengths of $R(D)$.
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Cyclically presented modules, projective covers and factorizations
Authors:
Alberto Facchini,
Daniel Smertnig,
Nguyen Khanh Tung
Abstract:
We investigate projective covers of cyclically presented modules, characterizing the rings over which every cyclically presented module has a projective cover as the rings $R$ that are Von Neumann regular modulo their Jacobson radical $J(R)$ and in which idempotents can be lifted modulo $J(R)$. Cyclically presented modules naturally appear in the study of factorizations of elements in non-necessar…
▽ More
We investigate projective covers of cyclically presented modules, characterizing the rings over which every cyclically presented module has a projective cover as the rings $R$ that are Von Neumann regular modulo their Jacobson radical $J(R)$ and in which idempotents can be lifted modulo $J(R)$. Cyclically presented modules naturally appear in the study of factorizations of elements in non-necessarily commutative integral domains. One of the possible applications is to the modules $M_R$ whose endomorphism ring $E:=(M_R)$ is Von Neumann regular modulo $J(E)$ and in which idempotents lift modulo $J(E)$.
△ Less
Submitted 24 June, 2013;
originally announced June 2013.
-
Sets of lengths in maximal orders in central simple algebras
Authors:
Daniel Smertnig
Abstract:
Let $\mathcal O$ be a holomorphy ring in a global field $K$, and $R$ a classical maximal $\mathcal O$-order in a central simple algebra over $K$. We study sets of lengths of factorizations of cancellative elements of $R$ into atoms (irreducibles). In a large majority of cases there exists a transfer homomorphism to a monoid of zero-sum sequences over a ray class group of $\mathcal O$, which implie…
▽ More
Let $\mathcal O$ be a holomorphy ring in a global field $K$, and $R$ a classical maximal $\mathcal O$-order in a central simple algebra over $K$. We study sets of lengths of factorizations of cancellative elements of $R$ into atoms (irreducibles). In a large majority of cases there exists a transfer homomorphism to a monoid of zero-sum sequences over a ray class group of $\mathcal O$, which implies that all the structural finiteness results for sets of lengths---valid for commutative Krull monoids with finite class group---hold also true for $R$. If $\mathcal O$ is the ring of algebraic integers of a number field $K$, we prove that in the remaining cases no such transfer homomorphism can exist and that several invariants dealing with sets of lengths are infinite.
△ Less
Submitted 14 August, 2013; v1 submitted 4 June, 2013;
originally announced June 2013.
-
On the Davenport constant and group algebras
Authors:
Daniel Smertnig
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 December, 2010; v1 submitted 28 July, 2009;
originally announced July 2009.