The profinite-groups tag has no wiki summary.

**1**

vote

**0**answers

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

**3**

votes

**1**answer

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

**6**

votes

**1**answer

185 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

254 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

142 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

227 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

180 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

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

**2**

votes

**1**answer

174 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

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

**0**

votes

**0**answers

92 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

176 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

293 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

175 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

86 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

79 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

92 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

185 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

523 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

251 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

246 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

361 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

248 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

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

**3**

votes

**0**answers

117 views

### Computing the pro-solvable closure of a finitely generated subgroup of a free group

The pro-solvable topology on a group $G$ is the unique group topology such that the set of normal subgroups $N\lhd G$ with $G/N$ a finite solvable group is a fundamental system of neighborhoods of the ...

**4**

votes

**2**answers

335 views

### Irreducible representations of compact groups

Let G be a compact group (or even profinite - Galois group). Let $V$ be a vector space over the field ${\mathbb F}_p$ with $p$ elements, $p$ a finite prime, such that $V$ is a contable product of ...

**2**

votes

**0**answers

107 views

### Hall's paper on the profinite groups and Andre Weils “voisinage” notion

I am reading through a classical paper A Topology for Free Groups and Related Groups
by Marshall Hall Jr. in which profinite groups are defined for the first time.
There he defines on p. 129:
...

**1**

vote

**0**answers

104 views

### Local Profinite Ring

I haven't received any substantial responses to a similar question on math.stackexchange, so let me try here.
Let $R$ be a profinite ring (that is a projective limit of finite rings). Assume
...

**6**

votes

**1**answer

238 views

### “Concretely” writing down elements in a free profinite group

Let $r$ be a natural number. The elements of the free group $F_r$ on $r$ generators have a nice concrete description as "words" in the $r$ generators (and their inverses). I'd like to know if there is ...

**4**

votes

**1**answer

169 views

### Is $SL_1(D)$ toplogically finitely generated, for $D$ a division algebra over a local field?

I've been struggling with this one all day, and I was wondering if someone can give me a hand with the proof. I'm not even sure if the group in question is finitely generated, so I would appreciate if ...

**4**

votes

**1**answer

110 views

### Layman question: A dense subgroup with completion not isomorphic to the big (pro-p) group?

This is unlikely a research level question... one that would be answered in a blink of an eye, rather...it is an (early) exercise from the book "Analytic Pro-p groups". But since no reply was received ...

**4**

votes

**1**answer

85 views

### Is every countably generated profinite group countably based?

In a profinite group: Does the existence of a countable generating (topologically) set imply the existence of a countable basis for the topology.

**3**

votes

**2**answers

151 views

### Is every first countable profinite group, second countable?

Is every first countable profinite group actually second countable?

**15**

votes

**3**answers

476 views

### An algebraic approach to the thermodynamic limit $N\rightarrow\infty$?

In physics one studies quite often the thermodynamic limit or what we call the $N\rightarrow \infty$ behavior of a system of $N\rightarrow\infty$ particles. This is of particular relevance in the ...

**0**

votes

**1**answer

135 views

### Can finite index be seen at the level of profinite completion

Let $G$ be a group, and $H$ a subgroup of $G$.
Is it possible to "see" from the profinite completions of $H$ and $G$ that $H$ has finite index in $G$?
Naively, does $H$ have finite index in $G$ iff ...

**9**

votes

**3**answers

500 views

### History of profinite groups, when was it first mentioned? What was the original definition?

Searching left me hanging. One of my professors told me the definition using the topological properties was the first one but I cannot find any resources. Is that true? If not, how was it originally ...

**6**

votes

**1**answer

275 views

### Are finite index subgroups of inertia closed?

Let $K$ be a finite extension of the $p$-adic numbers. $G_K$ be its absolute Galois group and $I_K$ the inertia subgroup. Are finite index subgroups of $I_K$ closed in its profinite topology?
By a ...

**1**

vote

**1**answer

85 views

### Quotients of Free pro-p groups

Let $P_n$ denote the pro-$p$ completion of $F_n$ the free group of rank $n$. Given a (abstract) group homomorphism
$$
\phi:P_n\rightarrow G
$$
where $G$ is a discrete group. Is $\phi$ continuous?
...

**0**

votes

**1**answer

151 views

### Strongly Complete Profinite Groups.

I've been reading about profinite groups and have encountered the notion of strong completeness. I.e. that a profinite group $G$ is strongly complete if it is isomorphic to it's profinite completion ...

**3**

votes

**0**answers

96 views

### Centralizers in free products of $p$-groups

If $G_1,\dots,G_n$ are discrete groups, and $G=G_1 \ast G_2 \ast \dots \ast G_n$ is their free product, then for $g \in G_i$ sean as an element of $G$, it is clear the centralizer of $g$ in $G$ is ...

**1**

vote

**0**answers

191 views

### does s.e.s 0->A->B->C->0 of profinite groups imply C=B/A and A<B topologically?

Assume $A, B, C$ are profinite groups and $0\to A\to B\to C\to 0$ is an exact sequence of continuous maps. Which of the following assertions follows?:
(i) the subspace-topology induced on $A$ via ...

**2**

votes

**2**answers

288 views

### Are extensions of profinite groups profinite?

Assume $X$, $E$ and $G$ are topological groups and $1\to X\to E\to G\to 1$ a short exact sequence of continuous group homomorphisms.
Under which of these conditions is $E$ a profinite group?
(i) $G$ ...

**21**

votes

**2**answers

739 views

### Profinite groups as étale fundamental groups

Does every profinite group arise as the étale fundamental group of a connected scheme?
Equivalently, does every Galois category arise as the category of finite étale covers of a connected scheme?
...

**2**

votes

**0**answers

77 views

### Infinitely generated powerful pro-$p$ groups

A pro-$p$ group of finite subgroup rank has an open subgroup $P$ that is uniformly powerful, meaning that $[P,P]$ is contained in the group generated by $2p$-th powers in $P$, and raising elements to ...

**5**

votes

**0**answers

339 views

### Examples of uncountable abelian $p$-groups

Does anyone know of any interesting examples of an infinite abelian $p$-group which is uncountable?
By non-interesting here I mean the direct sums of cylic and quasi-cylic groups, and totally ...

**7**

votes

**0**answers

218 views

### Strange normal subgroups of profinite groups

I am looking for an example of the following situation:
$G$ is an infinite profinite group, with a dense normal subgroup $N$. However $N$ does not contain any non-trivial closed normal subgroup of ...

**2**

votes

**2**answers

294 views

### When is the semidirect product of profinite groups a profinite group?

Following the discussion I have with Yves Cornulier in the following question Finiteness theorems for profinite groups, I would like to ask the following: Suppose $K$ and $N$ are two profinite groups ...

**1**

vote

**1**answer

350 views

### Finiteness theorems for profinite groups

Let $G$ be a profinite group which fits in the following short exact sequence:
$$
1\rightarrow N\rightarrow G \rightarrow K\rightarrow 1
$$
Assume that $N$ is a pro-$p$ group and that $K$ is ...

**1**

vote

**1**answer

231 views

### Neighborhood basis of the identity in a locally profinite group

Consider a locally profinite group $G$, i.e. a locally compact, totally disconnected topological group. Suppose it admits an open maximal compact subgroup named $K$.
It is known that $G$ admits as a ...

**4**

votes

**1**answer

228 views

### Haar measure for profinite groups (reference needed)

I was wondering if anybody knows a good reference book or exposition for Haar measures over profinite groups (with some concrete examples and computations)?