Brauer groups and character groups of function fields. II
type: Item
instance of: scholarly article
title: Brauer groups and character groups of function fields. II
zbMATH Open document ID: 0544.13003
DOI: 10.1016/0021-8693(84)90153-4
author: Burton Fein
author: Murray M. Schacher
published in: Journal of Algebra
publication date: 1984-01-01T00:00:00Z
review text: [For part I see ibid. 61, 249-255 (1979; Zbl 0426.13002).] Let F be a global field, E a finitely generated extension field of F, \(K_ n\) a purely transcendental extension of E of transcendence degree n. The authors prove that the Brauer group of \(K_ n\), \(B(K_ n)\), is independent of n: \(B(K_ n)\cong B(K_ m)\) for \(1\leq n,\quad m<\infty.\) The approach is to use the Auslander-Brumer-Fadeev theorem [cf. the authors, Lect. Notes Math. 844, 46-74 (1981; Zbl 0455.12011), p. 51] to write, for any prime p, \(B(K_ n)_ p=B(E)_ p+H_ n,\) ( )\(_ p=p\)- torsion subgroup. Here \(H_ n\) is a direct sum of character groups X(N) of fields N ranging over the finite separable extensions of \(K_ i\); \(0\leq i<n\), where X(N) is the group of continuous homomorphisms from the Galois group of the maximal Abelian extension of N to the discrete group \({\mathbb{Q}}/{\mathbb{Z}}\). A direct argument shows that the divisible part of \(B(K_ n)\) is isomorphic to \(\omega\) copies of \({\mathbb{Q}}/{\mathbb{Z}}\), independent of n. So by standard theory [see \textit{I. Kaplansky}, Infinite abelian groups (1954; Zbl 0057.019)], what must be proved, and is proved, is that the Ulm invariants of \(H_ n\) and \(H_ m\) are equal. - The main work in the paper, then is to study the Ulm invariants of X(K) where K is a field, finitely generated over a global field. The Ulm invariants \(U_ p(\lambda,X(K))\) of X(K) relate to embedding questions: for \(\lambda<\omega\) (\(\omega\) the first infinite ordinal), \(U_ p(\lambda,X(K))\neq 0\) if there is a cyclic p-extension L of K of degree \(p^{\lambda +1}\) which is not embeddable in a cyclic extension of degree \(p^{\lambda +2}\). - A typical result along these lines is that for large finite \(\lambda\), and for K a global field of characteristic not p, \(U_ p(\lambda,X(K))=\omega.\) The last section of the paper is devoted to analogous results for local fields.
Mathematics Subject Classification ID: 14F22
Mathematics Subject Classification ID: 11S25
Mathematics Subject Classification ID: 11R34
Mathematics Subject Classification ID: 12F20
zbMATH DE Number: 3865440
zbMATH Keywords: Brauer group of field extension
zbMATH Keywords: Ulm invariants
reviewed by: Lindsay N. Childs
MaRDI profile type: Publication
full work available at URL: 0021-8693(84)90153-4
OpenAlex ID: W4205620730
cites work: Q5566638
cites work: Ulm invariants of the Brauer group of a field
cites work: Brauer groups and character groups of function fields
cites work: Q3903092
cites work: Brauer groups of rational function fields
cites work: Q5328221
cites work: Q5619167
cites work: Classification of Demushkin Groups
cites work: Q5724382
cites work: Q5612629
cites work: Q4061092
cites work: Generic Galois extensions and problems in field theory
cites work: Subfields of division rings. II
cites work: Q5796078
cites work: Galois Cohomology
cites work: Class groups and Brauer groups
cites work: Q5723265
cites work: Q5587110
cites work: Q4090435
cites work: Q3849050
cites work: Hurwitz schemes and irreducibility of moduli of algebraic curves
Recommended article: Brauer groups are not characterized by Ulm invariants
Recommended article: Brauer groups of fields of genus zero
Recommended article: Brauer groups of algebraic function fields
Recommended article: \(n\)-torsion of Brauer groups as relative Brauer groups of abelian extensions
Recommended article: On Brauer \(p\)-dimensions and index-exponent relations over finitely-generated field extensions.
Recommended article: Brauer groups of genus zero extensions of number fields
Recommended article: Relative Brauer groups of discrete valued fields
Recommended article: Q4698627
Recommended article: On the Brauer groups of rational function fields over pseudoglobal fields
Recommended article: Abelian extensions of global fields with constant local degree
description: scientific article; zbMATH DE number 3865440