8410Chapter2v2 - ABSOLUTE VALUES II: TOPOLOGIES,...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ABSOLUTE VALUES II: TOPOLOGIES, COMPLETIONS AND THE EXTENSION PROBLEM PETE L. CLARK Contents 2.1. Introduction and Reorientation 1 2.2. Reminders on metric spaces 5 2.3. Ultrametric spaces 7 2.4. Normed abelian groups 8 2.5. The topology on a normed field 10 2.6. Completion of a metric space 11 2.7. Completions of normed abelian groups and normed fields 12 2.8. Non-Archimedean Functional Analysis: page 1 15 2.9. Big Ostrowski Revisited 16 2.10. Theorems of Mazur, Gelfand and Tornheim 19 2.11. Proof of Theorem 3 Part I: Uniqueness 21 2.12. Proof of Theorem 5 22 2.13. Proof of Theorem 3 Part II: Existence Modulo Hensel-Kursch ak 25 2.14. Proof of Theorem 3 Part III: Krull Valuations 26 References 29 2.1. Introduction and Reorientation. In this chapter we will study more explicitly the topology on a field induced by a norm. Especially interesting from this perspective are the (nontrivially) normed fields which are locally compact with respect to the norm topology. But we have been studying normed fields for a little while now. Where are we going? What problems are we trying to solve? Problem 1: Local/Global Compatibility. Arguably the most interesting re- sults in Chapter 1 were the complete classification of all norms on a global field K , i.e., a finite extension of either Q (a number field) or F q ( t ) for some prime power q (a function field). We interrupt for two remarks: Remark 1: Often when dealing with function fields, we will say Let K/ F q ( t ) be Thanks to John Doyle and David Krumm for pointing out typos. Section 2.9 on Big Ostrowski was written following lecture notes of David Krumm. 1 2 PETE L. CLARK a finite separable field extension. It is not true that every finite field extension of F q ( t ) is separable: e.g. F q ( t 1 q ) / F q ( t ) is an inseparable field extension. However, the following is true: if : F q ( t ) , K is a finite degree field homomorphism dont forget that this wordier description is the true state of affairs which is being elided when we speak of a field extension K/F then there is always another finite degree field homomorphism : F q ( t ) , K which makes K/ ( F q ( t )) into a separable field extension: e.g. [Eis, Cor. 16.18]. Remark 2: In the above passage we could of course have replaced F q ( t ) by F p ( t ). But the idea here is that for an arbitrary prime power q , the rational function field F q ( t ) is still highly analogous to Q rather than to a more general number field. For instance, if K is any number field, then at least one prime ramifies in the extension of Dedekind domains Z K / Z . However, the extension F q [ t ] / F p [ t ] is everywhere un- ramified. Moreover, F q [ t ] is always a PID....
View Full Document

This note was uploaded on 10/26/2011 for the course MATH 8410 taught by Professor Staff during the Fall '11 term at University of Georgia Athens.

Page1 / 29

8410Chapter2v2 - ABSOLUTE VALUES II: TOPOLOGIES,...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online