Skip to main content
Copy the relevant excerpt from "Asymptotic growth of finite groups" by Sarah Black (1997)
Source Link
Luc Guyot
  • 7.9k
  • 2
  • 30
  • 51

Proof of the connection of the growth functionfunctions of a residually finite group and all of its finite quotients

I was reading the following research article entitled "Asymptotic growth of finite groups""Asymptotic growth of finite groups" by S.Sarah Black. Here Prof.Professor Black statedmakes the following statement at the bottom of page 406:

Suppose $\Gamma$ isIndeed, given a f.g. residually finite group with a$\Gamma$ and finite generating set $S$. Let $(G_i)$ be a, consider the family $\mathcal{G} = (G_i)$, consisting of all finite quotient groupsquotients of $\Gamma$ with corresponding, with respective generating setsets $S_i$$\mathcal{S}$, where, for each i, $S_i$$S _i$ is the epimorphic image of $S$ under the mapping $\Gamma \rightarrow G_i$$\Gamma \twoheadrightarrow G_i$. Then the growth ofit is easy to see that $\Gamma$$\gamma_S^{\Gamma}$ and the family $(G_i)$ is$\gamma_{\mathcal{S}}^{\mathcal{G}}$ represent the same function.

Notation. Following the notation of [1, Section 1], for $n \in \mathbb{N}$ we have $$\gamma_S^{\Gamma}(n) := \left\vert \{g \in \Gamma \,\right\vert\, l_S(g) \le n \}\vert, \,\, \gamma_{\mathcal{S}}^{\mathcal{G}}(n) := \max_i \gamma_{S_i}^{G_i}(n).$$

If someone helps me get a detailed proof of the above statement, then I will be grateful to him/her forever.


[1] S. Black, "Asymptotic growth of finite groups", 1997.

Proof of the connection of the growth function of residually finite and all of its finite quotients

I was reading the following research article "Asymptotic growth of finite groups" by S. Black. Here Prof. Black stated

Suppose $\Gamma$ is a residually finite group with a finite generating set $S$. Let $(G_i)$ be a family of finite quotient groups of $\Gamma$ with corresponding generating set $S_i$ where $S_i$ is the epimorphic image of $S$ under $\Gamma \rightarrow G_i$. Then the growth of $\Gamma$ and the family $(G_i)$ is same.

If someone helps me get detailed proof of the above statement, then I will be grateful to him/her forever.

Proof of the connection of the growth functions of a residually finite group and all of its finite quotients

I was reading the research article entitled "Asymptotic growth of finite groups" by Sarah Black. Professor Black makes the following statement at the bottom of page 406:

Indeed, given a f.g. residually finite group $\Gamma$ and finite generating set $S$, consider the family $\mathcal{G} = (G_i)$, consisting of all finite quotients of $\Gamma$, with respective generating sets $\mathcal{S}$, where, for each i, $S _i$ is the epimorphic image of $S$ under the mapping $\Gamma \twoheadrightarrow G_i$. Then it is easy to see that $\gamma_S^{\Gamma}$ and $\gamma_{\mathcal{S}}^{\mathcal{G}}$ represent the same function.

Notation. Following the notation of [1, Section 1], for $n \in \mathbb{N}$ we have $$\gamma_S^{\Gamma}(n) := \left\vert \{g \in \Gamma \,\right\vert\, l_S(g) \le n \}\vert, \,\, \gamma_{\mathcal{S}}^{\mathcal{G}}(n) := \max_i \gamma_{S_i}^{G_i}(n).$$

If someone helps me get a detailed proof of the above statement, then I will be grateful to him/her forever.


[1] S. Black, "Asymptotic growth of finite groups", 1997.

fixed tags, formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

I was reading the following research article "Asymptotic Growth of Finite Groups""Asymptotic growth of finite groups" by S. Black. Here Prof. Black stated "Suppose $\Gamma$ is a residually finite group with a finite generating set $S$. Let $(G_i)$ be a family of finite quotient groups of $\Gamma$ with corresponding generating set $S_i$ where $S_i$ is the epimorphic image of $S$ under $\Gamma \rightarrow G_i$. Then the growth of $\Gamma$ and the family $(G_i)$ is same."

Suppose $\Gamma$ is a residually finite group with a finite generating set $S$. Let $(G_i)$ be a family of finite quotient groups of $\Gamma$ with corresponding generating set $S_i$ where $S_i$ is the epimorphic image of $S$ under $\Gamma \rightarrow G_i$. Then the growth of $\Gamma$ and the family $(G_i)$ is same.

If someone helps me get detailed proof of the above statement, then I will be grateful to him/her forever.

I was reading the following research article "Asymptotic Growth of Finite Groups" by S. Black. Here Prof. Black stated "Suppose $\Gamma$ is a residually finite group with a finite generating set $S$. Let $(G_i)$ be a family of finite quotient groups of $\Gamma$ with corresponding generating set $S_i$ where $S_i$ is the epimorphic image of $S$ under $\Gamma \rightarrow G_i$. Then the growth of $\Gamma$ and the family $(G_i)$ is same." If someone helps me get detailed proof of the above statement, then I will be grateful to him/her forever.

I was reading the following research article "Asymptotic growth of finite groups" by S. Black. Here Prof. Black stated

Suppose $\Gamma$ is a residually finite group with a finite generating set $S$. Let $(G_i)$ be a family of finite quotient groups of $\Gamma$ with corresponding generating set $S_i$ where $S_i$ is the epimorphic image of $S$ under $\Gamma \rightarrow G_i$. Then the growth of $\Gamma$ and the family $(G_i)$ is same.

If someone helps me get detailed proof of the above statement, then I will be grateful to him/her forever.

Source Link

Proof of the connection of the growth function of residually finite and all of its finite quotients

I was reading the following research article "Asymptotic Growth of Finite Groups" by S. Black. Here Prof. Black stated "Suppose $\Gamma$ is a residually finite group with a finite generating set $S$. Let $(G_i)$ be a family of finite quotient groups of $\Gamma$ with corresponding generating set $S_i$ where $S_i$ is the epimorphic image of $S$ under $\Gamma \rightarrow G_i$. Then the growth of $\Gamma$ and the family $(G_i)$ is same." If someone helps me get detailed proof of the above statement, then I will be grateful to him/her forever.