Artin-Schreier-Theorie der Spernerschen Halbordnungen (Q800427)

Die Halbordnungen eines (kommutativen) Körpers K sind genau die Untergruppen P vom Index 2 in der multiplikativen Gruppe \(K^{\times}\) von K. Unter (1.5) und (1.6) werden Körper K mit eindeutig bestimmter Halbordnung (d.h. \(K^{\times 2}\) hat Index 2 in \(K^{\times})\) und ihre quadratischen Abschlüsse betrachtet; dabei wird wie im folgenden auch Charakteristik(K)\(\neq 2\) vorausgesetzt. Eine h-Erweiterung von (K,P) ist ein Erweiterungskörper L mit einer Halbordnung Q, welche \(Q\cap K=P\) erfüllt. Ein halbgeordneter Körper ohne echte algebraische h- Erweiterung heißt h-abgeschlossen. Nach Satz (2.3) ist K genau dann h-abgeschlossen, wenn \(K^{\times 2}\) den Index 2 in \(K^{\times}\) hat und jedes Polynom von ungeradem Grad über K eine Nullstelle in K hat; die Aussage über Polynome läßt sich ersetzen durch die Forderung, daß der quadratische Abschluß von K schon algebraisch abgeschlossen ist. In einem Beispiel werden lokal endliche h- abgeschlossene Körper konstruiert. Nach Satz 3.1 hat jeder halbgeordnete Körper einen h-Abschluß (d.h. eine algebraische h- abgeschlossene h-Erweiterung), aber dieser ist z.B. für den 5ten Kreisteilungskörper über \({\mathbb{Q}}\) nicht eindeutig bestimmt.