Almost all one-relator groups with at least three generators are residually finite

Mark V. Sapir; Iva Špakulová

Displaying similar documents to “Almost all one-relator groups with at least three generators are residually finite”

Limits of relatively hyperbolic groups and Lyndon’s completions

Olga Kharlampovich, Alexei Myasnikov (2012)

Journal of the European Mathematical Society

Similarity:

We describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free group case, the group $H$ embeds into the Lyndon’s completion $G^{ℤ [t]}$ of the group $G$ , or, equivalently, $H$ embeds into a group obtained from $G$ by finitely many extensions of centralizers. Conversely, every subgroup of $G^{ℤ [t]}$ containing $G$ is universally equivalent to $G$ . Since finitely...

Compactifications of ℕ and Polishable subgroups of $S_{\infty}$

Todor Tsankov (2006)

Fundamenta Mathematicae

Similarity:

We study homeomorphism groups of metrizable compactifications of ℕ. All of those groups can be represented as almost zero-dimensional Polishable subgroups of the group $S_{\infty}$ . As a corollary, we show that all Polish groups are continuous homomorphic images of almost zero-dimensional Polishable subgroups of $S_{\infty}$ . We prove a sufficient condition for these groups to be one-dimensional and also study their descriptive complexity. In the last section we associate with every Polishable ideal on ℕ...

The density of representation degrees

Martin Liebeck, Dan Segal, Aner Shalev (2012)

Journal of the European Mathematical Society

Similarity:

For a group $G$ and a positive real number $x$ , define $d_{G} (x)$ to be the number of integers less than $x$ which are dimensions of irreducible complex representations of $G$ . We study the asymptotics of $d_{G} (x)$ for algebraic groups, arithmetic groups and finitely generated linear groups. In particular we prove an “alternative” for finitely generated linear groups $G$ in characteristic zero, showing that either there exists $α > 0$ such that $d_{G} (x) > x^{α}$ for all large $x$ , or $G$ is virtually abelian (in which case $d_{G} (x)$ is bounded). ...

Deformation theory and finite simple quotients of triangle groups I

Michael Larsen, Alexander Lubotzky, Claude Marion (2014)

Journal of the European Mathematical Society

Similarity:

Let $2 \leq a \leq b \leq c \in ℕ$ with $μ = 1 / a + 1 / b + 1 / c < 1$ and let $T = T_{a, b, c} = 〈 x, y, z : x^{a} = y^{b} = z^{c} = x y z = 1 〉$ be the corresponding hyperbolic triangle group. Many papers have been dedicated to the following question: what are the finite (simple) groups which appear as quotients of $T$ ? (Classically, for $(a, b, c) = (2, 3, 7)$ and more recently also for general $(a, b, c)$ .) These papers have used either explicit constructive methods or probabilistic ones. The goal of this paper is to present a new approach based on the theory of representation varieties (via deformation theory). As a corollary we essentially...

Groups of given intermediate word growth

Laurent Bartholdi, Anna Erschler (2014)

Annales de l’institut Fourier

Similarity:

We show that there exists a finitely generated group of growth $\sim f$ for all functions $f : ℝ_{+} \to ℝ_{+}$ satisfying $f (2 R) \leq f {(R)}^{2} \leq f (η_{+} R)$ for all $R$ large enough and $η_{+} \approx 2.4675$ the positive root of $X^{3} - X^{2} - 2 X - 4$ . Set $α_{-} = log 2 / log η_{+} \approx 0.7674$ ; then all functions that grow uniformly faster than $exp (R^{α_{-}})$ are realizable as the growth of a group. We also give a family of sum-contracting branched groups of growth $\sim exp (R^{α})$ for a dense set of $α \in [α_{-}, 1]$ .

A problem of Kollár and Larsen on finite linear groups and crepant resolutions

Robert Guralnick, Pham Tiep (2012)

Journal of the European Mathematical Society

Similarity:

The notion of age of elements of complex linear groups was introduced by M. Reid and is of importance in algebraic geometry, in particular in the study of crepant resolutions and of quotients of Calabi–Yau varieties. In this paper, we solve a problem raised by J. Kollár and M. Larsen on the structure of finite irreducible linear groups generated by elements of age $\leq 1$ . More generally, we bound the dimension of finite irreducible linear groups generated by elements of bounded deviation....

On normal subgroups of compact groups

Nikolay Nikolov, Dan Segal (2014)

Journal of the European Mathematical Society

Similarity:

Among compact Hausdorff groups $G$ whose maximal profinite quotient is finitely generated, we characterize those that possess a proper dense normal subgroup. We also prove that the abstract commutator subgroup $[H, G]$ is closed for every closed normal subgroup $H$ of $G$ .

On unit group of finite semisimple group algebras of non-metabelian groups up to order 72

Gaurav Mittal, Rajendra Kumar Sharma (2021)

Mathematica Bohemica

Similarity:

We characterize the unit group of semisimple group algebras $𝔽_{q} G$ of some non-metabelian groups, where $F_{q}$ is a field with $q = p^{k}$ elements for $p$ prime and a positive integer $k$ . In particular, we consider all 6 non-metabelian groups of order 48, the only non-metabelian group $((C_{3} \times C_{3}) ⋊ C_{3}) ⋊ C_{2}$ of order 54, and 7 non-metabelian groups of order 72. This completes the study of unit groups of semisimple group algebras for groups upto order 72.

On the Davenport constant and group algebras

Daniel Smertnig (2010)

Colloquium Mathematicae

Similarity:

For a finite abelian group G and a splitting field K of G, let (G,K) denote the largest integer l ∈ ℕ for which there is a sequence $S = g ₁ \cdot . . . \cdot g_{l}$ over G such that $(X^{g ₁} - a ₁) \cdot . . . \cdot (X^{g_{l}} - a_{l}) \neq 0 \in K [G]$ for all $a ₁, . . ., a_{l} \in K^{\times}$ . If (G) denotes the Davenport constant of G, then there is the straightforward inequality (G) - 1 ≤ (G,K). Equality holds for a variety of groups, and a conjecture of W. Gao et al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups G for...

Finite groups whose all proper subgroups are $𝒞$ -groups

Pengfei Guo, Jianjun Liu (2018)

Czechoslovak Mathematical Journal

Similarity:

A group $G$ is said to be a $𝒞$ -group if for every divisor $d$ of the order of $G$ , there exists a subgroup $H$ of $G$ of order $d$ such that $H$ is normal or abnormal in $G$ . We give a complete classification of those groups which are not $𝒞$ -groups but all of whose proper subgroups are $𝒞$ -groups.

The number of absorbed individuals in branching brownian motion with a barrier

Pascal Maillard (2013)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

We study supercritical branching Brownian motion on the real line starting at the origin and with constant drift $c$ . At the point $x g t; 0$ , we add an absorbing barrier, i.e. individuals touching the barrier are instantly killed without producing offspring. It is known that there is a critical drift $c_{0}$ , such that this process becomes extinct almost surely if and only if $c \geq c_{0}$ . In this case, if $Z_{x}$ denotes the number of individuals absorbed at the barrier, we give an asymptotic for $P (Z_{x} = n)$ as $n$ goes to infinity....

The Ribes-Zalesskii property of some one relator groups

Gilbert Mantika, Narcisse Temate-Tangang, Daniel Tieudjo (2022)

Archivum Mathematicum

Similarity:

The profinite topology on any abstract group $G$ , is one such that the fundamental system of neighborhoods of the identity is given by all its subgroups of finite index. We say that a group $G$ has the Ribes-Zalesskii property of rank $k$ , or is RZ $_{k}$ with $k$ a natural number, if any product $H_{1} H_{2} \dots H_{k}$ of finitely generated subgroups $H_{1}, H_{2}, \dots, H_{k}$ is closed in the profinite topology on $G$ . And a group is said to have the Ribes-Zalesskii property or is RZ if it is RZ $_{k}$ for any natural number $k$ . In this paper we characterize...

Spectra of elements in the group ring of SU(2)

Alex Gamburd, Dmitry Jakobson, Peter Sarnak (1999)

Journal of the European Mathematical Society

Similarity:

We present a new method for establishing the ‘‘gap” property for finitely generated subgroups of $SU (2)$ , providing an elementary solution of Ruziewicz problem on $S^{2}$ as well as giving many new examples of finitely generated subgroups of $SU (2)$ with an explicit gap. The distribution of the eigenvalues of the elements of the group ring $𝐑 [SU (2)]$ in the $N$ -th irreducible representation of $SU (2)$ is also studied. Numerical experiments indicate that for a generic (in measure) element of $𝐑 [SU (2)]$ , the “unfolded” consecutive...

A note on normal generation and generation of groups

Andreas Thom (2015)

Communications in Mathematics

Similarity:

In this note we study sets of normal generators of finitely presented residually $p$ -finite groups. We show that if an infinite, finitely presented, residually $p$ -finite group $G$ is normally generated by $g_{1}, \dots, g_{k}$ with order $n_{1}, \dots, n_{k} \in {1, 2, \dots} \cup {\infty}$ , then $β_{1}^{(2)} (G) \leq k - 1 - \sum_{i = 1}^{k} \frac{1}{n_{i}},$ where $β_{1}^{(2)} (G)$ denotes the first $ℓ^{2}$ -Betti number of $G$ . We also show that any $k$ -generated group with $β_{1}^{(2)} (G) \geq k - 1 - ε$ must have girth greater than or equal $1 / ε$ .

The unit groups of semisimple group algebras of some non-metabelian groups of order $144$

Gaurav Mittal, Rajendra K. Sharma (2023)

Mathematica Bohemica

Similarity:

We consider all the non-metabelian groups $G$ of order $144$ that have exponent either $36$ or $72$ and deduce the unit group $U (𝔽_{q} G)$ of semisimple group algebra $𝔽_{q} G$ . Here, $q$ denotes the power of a prime, i.e., $q = p^{r}$ for $p$ prime and a positive integer $r$ . Up to isomorphism, there are $6$ groups of order $144$ that have exponent either $36$ or $72$ . Additionally, we also discuss how to simply obtain the unit groups of the semisimple group algebras of those non-metabelian groups of order $144$ that are a direct product of two...