Source author record

Weidong Gao

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

ResearcherUnclaimed source record

math.NT math.CO math.AC math.GR

Catalog footprint

Research overview

8works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

preprint2016arXiv

Davenport constant of the multiplicative semigroup of the ring $\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$

Given a finite commutative semigroup $\mathcal{S}$ (written additively), denoted by ${\rm D}(\mathcal{S})$ the Davenport constant of $\mathcal{S}$ , namely the least positive integer $\ell$ such that for any $\ell$ elements $s_1,\ldots,s_{\ell}\in \mathcal{S}$ there exists a set $I\subsetneq [1,\ell]$ for which $\sum_{i\in I} s_i=\sum_{i=1}^{\ell} s_i$ . Then, for any integers $r\geq 1, n_1,\ldots,n_r>1$ , let $R=\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$ be the direct sum of these $r$ residue class rings $\mathbb{Z}_{n_1}, \ldots,\mathbb{Z}_{n_r}$ . Moreover, let $\mathcal{S}_R$ be the multiplicative semigroup of the ring $R$ , and ${\rm U}(\mathcal{S}_R)$ the group of units of $\mathcal{S}_R$ . In this paper, we prove that ${\rm D}({\rm U}(\mathcal{S}_R))+P_2\leq {\rm D}(\mathcal{S}_R)\leq {\rm D}({\rm U}(\mathcal{S}_R))+δ,$ where $P_2=\sharp\{i\in [1,r]: 2 \parallel n_i\}$ and $δ=\sharp\{i\in [1,r]: 2\mid n_i\}.$ This corrects our previous published wrong result on this problem.

preprint2013arXiv

An upper bound for Davenport constant of finite groups

Let $G$ be a finite (not necessarily abelian) group and let $p=p(G)$ be the smallest prime number dividing $|G|$ . We prove that $d(G)\leq \frac{|G|}{p}+9p^2-10p$ , where $d(G)$ denotes the small Davenport constant of $G$ which is defined as the maximal integer $\ell$ such that there is a sequence over $G$ of length $\ell$ contains no nonempty one-product subsequence.

preprint2013arXiv

Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

Let $\mathcal{S}$ be a finite commutative semigroup written additively, and let $\exp(\mathcal{S})$ be its exponent which is defined as the least common multiple of all periods of the elements in $\mathcal{S}$ . For every sequence $T$ of elements in $\mathcal{S}$ (repetition allowed), let $σ(T) \in \mathcal{S}$ denote the sum of all terms of $T$ . Define the Davenport constant $D(\mathcal{S})$ of $\mathcal{S}$ to be the least positive integer $d$ such that every sequence $T$ over $\mathcal{S}$ of length at least $d$ contains a proper subsequence $T'$ with $σ(T')=σ(T)$ , and define the Erdős-Ginzburg-Ziv Theorem constant $E(\mathcal{S})$ to be the least positive integer $\ell$ such that every sequence $T$ over $\mathcal{S}$ of length at least $\ell$ contains a subsequence $T'$ with $|T|-|T'|=\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})$ and $σ(T')=σ(T)$ . When $\mathcal{S}$ is a finite abelian group, it is well known that $\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})=|\mathcal{S}|$ and $E(\mathcal{S})=D(\mathcal{S})+|\mathcal{S}|-1$ . In this paper we investigate whether $E(\mathcal{S})\leq D(\mathcal{S})+\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil \exp(\mathcal{S})-1$ holds true for all finite commutative semigroups $\mathcal{S}$ . We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.

preprint2013arXiv

On n-sum of an abelian group of order n

Let $G$ be an additive finite abelian group of order $n$ , and let $S$ be a sequence of $n+k$ elements in $G$ , where $k\geq 1$ . Suppose that $S$ contains $t$ distinct elements. Let $\sum_n(S)$ denote the set that consists of all elements in $G$ which can be expressed as the sum over a subsequence of length $n$ . In this paper we prove that, either $0\in \sum_n(S)$ or $|\sum_n(S)|\geq k+t-1.$ This confirms a conjecture by Y.O. Hamidoune in 2000.

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.

preprint2011arXiv

On the Index of Sequences over Cyclic Groups

Let $G$ be a finite cyclic group of order $n \ge 2$ . Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot ... \cdot (n_lg)$ where $g\in G$ and $n_1,..., n_l \in [1,\ord(g)]$, and the index $\ind (S)$ of $S$ is defined as the minimum of $(n_1+ ... + n_l)/\ord (g)$ over all $g \in G$ with $\ord (g) = n$. In this paper we prove that a sequence $S$ over $G$ of length $|S| = n$ having an element with multiplicity at least $\frac{n}{2}$ has a subsequence $T$ with $\ind (T) = 1$, and if the group order $n$ is a prime, then the assumption on the multiplicity can be relaxed to $\frac{n-2}{10}$ . On the other hand, if $n=4k+2$ with $k \ge 5$ , we provide an example of a sequence $S$ having length $|S| > n$ and an element with multiplicity $\frac{n}{2}-1$ which has no subsequence $T$ with $\ind (T) = 1$. This disproves a conjecture given twenty years ago by Lemke and Kleitman.

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.

Weidong Gao

Research overview

Is this your work?

8 publications

On half-factoriality of transfer Krull monoids

Davenport constant of the multiplicative semigroup of the ring $\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$

An upper bound for Davenport constant of finite groups

Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

On n-sum of an abelian group of order n

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

On the Index of Sequences over Cyclic Groups

See the researcher in context

Building this map preview

Weidong Gao

Research overview

Is this your work?

8 publications

On half-factoriality of transfer Krull monoids

Davenport constant of the multiplicative semigroup of the ring Zn1⊕⋯⊕Znr\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}Zn1​​⊕⋯⊕Znr​​

An upper bound for Davenport constant of finite groups

Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

On n-sum of an abelian group of order n

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

On the Index of Sequences over Cyclic Groups

See the researcher in context

Building this map preview

Davenport constant of the multiplicative semigroup of the ring $\mathbb{Z}_{n_1}\oplus\cdots\oplus \mathbb{Z}_{n_r}$