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.

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.