Related papers: Two Inverse results

Let $G$ be a group. We give an explicit description of the set of elements $x \in G$ such that $x^{|G:H|} \in H$ for every subgroup of finite index $H \leqslant G$. This is related to the following problem: given two subgroups $H$ and $K$,…

A subset $S$ of a group $G$ is said to be a Vosper's subset if $|A\cup AS|\ge \min (|G|-1,|A|+|S|),$ for any subset $A$ of $G$ with $|A|\ge 2.$ In the present work, we describe Vosper's subsets. Assuming that $S$ is not a progression and…

We study finite groups $G$ having a subgroup $H$ and $D \subset G \setminus H$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it difference set}). We…

We prove the following result due to Hamidoune using an analytic approach. Suppose that A is a subset of a finite group G with |AA^{-1}| \leq (2-\varepsilon)|A|. Then there is a subgroup H of G and a set X of size O_\varepsilon(1) such that…

Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such…

Let $A$ be the ring of elements in an algebraic function field $K$ over a finite field $F_q$ which are integral outside a fixed place $\infty$. In an earlier paper we have shown that the Drinfeld modular group $G=GL_2(A)$ has automorphisms…

We prove that, given $\epsilon>0$ and $k\geq 1$, there is an integer $n$ such that the following holds. Suppose $G$ is a finite group and $A\subseteq G$ is $k$-stable. Then there is a normal subgroup $H\leq G$ of index at most $n$, and a…

We prove that a nonempty subset $B$ of a regular hypersemigroup $H$ is a bi-ideal of $H$ if and only if it is represented in the form $B=A*C$ where $A$ is a right ideal and $C$ a left ideal of $H$. We also show that an hypersemigroup $H$ is…

We study reductive subgroups $H$ of a reductive linear algebraic group $G$ -- possibly non-connected -- such that $H$ contains a regular unipotent element of $G$. We show that under suitable hypotheses, such subgroups are $G$-irreducible in…

Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an…

Let $K$ be a subgroup of a finite group $G$, and suppose that $G=KN_G(P)$ for every Sylow subgroup $P$ of $K$. Then the subgroup $K$ is normal in $G$.

Let $\mathfrak F$ be a formation and let $G$ be a group. A subgroup $H$ of $G$ is $\mathrm{K}\mathfrak F$-subnormal (submodular) in $G$ if there is a subgroup chain $H=H_0\le \ H_1 \le \ \ldots \le H_i \leq H_{i+1}\le \ldots \le \ H_n=G$…

A recent result of Balandraud shows that for every subset S of an abelian group G, there exists a non trivial subgroup H such that |TS| <= |T|+|S|-2 holds only if the stabilizer of TS contains H. Notice that Kneser's Theorem says only that…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

A proper subgroup $H$ of a group $G$ is said to be: $\Bbb{P}$-subnormal in $G$ if there exists a chain of subgroups $H=H_0 < H_1< ... < H_{n}=G$ such that $|H_{i}:H_{i-1}|$ is a prime for $i=1,...,n$; $\Bbb{P}$-abnormal in $G$ if for every…

Let $A$ be a finite dimensional $Q-$algebra and $\Gamma subset A$ a $Z-$order. We classify those $A$ with the property that $Z^2$ does not embed in $\mathcal{U}(\Gamma)$. We call this last property the hyperbolic property. We apply this in…

Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$\gamma(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm…

A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$ if every element in $Q$ can be written as $a^{-1}b$ where $a,b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on $a$…

We show that if G is a group and A is a finite subset of G with |A^2| < K|A|, then for all k there is a symmetric neighbourhood of the identity S with S^k a subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|.

Let $a$ be a non-invertible transformation of a finite set and let $G$ be a group of permutations on that same set. Then $\genset{G, a}\setminus G$ is a subsemigroup, consisting of all non-invertible transformations, in the semigroup…