The profinite-groups tag has no wiki summary.

**4**

votes

**0**answers

91 views

### Improvements of the Reidemeister-Schreier index formula for particular classes of groups

I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then
$$d(H) \le (d-1) ...

**14**

votes

**0**answers

230 views

### Is the absolute Galois group of the rationals Hopfian?

Is every continuous epimorphism from the absolute Galois group of $\mathbb{Q}$ to itself injective?

**3**

votes

**0**answers

77 views

### Is there a Noetherian profinite group of infinite rank?

Is there a profinite group $G$ such that any closed subgroup $H \leq G$ is finitely generated, but there is no $n \in \mathbb{N}$ such that every closed subgroup of $G$ can be generated by at most $n$ ...

**2**

votes

**0**answers

93 views

### Torsion in profinite groups

Is there a finitely generated profinite group $G$ with a closed subgroup of infinite index $K \leq G$ such that for every $g \in G$ there exists some $n \in \mathbb{N}$ for which $g^n \in K$ ?
Can ...

**6**

votes

**1**answer

226 views

### Do free profinite groups satisfy Howson's theorem?

Let $F$ be a free profinite group, and let $A,B \leq F$ be finitely generated closed subgroups. Must $A \cap B$ be finitely generated?

**1**

vote

**0**answers

56 views

### Free profinite products

Let $F$ be a nonabelian finitely generated free profinite group, and let $x \in F$. Must there be some $1 \neq y \in F$ such that $\langle x,y \rangle$ is isomorphic to the free profinite product of ...

**4**

votes

**0**answers

81 views

### Is a finitely generated subgroup of a free profinite group virtually a retract?

Let $F$ be a nonabelian finitely generated free profinite group, and let $H \leq F$ be a finitely generated closed subgroup. Must there be some open subgroup $H \leq U \leq F$, and a closed normal ...

**1**

vote

**0**answers

84 views

### continuous homomorphism with open image in a product topological space

I originally posted the problem below in MathSE, but I deleted it since it is not receiving any attention. So I decided to transfer the question here instead.
Let $G$ be a profinite group and $I$ ...

**3**

votes

**1**answer

117 views

### Schreier's formula and supersolvable groups

A finitely generated profinite group $G$ is said to satisfy Schreier's formula if for every open subgroup $L \leq_o G$ we have $d(L) = (d(G)-1)[G:L] + 1$. Here $d$ stands for the smallest cardinality ...

**1**

vote

**0**answers

92 views

### Can a profinite completion be free pro-p?

Is there a prime number $p$ and a finitely generated residually finite group whose profinite completion is a free pro-$p$ group on a nonempty finite set?
Thanks to YCor we see that we cannot take the ...

**5**

votes

**1**answer

202 views

### A hyperbolic group with a small profinite completion

Is there a finitely generated non-elementary word hyperbolic group the profinite completion of which is known (or conjectured) to be rather restricted, that is: abelian, pro-$p$, virtually ...

**3**

votes

**0**answers

143 views

### Growth of the number of generators in hyperbolic groups

Let $G$ be an infinite hyperbolic group, and let us further assume that it is residually finite (or even LERF/GFERF) so that we have plenty of subgroups of finite index.
I would like to know if one ...

**2**

votes

**1**answer

128 views

### Measuring products of finitely generated subgroups of free groups

Let $F$ be a finitely generated free group, $H_1, \dots, H_n$ finitely generated subgroups of infinite index in $F$, and $\epsilon > 0$. Must there be an epimorphism to a finite group $\phi \colon ...

**8**

votes

**2**answers

291 views

### Can a positive measure subset of a free group be nowhere dense?

Let $F$ be a finitely generated free group and let $S \subseteq F$ be a subset for which there is some $\epsilon > 0$ such that for any epimorphism to a finite group $\phi \colon F \to G$ we have ...

**5**

votes

**1**answer

204 views

### Is there a left orderable profinite group?

Is there a profinite group $G$ with a binary transitive relation $<$ such that for any different $x,y \in G$ either $x < y$ or $y < x$ and such that for any $x,y,z \in G$ we have that $x < ...

**4**

votes

**0**answers

145 views

### Is there a nontrivial profinite word which is trivial in any group with at most d generators?

Let $F$ be a free profinite group of rank $\aleph_0$, and let $d \in \mathbb{N}$.
Let $N_d \lhd_c F$ be the intersection of all open normal subgroups $L \lhd_o F$ for which $F/L$ can be generated by ...

**1**

vote

**0**answers

51 views

### Exhausting a free pro-p group

Recall that for a profinite group $G$ we define the subgroup rank to be $$\sup \{d(H): H \leq_c G\}$$ where $d(H)$ stands for the minimal cardinality of a set of topological generators of $H$.
Let ...

**3**

votes

**0**answers

77 views

### A Karrass-Solitar or Ivanov-Schupp for profinite groups

Let $F$ be a nonabelian free profinite group, $H \leq_c F$ finitely generated with $[F:H] = \infty$. Must there be some $\{1\} \neq N \lhd_c F$ such that $N \cap H = \{1\}$?

**0**

votes

**0**answers

108 views

### Thin profinite groups - nonabelian analogues of p-adic integers

Let $p$ be a prime number, $S = C_p$ a cyclic group of order $p$, $G = \mathbb{Z}_p$ the profinite additive group of $p$-adic integers. It is well known that all the closed nontrivial subgroups of $G$ ...

**6**

votes

**1**answer

276 views

### discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map ...

**1**

vote

**0**answers

111 views

### An epimorphism into a profinite group

Let $p$ be an odd prime number, $G$ a finitely generated nonabelian profinite group, $L \lhd_o G$ a pro-$p$ group with $[G : L] = 2$. Suppose that there is a continuous surjection from $G$ onto a free ...

**1**

vote

**0**answers

68 views

### Bases for free pro-p groups

Let $p$ be a prime number, $F$ a free nonabelian finitely generated pro-$p$ group, $L \lhd_o F$ and $Y$ a basis for $L$ with $y \in Y$. Is there a basis $X$ for $F$ such that $y$ is in the abstract ...

**0**

votes

**0**answers

79 views

### Dense free subgroups

Let $F$ be a free pro-$p$ group (for a prime number $p$) on a finite set $X$, $\Phi$ the abstract subgroup generated by $X$, $\{1\} \neq N \lhd_c F$. Is it possible that $\Phi \cap N = \{1\}$?

**1**

vote

**0**answers

46 views

### Lower central series in a free pro-p group

Let $F$ be a nonabelian finitely generated free pro-$p$ group, $H \leq_c F$ of infinite index. Denote by $\{F_n\}_{n \in \mathbb{N}}$ the lower central series of $F$, and set $r_n = [F : F_nH]$.
Is ...

**0**

votes

**0**answers

68 views

### A bound on the size of the center

Let $p$ be a prime number, $F$ a free pro-$p$ group, $H \leq_c F$ of infinite index. Can it be that $$\sup_{N \lhd_o F} |Z((F/N)/C_{F/N}(HN/N))| < \infty ?$$

**1**

vote

**0**answers

170 views

### Finite Cohomology and free groups

Let $F$ be a finitely generated nonabelian free profinite group, $p$ a prime number, $L \lhd_o F$ with $[F : L]$ coprime to $p$, $N \lhd_c^\infty F$ contained in $L$ with $L/N$ pro-$p$, and $N \leq H ...

**1**

vote

**0**answers

139 views

### Accessible subgroups of free groups

Let $F$ be a nonabelian free finitely generated group, and $F = G_0 \rhd G_1 \rhd G_2 \dots$ a strictly descending subnormal chain of subgroups ($G_n \lhd G_{n-1}$ for each $n \in \mathbb{N}$) each ...

**4**

votes

**2**answers

225 views

### Canonical presentation of pro-modules over pro-rings

Let $A = (\dotsc \twoheadrightarrow A_2 \twoheadrightarrow A_1 \twoheadrightarrow A_0)$ be a (commutative) pro-ring with surjective transition maps. Consider the category $\mathcal{M} := \varprojlim_i ...

**7**

votes

**1**answer

274 views

### When is the profinite completion a pro-$p$ group?

My research area is mainly pro-$p$ groups and profinite groups. However, in the last few year I became also interested in discrete groups. Therefore, it seems to me a natural problem to look for ...

**2**

votes

**1**answer

298 views

### Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group.
Is every closed subgroup of ...

**3**

votes

**1**answer

167 views

### Faithful representations of free pro-p groups

Let $p$ be a prime number, $m,n \in \mathbb{N}$, $F = F(p,m)$ be the free pro-$p$ group on $m$ generators. For which $(m,n)$ there is a continuous faithful representation (embedding) $\rho : F ...

**2**

votes

**1**answer

233 views

### Can a closure make the index finite?

Let $F$ be a free finitely generated group, $H \leq F$ of infinite index. Let $c : F \rightarrow \hat{F}$ be the embedding in the profinite completion. Denote by $\tilde{F}, \tilde{H}$ the closure of ...

**2**

votes

**1**answer

195 views

### Making a profinite group free

Let $F$ be a free profinite group, $G$ a profinite group. Suppose that the free profinite product $F \amalg G$ is a free profinite group. Must $G$ be a free profinite group?
For abstract groups the ...

**6**

votes

**2**answers

226 views

### Union of conjugates of a closed subgroup of a compact group

Let $G$ be a compact Hausdorff group, $H \leq G$ a closed subgroup of infinite index in $G$.
Is it possible that the conjugates of $H$ cover some open neighbourhood of $1$ in $G$ (or the whole of ...

**3**

votes

**1**answer

211 views

### Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...

**4**

votes

**1**answer

165 views

### Generators of Sylow subgroups

Is there a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for each finite supersolvable group $G$, and a Sylow subgroup $S \leq G$ we have $d(S) \leq f(d(G))$?
Here $d(H)$ denotes the ...

**1**

vote

**0**answers

105 views

### Actions and representations of profinite groups

Let $p$ be a prime number, and denote by $\mathbb{Z}_p$ the additive profinite group of p-adic integers. Let $G$ be a finitely generated profinite group of order coprime to $p$, and $V = ...

**3**

votes

**0**answers

197 views

### Profinite groups, completions, and Schreier's formula

Let $G$ be a finitely generated profinite group, and $H \leq_o G$. We say that $H$ satisfies Schreier's formula in $G$ if $d(H) - 1 = (d(G)-1)[G:H]$. We say that $G$ satisfies Schreier's formula if ...

**4**

votes

**2**answers

324 views

### Profinite completions

I call a profinite group $G$ Noetherian, if evrey ascending chain of closed subgroups is eventually stable. A standart argument shows that every closed subgroup of a Noetherian profinite group is ...

**4**

votes

**0**answers

186 views

### Schreier's formula and descending chains

For a group $G$ we denote by $d(G)$ the cardinality of a smallest set of generators.
A finitely generated group $G$ is said to satisfy Schreier's formula if for every subgroup $H \subseteq G$ of ...

**2**

votes

**0**answers

94 views

### Coprime automorphisms of finitely generated pro-$p$ groups

Let $P$ be a finitely generated pro-$p$ group and let $G$ be a semidirect product $P \rtimes A$, where $A$ is a finite group of order coprime to $p$ that acts faithfully on $P$. Then one can show ...

**2**

votes

**0**answers

89 views

### Free profinite completions

Let $m,n \in \mathbb{N}$. Which residually finite groups $G$ generated by $m$ elements, have the free profinite group on $n$ generators as their profinite completion?

**3**

votes

**0**answers

108 views

### Automorphisms of profinite groups

Let $d,n \in \mathbb{N}$, and $p$ a prime number. Let $F$ be a free pro-$p$ group on $d$ generators. Is there an automorphism of $F$ of order $n$?

**5**

votes

**1**answer

240 views

### Is any finitely generated nilpotent pro-$p$ group necessarily the pro-$p$ completion of some finitely generated nilpotent group?

While thinking about this question, I was led to the following question:
My question: Let $G$ be a topologically finitely generated pro-$p$ nilpotent group. Does there exist a finitely generated ...

**4**

votes

**3**answers

550 views

### Action of a profinite group

Let $G$ be a finitely generated profinite group, $p$ a prime number. Put $$ V = \prod_{i \in I} \mathbb{Z}_p$$ a (profinite) group equipped with the product topology (for convenience, $I$ may be ...

**4**

votes

**1**answer

271 views

### Normal Subgroup Growth

Let $F$ be a free group on $d$ generators.
Denote by $F_{k}$ the $k$-th term in $F$'s derived series. Put $G = F/F_k$. What is the normal subgroup growth of $G$?
Explicitly, for each natural number ...

**4**

votes

**2**answers

280 views

### Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...

**3**

votes

**1**answer

612 views

### Relations between the cohomology of discrete groups and of profinite groups

Let $G$ be a discrete group and $K$ be the profinite completion of $G$. Let $C_K$ denote the category of contionuous $K$-modules and ${C_K}'$ denotes category of finite continuous $K$-modules. Now for ...

**5**

votes

**1**answer

267 views

### Open subgroups of the etale fundamental group of $P^1_\mathbb Q\setminus\{0,\infty\}$

Let $G$ be the etale fundamental group of $P^1_\mathbb Q\setminus\{0,\infty\}$. Then $G$ is isomorphic to a semidirect product of $\widehat {\mathbb Z}(1)$ by $ Gal_\mathbb Q$.
Is it true that ...

**5**

votes

**1**answer

272 views

### Locally finite compact groups

I assume all tolpological groups here to be Hausdorff. A group is called locally finite if every finitely generated subgroup is finite. What can be said about a locally finite compact group? Must it ...