Related papers: Geometric group theory and arithmetic diameter
The diameter of a finite group $G$ with respect to a generating set $A$ is the smallest non-negative integer $n$ such that every element of $G$ can be written as a product of at most $n$ elements of $A \cup A^{-1}$. We denote this invariant…
The diameter of the spectral pseudometric on the universal cover of the Hamiltonian diffeomorphism group of $\mathrm{Gr}(2,p)$ is shown to be finite whenever $p$ is a prime number. On the other hand, it is shown that the diameter is…
We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite.…
Given a finite group $G$ and a generating set $S \subseteq G$, the diameter $diam(G,S)$ is the least integer $n$ such that every element of $G$ is the product of at most $n$ elements of $S$. In this paper, for bounded $|S|$, we characterize…
Let G be a compact connected Lie group with trivial center. Using the action of G on its Lie algebra, we define an operator norm | |_{G} which induces a bi-invariant metric d_G(x,y)=|Ad(yx^{-1})|_{G} on G. We prove the existence of a…
We define the positive diameter of a finite group $G$ with respect to a generating set $A\subset G$ to be the smallest non-negative integer $n$ such that every element of $G$ can be written as a product of at most $n$ elements of $A$. This…
A metric space (X,d) is declared to be natural if (X,d) determines an up to isomorphism unique group structure (X,+) on the set X such that all the group translations and group inversion are isometries. A group is called natural if it…
Given a dense countable set in a metric space, the infinite random geometric graph is the random graph with the given vertex set and where any two points at distance less than 1 are connected, independently, with some fixed probability. It…
Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any…
We use differential forms on loop spaces to prove that the fundamental group of certain geometric transformation groups is infinite. Examples include both finite and infinite dimensional Lie groups. The finite dimensional examples are the…
If $G$ is a finite group and $k =q>2$ or $k=q+1$ for a prime power $q$ then, for infinitely many integers $v$, there is a $2$-$(v,k,1)$-design ${\bf D}$ for which ${\rm Aut} {\bf D}\cong G$.
An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…
We prove a strong general-purpose bound for the diameter of a finite group depending only on the diameters of its composition factors and the maximal exponent of a normal abelian section. There are a number of notable applications: (1) if…
Let $(X,d)$ be an unbounded metric space and $\tilde r=(r_n)_{n\in\mathbb N}$ be a scaling sequence of positive real numbers tending to infinity. We define the pretangent space $\Omega_{\infty, \tilde r}^{X}$ to $(X, d)$ at infinity as a…
We consider the fundamental group $\pi$ of a surface of finite type equipped with the infinite generating set consisting of all simple closed curves. We show that every nilpotent quotient of $\pi$ has finite diameter with respect to the…
Let $Y$ be a compact metric space, $G$ be a group acting by transformations on $Y$. For any infinite subset $A\subset Y$, we study the density of $gA$ for $g\in G$ and quantitative density of the set $\displaystyle{\bigcup_{g\in G_n}gA}$ by…
Recently George Bergman proved that the symmetric group of an infinite set possesses the following property which we call by the {\it universality of finite width}: given any generating set $X$ of the symmetric group of an infinite set…
We consider a class of graphs subject to certain restrictions, including the finiteness of diameters. Any surjective mapping $\phi:\Gamma\to\Gamma'$ between graphs from this class is shown to be an isomorphism provided that the following…
Let $G$ be the first Grigorchuk group. We show that the commutator width of $G$ is $2$: every element $g\in [G,G]$ is a product of two commutators, and also of six conjugates of $a$. Furthermore, we show that every finitely generated…
A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. The main theorem of the paper is as follows. Let G be a finitely generated, large group and let g_1,...,g_r be a…