Formally real fields, pythagorean fields, C-fields and W-groups (Q583279)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formally real fields, pythagorean fields, C-fields and W-groups |
scientific article |
Statements
Formally real fields, pythagorean fields, C-fields and W-groups (English)
0 references
1990
0 references
In previous work the authors showed that under some mild condition on the field F the Galois group \({\mathcal G}_ F\) of a certain 2-extension \(F^{(3)}\) of F completely determines the Witt ring of F. In this paper it is shown that the presence or absence of certain involutions in \({\mathcal G}_ F\) determines whether F is a formally real field or not. More precisely a 1-1 correspondence is shown between orderings of fields and certain classes of involutions in \({\mathcal G}_ F\). The relative real closure of a formally real field F inside of \(F^{(3)}\) is defined and this is used to give a new characterization of superpythagorean fields. Moreover a characterization of pythagorean fields via \({\mathcal G}_ F\) is shown as well as the description of all possible Abelian groups \({\mathcal G}_ F\). The main tools are dihedral and \({\mathbb{Z}}/4 {\mathbb{Z}}\) extensions, together with simple Galois theory. This paper can be viewed as transfer of classical results of Artin- Schreier and Becker to much smaller fields.
0 references
Witt ring
0 references
involutions in Galois groups
0 references
formally real field
0 references
orderings of fields
0 references
relative real closure
0 references
superpythagorean fields
0 references
pythagorean fields
0 references
0 references