English
Related papers

Related papers: Rational Growth in Virtually Abelian Groups

200 papers

Let $G$ be a virtually special group. Then the residual finiteness growth of $G$ is at most linear. This result cannot be found by embedding $G$ into a special linear group. Indeed, the special linear group $\text{SL}_k(\mathbb{Z})$, for $k…

Group Theory · Mathematics 2014-10-27 Khalid Bou-Rabee , Mark F. Hagen , Priyam Patel

Given a group $G$ and a family of subgroups $\mathcal{F}$, we consider its classifying space $E_{\mathcal F}G$ with respect to $\mathcal{F}$. When $\mathcal F = \mathcal{VC}yc$ is the family of virtually cyclic subgroups, Juan-Pineda and…

Group Theory · Mathematics 2017-08-28 Timm von Puttkamer , Xiaolei Wu

The residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ of a finitely generated group $G$ is a function that gives the smallest value of the index $[G:N]$ with $N$ a normal subgroup not containing a non-trivial element $g$,…

Group Theory · Mathematics 2026-03-26 Jonas Deré , Joren Matthys , Lukas Vandeputte

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

Group Theory · Mathematics 2017-08-02 Vítězslav Kala

Let $\mathcal{C}$ be a class of finite groups closed for subgroups, quotients groups and extensions. Let $\Gamma$ be a finite simplicial graph and $G = G_{\Gamma}$ be the corresponding pro-$\mathcal C$ RAAG. We show that if $N$ is a…

Group Theory · Mathematics 2023-05-08 Dessislava Kochloukova , Pavel Zalesskii

We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, its growth blows up and is necessarily exponential. As a direct consequence, no infinite virtually nilpotent group can be generated…

Formal Languages and Automata Theory · Computer Science 2017-09-05 Ines Klimann

In a recent paper, Henry Bradford showed that all sufficiently fast growing functions appear as the residual finiteness growth function of some group. In this paper we show that the groups there constructed are conjugacy separable and that…

Group Theory · Mathematics 2024-10-16 Lukas Vandeputte

We show that if a group contains $\mathbb{Z}^n \times F_m$ as a finite-index subgroup, then its cogrowth series is the diagonal of a rational function for every generating set. This answers a question of Pak and Soukup on the cogrowth of…

Group Theory · Mathematics 2023-01-19 Alex Bishop

Given an abstract group $G$, we study the function $ab_n(G) := \sup_{|G:H| \leq n} |H/[H,H]|$. If $G$ has no abelian composition factors, then $ab_n(G)$ is bounded by a polynomial: as a consequence, we find a sharp upper bound for the…

Group Theory · Mathematics 2022-10-10 Luca Sabatini

We introduce a new invariant of finitely generated groups, the ambiguity function, and prove that every finitely generated acylindrically hyperbolic group has a linearly bounded ambiguity function. We use this result to prove that the…

Group Theory · Mathematics 2020-10-14 Eduard Schesler

Let $G$ be a toral relatively hyperbolic group, and let $\varphi\in\mathrm{Aut}(G)$. We prove that, under iteration of $\varphi$, the conjugacy length $||\varphi^n(g)||$ of every element $g\in G$ grows like $n^d\lambda^n$ for some…

Group Theory · Mathematics 2025-12-08 Rémi Coulon , Arnaud Hilion , Camille Horbez , Gilbert Levitt

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…

Group Theory · Mathematics 2022-05-02 Laura Ciobanu , Albert Garreta

We study the regularity of several languages derived from conjugacy classes in a finitely generated group G for a variety of examples including word hyperbolic, virtually abelian, Artin, and Garside groups. We also determine the rationality…

Group Theory · Mathematics 2014-01-29 Laura Ciobanu , Susan Hermiller , Derek Holt , Sarah Rees

If $g\in G$ is a non-trivial element in a residually finite group, then there exists by definition a finite group $Q$ and a homomorphism $\varphi: G \to Q$ such that $\varphi(g) \neq e$. The residual finiteness growth $\text{RF}_G$ of a…

Group Theory · Mathematics 2025-10-27 Jonas Deré , Joren Matthys

We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a…

Group Theory · Mathematics 2018-05-22 Pedro V. Silva , Alexander Zakharov

In this paper, we prove a series of results on group embeddings in groups with a small number of generators. We show that each finitely generated group $G$ lying in a variety ${\mathcal M}$ can be embedded in a $4$-generated group $H \in…

Group Theory · Mathematics 2020-09-22 Vitaly Roman'kov

We study the HNN extension of $\mathbb{Z}^m$ given by the cubing endomorphism $g\mapsto g^3$, and prove that such groups have rational growth. To do so, we describe a method of computing the subgroup growth series of the horocyclic subgroup…

Group Theory · Mathematics 2017-07-05 Ayla P. Sánchez , Michael Shapiro

This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup $(G,+)$ of rationals, two main questions are addressed: first, what are the model-theoretic…

Logic in Computer Science · Computer Science 2019-01-18 Ziyuan Gao , Sanjay Jain , Bakhadyr Khoussainov , Wei Li , Alexander Melnikov , Karen Seidel , Frank Stephan

Let $G$ be an acylindrically hyperbolic group on a $\delta$-hyperbolic space $X$. Assume there exists $M$ such that for any finite generating set $S$ of $G$, the set $S^M$ contains a hyperbolic element on $X$. Suppose that $G$ is…

Group Theory · Mathematics 2023-06-12 Koji Fujiwara

A finite group $G$ is called uniformly semi-rational if there exists an integer $r$ such that the generators of every cyclic sugroup $\langle x \rangle$ of $G$ lie in at most two conjugacy classes, namely $x^G$ or $(x^r)^G$. In this paper,…

Group Theory · Mathematics 2024-10-16 Marco Vergani