Related papers: Comparing Left and Right Quotient Sets in Groups

Let $D$ be a division ring of fractions of a crossed product $F[G,\eta,\alpha]$ where $F$ is a skew field and $G$ is a group with Conradian left-order $\leq$. For $D$ we introduce the notion of freeness with respect to $\leq$ and show that…

A subsemigroup S of a semigroup Q is a local left order in Q if, for every maximal subgroup H of Q, the intersection of S with H is a local left order in the sense of group theory. That is, every q in H can be written as a#b for some a,b in…

We establish a connection between two variants of van der Corput's Difference Theorem (vdCDT) for countably infinite amenable groups $G$ and the ergodic hierarchy of mixing properties of a unitary representation $U$ of $G$. In particular,…

A subset $X$ of an Abelian group $G$ is called $midconvex$ if for every $x,y\in X$ the set $\frac{x+y}2=\{z\in G:2z=x+y\}$ is a subset of $X$. We prove that a subset $X$ of an Abelian group $G$ is midconvex if and only if for every $g\in G$…

Let $F_n$ be a free group of rank $n$, with free generating set $X$. A subset $D$ of $F_n$ is a \emph{Distinct Difference Configuration} if the differences $g^{-1}h$ are distinct, where $g$ and $h$ range over all (ordered) pairs of distinct…

Every left-invariant ordering of a group is either discrete, meaning there is a least element greater than the identity, or dense. Corresponding to this dichotomy, the spaces of left, Conradian, and bi-orderings of a group are naturally…

Let $d \geq 4$ be a natural number and let $A$ be a finite, non-empty subset of $\mathbb{R}^d$ such that $A$ is not contained in a translate of a hyperplane. In this setting, we show that \[ |A-A| \geq \bigg(2d - 2 + \frac{1}{d-1} \bigg)…

Let $A$ be a nonempty finite subset of an additive abelian group $G$. Define $A + A := \{a + b : a, b \in A\}$ and $A \dotplus A := \{a + b : a, b \in A~\text{and}~ a \neq b\}$. The set $A$ is called a {\em sum-dominant (SD) set} if $|A +…

Let $\mathbb{A} = (A, \cdot)$ be a semigroup. We generalize some recent results by G. A. Freiman, M. Herzog and coauthors on the structure theory of set addition from the context of linearly orderable groups to linearly orderable…

The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for $L^{2}(\R^{d})$ if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality…

We introduce a notion of left homotopy for Maurer--Cartan elements in $L_{\infty}$-algebras and $A_{\infty}$-algebras, and show that it corresponds to gauge equivalence in the differential graded case. From this we deduce a short formula…

Using the geometric quotient of a real algebraic set by the action of a finite group G, we construct invariants of GAS sets with respect to equivariant homeomorphisms with AS-graph, including additive invariants with values in Z.

Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…

A dominating set of a graph $G$ is a subset $D \subseteq V_G$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is the domination number…

We present two criteria for a group $G$ to satisfy the following statements: any $G$-graded gr-prime (gr-semiprime) right gr-Goldie ring admits a gr-semisimple graded right classical quotient ring. The criterion for gr-semiprime rings is…

The kernel of the natural projection of a graph product of groups onto their direct product is called the Cartesian subgroup of the graph product. This construction generalises commutator subgroups of right-angled Coxeter and Artin groups.…

In this paper we discuss some of the key properties of sum-free subsets of abelian groups. Our discussion has been designed with a broader readership in mind, and is hence not overly technical. We consider answers to questions like: how…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit…

We prove that for any finite set A of real numbers its difference set D:=A-A has large product set and quotient set, namely, |DD|, |D/D| \gg |D|^{1+c}, where c>0 is an absolute constant. A similar result takes place in the prime field F_p…

Let $D_{2n}=\langle x,y\mid x^n=1, y^2=1, yxy=x^{-1}\rangle$ be a dihedral group, and $R={\rm GR}(p^2,m)$ be a Galois ring of characteristic $p^2$ and cardinality $p^{2m}$ where $p$ is a prime. Left ideals of the group ring $R[D_{2n}]$ are…