The profinite-groups tag has no wiki summary.

**0**

votes

**1**answer

128 views

### Must a group of defficiency > 1 be nonabelian?

Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be ...

**2**

votes

**0**answers

43 views

### Pro-G_p topology

Let $G_p$ be pseudovariety of all finite $p$-group. The pro-$p$ topology on a group $G$ is the unique group topology such that the set of normal subgroups $N$ with $G/N$ in $G_p$ is a fundamental ...

**2**

votes

**1**answer

135 views

### Finite generation and profinite completion

Let $G$ be a (countable) residually finite group whose profinite completion is topologically finitely generated. Must $G$ be finitely generated?

**5**

votes

**0**answers

157 views

### What is the kernel of the map $Out(\widehat{F_2})\rightarrow GL_2(\widehat{\mathbb{Z}})$?

Let $F_2$ be the free group on two generators, and $\widehat{F_2}$ its profinite completion. Let $Out(\widehat{F_2})$ be the outer automorphism group of $\widehat{F_2}$, ie, $Out(\widehat{F_2}) = ...

**2**

votes

**0**answers

69 views

### Pro-G_p*G_q topology, profinite topology

Let $W=G_p*G_q$, where $G_p$ and $G_q$ are pseudovarieties of
all finite $p$-groups and all finite $q$-groups respectively, with $p$ and $q$ fixed prime numbers. The pro-$W$ topology on a group $G$ is ...

**2**

votes

**1**answer

123 views

### pseudovarieties and profinite group : do * and g() commute?

Let $V$ and $W$ be pseudovarieties of finite monoids. We denote with $gV$ the pseudovariety of categories generated by $V$, and by $V*W$ the semidirect product of pseudovarieties $V$ and $W$.
Does ...

**2**

votes

**0**answers

89 views

### Profinite topology

For a distance fixed prime numbers $p$ and $q$, let $G_p$, $G_q$ and $Sl$ the pseudovarieties of all finite $p$-group, $q$-group and semilattices respectively. Dose the following equality hold?
...

**2**

votes

**0**answers

160 views

### Profinite Topology

Let $V$ and $W$ be pseudovarieties of finite groups. For a finite inverse monoid $M$, the $V$-kernel of $M$ is defined to be the intersection of all sets $f^{−1}(1)$, $f$ is a relational morphism ...

**2**

votes

**0**answers

119 views

### Pro-p topology on free group

Let $H$ be a finitely generated subgroup of the free group $F(A)$ and $G_P$ the pseudovariety of all finite $p$-group with $p$ fixed prime number. We endow $F(A)$ with the pro-$G_p$ topology. Suppose ...

**16**

votes

**0**answers

235 views

### Nonabelian topological fundamental group of a conjugate variety

Let $X$ be a pointed algebraic variety over the field of complex numbers $\mathbb{C}$.
Let $\pi_1^{\rm top}(X)$ and $\pi_1^{\mathrm{\acute{e}t}}(X)$ denote the topological and the étale fundamental ...

**3**

votes

**2**answers

266 views

### Adeles and twisted adeles

Let $\mu_n$ denote the group of $n$-th roots of unity in ${\mathbb{C}}$, i.e., $\mu_n=\ker[{\mathbb{C}}^*\overset{n}{\longrightarrow}{\mathbb{C}}^*]$.
We set
$$ \mu=\varinjlim_n \mu_n\subset ...

**4**

votes

**0**answers

94 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

254 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

83 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

103 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

241 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

61 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

90 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

91 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

122 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

106 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

211 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

150 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

129 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

294 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

210 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

147 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

53 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

114 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

302 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

117 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

70 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

80 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

52 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

69 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

172 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

142 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

237 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

302 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

305 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

175 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

234 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

197 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

229 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

220 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

176 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

109 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

210 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

330 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 ...