On sequences over a finite abelian group with zero-sum subsequences of forbidden lengths

Weidong Gao; Yuanlin Li; Pingping Zhao; Jujuan Zhuang

Displaying similar documents to “On sequences over a finite abelian group with zero-sum subsequences of forbidden lengths”

Self-small products of abelian groups

Josef Dvořák, Jan Žemlička (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $A$ and $B$ be two abelian groups. The group $A$ is called $B$ -small if the covariant functor $Hom (A, -)$ commutes with all direct sums $B^{(κ)}$ and $A$ is self-small provided it is $A$ -small. The paper characterizes self-small products applying developed closure properties of the classes of relatively small groups. As a consequence, self-small products of finitely generated abelian groups are described.

Endomorphism kernel property for finite groups

Heghine Ghumashyan, Jaroslav Guričan (2022)

Mathematica Bohemica

Similarity:

A group $G$ has the endomorphism kernel property (EKP) if every congruence relation $θ$ on $G$ is the kernel of an endomorphism on $G$ . In this note we show that all finite abelian groups have EKP and we show infinite series of finite non-abelian groups which have EKP.

Number of solutions in a box of a linear equation in an Abelian group

Maciej Zakarczemny (2016)

Colloquium Mathematicae

Similarity:

For every finite Abelian group Γ and for all $g, a ₁, . . ., a_{k} \in Γ$ , if there exists a solution of the equation $\sum_{i = 1}^{k} a_{i} x_{i} = g$ in non-negative integers $x_{i} \leq b_{i}$ , where $b_{i}$ are positive integers, then the number of such solutions is estimated from below in the best possible way.

On the Davenport constant and group algebras

Daniel Smertnig (2010)

Colloquium Mathematicae

Similarity:

For a finite abelian group G and a splitting field K of G, let (G,K) denote the largest integer l ∈ ℕ for which there is a sequence $S = g ₁ \cdot . . . \cdot g_{l}$ over G such that $(X^{g ₁} - a ₁) \cdot . . . \cdot (X^{g_{l}} - a_{l}) \neq 0 \in K [G]$ for all $a ₁, . . ., a_{l} \in K^{\times}$ . If (G) denotes the Davenport constant of G, then there is the straightforward inequality (G) - 1 ≤ (G,K). Equality holds for a variety of groups, and a 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...

The density of representation degrees

Martin Liebeck, Dan Segal, Aner Shalev (2012)

Journal of the European Mathematical Society

Similarity:

For a group $G$ and a positive real number $x$ , define $d_{G} (x)$ to be the number of integers less than $x$ which are dimensions of irreducible complex representations of $G$ . We study the asymptotics of $d_{G} (x)$ for algebraic groups, arithmetic groups and finitely generated linear groups. In particular we prove an “alternative” for finitely generated linear groups $G$ in characteristic zero, showing that either there exists $α > 0$ such that $d_{G} (x) > x^{α}$ for all large $x$ , or $G$ is virtually abelian (in which case $d_{G} (x)$ is bounded). ...

On a translation property of positive definite functions

Lars Omlor, Michael Leinert (2010)

Banach Center Publications

Similarity:

If G is a locally compact group with a compact invariant neighbourhood of the identity e, the following property (*) holds: For every continuous positive definite function h≥ 0 with compact support there is a constant $C_{h} > 0$ such that $\int L_{x} h \cdot g \leq C_{h} \int h g$ for every continuous positive definite g≥0, where $L_{x}$ is left translation by x. In [L], property (*) was stated, but the above inequality was proved for special h only. That “for one h” implies “for all h” seemed obvious, but turned out not to be obvious at...

Completely bounded lacunary sets for compact non-abelian groups

Kathryn Hare, Parasar Mohanty (2015)

Studia Mathematica

Similarity:

In this paper, we introduce and study the notion of completely bounded $Λ_{p}$ sets ( $Λ_{p}^{c b}$ for short) for compact, non-abelian groups G. We characterize $Λ_{p}^{c b}$ sets in terms of completely bounded $L^{p} (G)$ multipliers. We prove that when G is an infinite product of special unitary groups of arbitrarily large dimension, there are sets consisting of representations of unbounded degree that are $Λ_{p}$ sets for all p < ∞, but are not $Λ_{p}^{c b}$ for any p ≥ 4. This is done by showing that the space of completely bounded $L^{p} (G)$ ...

On the structure of sequences with forbidden zero-sum subsequences

W. D. Gao, R. Thangadurai (2003)

Colloquium Mathematicae

Similarity:

We study the structure of longest sequences in $ℤ ₙ^{d}$ which have no zero-sum subsequence of length n (or less). We prove, among other results, that for $n = 2^{a}$ and d arbitrary, or $n = 3^{a}$ and d = 3, every sequence of c(n,d)(n-1) elements in $ℤ ₙ^{d}$ which has no zero-sum subsequence of length n consists of c(n,d) distinct elements each appearing n-1 times, where $c (2^{a}, d) = 2^{d}$ and $c (3^{a}, 3) = 9$ .

Limits of relatively hyperbolic groups and Lyndon’s completions

Olga Kharlampovich, Alexei Myasnikov (2012)

Journal of the European Mathematical Society

Similarity:

We describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free group case, the group $H$ embeds into the Lyndon’s completion $G^{ℤ [t]}$ of the group $G$ , or, equivalently, $H$ embeds into a group obtained from $G$ by finitely many extensions of centralizers. Conversely, every subgroup of $G^{ℤ [t]}$ containing $G$ is universally equivalent to $G$ . Since finitely...

Permutability of centre-by-finite groups

Brunetto Piochi (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Let $G$ be a group and $m$ be an integer greater than or equal to $2$ . $G$ is said to be $m$ -permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$ , then $G$ is $(1+[z/2])$ -permutable. More bounds are given on the least $m$ such that $G$ is $m$ -permutable.

The unit groups of semisimple group algebras of some non-metabelian groups of order $144$

Gaurav Mittal, Rajendra K. Sharma (2023)

Mathematica Bohemica

Similarity:

We consider all the non-metabelian groups $G$ of order $144$ that have exponent either $36$ or $72$ and deduce the unit group $U (𝔽_{q} G)$ of semisimple group algebra $𝔽_{q} G$ . Here, $q$ denotes the power of a prime, i.e., $q = p^{r}$ for $p$ prime and a positive integer $r$ . Up to isomorphism, there are $6$ groups of order $144$ that have exponent either $36$ or $72$ . Additionally, we also discuss how to simply obtain the unit groups of the semisimple group algebras of those non-metabelian groups of order $144$ that are a direct product of two...

A property which ensures that a finitely generated hyper-(Abelian-by-finite) group is finite-by-nilpotent

Fares Gherbi, Nadir Trabelsi (2024)

Czechoslovak Mathematical Journal

Similarity:

Let $𝔐$ be the class of groups satisfying the minimal condition on normal subgroups and let $Ω$ be the class of groups of finite lower central depth, that is groups $G$ such that $γ_{i} (G) = γ_{i + 1} (G)$ for some positive integer $i$ . The main result states that if $G$ is a finitely generated hyper-(Abelian-by-finite) group such that for every $x \in G$ , there exists a normal subgroup $H_{x}$ of finite index in $G$ satisfying $〈 x, x^{h} 〉 \in 𝔐 Ω$ for every $h \in H_{x}$ , then $G$ is finite-by-nilpotent. As a consequence of this result, we prove that a finitely generated...

On unit group of finite semisimple group algebras of non-metabelian groups up to order 72

Gaurav Mittal, Rajendra Kumar Sharma (2021)

Mathematica Bohemica

Similarity:

We characterize the unit group of semisimple group algebras $𝔽_{q} G$ of some non-metabelian groups, where $F_{q}$ is a field with $q = p^{k}$ elements for $p$ prime and a positive integer $k$ . In particular, we consider all 6 non-metabelian groups of order 48, the only non-metabelian group $((C_{3} \times C_{3}) ⋊ C_{3}) ⋊ C_{2}$ of order 54, and 7 non-metabelian groups of order 72. This completes the study of unit groups of semisimple group algebras for groups upto order 72.

How to construct a Hovey triple from two cotorsion pairs

James Gillespie (2015)

Fundamenta Mathematicae

Similarity:

Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(, \tilde{})$ and $(\tilde{},)$ in satisfying $\tilde{} \subseteq$ and $\cap \tilde{} = \tilde{} \cap$ . We show how to construct a (necessarily unique) abelian model structure on with (resp. $\tilde{}$ ) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. $\tilde{}$ ) as the class of fibrant (resp. trivially fibrant) objects.

On the diameter of the intersection graph of a finite simple group

Xuanlong Ma (2016)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group. The intersection graph $Δ_{G}$ of $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper nontrivial subgroups of $G$ , and two distinct vertices $X$ and $Y$ are adjacent if $X \cap Y \neq 1$ , where $1$ denotes the trivial subgroup of order $1$ . A question was posed by Shen (2010) whether the diameters of intersection graphs of finite non-abelian simple groups have an upper bound. We answer the question and show that the diameters...

Polycyclic groups with automorphisms of order four

Tao Xu, Fang Zhou, Heguo Liu (2016)

Czechoslovak Mathematical Journal

Similarity:

In this paper, we study the structure of polycyclic groups admitting an automorphism of order four on the basis of Neumann’s result, and prove that if $α$ is an automorphism of order four of a polycyclic group $G$ and the map $ϕ : G \to G$ defined by $g^{ϕ} = [g, α]$ is surjective, then $G$ contains a characteristic subgroup $H$ of finite index such that the second derived subgroup $H^{''}$ is included in the centre of $H$ and $C_{H} (α^{2})$ is abelian, both $C_{G} (α^{2})$ and $G / [G, α^{2}]$ are abelian-by-finite. These results extend recent and classical results in...

The evolution and Poisson kernels on nilpotent meta-abelian groups

Richard Penney, Roman Urban (2013)

Studia Mathematica

Similarity:

Let S be a semidirect product S = N⋊ A where N is a connected and simply connected, non-abelian, nilpotent meta-abelian Lie group and A is isomorphic to $ℝ^{k}$ , k>1. We consider a class of second order left-invariant differential operators on S of the form $ℒ_{α} = L^{a} + Δ_{α}$ , where $α \in ℝ^{k}$ , and for each $a \in ℝ^{k}, L^{a}$ is left-invariant second order differential operator on N and $Δ_{α} = Δ - ⟨ α, \nabla ⟩$ , where Δ is the usual Laplacian on $ℝ^{k}$ . Using some probabilistic techniques (e.g., skew-product formulas for diffusions on S and N respectively)...

Deformation theory and finite simple quotients of triangle groups I

Michael Larsen, Alexander Lubotzky, Claude Marion (2014)

Journal of the European Mathematical Society

Similarity:

Let $2 \leq a \leq b \leq c \in ℕ$ with $μ = 1 / a + 1 / b + 1 / c < 1$ and let $T = T_{a, b, c} = 〈 x, y, z : x^{a} = y^{b} = z^{c} = x y z = 1 〉$ be the corresponding hyperbolic triangle group. Many papers have been dedicated to the following question: what are the finite (simple) groups which appear as quotients of $T$ ? (Classically, for $(a, b, c) = (2, 3, 7)$ and more recently also for general $(a, b, c)$ .) These papers have used either explicit constructive methods or probabilistic ones. The goal of this paper is to present a new approach based on the theory of representation varieties (via deformation theory). As a corollary we essentially...