On the Brauer p-dimension of Henselian discrete valued fields of residual characteristic p > 0

Extensions séparées et immédiates de corps valués

Journal of Symbolic Logic ◽

10.1017/s002248120002836x ◽

1988 ◽

Vol 53 (2) ◽

pp. 421-428

Author(s):

Françoise Delon

Keyword(s):

Valued Fields ◽

Residual Characteristic

AbstractBaur a défini la notion d'extension séparée de corps valués et montré que toute extension d'un corps maximal est séparée. Nous prouvons que, si (K, υ) est henselien et de caractéristique résiduelle nulle, alors (K, υ) ⊂ (L, w) est séparée ssi L est linéairement disjoint sur K de toute extension immédiate de K.Separated and immediate extensions of valued fields. The notion of separated extension of valued fields was introduced by Baur. He showed that extensions of maximal fields are separated. We prove that, when (K, υ) is Henselian with residual characteristic 0, then (K, υ) ⊂ (L, w) is separated iff L is linearly disjoint over K from each immediate extension of K.

Download Full-text

Preliminaries

10.23943/princeton/9780691161686.003.0002 ◽

2017 ◽

Author(s):

Ehud Hrushovski ◽

François Loeser

Keyword(s):

Valued Fields ◽

Definable Set ◽

Valued Field ◽

Galois Coverings ◽

Definable Type ◽

Definable Sets ◽

Background Material

This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. It considers more specifically these concepts in the framework of the theory ACVF of algebraically closed valued fields and describes the definable types concentrating on a stable definable V as an ind-definable set. It also proves a key result that demonstrates definable types as integrals of stably dominated types along some definable type on the value group sort. Finally, it discusses the notion of pseudo-Galois coverings. Every nonempty definable set over an algebraically closed substructure of a model of ACVF extends to a definable type.

Download Full-text

Existence

10.23943/princeton/9780691166902.003.0016 ◽

2017 ◽

Author(s):

Bernhard M¨uhlherr ◽

Holger P. Petersson ◽

Richard M. Weiss

Keyword(s):

Division Algebra ◽

Quadratic Forms ◽

Structure Theorem ◽

Quadratic Extension ◽

Quadratic Space ◽

Division Algebras ◽

Separable Extension ◽

Valued Fields ◽

Quaternion Division Algebra

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.

Download Full-text