No Arabic abstract
A subset $D$ of an Abelian group is $decomposable$ if $emptyset e Dsubset D+D$. In the paper we give partial answer to an open problem asking whether every finite decomposable subset $D$ of an Abelian group contains a non-empty subset $Zsubset D$ with $sum Z=0$. For every $ninmathbb N$ we present a decomposable subset $D$ of cardinality $|D|=n$ in the cyclic group of order $2^n-1$ such that $sum D=0$, but $sum T e 0$ for any proper non-empty subset $Tsubset D$. On the other hand, we prove that every decomposable subset $Dsubsetmathbb R$ of cardinality $|D|le 7$ contains a non-empty subset $Zsubset D$ of cardinality $|Z|lefrac12|D|$ with $sum Z=0$. For every $ninmathbb N$ we present a subset $Dsubsetmathbb Z$ of cardinality $|D|=2n$ such that $sum Z=0$ for some subset $Zsubset D$ of cardinality $|Z|=n$ and $sum T e 0$ for any non-empty subset $Tsubset D$ of cardinality $|T|<n=frac12|D|$. Also we prove that every finite decomposable subset $D$ of an Abelian group contains two non-empty subsets $A,B$ such that $sum A+sum B=0$.
Given a family $F$ of subsets of a group $G$ we describe the structure of its thin-completion $tau^*(F)$, which is the smallest thin-complete family that contains $I$. A family $F$ of subsets of $G$ is called thin-complete if each $F$-thin subset of $G$ belongs to $F$. A subset $A$ of $G$ is called $F$-thin if for any distinct points $x,y$ of $G$ the intersection $xAcap yA$ belongs to the family $F$. We prove that the thin-completion of an ideal in an ideal. If $G$ is a countable non-torsion group, then the thin-completion $tau^*(F_G)$ of the ideal $F_G$ of finite subsets of $G$ is coanalytic but not Borel in the power-set $P_G$ of $G$.
The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For $Omega subset B(G$), let $d_{Omega}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|geq t$ has a subsequence in $Omega$.We provide some first results and open problems on $d_{Omega}(G)$.
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this paper it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any non-cyclic abelian Schur group of odd order is isomorphic to $Z_3times Z_{3^k}$ or $Z_3times Z_3times Z_p$ where $kge 1$ and $p$ is a prime. In addition, we prove that $Z_2times Z_2times Z_p$ is a Schur group for every prime $p$.
In this paper we study the generic, i.e., typical, behavior of finitely generated subgroups of hyperbolic groups and also the generic behavior of the word problem for amenable groups. We show that a random set of elements of a nonelementary word hyperbolic group is very likely to be a set of free generators for a nicely embedded free subgroup. We also exhibit some finitely presented amenable groups for which the restriction of the word problem is unsolvable on every sufficiently large subset of words.
Denote by $m(G)$ the largest size of a minimal generating set of a finite group $G$. We estimate $m(G)$ in terms of $sum_{pin pi(G)}d_p(G),$ where we are denoting by $d_p(G)$ the minimal number of generators of a Sylow $p$-subgroup of $G$ and by $pi(G)$ the set of prime numbers dividing the order of $G$.