Source author record

Alfred Geroldinger

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

20works
5topics
4close collaborators

Published work

20 publications

preprint2022arXiv

On monoids of weighted zero-sum sequences and applications to norm monoids in Galois number fields and binary quadratic forms

Let GG be an additive finite abelian group and Γ⊂End⁡(G)Γ\subset \operatorname{End} (G) be a subset of the endomorphism group of GG. A sequence S=g1⋅…⋅gℓS = g_1 \cdot \ldots \cdot g_{\ell} over GG is a (ΓΓ-)weighted zero-sum sequence if there are γ1,…,γℓ∈Γγ_1, \ldots, γ_{\ell} \in Γ such that γ1(g1)+…+γℓ(gℓ)=0γ_1 (g_1) + \ldots + γ_{\ell} (g_{\ell})=0. We construct transfer homomorphisms from norm monoids (of Galois algebraic number fields with Galois group ΓΓ) and from monoids of positive integers, represented by binary quadratic forms, to monoids of weighted zero-sum sequences. Then we study algebraic and arithmetic properties of monoids of weighted zero-sum sequences.

preprint2021arXiv

A realization result for systems of sets of lengths

Let L∗\mathcal L^* be a family of finite subsets of N0\mathbb N_0 having the following properties. (a). {0},{1}∈L∗\{0\}, \{1\} \in \mathcal L^* and all other sets of L∗\mathcal L^* lie in N≥2\mathbb N_{\ge 2}. (b). If L1,L2∈L∗L_1, L_2 \in \mathcal L^*, then the sumset L1+L2∈L∗L_1 + L_2 \in \mathcal L^*. We show that there is a Dedekind domain DD whose system of sets of lengths equals L∗\mathcal L^*.

preprint2020arXiv

On strongly primary monoids and domains

A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence one-dimensional local Mori domains are strongly primary. We prove among other results, that if RR is a domain such that the conductor (R:R^)(R:\widehat R) vanishes, then Λ(R)Λ(R) is finite, that is, there exists a positive integer kk such that each non-zero non-unit of RR is a product of at most kk irreducible elements. Using this result we obtain that every strongly primary domain is locally tame, and that a domain RR is globally tame if and only if Λ(R)=∞Λ(R)=\infty. In particular, we answer Problem 38 in {P.-J. Cahen, M.~Fontana, S.~Frisch, and S.~Glaz, Open problems in commutative ring theory, Commutative Algebra, Springer 2014} in the affirmative. Many of our results are formulated for monoids.

preprint2020arXiv

On strongly primary monoids, with a focus on Puiseux monoids

Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial ideals (e.g., numerical monoids) are strongly primary; and the multiplicative monoid of non-zero elements of a one-dimensional local domain is primary and it is strongly primary if the domain is Noetherian. In the present paper, we focus on the study of additive submonoids of the non-negative rationals, called Puiseux monoids. It is easy to see that Puiseux monoids are primary monoids, and we provide conditions ensuring that they are strongly primary. Then we study local and global tameness of strongly primary Puiseux monoids; most notably, we establish an algebraic characterization of when a Puiseux monoid is globally tame. Moreover, we obtain a result on the structure of sets of lengths of all locally tame strongly primary monoids.

preprint2016arXiv

Minimal relations and catenary degrees in Krull monoids

Let HH be a Krull monoid with class group GG. Then HH is factorial if and only if GG is trivial. Sets of lengths and sets of catenary degrees are well studied invariants describing the arithmetic of HH in the non-factorial case. In this note we focus on the set Ca(H)Ca (H) of catenary degrees of HH and on the set R(H)\mathcal R (H) of distances in minimal relations. We show that every finite nonempty subset of N≥2\mathbb N_{\ge 2} can be realized as the set of catenary degrees of a Krull monoid with finite class group. This answers Problem 4.1 of {arXiv:1506.07587}. Suppose in addition that every class of GG contains a prime divisor. Then Ca(H)⊂R(H)Ca (H)\subset \mathcal R (H) and R(H)\mathcal R (H) contains a long interval. Under a reasonable condition on the Davenport constant of GG, R(H)\mathcal R (H) coincides with this interval and the maximum equals the catenary degree of HH.

preprint2016arXiv

Sets of Lengths

Oftentimes the elements of a ring or semigroup HH can be written as finite products of irreducible elements, say a=u1⋅…⋅uk=v1⋅…⋅vℓa=u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}, where the number of irreducible factors is distinct. The set L(a)⊂N\mathsf L (a) \subset \mathbb N of all possible factorization lengths of aa is called the set of lengths of aa, and the full system L(H)={L(a)∣a∈H}\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \} is a well-studied means of describing the non-uniqueness of factorizations of HH. We provide a friendly introduction, which is largely self-contained, to what is known about systems of sets of lengths for rings of integers of algebraic number fields and for transfer Krull monoids of finite type as their generalization.

preprint2016arXiv

The set of distances in seminormal weakly Krull monoids

The set of distances of a monoid or of a domain is the set of all d∈Nd \in \mathbb N with the following property: there are irreducible elements u1,…,uk,v1,…,vk+du_1, \ldots, u_k, v_1, \ldots, v_{k+d} such that u1⋅…⋅uk=v1⋅…⋅vk+du_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{k+d}, but u1⋅…⋅uku_1 \cdot \ldots \cdot u_k cannot be written as a product of ll irreducible elements for any ll with k<l<k+dk < l < k+d. We show that the set of distances is an interval for certain seminormal weakly Krull monoids which include seminormal orders in holomorphy rings of global fields.

preprint2015arXiv

Arithmetic of seminormal weakly Krull monoids and domains

We study the arithmetic of seminormal vv-noetherian weakly Krull monoids with nontrivial conductor which have finite class group and prime divisors in all classes. These monoids include seminormal orders in holomorphy rings in global fields. The crucial property of seminormality allows us to give precise arithmetical results analogous to the well-known results for Krull monoids having finite class group and prime divisors in each class. This allows us to show, for example, that unions of sets of lengths are intervals and to provide a characterization of half-factoriality.

preprint2015arXiv

On products of k atoms II

Let HH be a Krull monoid with class group GG such that every class contains a prime divisor (for example, rings of integers in algebraic number fields or holomorphy rings in algebraic function fields). For k∈Nk \in \mathbb N, let Uk(H)\mathcal U_k (H) denote the set of all m∈Nm \in \mathbb N with the following property: There exist atoms u1,...,uk,v1,...,vm∈Hu_1, ..., u_k, v_1, ..., v_m \in H such that u1⋅...⋅uk=v1⋅...⋅vmu_1 \cdot ... \cdot u_k = v_1 \cdot ...\cdot v_m. Furthermore, let λk(H)=min⁡Uk(H)λ_k (H) = \min \mathcal U_k (H) and ρk(H)=sup⁡Uk(H)ρ_k (H) = \sup \mathcal U_k (H). The sets Uk(H)⊂N\mathcal U_k (H) \subset \mathbb N are intervals which are finite if and only if GG is finite. Their minima λk(H)λ_k (H) can be expressed in terms of ρk(H)ρ_k (H). The invariants ρk(H)ρ_k (H) depend only on the class group GG, and in the present paper they are studied with new methods from Additive Combinatorics.

preprint2015arXiv

The system of sets of lengths in Krull monoids under set addition

Let HH be a Krull monoid with class group GG and suppose that each class contains a prime divisor. Then every element a∈Ha \in H has a factorization into irreducible elements, and the set L(a)\mathsf L (a) of all possible factorization lengths is the set of lengths of aa. We consider the system L(H)={L(a)∣a∈H}\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \} of all sets of lengths, and we characterize (in terms of the class group GG) when L(H)\mathcal L (H) is additively closed under set addition.

preprint2014arXiv

A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems

Let RR be a ring and let C\mathcal C be a small class of right RR-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let V(C)\mathcal V (\mathcal C) denote a set of representatives of isomorphism classes in C\mathcal C and, for any module MM in C\mathcal C, let [M][M] denote the unique element in V(C)\mathcal V (\mathcal C) isomorphic to MM. Then V(C)\mathcal V (\mathcal C) is a reduced commutative semigroup with operation defined by [M]+[N]=[M⊕N][M] + [N] = [M \oplus N], and this semigroup carries all information about direct-sum decompositions of modules in C\mathcal C. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if End⁡R(M)\operatorname{End}_R (M) is semilocal for all M∈CM\in \mathcal C, then V(C)\mathcal V (\mathcal C) is a Krull monoid. Suppose that the monoid V(C)\mathcal V (\mathcal C) is Krull with a finitely generated class group (for example, when C\mathcal C is the class of finitely generated torsion-free modules and RR is a one-dimensional reduced Noetherian local ring). In this case we study the arithmetic of V(C)\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 V(C)\mathcal V (\mathcal C) for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.

preprint2014arXiv

Monoids of modules and arithmetic of direct-sum decompositions

Let RR be a (possibly noncommutative) ring and let C\mathcal C be a class of finitely generated (right) RR-modules which is closed under finite direct sums, direct summands, and isomorphisms. Then the set V(C)\mathcal V (\mathcal C) of isomorphism classes of modules is a commutative semigroup with operation induced by the direct sum. This semigroup encodes all possible information about direct sum decompositions of modules in C\mathcal C. If the endomorphism ring of each module in C\mathcal C is semilocal, then V(C)\mathcal V (\mathcal C) is a Krull monoid. Although this fact was observed nearly a decade ago, the focus of study thus far has been on ring- and module-theoretic conditions enforcing that V(C)\mathcal V(\mathcal C) is Krull. If V(C)\mathcal V(\mathcal C) is Krull, its arithmetic depends only on the class group of V(C)\mathcal V(\mathcal C) and the set of classes containing prime divisors. In this paper we provide the first systematic treatment to study the direct-sum decompositions of modules using methods from Factorization Theory of Krull monoids. We do this when C\mathcal C is the class of finitely generated torsion-free modules over certain one- and two-dimensional commutative Noetherian local rings.

preprint2014arXiv

On v-Marot Mori rings and C-rings

C-domains are defined via class semigroups, and every C-domain is a Mori domain with nonzero conductor whose complete integral closure is a Krull domain with finite class group. In order to extend the concept of C-domains to rings with zero divisors, we introduce vv-Marot rings as generalizations of ordinary Marot rings and study their theory of regular divisorial ideals. Based on this we establish a generalization of a result well-known for integral domains. Let RR be a vv-Marot Mori ring, R^\hat R its complete integral closure, and suppose that the conductor f=(R:R^)\mathfrak f = (R : \hat R) is regular. If the residue class ring R/fR/\mathfrak f and the class group C(R^)\mathcal C (\hat R) are both finite, then RR is a C-ring. Moreover, we study both vv-Marot rings and C-rings under various ring extensions.

preprint2013arXiv

Local and global tameness in Krull monoids

Let H be a Krull monoid with finite class group G such that every class contains a prime divisor. Then the global tame degree t (H) equals zero if and only if H is factorial (equivalently, |G|=1). If |G| > 1, then D (G) <= t (H) <= 1 + D (G) (D (G) -1) / 2, where D (G) is the Davenport constant of G. We analyze the case when t (H) equals the lower bound, and we show that t (H) grows asymptotically as the upper bound, when both terms are considered as functions of the rank of G. We provide more precise results if G is either cyclic or an elementary 2-group.

preprint2012arXiv

Non-commutative Krull monoids: A divisor theoretic approach and their arithmetic

A (not necessarily commutative) Krull monoid---as introduced by Wauters---is defined as a completely integrally closed monoid satisfying the ascending chain condition on divisorial two-sided ideals. We study the structure of these Krull monoids, both with ideal theoretic and with divisor theoretic methods. Among others we characterize normalizing Krull monoids by divisor theories. Based on these results we give a criterion for a Krull monoid to be a bounded factorization monoid, and we provide arithmetical finiteness results in case of normalizing Krull monoids with finite Davenport constant.

preprint2010arXiv

On the Davenport constant and on the structure of extremal zero-sum free sequences

Let G=Cn1⊕...⊕CnrG = C_{n_1} \oplus ... \oplus C_{n_r} with $1 < n_1 \t ... \t n_r$ be a finite abelian group, d∗(G)=n1+...+nr−r\mathsf d^* (G) = n_1 + ... + n_r - r, and let d(G)\mathsf d (G) denote the maximal length of a zero-sum free sequence over GG. Then d(G)≥d∗(G)\mathsf d (G) \ge \mathsf d^* (G), and the standing conjecture is that equality holds for G=CnrG = C_n^r. We show that equality does not hold for C2⊕C2nrC_2 \oplus C_{2n}^r, where n≥3n \ge 3 is odd and r≥4r \ge 4. This gives new information on the structure of extremal zero-sum free sequences over C2nrC_{2n}^r.

preprint2010arXiv

Zero-sum problems with congruence conditions

For a finite abelian group GG and a positive integer dd, let sdN(G)\mathsf s_{d \mathbb N} (G) denote the smallest integer ℓ∈N0\ell \in \mathbb N_0 such that every sequence SS over GG of length ∣S∣≥ℓ|S| \ge \ell has a nonempty zero-sum subsequence TT of length ∣T∣≡0mod  d|T| \equiv 0 \mod d. We determine sdN(G)\mathsf s_{d \mathbb N} (G) for all d≥1d\geq 1 when GG has rank at most two and, under mild conditions on dd, also obtain precise values in the case of pp-groups. In the same spirit, we obtain new upper bounds for the Erd{\H o}s--Ginzburg--Ziv constant provided that, for the pp-subgroups GpG_p of GG, the Davenport constant D(Gp)\mathsf D (G_p) is bounded above by 2exp⁡(Gp)−12 \exp (G_p)-1. This generalizes former results for groups of rank two.

preprint2009arXiv

The Catenary Degree of Krull Monoids I

Let HH be a Krull monoid with finite class group GG such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree c(H)\mathsf c (H) of HH is the smallest integer NN with the following property: for each a∈Ha \in H and each two factorizations z,z′z, z' of aa, there exist factorizations z=z0,...,zk=z′z = z_0, ..., z_k = z' of aa such that, for each i∈[1,k]i \in [1, k], ziz_i arises from zi−1z_{i-1} by replacing at most NN atoms from zi−1z_{i-1} by at most NN new atoms. Under a very mild condition on the Davenport constant of GG, we establish a new and simple characterization of the catenary degree. This characterization gives a new structural understanding of the catenary degree. In particular, it clarifies the relationship between c(H)\mathsf c (H) and the set of distances of HH and opens the way towards obtaining more detailed results on the catenary degree. As first applications, we give a new upper bound on c(H)\mathsf c(H) and characterize when c(H)≤4\mathsf c(H)\leq 4.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.