Galois groups of maximal 2-extensions (Q1063068): Difference between revisions

Let \(G_ F(2)\) and \(G_{\pi}\) denote the Galois group of the quadratic and Pythagorean closure of the field F, respectively. We say that a formally real field F satisfies \(H_ 4\) if every totally indefinite form over F of dimension 4 is isotropic. It is proved that \(G_ 2(F)\) of a Pythagorean SAP-field is isomorphic to the (topological) free \(X_ F\)- power of the two element cyclic group \({\mathbb{Z}}/2\) (i.e. \(G_ F(2)\cong ({\mathbb{Z}}/2)^{[X_ F]}\), where \(X_ F\) is the set of orderings of F. The Galois group \(G_ F(2)\) of an arbitrary field satisfying \(H_ 4\) is isomorphic to the free wreath product of \(({\mathbb{Z}}/2)^{[X_ F]}\) and \(G_{\pi}\). Using previously obtained results the author shows that the Brauer group of a pseudo-real closed field F is isomorphic to the group of continuous functions \(C(X_ F, {\mathbb{Z}}/2)\).