BZPEER

preprint2022arXiv

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

Let $G$ be an additive finite abelian group and $Γ\subset \operatorname{End} (G)$ be a subset of the endomorphism group of $G$ . A sequence $S = g_1 \cdot \ldots \cdot g_{\ell}$ over $G$ is a ( $Γ$ -)weighted zero-sum sequence if there are $γ_1, \ldots, γ_{\ell} \in Γ$ such that $γ_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 $\mathcal L^*$ be a family of finite subsets of $\mathbb N_0$ having the following properties. (a). $\{0\}, \{1\} \in \mathcal L^*$ and all other sets of $\mathcal L^*$ lie in $\mathbb N_{\ge 2}$ . (b). If $L_1, L_2 \in \mathcal L^*$ , then the sumset $L_1 + L_2 \in \mathcal L^*$ . We show that there is a Dedekind domain $D$ whose system of sets of lengths equals $\mathcal L^*$ .

preprint2020arXiv

On a zero-sum problem arising from factorization theory

We study a zero-sum problem dealing with minimal zero-sum sequences of maximal length over finite abelian groups. A positive answer to this problem yields a structural description of sets of lengths with maximal elasticity in transfer Krull monoids over finite abelian groups.

preprint2020arXiv

On an inverse problem of Erd\H os, Kleitman, and Lemke

Let $(G, 1_G)$ be a finite group and let $S=g_1\bdot \ldots\bdot g_{\ell}$ be a nonempty sequence over $G$ . We say $S$ is a tiny product-one sequence if its terms can be ordered such that their product equals $1_G$ and $\sum_{i=1}^{\ell}\frac{1}{\ord(g_i)}\le 1$. Let $\mathsf {ti}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ with $|S|\ge t$ has a tiny product-one subsequence. The direct problem is to obtain the exact value of $\mathsf {ti}(G)$ , while the inverse problem is to characterize the structure of long sequences over $G$ which have no tiny product-one subsequences. In this paper, we consider the inverse problem for cyclic groups and we also study both direct and inverse problems for dihedral groups and dicyclic groups.

preprint2020arXiv

On clean, weakly clean, and feebly clean commutative group rings

A ring $R$ is said to be clean if each element of $R$ can be written as the sum of a unit and an idempotent. $R$ is said to be weakly clean if each element of $R$ is either a sum or a difference of a unit and an idempotent, and $R$ is said to be feebly clean if every element $r$ can be written as $r=u+e_1-e_2$ , where $u$ is a unit and $e_1,e_2$ are orthogonal idempotents. Clearly clean rings are weakly clean rings and both of them are feebly clean. In a recent article (J. Algebra Appl. 17 (2018), 1850111(5 pages)), McGoven characterized when the group ring $\mathbb Z_{(p)}[C_q]$ is weakly clean and feebly clean, where $p, q$ are distinct primes. In this paper, we consider a more general setting. Let $K$ be an algebraic number field, $\mathcal O_K$ its ring of integers, $\mathfrak p\subset \mathcal O$ a nonzero prime ideal, and $\mathcal O_{\mathfrak p}$ the localization of $\mathcal O$ at $\mathfrak p$ . We investigate when the group ring $\mathcal O_{\mathfrak p}[G]$ is weakly clean and feebly clean, where $G$ is a finite abelian group, and establish an explicit characterization for such a group ring to be weakly clean and feebly clean for the case when $K=\mathbb Q(ζ_n)$ is a cyclotomic field or $K=\mathbb Q(\sqrt{d})$ is a quadratic field.

preprint2019arXiv

On half-factoriality of transfer Krull monoids

Let $H$ be a transfer Krull monoid over a subset $G_0$ of an abelian group $G$ with finite exponent. Then every non-unit $a\in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$ . The set $\mathsf L(a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$ , and $H$ is said to be half-factorial if $|\mathsf L(a)|=1$ for all $a\in H$ . We show that, if $a \in H$ and $|\mathsf L(a^{\lfloor (3\exp(G) - 3)/2 \rfloor})| = 1$ , then the smallest divisor-closed submonoid of $H$ containing $a$ is half-factorial. In addition, we prove that, if $G_0$ is finite and $|\mathsf L(\prod_{g\in G_0}g^{2\mathsf{ord}(g)})|=1$ , then $H$ is half-factorial.

preprint2018arXiv

On the arithmetic of Mori monoids and domains

Let $R$ be a Mori domain with complete integral closure $\widehat R$ , nonzero conductor $\mathfrak f = (R \ :\ \widehat R)$ , and suppose that both $v$ -class groups $\mathcal C_v (R)$ and $\mathcal C_v (\widehat R)$ are finite. If $R/\mathfrak f$ is finite, then the elasticity of $R$ is either rational or infinite. If $R/\mathfrak f$ is artinian, then unions of sets of lengths of $R$ are almost arithmetical progressions with the same difference and global bound. We derive our results in the setting of $v$ -noetherian monoids.

preprint2016arXiv

Sets of minimal distances and characterizations of class groups of Krull monoids

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$ . The set $\mathsf L (a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$ . There is a constant $M \in \mathbb N$ such that all sets of lengths are almost arithmetical multiprogressions with bound $M$ and with difference $d \in Δ^* (H)$ , where $Δ^* (H)$ denotes the set of minimal distances of $H$ . We study the structure of $Δ^* (H)$ and establish a characterization when $Δ^*(H)$ is an interval. The system $\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$ of all sets of lengths depends only on the class group $G$ , and a standing conjecture states that conversely the system $\mathcal L (H)$ is characteristic for the class group. We confirm this conjecture (among others) if the class group is isomorphic to $C_n^r$ with $r,n \in \mathbb N$ and $Δ^*(H)$ is not an interval.

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 \in \mathbb N$ with the following property: there are irreducible elements $u_1, \ldots, u_k, v_1, \ldots, v_{k+d}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{k+d}$ , but $u_1 \cdot \ldots \cdot u_k$ cannot be written as a product of $l$ irreducible elements for any $l$ with $k < 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

On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form $C_2^r\oplus C_n$

Let $G$ be a finite abelian group. The Erd{ő}s-Ginzburg-Ziv constant $\mathsf s(G)$ of $G$ is defined as the smallest integer $l\in \mathbb{N}$ such that every sequence $S$ over $G$ of length $|S|\geq l$ has a zero-sum subsequence $T$ of length $|T|= {\exp}(G)$ . The value of this classical invariant for groups with rank at most two is known. But the precise value of $\mathsf s(G)$ for the groups of rank larger than two is difficult to determine. In this paper we pay our attentions to the groups of the form $C_2^{r-1}\oplus C_{2n}$ , where $r\geq 3$ and $n\ge 2$ . We give a new upper bound of $\mathsf s(C_2^{r-1}\oplus C_{2n})$ for odd integer $n$ . For $r\in [3,4]$ , we obtain that $\mathsf s(C_2^2\oplus C_{2n})=4n+3$ for $n\ge 2$ and $\mathsf s(C_2^{3}\oplus C_{2n})=4n+5$ for $n\geq 36$ .

preprint2015arXiv

Products of $k$ atoms in Krull monoids

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. For $k\in \mathbb N$ , let $\mathcal U_k(H)$ denote the set of all $m\in \mathbb N$ with the following property: There exist atoms $u_1, \ldots, u_k, v_1, \ldots , v_m\in H$ such that $u_1\cdot\ldots\cdot u_k=v_1\cdot\ldots\cdot v_m$ . It is well-known that the sets $\mathcal U_k (H)$ are finite intervals whose maxima $ρ_k(H)=\max \mathcal U_k(H)$ depend only on $G$ . If $|G|\le 2$ , then $ρ_k (H) = k$ for every $k \in \mathbb N$ . Suppose that $|G| \ge 3$ . An elementary counting argument shows that $ρ_{2k}(H)=k\mathsf D(G)$ and $k\mathsf D(G)+1\le ρ_{2k+1}(H)\le k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ where $\mathsf D(G)$ is the Davenport constant. In \cite{Ga-Ge09b} it was proved that for cyclic groups we have $k\mathsf D(G)+1 = ρ_{2k+1}(H)$ for every $k \in \mathbb N$ . In the present paper we show that (under a mild condition on the Davenport constant) for every noncyclic group there exists a $k^*\in \mathbb N$ such that $ρ_{2k+1}(H)= k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ for every $k\ge k^*$ . This confirms a conjecture of A. Geroldinger, D. Grynkiewicz, and P. Yuan in \cite{Ge-Gr-Yu15}.

preprint2012arXiv

On the maximal multiplicity of long zero-sum free sequences over $C_p\oplus C_p$

In this paper, we point out that the method used in [Acta Arith. 128(2007) 245-279] can be modified slightly to obtain the following result. Let $\varepsilon \in (0,\frac 14)$ and $c>0$ , and let $p$ be a sufficiently large prime depending on $\varepsilon$ and $c$ . Then every zero-sumfree sequence $S$ over $C_p\oplus C_p$ of length $|S|\geq 2p-c\sqrt{p}$ contains some element at least $\lfloor p^{\frac14-\varepsilon}\rfloor$ times.

preprint2011arXiv

On short zero-sum subsequences of zero-sum sequences

Let $G$ be a finite abelian group, and let $η(G)$ be the smallest integer $d$ such that every sequence over $G$ of length at least $d$ contains a zero-sum subsequence $T$ with length $|T|\in [1,\exp(G)]$ . In this paper, we investigate the question whether all non-cyclic finite abelian groups $G$ share with the following property: There exists at least one integer $t\in [\exp(G)+1,η(G)-1]$ such that every zero-sum sequence of length exactly $t$ contains a zero-sum subsequence of length in $[1,\exp(G)]$ . Previous results showed that the groups $C_n^2$ ( $n\geq 3$ ) and $C_3^3$ have the property above. In this paper we show that more groups including the groups $C_m\oplus C_n$ with $3\leq m\mid n$ , $C_{3^a5^b}^3$ , $C_{3\times 2^a}^3$ , $C_{3^a}^4$ and $C_{2^b}^r$ ( $b\geq 2$ ) have this property. We also determine all $t\in [\exp(G)+1, η(G)-1]$ with the property above for some groups including the groups of rank two, and some special groups with large exponent.

preprint2011arXiv

On the Erd{\H o}s--Ginzburg--Ziv constant of finite abelian groups of high rank

Let $G$ be a finite abelian group. The Erd{\H o}s--Ginzburg--Ziv constant $\mathsf s (G)$ of $G$ is defined as the smallest integer $l \in \mathbb N$ such that every sequence \ $S$ \ over $G$ of length $|S| \ge l$ \ has a zero-sum subsequence $T$ of length $|T| = \exp (G)$ . If $G$ has rank at most two, then the precise value of $\mathsf s (G)$ is known (for cyclic groups this is the Theorem of Erd{\H o}s-Ginzburg-Ziv). Only very little is known for groups of higher rank. In the present paper, we focus on groups of the form $G = C_n^r$ , with $n, r \in \N$ and $n \ge 2$ , and we tackle the study of $\mathsf s (G)$ with a new approach, combining the direct problem with the associated inverse problem.

Qinghai Zhong

Research overview

Is this your work?

14 publications

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

A realization result for systems of sets of lengths

On a zero-sum problem arising from factorization theory

On an inverse problem of Erd\H os, Kleitman, and Lemke

On clean, weakly clean, and feebly clean commutative group rings

On half-factoriality of transfer Krull monoids

On the arithmetic of Mori monoids and domains

Sets of minimal distances and characterizations of class groups of Krull monoids

The set of distances in seminormal weakly Krull monoids

On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form $C_2^r\oplus C_n$

Products of $k$ atoms in Krull monoids

On the maximal multiplicity of long zero-sum free sequences over $C_p\oplus C_p$

On short zero-sum subsequences of zero-sum sequences

On the Erd{\H o}s--Ginzburg--Ziv constant of finite abelian groups of high rank

See the researcher in context

Building this map preview

Qinghai Zhong

Research overview

Is this your work?

14 publications

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

A realization result for systems of sets of lengths

On a zero-sum problem arising from factorization theory

On an inverse problem of Erd\H os, Kleitman, and Lemke

On clean, weakly clean, and feebly clean commutative group rings

On half-factoriality of transfer Krull monoids

On the arithmetic of Mori monoids and domains

Sets of minimal distances and characterizations of class groups of Krull monoids

The set of distances in seminormal weakly Krull monoids

On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form C2r⊕CnC_2^r\oplus C_nC2r​⊕Cn​

Products of kkk atoms in Krull monoids

On the maximal multiplicity of long zero-sum free sequences over Cp⊕CpC_p\oplus C_pCp​⊕Cp​

On short zero-sum subsequences of zero-sum sequences

On the Erd{\H o}s--Ginzburg--Ziv constant of finite abelian groups of high rank

See the researcher in context

Building this map preview

On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form $C_2^r\oplus C_n$

Products of $k$ atoms in Krull monoids

On the maximal multiplicity of long zero-sum free sequences over $C_p\oplus C_p$