Structure of the basic part of a field
type: Item
instance of: scholarly article
title: Structure of the basic part of a field
zbMATH Open document ID: 0587.10012
DOI: 10.1016/0021-8693(86)90035-9
author: Kazimierz Szymiczek
published in: Journal of Algebra
publication date: 1986-01-01T00:00:00Z
review text: For \(a\in K^{\times}\) let \(V_ K(a)\) denote the value group of the form (1,a). Put \(X_ 1=V_ K(a)\), \(X_ 2=\cup \{V_ K(-x):\quad x\in X_ 1\setminus K^{\times 2}\}.\) An element \(a\in K^{\times}\), \(a\not\in \pm K^{\times 2}\) is called basic if (1,a) represents more than two square classes, the set \[ {\mathfrak B}_ K=\pm K^{\times 2}\cup \{a\in K^{\times}:\quad a\quad or\quad -a\quad is\quad basic\} \] is called the ''basic part'' of K. Every \(a\in K^{\times}\setminus {\mathfrak B}_ K\) is ''birigid''. After giving a simple description of the set \(X_ 2=X_ 2(a)\) the author derives the following results: (1) For any global field K (of characteristic not 2) and any \(a\in K^{\times}\) we have \(K^{\times}=X_ 2(a)\). (2) For any purely transcendental extension K of a field F and any \(a\in K^{\times}\) we have \(K^{\times}=X_ 2(a)={\mathfrak B}_ K\). (3) For any \(K\subset {\mathbb{R}}\) with \(| K^{\times}/K^{\times 2}| \geq 4\) and any \(a<0,\) \(-a\not\in K^{\times 2}\) we have \(K^{\times}=X_ 2\cup -X_ 2.\) If \(| K^{\times}/K^{\times 2}| \geq 8\) then \(K^{\times}={\mathfrak B}_ K\). A slightly weaker result holds for \(a>0\).
Mathematics Subject Classification ID: 11E04
Mathematics Subject Classification ID: 11E16
Mathematics Subject Classification ID: 11E12
Mathematics Subject Classification ID: 12E99
zbMATH DE Number: 3941619
zbMATH Keywords: characteristic different from two
zbMATH Keywords: multiplicative group
zbMATH Keywords: quadratic form
zbMATH Keywords: basic part
zbMATH Keywords: Witt ring
zbMATH Keywords: infinite square class group
reviewed by: Albrecht Pfister
MaRDI profile type: Publication
full work available at URL: 0021-8693(86)90035-9
OpenAlex ID: W2089789098
cites work: Quadratic forms, rigid elements, and formal power series fields
cites work: Decomposition of Witt Rings
cites work: Polynomials of certain special types
cites work: Quadratic Forms Over Formally Real Fields and Pythagorean Fields
cites work: Q5792522
cites work: Quadratic forms over formally real fields with eight square classes
cites work: Q5734593
cites work: Polynomials whose values are powers.
cites work: Quadratic Forms, Rigid Elements and Nonreal Preorders
description: scientific article; zbMATH DE number 3941619