Finite quotients of Galois pro-$p$ groups and rigid fields (1503.06439v1)

Abstract: For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result has a remarkable Galois-theoretic consequence: if the two corresponding canonical finite extensions $F^{(3)}/F$ and $F^{{3}}/F$ of a field $F$ -- with $F$ containing a primitive $p$-th root of unity -- coincide, then $F$ is $p$-rigid. The proof relies only on group-theoretic tools, and on certain properties of Bloch-Kato pro-$p$ groups.