Discrete k-valuations on D D k with a pure transcendental field-extension of 1 degree 1 as residue-field fall apart into two classes. The class containing the discrete valuation induced by the Bernstein filtration is completely determined, using the interplay between its valuations and the Bernstein
Valuations on Extensions of Weyl Skew Fields
β Scribed by Fred Van Oystaeyen; Luc Willaert
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 142 KB
- Volume
- 183
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
Let k ; K be a finitely generated field extension of transcendence degree 1.
Ε½ . Ε½ .
Consider the corresponding extension
D D k ; D D K of skew fields of the first 1 1 Ε½ . Ε½ . Weyl algebra. We show that the D D k -valuations of D D K are in one-to-one 1 1 Ε½ . correspondence with the k-valuations of K. The intersection of the D D k -val-1 Ε½ . Ε½ . uation rings of D D K is not D D k as one would expect but a principal ideal 1 1
Ε½ . domain such that its quotient division ring is
0 is a finite-dimensional vector space over 1 Ε½ . D D k whose dimension equals the degree of D.
π SIMILAR VOLUMES
For a skew field extension L/K, a number of intermediate fields can be defined on the basis of the centralizer of K in L. In this paper such intermediate fields are studied in detail. Among the results are a standard decomposition of any skew field extension of finite degree and four types of skew f
The structure of GALols groups of local fields has been studied by many mathematicians. The description of maximal p-extensions was obtained by 1. R . SAFAREVIC [S] and S . P. DEMUSHKIN [D]. Important results about the GALOIS group of an algebraic closure of local fields were proved by K. IWASAWA [
## Abstract In this paper we study the Kummer extensions __K__ β² of a power series field __K__ = __k__ ((__X__~1~, β¦, __X~r~__)), where __k__ is an algebraically closed field of arbitrary characteristic, with special emphasis in the case where __K__ β² is generated by a Puiseux power series. (Β© 2008