Related papers: Cauchy-Davenport type theorems for semigroups

For $(G,+)$ a finite abelian group the plus-minus weighted Davenport constant, denoted $\mathsf{D}_{\pm}(G)$, is the smallest $\ell$ such that each sequence $g_1 ... g_{\ell}$ over $G$ has a weighted zero-subsum with weights +1 and -1,…

This article focuses on the study of zero-sum invariants of finite non-abelian groups. We address two main problems: the first centers on the ordered Davenport constant and the second on Gao's constant. We establish a connection between the…

For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $\kappa=|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$…

Let $(X, \Gamma)$ be a free and minimal topological dynamical system, where $X$ is a separable compact Hausdorff space and $\Gamma$ is a countable infinite discrete amenable group. It is shown that if $(X, \Gamma)$ has the Uniform Rokhlin…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

In this paper we study the Cauchy problem for the semilinear damped wave equation for the sub-Laplacian on the Heisenberg group. In the case of the positive mass, we show the global in time well-posedness for small data for power like…

Let $G$ be an additive finite abelian group. A sequence over $G$ is called a minimal zero-sum sequence if the sum of its terms is zero and no proper subsequence has this property. Davenport's constant of $G$ is the maximum of the lengths of…

Let $X$ be an $n$-dimensional simply connected manifold of pinched sectional curvature $-a^2 \leq K \leq -1$. There exist a positive constant $C(n,a)$ such that for any finitely generated discrete group $\Gamma$ acting on $X$, then either…

Let $G$ be a finite group. By a sequence over $G$, we mean a finite unordered string of terms from $G$ with repetition allowed, and we say that it is a product-one sequence if its terms can be ordered so that their product is the identity…

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…

In this note we present a complete computation of the topological K-theory of the reduced C*-algebra of a semidirect product of the form $\Gamma=\mathbb{Z}^n\rtimes_\rho\mathbb{Z}/2$ with no further assumptions about of the conjugacy action…

Let $G$ be a connected semisimple real algebraic group. Assume that $G(\bb R)$ has no compact factors and let $\Gamma$ be a torsion-free uniform lattice subgroup of $G(\bb R)$. Then $\Gamma$ contains a malnormal abelian subgroup $A$. This…

Let $X$ be a compact Hausdorff space, let $\Gamma$ be a discrete group that acts continuously on $X$ from the right, define $\widetilde{X} = \{(x,\gamma) \in X \times \Gamma : x\cdot\gamma= x\}$, and let $\Gamma$ act on $\widetilde{X}$ via…

Let $\Gamma_+$ be a normal subgroup of index $2n$ of a group $\Gamma$ and $\gamma_i \in \Gamma \setminus \Gamma_+$ be involutions. We first prove that if $\Gamma = \Gamma_+ \rtimes (\mathbb{Z}_2(\gamma_1) \times \cdots \times…

Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that…

We develop a comparison, base-change, and descent framework for the algebraic $K$-theory of non-commutative $n$-ary $\Gamma$-semirings. Working in the Quillen-exact (and Waldhausen) setting of bi-finite, slot-sensitive $\Gamma$-modules and…

The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the "norm functor" is an extension of…

Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted ${\rm D}(\mathcal{S})$, is defined to be the least positive integer $\ell$ such that every sequence $T$ of elements in $\mathcal{S}$ of…

We establish a general normal subgroup theorem for commensurators of lattices in locally compact groups. While the statement is completely elementary, its proof, which rests on the original strategy of Margulis in the case of higher rank…

We give a new proof of the Cauchy-Davenport Theorem for linear maps given by Herdade et al., (2015). This theorem gives a lower bound on the size of the image of a linear map on a grid. Our proof is purely combinatorial and offers a partial…