Related papers: Comparing Left and Right Quotient Sets in Groups

In this paper, we classify all finite groups $G$ which have the following property: for all subsets $A \subseteq G$, we have $|AA^{-1}| = |A^{-1}A|$. This question is motivated by the problem in additive combinatorics of More Sums Than…

We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a…

Let $\mathbb{F}_q$ be a finite field of $q$ elements, for some prime power $q$, and let $G$ be a finite group. A (left) group code, or simply a $G$-code, is a (left) ideal of the group algebra $\mathbb{F}_q[G]$. In this paper, we provide a…

In this article, we show that a group $G$ is the union of two proper subsemigroups if and only if $G$ has a nontrivial left-orderable quotient. Furthermore, if $G$ is the union of two proper semigroups, then there exists a minimum normal…

A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called…

Let G be a group and let k be a cardinal. A subset A of G is called left (right) k-large if there exists a subset F of G such that |F| < { and G = FA (G = AF). We say that A is k-large if A is left and right k-large. It is known that every…

Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ 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$…

Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$…

A corollary of Kneser's theorem, one sees that any finite non-empty subset $A$ of an abelian group $G = (G,+)$ with $|A + A| \leq (2-\eps) |A|$ can be covered by at most $\frac{2}{\eps}-1$ translates of a finite group $H$ of cardinality at…

A classical result of Schreier states that nontrivial finitely generated normal subgroups of free groups are of finite index, that is, free groups can only quotient to finite groups with finitely generated kernel. In this note we extend…

Let A be a subset of an abelian group G. We say that A is sum-free if there do not exist x,y and z in A satisfying x + y = z. We determine, for any G, the cardinality of the largest sum-free subset of G. This equals c(G)|G| where c(G) is a…

Techniques of combinatorial set theory are applied to the following algebraic problem. Suppose G is an abelian group such that, for all countable subgroups C, the divisible part of the quotient G/C is countable. What can one conclude about…

For a finite abelian group $G$ and a splitting field $K$ of $G$, let $d(G, K)$ denote the largest integer $l \in \N$ for which there is a sequence $S = g_1 \cdot ... \cdot g_l$ over $G$ such that $(X^{g_1} - a_1) \cdot ... \cdot (X^{g_l} -…

Let $(G, +)$ be an abelian group. In 2004, Eliahou and Kervaire found an explicit formula for the smallest possible cardinality of the sumset $A+A$, where $A \subseteq G$ has fixed cardinality $r$. We consider instead the smallest possible…

A matching in a group G is a bijection f from a subset A to a subset B in G such that af(a) does not belong to A for all a in A. The group G is said to have the matching property if, for any finite subsets A,B in G of same cardinality with…

A subcategory $\textbf{C}$ of a groupoid $\mathbb{G}$ is a left order in $\mathbb{G}$, if every element of $\mathbb{G}$ can be written as $a^{-1}b$ where $a, b \in \textbf{C}$. A subsemigroupoid $\mathfrak{C}$ of a groupoid $\mathbb{G}$ is…

We continue the study of the lower central series L_i(A) and its successive quotients B_i(A) of a noncommutative associative algebra A, defined by L_1(A)=A, L_{i+1}(A)=[A,L_i(A)], and B_i(A)=L_i(A)/L_{i+1}(A). We describe B_{2}(A) for A a…

A subset $D$ of an Abelian group is $decomposable$ if $\emptyset\ne D\subset 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…

A subsemigroup S of a semigroup Q is a left order in Q and Q is a semigroup of left quotients of S if every element of Q can be expressed as a# b where a and b are elements of S and if, in addition, every element of S that is square…

Given a finite group $G$ and positive integers $r$ and $s$, a problem of interest in algebra is determining the minimum cardinality of the product set $AB$, where $A$ and $B$ are subsets of $G$ such that $|A|=r$ and $|B|=s$. This problem…