Skip to main content
made corrections given by OP in comments
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

There is an olda 1995 paper (Manusc. Math., DOI link) of Florian Pop where he proves the following:


Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$. One of the following statements holds:

(i) There is a prime $p$ such that $F \cap G_i^g$ is pro-$p$ for every $i \in I$ and $g \in G$.

(ii) All non-trivial intersections $F \cap G_i^g$ for $i \in I$ and $g \in G$ are finite and conjugate in $F$.

(iii) ASome conjugate of $F$ is a subgroup of $G_i$ for some $i \in I$


It arises a natural question to me:

Is there some non pro-$p$ subgroup $F$ satisfying the item (i) (considering at least one non-trivial intersection)?

I'm working on it for a few days but I cannot conclude anything. So, I would like to know if someone knows an example of such group, an argument showing that such groups does not exists or even if there is no anwser.

Thanks in the advance.

There is an old paper of Florian Pop where he proves the following:


Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$. One of the following statements holds:

(i) There is a prime $p$ such that $F \cap G_i^g$ is pro-$p$ for every $i \in I$ and $g \in G$.

(ii) All non-trivial intersections $F \cap G_i^g$ for $i \in I$ and $g \in G$ are finite and conjugate in $F$.

(iii) A conjugate of $F$ is a subgroup of $G_i$ for some $i \in I$


It arises a natural question to me:

Is there some non pro-$p$ subgroup $F$ satisfying the item (i) (considering at least one non-trivial intersection)?

I'm working on it for a few days but I cannot conclude anything. So, I would like to know if someone knows an example of such group, an argument showing that such groups does not exists or even if there is no anwser.

Thanks in the advance.

There is a 1995 paper (Manusc. Math., DOI link) of Florian Pop where he proves the following:


Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$. One of the following statements holds:

(i) There is a prime $p$ such that $F \cap G_i^g$ is pro-$p$ for every $i \in I$ and $g \in G$.

(ii) All non-trivial intersections $F \cap G_i^g$ for $i \in I$ and $g \in G$ are finite and conjugate in $F$.

(iii) Some conjugate of $F$ is a subgroup of $G_i$ for some $i \in I$


It arises a natural question to me:

Is there some non pro-$p$ subgroup $F$ satisfying the item (i) (considering at least one non-trivial intersection)?

I'm working on it for a few days but I cannot conclude anything. So, I would like to know if someone knows an example of such group, an argument showing that such groups does not exists or even if there is no anwser.

Thanks in the advance.

edited title
Link
Lucas
  • 329
  • 2
  • 9

If $F$ is a prosoluble subgroup of a free profinite product $\prod$\amalg G_i$ and $F \cap G_i^g$ is pro-$p$, is also $F$ pro-$p$?

deleted 1 character in body
Source Link
Lucas
  • 329
  • 2
  • 9

There is an old paper of Florian Pop where he proves the following:


Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$. One of the following statements holds:

(i) There is a prime $p$ such that $F \cap G_i^g$ is pro-$p$ for every $i \in I$ and $g \in G$ is pro-$p$ for every $i \in I$ and $g \in G$*.

(ii) All non-trivial intersections $F \cap G_i^g$ for $i \in I$ and $g \in G$ are finite and conjugate in $F$.

(iii) A conjugate of $F$ is a subgroup of $G_i$ for some $i \in I$


It arises a natural question to me:

Is there some non pro-$p$ subgroup $F$ satisfying the item (i) (considering at least one non-trivial intersection)?

I'm working on it for a few days but I cannot conclude anything. So, I would like to know if someone knows an example of such group, an argument showing that such groups does not exists or even if there is no anwser.

Thanks in the advance.

There is an old paper of Florian Pop where he proves the following:


Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$. One of the following statements holds:

(i) There is a prime $p$ such that $F \cap G_i^g$ is pro-$p$ for every $i \in I$ and $g \in G$*.

(ii) All non-trivial intersections $F \cap G_i^g$ for $i \in I$ and $g \in G$ are finite and conjugate in $F$.

(iii) A conjugate of $F$ is a subgroup of $G_i$ for some $i \in I$


It arises a natural question to me:

Is there some non pro-$p$ subgroup $F$ satisfying the item (i) (considering at least one non-trivial intersection)?

I'm working on it for a few days but I cannot conclude anything. So, I would like to know if someone knows an example of such group, an argument showing that such groups does not exists or even if there is no anwser.

Thanks in the advance.

There is an old paper of Florian Pop where he proves the following:


Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$. One of the following statements holds:

(i) There is a prime $p$ such that $F \cap G_i^g$ is pro-$p$ for every $i \in I$ and $g \in G$.

(ii) All non-trivial intersections $F \cap G_i^g$ for $i \in I$ and $g \in G$ are finite and conjugate in $F$.

(iii) A conjugate of $F$ is a subgroup of $G_i$ for some $i \in I$


It arises a natural question to me:

Is there some non pro-$p$ subgroup $F$ satisfying the item (i) (considering at least one non-trivial intersection)?

I'm working on it for a few days but I cannot conclude anything. So, I would like to know if someone knows an example of such group, an argument showing that such groups does not exists or even if there is no anwser.

Thanks in the advance.

Source Link
Lucas
  • 329
  • 2
  • 9
Loading