Definable henselian valuation rings
|
|
- Camilla Singleton
- 5 years ago
- Views:
Transcription
1 Definable henselian valuation rings Alexander Prestel Abstract We give model theoretic criteria for the existence of and - formulas in the ring language to define uniformly the valuation rings O of models (K, O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an -formula defining uniformly the valuation rings O of valued henselian fields (K, O) whose residue class field k is finite, pseudo-finite, or hilbertian. We also obtain -formulas ϕ 2 and ϕ 4 such that ϕ 2 defines uniformly k[[t]] in k((t)) whenever k is finite or the function field of a real or complex curve, and ϕ 4 replaces ϕ 2 if k is any number field. 1 Introduction Let (K, O) be a field K together with a valuation ring O. We call O definable in the ring language L if there exists an L-formula ϕ(x) with x a only free variable and no parameter from K such that O = {a K ϕ(a) hold in K}. We shall mainly be interested in L-formulas ϕ(x) of the following types: - formula : y 1 y n χ(x, y) - formula : y 1 y n χ(x, y) - formula : y 1 y n z 1 z m χ(x, y, z) - formula : y 1 y n z 1 z m χ(x, y, z) The whole investigation generalizes in a straightforward way to more complex quantifier types (and is left to the interested reader). We shall prove (in Section 2) and apply (in Section 3 and 4) the following model theoretic criteria. Characterization Theorem Let Σ be a first order axiom system in the ring language L together with a unary predicate O. Then there exists an L-formula ϕ(x), defining uniformly in every model (K, O) of Σ the set O, of quantifier type iff (K 1 K 2 O 1 O 2 ) iff (K 1 K 2 O 2 K 1 O 1 ) iff (K 1 K2 O 1 O 2 ) iff (K 1 K2 O 2 K 1 O 1 ) for all models (K 1, O 1 ), (K 2, O 2 ) of Σ. Here K 1 K2 means that K 1 is existentially closed in K 2, i.e. every -formula ϱ(x 1,..., x m ) with parameters from K 1 that holds in K 2 also holds in K 1.. 1
2 If K 1 and K 2 are fields, this implies that K 1 is relatively algebraically closed in K 2. In particular, if (K 2, O 2 ) is henselian, then also (K 1, O 2 K 1 ) is henselian in K 1. Thus if (K 1, O 1 ) is also henselian, we can apply the theory of henselian valuation rings on a field K 1 as explained in Section 4.4 [E-P]. This will yield a series of applications in Sections 3 and 4. It is important to realize that the model theoretic criteria above do not give explicit L- formulas, rather only their existence. But the knowledge of the existence may help to construct such a formula. In many cases explicit formulas are already known. Let us mention here the papers [C-D-L-M], [A-K], [F], and [H]. These papers actually inspired us to look for general model theoretic criteria. The author is grateful to A. Fehm and J. Schmid for helpful discussions. 2 Proof of the Characterization Theorem Let Σ be a first order axiom system in the ring language L enlarged by a unary predicate O. Moreover, fix a constant c. We denote by L(O, c) the enlarged language. An L(O, c)- structure then looks like (K, O, a) where K is an L-structure, O K and a K. Next let Φ be a subset of L(c)-sentences, i.e. formulas in the ring language L enlarged by c without free variables. We assume that Φ is closed by and. Examples of interest to us are the sets of,,, and -sentences in L(c). We furthermore use the following abbreviation for subsets Φ of L(O, c)-sentences: if (K 1, O 1, a 1 ) and (K 2, O 2, a 2 ) are two L(O, c)-structures and every γ Φ that holds in (K 1, O 1, a 1 ) also holds in (K 2, O 2, a 2 ) we write (K 1, O 1, a 1 ) Φ (K 2, O 2, a 2 ). Now Lemma of [P-D], an easy consequence of the Compactness Theorem for 1-order logic, immediately gives: Theorem 1. Assume that for all models (K i, O i, a i ) of Σ(i = 1, 2) we have the following implications: If (K 1, O 1, a 1 ) Φ (K 2, O 2, a 2 ) then (K 1, O 1, a 1 ) {c O} (K 2, O 2, a 2 ). Then there exists some ϕ(c) Φ such that x(x O ϕ(x)) holds in all models (K, O) of Σ, i.e., ϕ defines O in K. The philosophy behind Lemma is: if a sentence behaves like all ϕ Φ, it is equivalent to some fixed ϕ Φ mod Σ. Proof of the Characterization Theorem: Let us first observe that the right hand side of the equivalences follow clearly from the corresponding definabilities. Now we can prove the other direction. 2
3 -case: Let Φ be the set of all -sentences in L(c). Assume that for all models (K i, O i )(i = 1, 2) of Σ we have: K 1 K 2 O 1 O 2. Considering two models (K 1, O 1, a 1 ) and (K 2, O 2, a 2 ) of Σ satisfying (K 1, O 1, a 1 ) Φ (K 2, O 2, a 2 ) we have to show if a 1 O 1 then also a 2 O 2. We assume that a 2 O 2 and consider the set Π = Diag (K 1, a 1, (b) b K1 ) T h(k 2, O 2, a 2 ) of sentences. We claim that Π is consistent. In fact, if Π were inconsistent, there would exist some elements b 1,..., b n K 1 and a quantifier free L-formula χ such that χ(a 1, b 1,..., b n ) Diag of K 1 and {χ} T h(k 2, O 2, a 2 ) is inconsistent. Hence the -formula ϕ(c) b 1,..., b n χ(c, b) of L(c) 1 holds in (K 1, a 1 ) and we have T h(k 2, O 2, a 2 ) b 1 b n χ(c, b). This is impossible as ϕ(c) carries over from (K 1, a 1 ) to (K 2, a 2 ). Therefore Π is consistent and hence has a model (K 2, O 2, a 2) that is elementarily equivalent to (K 2, O 2, a 2 ) and contains an isomorphic copy of (K 1, a 1 ). After identifying (K 1, a 1 ) with its image in (K 2, O 2, a 2) we obtain K 1 K 2, a 1 O 1, and a 1 = a 2 O 2. Hence O 1 O 2. This contradicts our assumption, as (K 2, O 2) is also a model of Σ. -case: Assume that for all models (K i, O i ) of Σ we have: K 1 K2 O 2 O 2. Looking at the proof of the -case, the only change we need is that (K 1, a 1 ) (after identification with its image) is existentially closed in (K2, a 2). This is obtained by replacing Π by the set Π = T h (K 1, a 1, (b) b K1 ) T h(k 2, O 2, a 2 ) where T h (K 1, a 1 (b) b K1 ) consists of all -formulas ϕ(x, b) y 1 y n χ(c, y, b), where χ is quantifier free, that hold in (K 1, a 1, (b) b K1 ). -case and -case: Is obtained from the -case and the -case just by replacing the sets Π and Π by Π = Diag (K 2, a 2, (b) b K2 ) T h(k 1, O 1, a 1 ) and respectively. Π = T h (K 2, a 2, (b) b K2 ) T h(k 1, O 1, a 1 ) 1 Now b 1 b n play the role of variables. 3
4 3 -definable henselian valuation rings In our applications we shall concentrate here on henselian valued fields (K, O). The maximal ideal of O is denoted by M, the residue field by k = O M, and the value group by v(k). If we deal with several valued fields (K i, O i ) we use corresponding indices for the residue fields k i and the value groups v i (K i ). Of particular interest will be the henselian valuation ring k[[t]] of the fields k((t)) of formal Laurent series and p-adic number fields. Before we proceed to concrete results let us quote some facts about henselian valued fields from [E-P]. A valued field (K, O) is called henselian if the valuation ring O of K extends uniquely to the separable closure K s of K. Note that the trivial valuation O = K always is henselian, its residue class field is K. Two valuation rings O 1 and O 2 of the same field K are called comparable if O 1 O 2 or O 2 O 1 ; the upper one is called coarser. Here are some important facts. Fact 1. If O 1 and O 2 are henselian on K and at least one of the residue fields is not separably closed then O 1 and O 2 are comparable. If O 1 and O 2 are not comparable, then the residue field of O 1, O 2, and of the smallest common coarsening of O 1 and O 2, all are separably closed. (Theorem in [E-P]). Now let O 1 and O 2 be comparable valuation rings of K, say O 1 O 2. (Hence M 2 M 1.) Then o = O 1 M 2 is a valuation ring of the residue class field k = O 2 M 2. Then we obtain from Section 2.3 in [E-P] and Corollary 4.1.4: Fact 2. The value group of (k, o) is isomorphic to a convex subgroup of v(k 1 ) and v 2 (K 2 ) = v 1 (K 1 ). Fact 3. (K 1, O 1 ) is henselian if and only if (K 1, O 2 ) and (k, o) are both henselian. Now let us consider a first order axiom system Σ for henselian valued fields (K, O) such that the residue field k = O M (1) is not separably closed (2) does not carry a proper henselian valuation. We shall then prove for any two models (K 1, O 1 ) and (K 2, O 2 ) of Σ: K 1 K2 O 1 O 2. Then by the Characterization Theorem there exists an -formula ϕ(x) in the ring language that defines O in every model (K, O) of Σ. For the proof assume that K 1 K2 and O 1 O 2. As K 1 is separably closed in K 2, it follows that O := K 1 O 2 is a henselian valuation ring of K 1. Since by (1) the residue field of O 1 is not separably closed, Fact 1 implies O O 1. Now Fact 3 implies that O M 1 is a proper henselian valuation of O 1 M 1. This contradicts (2). Hence O 1 O 2, and we are done. As an application we obtain 4
5 Theorem 1. There is an -formula ϕ(x) defining uniformly the valuation rings of henselian fields (K, O) if the residue field k of O is finite, pseudo-finite, or hilbertian. 2 Proof: The class of finite and pseudo-finite fields is the model class of the theory of finite fields, hence an elementary class. The class of hilbertian fields is as well elementary. The union of the elementary classes is again elementary. Let Σ be a first order axiom system for the union. Then let Σ express the fact that its models (K, O) are henselian valued fields (not excluding the trivial valuation) such that the residue field O M satisfies the axioms for Σ. We have to check (1) and (2) from above. (1) is clear. (2) is clearly true for finite fields k. If k is pseudo-finite it is a PAC-field (see [A2], Section 6, Lemma 2), and PAC-fields do not carry a proper henselian valuation (unless they are separably closed). This old result of the author can be found in [F-J], Corollary Thus it remains to prove that a hilbertian field k does not allow a proper henselian valuation ring o. For contradiction assume o k is a henselian valuation ring of k. We then choose a separable polynomial f(x) k[x] without zero in k. As o is henselian, the set f(k) stays away from 0, say f(k) m = (m the maximal ideal of o). We then choose π m {0} and consider the polynomial g(x, Y ) = f(x)y 2 + f(x)y + π. Replacing Y by Z 1 and applying Eisenstein, we see that g(x, Y ) is absolutely irreducible. Now let x be any element of k. Then Y 2 + Y + π maps to Y (Y + 1) in O M. Now f(x) by Hensel s Lemma g(x, Y ) has a zero in k, thus is not irreducible. This contradicts the assumption that k is hilbertian. Theorem 1 covers all completions of finite number fields, i.e. finite extension of the p-adic number fields Q p for any prime p. Moreover, it covers all fields k 0 ((t)) of Laurent series with k 0 finite, pseudo-finite, or hilbertian. It even covers any such fields k 0 together with the trivial valuation as (k 0, k 0 ) then is a model of Σ. Thus the sentence xϕ(x) is true in all finite, pseudo-finite, and hilbertian fields k 0. Remark 1. In [A1] Ax gives a -formula that defines k[[t]] uniformly in k((t)) for all fields k. Theorem 1 gives an improvement in case k is finite, pseudo-finite, or hilbertian. In the next Section we shall consider classes of fields k for which k[[t]] is uniformly -definable. We shall also explain an example k of A. Fehm for which k [[t]] is not -definable in k ((t)). 2 A field k is called hilbertian if every finite sequence of irreducible polynomials g i (X, Y ) K[X, Y ] admits a substitution x k such that all g i (x, Y ) remain irreducible in k[y ]. All number fields and all function fields are hilbertian (c.f. [R]). 5
6 4 -definable henselian valuation rings For our next theorem we shall need some preparation. As usual we consider henselian valued fields (K, O). This time, however, we shall require that the value group v(k) is like a discrete value group in not admitting a convex 2-divisible subgroup {0}, like discrete value groups do. This property is easily expressed in the elementary ring language L together with a predicate O. In fact, v(k) is order-isomorphic to K O, and expressing the existence of a proper convex, 2-divisible subgroup of (v(k), ) can be done by saying in (v(k), ): γ(0 < γ δ(0 δ γ ε δ = 2ε)). Next we need to talk about the u-invariant of the residue field k of (K, O) and again be able to do this is first order logic. We shall make use of the language of quadratic forms as found e.g. in [E-P], Section 6.3 or in [P-D], Chapter 3. The u-invariant of a field k is defined to be the maximal dimension n N {0} of an anisotropic, quadratic form ϱ =< a 1,..., a n > with a i k {0} that has total signature zero (see [E-K-M], Chapter VI). For example, u(k) = 4 for every finite number field, and u(c) = 1. The u-invariant of a real field clearly has to be even, e.g. u(r) = 0. Here ϱ is said to be of total signature zero over k, if for any ordering of k, one half of the a i is positive and the other half is negative. There is a quantifier free formula ζ(a 1,..., a n ) expressing in the real closure of (k, ) that ϱ is not of signature zero. Thus we have to say that there does not exist an ordering of k such that ζ holds in (k, ). Using the theory of pre-orderings (see [P-D]) this can be done in the language of k in case the Pythagoras number P (k) is finite. The Pythagoras number P (k) is the smallest m N {0} such that every sum of squares in k equals a sum of m squares. Clearly, if u(k) is finite, then also P (k) is finite. Theorem 2. For every non-zero n N there is an -formula ϕ n (x) defining uniformly the valuation ring O of henselian fields (K, O) if the value group v(k) does not admit a convex 2-divisible subgroup {0}, char O M 2, and the u-invariant of the residue field O M is n. Proof: We want to apply the Characterization Theorem to the models (K, O) of a first order axiom system Σ expressing that the value group v(k) does not admit a convex 2-divisible subgroup {0} and that u(o M) = n. Let (K 1, O 1 ) and (K 2, O 2 ) be models of Σ and let K 1 K2. We then have to prove that O := K 1 O 2 O 1. Since K 1 is existentially closed in K 2 it follows that O is henselian and thus O and O 1 are comparable. If not, Fact 1 implies that the residue field of O 1, O, and the smallest common coarsening O of O 1 and O, all have separably closed residue field As O 1 O, O 1 M is a proper henselian valuation ring of O M, that has a value group, not divisible by 2. This follows from the assumption of the theorem and Fact 2. On the other hand as O M is separably closed, the value group of O 1 M has to be divisible, a contradiction. Therefore O and O 1 are comparable. It thus remains to exclude O 1 O. 6
7 Let us assume O 1 O. Then O 1 M = o is a proper henselian valuation ring on O M by Fact 3. The value group of o is a convex subgroup {0} of v 1 (K 1 ) and hence by Σ not 2-divisible. The residue field of o equals that of O 1 (Fact 2). As u(o 1 M 1 ) = n there exists a quadratic form ϱ =< a 1 + M,..., a n + M > with a i O such that ϱ is of total signature zero but not isotropic in O 1 M 1. We then choose some b O such that with respect to the valuation of o its value is not 2-divisible in. Then one can easily check that the quadratic form ϱ b :=< a 1 + M,..., a n + M, a 1 b + M,..., a n b + M > cannot be isotropic in O M. Moreover, ϱ b is of total signature zero in O M. At this point we use Lemma and Theorem of [E-P] to see that every ordering of O M maps to some ordering of the residue field O 1 M 1 of O 1 M. On the other hand, by u(o 2 M 2 ) = n we know that ϱ b is isotropic in the extension O 2 M 2 of O M. As (K 2, O 2 ) is henselian and char O 2 M 2 2, it follows from Hensel s Lemma that the quadratic form ϱ b :=< a 1,..., a n, a 1 b,..., a n b > is isotropic in K 2. Now, since K 1 is existentially closed in K 2, ϱ b is also isotropic in K 1. This, however, clearly implies that ϱ b is isotropic in O M. This contradiction implies that O 1 O cannot hold. Hence O 2 K 1 = O O 1, and we are done. As an application of Theorem 2 we see that the henselian valuation rings k[[t]] are uniformly definable in k((t)) by some -formula ϕ n in case 3 k is C(n = 1); k is a finite field or the function field of a real or complex curve (n = 2); k is a finite number field (n = 4); k is the function field of a complex variety V (n = u(k) 2 d where d is the dimension of V ). There are, however, fields k such that k[[t]] is not -definable in k((t)). Here is an example suggested by A. Fehm: Let k = n 1 k n with k arbitrary and k n = k((t n ))... ((t 1 )). Clearly k n k n+1. It is also clear that k is isomorphic to K = k ((t)) by sending t 1 to t and t n+1 to t n for n 1. The pre-image o of the henselian valuation ring O = k [[t]] of K is again a henselian valuation ring of k. Note that the restriction of O to the subfield k of K is the trivial valuation on k. 3 As u(r) = 0, this theorem does not cover the case of R[[t]]. Replacing, however, the u-invariant by the number of square classes of the residue field (which for R is 2) similar arguments as in the proof of Theorem 2 give as well an -formula. 7
8 We now use the fact that k is existentially closed in K (see Proposition 2 in [E]). We then see that O cannot be -definable in K. Assume some -formula ϕ(x) would define O in K. Then the same formula would define o in k. Now t 1 1 O implies that ϕ(t 1 1 ) holds in K. As k is existentially closed in K, we would also get ϕ(t 1 1 ) in k. But then t 1 1 o, a contradiction. 5 -definable henselian valuation rings Again we assume that Σ is a first order axiom system for henselian valued fields (K, O). We consider two models (K 1, O 1 ), (K 2, O 2 ) of Σ and assume K 1 K 2 (as fields). In order to get uniform -definability for all rings O of the models (K, O) of Σ, we have to show that O 1 O 2. Now we can no longer assume that O := O 2 K 1 is a henselian valuation ring of K 1. Thus we pass to the henselian closure K h of K 1 inside K 2 with respect to O 2. The valuation O 1 being henselian on K 1 uniquely extends to a henselian valuation O 1 on K h. Thus we have now O h = O 2 K h and O 1 as henselian valuations on K h. In the next application we shall fix a condition such that Fact 1 yields comparability of O h and O 1. This clearly implies comparability of O and O 1. Thus it remains to exclude O O 1. Theorem 3. Let Σ be a first order axiom system for henselian valued fields (K, O) such that the residue field O M = k is finite or PAC and the fixed polynomial f(x) Z[X] has no zero in k. Then there is an -formula ϕ f defining uniformly the rings O of models (K, O) of Σ. Proof: If O h and O 1 were not comparable by Fact 1 both would have a separably closed residue field. But then f would have a zero in O 2 M 2. Thus we get comparability of O and O 1. We want to exclude O O 1. In case it holds, O M 1 is a proper valuation of O 1 M 1. It then follows from Corollary in [F-J], that the residue field O M being the residue field of O M 1 w.r.t. M M 1 is separably closed. (Note that henselianity of O M 1 is not needed.) But then again f would have a zero in O 2 M 2, a contradiction. The result of Theorem 3 is due to A. Fehm. In [F] he explicitly constructs an -formula ϕ f. References [A-K] W. Anscombe, J. Koenigsmann: An existential -definition of F q [[t]] in F q ((t)), ArXiv: /60v1. [A1] J. Ax: On the undecidability of power series fields, Proc. Amer. Math. Soc 16:846 (1965). 8
9 [A2] J. Ax: The elementary theory of finite fields, Ann. of Math. 88 (1968), [C-D-L-M] R. Cluckers, J. Deraskhshan, E. Leenknegt, A. Macintyre: Uniformly defining valuation rings in henselian valued fields with finite or pseudo-finite residue fields, Preprint. [E-K-M] R. Elman, N. Karpenko, A. Merkurjev: The algebraic and geometric theory of quadratic forms, AMS, Coll Pub, 56 (2008). [E-P] A. Engler, A. Prestel: Valued Fields, Springer Monographs in Mathematics (2005). [E] [F] Y.L. Ershov: Relative regular closedness and π-valuations, Algebra and Logic, 31(6) (1992), A. Fehm: Existential -definability of henselian valuation rings, Preprint, ArXiv v2. [F-J] M.D. Fried, M. Jarden: Field arithmetic, 2nd Ed., Springer Ergebnisse (2005). [H] J. Hong: Definable non-divisible Henselian valuations, Bull. Lond. Math. Soc. 46 (2014), No 1, [P-D] [R] A. Prestel, C.N. Delzell: Positive polynomials, Springer Monographs in Mathematics (2001). P. Roquette: Nonstandard aspects of Hilbert s Irreducibility Theorem, Springer Lecture Notes in Mathematics 498 (1975), Department of Mathematics and Statistics University of Konstanz, Konstanz, Germany alex.prestel@uni-konstanz.de 9
THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS
THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure K is a tame extension, that is, the ramification
More informationModel Theory of Real Closed Fields
Model Theory of Real Closed Fields Victoria L. Noquez Carnegie Mellon University Logic and Computation Senior Thesis Advisor: Dr. James Cummings May 2008 Abstract An important fact in the application of
More informationNotes on QE for ACVF
Notes on QE for ACVF Fall 2016 1 Preliminaries on Valuations We begin with some very basic definitions and examples. An excellent survey of this material with can be found in van den Dries [3]. Engler
More informationSyntactic Characterisations in Model Theory
Department of Mathematics Bachelor Thesis (7.5 ECTS) Syntactic Characterisations in Model Theory Author: Dionijs van Tuijl Supervisor: Dr. Jaap van Oosten June 15, 2016 Contents 1 Introduction 2 2 Preliminaries
More informationVAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0. Contents
VAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0 BENJAMIN LEDEAUX Abstract. This expository paper introduces model theory with a focus on countable models of complete theories. Vaught
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationTHE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS
THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure K is a tame extension, that is, the ramification
More informationRecursive definitions on surreal numbers
Recursive definitions on surreal numbers Antongiulio Fornasiero 19th July 2005 Abstract Let No be Conway s class of surreal numbers. I will make explicit the notion of a function f on No recursively defined
More informationSEMIORDERINGS AND STABILITY INDEX UNDER FIELD EXTENSIONS
SEMIORDERINGS AND STABILITY INDEX UNDER FIELD EXTENSIONS KARIM JOHANNES BECHER, DAVID B. LEEP, AND CLAUS SCHUBERT Abstract. We study the behavior of orderings, semiorderings, and the stability index under
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More informationDefinability in fields Lecture 2: Defining valuations
Definability in fields Lecture 2: Defining valuations 6 February 2007 Model Theory and Computable Model Theory Gainesville, Florida Defining Z in Q Theorem (J. Robinson) Th(Q) is undecidable. Defining
More informationGALOIS POINTS ON VARIETIES
GALOIS POINTS ON VARIETIES MOSHE JARDEN AND BJORN POONEN Abstract. A field K is ample if for every geometrically integral K-variety V with a smooth K-point, V (K) is Zariski dense in V. A field K is Galois-potent
More informationCHARACTERIZATION OF EXTREMAL VALUED FIELDS
CHARACTERIZATION OF EXTREMAL VALUED FIELDS SALIH AZGIN, FRANZ-VIKTOR KUHLMANN, AND FLORIAN POP Abstract. We characterize those valued fields for which the image of the valuation ring under every polynomial
More informationOUTLINE AND REFERENCES FOR PROJECT: HASSE PRINCIPLE FOR RATIONAL FUNCTION FIELDS, AWS 2009
OUTLINE AND REFERENCES FOR PROJECT: HASSE PRINCIPLE FOR RATIONAL FUNCTION FIELDS, AWS 2009 R. PARIMALA 1. Introduction Hasse-Minkowski s theorem asserts that a quadratic form over a number field k admits
More informationAdditive Polynomials over Perfect Fields
Additive Polynomials over Perfect Fields Salih Durhan Abstract. Additive polynomials in one variable over valued fields of positive characteristic are sufficiently well understood in terms of their approximation
More informationDefinability in fields Lecture 1: Undecidabile arithmetic, decidable geometry
Definability in fields Lecture 1: Undecidabile arithmetic, decidable geometry 5 February 2007 Model Theory and Computable Model Theory Gainesville, Florida Structures from logic Question What do we study
More informationMODEL THEORY FOR ALGEBRAIC GEOMETRY
MODEL THEORY FOR ALGEBRAIC GEOMETRY VICTOR ZHANG Abstract. We demonstrate how several problems of algebraic geometry, i.e. Ax-Grothendieck, Hilbert s Nullstellensatz, Noether- Ostrowski, and Hilbert s
More informationThe first-order theory of finitely generated fields
generated fields University of California at Berkeley (on work of Robinson, Ershov, Rumely, Pop, myself, and Scanlon) Antalya Algebra Days X June 1, 2008 Quadratic sentence ( x)( y) x 2 + y 2 = 1 holds
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationFirst-Order Logic. 1 Syntax. Domain of Discourse. FO Vocabulary. Terms
First-Order Logic 1 Syntax Domain of Discourse The domain of discourse for first order logic is FO structures or models. A FO structure contains Relations Functions Constants (functions of arity 0) FO
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
More informationLimit computable integer parts
Limit computable integer parts Paola D Aquino, Julia Knight, and Karen Lange July 12, 2010 Abstract Let R be a real closed field. An integer part I for R is a discretely ordered subring such that for every
More informationHENSELIAN RESIDUALLY p-adically CLOSED FIELDS
HENSELIAN RESIDUALLY p-adically CLOSED FIELDS NICOLAS GUZY Abstract. In (Arch. Math. 57 (1991), pp. 446 455), R. Farré proved a positivstellensatz for real-series closed fields. Here we consider p-valued
More informationWEAKLY ISOTROPIC QUADRATIC FORMS UNDER FIELD EXTENSIONS
WEAKLY ISOTROPIC QUADRATIC FORMS UNDER FIELD EXTENSIONS CLAUS SCHUBERT Abstract. For a field F of characteristic not 2, let û(f ) denote the maximal dimension of anisotropic, weakly isotropic, non-degenerate
More informationVC-DENSITY FOR TREES
VC-DENSITY FOR TREES ANTON BOBKOV Abstract. We show that for the theory of infinite trees we have vc(n) = n for all n. VC density was introduced in [1] by Aschenbrenner, Dolich, Haskell, MacPherson, and
More informationDecidable and undecidable real closed rings
Decidable and undecidable real closed rings Marcus Tressl marcus.tressl@manchester.ac.uk http://personalpages.manchester.ac.uk/staff/marcus.tressl/index.php The University of Manchester Antalya Algebra
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationSolutions to Unique Readability Homework Set 30 August 2011
s to Unique Readability Homework Set 30 August 2011 In the problems below L is a signature and X is a set of variables. Problem 0. Define a function λ from the set of finite nonempty sequences of elements
More informationDIVIDING AND WEAK QUASI-DIMENSIONS IN ARBITRARY THEORIES
DIVIDING AND WEAK QUASI-DIMENSIONS IN ARBITRARY THEORIES ISAAC GODBRING AND HENRY TOWSNER Abstract. We show that any countable model of a model complete theory has an elementary extension with a pseudofinite-like
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationOn Computably Enumerable Sets over Function Fields
On Computably Enumerable Sets over Function Fields Alexandra Shlapentokh East Carolina University Joint Meetings 2017 Atlanta January 2017 Some History Outline 1 Some History A Question and the Answer
More informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationA NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN)
A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN) Z. REICHSTEIN Abstract. This is an expository note based on the work of D. J. Saltman. We discuss the notions of retract rationality and retract equivalence
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationValued Differential Fields. Matthias Aschenbrenner
Valued Differential Fields Matthias Aschenbrenner Overview I ll report on joint work with LOU VAN DEN DRIES and JORIS VAN DER HOEVEN. About three years ago we achieved decisive results on the model theory
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More informationInfinite objects in constructive mathematics
Infinite objects in constructive mathematics Thierry Coquand Mar. 24, 2005 Goal of this presentation Introduction to some recent developments in constructive algebra and abstract functional analysis This
More informationPropositional and Predicate Logic - VII
Propositional and Predicate Logic - VII Petr Gregor KTIML MFF UK WS 2015/2016 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - VII WS 2015/2016 1 / 11 Theory Validity in a theory A theory
More informationLöwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)
Löwenheim-Skolem Theorems, Countable Approximations, and L ω 0. Introduction David W. Kueker (Lecture Notes, Fall 2007) In its simplest form the Löwenheim-Skolem Theorem for L ω1 ω states that if σ L ω1
More informationDIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS
DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS GREG OMAN Abstract. Some time ago, Laszlo Fuchs asked the following question: which abelian groups can be realized as the multiplicative group of (nonzero elements
More informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More informationP-CONVEXLY VALUED RINGS
P-CONVEXLY VALUED RINGS NICOLAS GUZY Abstract. In [3], L. Bélair developed a theory analogous to the theory of real closed rings in the p-adic context, namely the theory of p-adically closed integral rings.
More informationIntroduction to Model Theory
Introduction to Model Theory Charles Steinhorn, Vassar College Katrin Tent, University of Münster CIRM, January 8, 2018 The three lectures Introduction to basic model theory Focus on Definability More
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationTOPOLOGICAL DIFFERENTIAL FIELDS
TOPOLOGICAL DIFFERENTIAL FIELDS NICOLAS GUZY AND FRANÇOISE POINT Abstract. First, we consider first-order theories of topological fields admitting a model-completion and their expansion to differential
More informationarxiv:math.lo/ v1 28 Nov 2004
HILBERT SPACES WITH GENERIC GROUPS OF AUTOMORPHISMS arxiv:math.lo/0411625 v1 28 Nov 2004 ALEXANDER BERENSTEIN Abstract. Let G be a countable group. We proof that there is a model companion for the approximate
More informationConstructive algebra. Thierry Coquand. May 2018
Constructive algebra Thierry Coquand May 2018 Constructive algebra is algebra done in the context of intuitionistic logic 1 H. Lombardi, C. Quitté Commutative Algebra: Constructive Methods, 2016 I. Yengui
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to
More informationFields and model-theoretic classification, 2
Fields and model-theoretic classification, 2 Artem Chernikov UCLA Model Theory conference Stellenbosch, South Africa, Jan 11 2017 NIP Definition Let T be a complete first-order theory in a language L.
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationLecture 8, 9: Tarski problems and limit groups
Lecture 8, 9: Tarski problems and limit groups Olga Kharlampovich October 21, 28 1 / 51 Fully residually free groups A group G is residually free if for any non-trivial g G there exists φ Hom(G, F ), where
More informationGeometry with Valuations
Geometry with Valuations Lectures delivered by Nir Avni Notes by Akhil Mathew Fall 2011, Harvard Contents Lecture 1 9/6 1 The Ax-Grothendieck theorem 3 2 First-order logic 5 3 Further directions 7 Lecture
More informationA WEAK VERSION OF ROLLE S THEOREM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3147 3153 S 0002-9939(97)03910-5 A WEAK VERSION OF ROLLE S THEOREM THOMAS C. CRAVEN (Communicated by Wolmer
More informationSTRUCTURE AND EMBEDDING THEOREMS FOR SPACES OF R-PLACES OF RATIONAL FUNCTION FIELDS AND THEIR PRODUCTS
STRUCTURE AND EMBEDDING THEOREMS FOR SPACES OF R-PLACES OF RATIONAL FUNCTION FIELDS AND THEIR PRODUCTS KATARZYNA AND FRANZ-VIKTOR KUHLMANN Abstract. For arbitrary real closed fields R, we study the structure
More informationA study of irreducible polynomials over henselian valued fields via distinguished pairs
A study of irreducible polynomials over henselian valued fields via distinguished pairs Kamal Aghigh, Department of Mathematics, K. N. Toosi University of Technology, Tehran, Iran aghigh@kntu.ac.ir, Anuj
More informationTHE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p
THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationPropositional and Predicate Logic - XIII
Propositional and Predicate Logic - XIII Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - XIII WS 2016/2017 1 / 22 Undecidability Introduction Recursive
More informationFINITE MODEL THEORY (MATH 285D, UCLA, WINTER 2017) LECTURE NOTES IN PROGRESS
FINITE MODEL THEORY (MATH 285D, UCLA, WINTER 2017) LECTURE NOTES IN PROGRESS ARTEM CHERNIKOV 1. Intro Motivated by connections with computational complexity (mostly a part of computer scientice today).
More informationAdic Spaces. Torsten Wedhorn. June 19, 2012
Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.
More informationOFER GABBER, QING LIU, AND DINO LORENZINI
PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected
More informationGeometric representation in the theory of pseudo-finite fields
Geometric representation in the theory of pseudo-finite fields arxiv:1602.07462v2 [math.lo] 25 Feb 2016 Özlem Beyarslan Zoé Chatzidakis Abstract We study the automorphism group of the algebraic closure
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationA criterion for p-henselianity in characteristic p
A criterion for p-henselianity in characteristic p Zoé Chatzidakis and Milan Perera Abstract Let p be a prime. In this paper we give a proof of the following result: A valued field (K, v) of characteristic
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationIMMEDIATE EXPANSIONS BY VALUATION OF FIELDS
IMMEDIATE EXPANSIONS BY VALUATION OF FIELDS IMMEDIATE EXPANSIONS BY VALUATION OF FIELDS by JIZHAN HONG, M.Sc. B.Sc. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationDecidability of Sub-theories of Polynomials over a Finite Field
Decidability of Sub-theories of Polynomials over a Finite Field Alla Sirokofskich Hausdorff Research Institute for Mathematics Poppelsdorfer Allee 45, D-53115, Bonn, Germany Department of Mathematics University
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationThe torsion free part of the Ziegler spectrum of orders over Dedekind domains
The torsion free part of the Ziegler spectrum of orders over Dedekind domains Carlo Toffalori (Camerino) Manchester, April 6-9, 2018 Work in progress with Lorna Gregory and Sonia L Innocente Dedicated
More informationThe Zariski Spectrum of a ring
Thierry Coquand September 2010 Use of prime ideals Let R be a ring. We say that a 0,..., a n is unimodular iff a 0,..., a n = 1 We say that Σa i X i is primitive iff a 0,..., a n is unimodular Theorem:
More informationHerbrand Theorem, Equality, and Compactness
CSC 438F/2404F Notes (S. Cook and T. Pitassi) Fall, 2014 Herbrand Theorem, Equality, and Compactness The Herbrand Theorem We now consider a complete method for proving the unsatisfiability of sets of first-order
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More informationExtension theorems for homomorphisms
Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationMath Introduction to Modern Algebra
Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationMore Model Theory Notes
More Model Theory Notes Miscellaneous information, loosely organized. 1. Kinds of Models A countable homogeneous model M is one such that, for any partial elementary map f : A M with A M finite, and any
More informationABSOLUTE VALUES AND VALUATIONS
ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More informationRepresenting Scott Sets in Algebraic Settings
Representing Scott Sets in Algebraic Settings Alf Dolich Kingsborough Community College Julia F. Knight University of Notre Dame Karen Lange Wellesley College David Marker University of Illinois at Chicago
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationOn convergent power series
Peter Roquette 17. Juli 1996 On convergent power series We consider the following situation: K a field equipped with a non-archimedean absolute value which is assumed to be complete K[[T ]] the ring of
More information