In the upcoming several posts in this series, we will say something on valuation theory. The main reference is Wedhorn’s note on adic spaces.
Valuation theory is very important in non-archimedean analysis. Of course, this theory has many other applications, just like the example given at the beginning of this series of posts, yet non-archimedean analysis provides, or, demands an environnement for valuation theory, simply because the fundamental things like metric, are expressed via valuation.
Before saying anything about valuation theory, we should perhaps first talk about totally ordered groups.
Suppose that is an abelian group(written multiplicatively). If has a total order such that if , then for any . That is to say, this total order respects the algebraic structure on . We call such a group a totally ordered group. We can give the order topology(open sets are generated by subsets of the form where runs through ), thus making into a topological space. It is rather straight forward to see that is a topological group. At last, a morphism between two totally ordered groups is a group morphism such that if in , then in . In the above, we can replace ‘group’ with the word ‘monoid’, the definitions do not change. In this way, we get a category of totally ordered groups(monoids). And clearly the subgroup(sub-monoid) of a totally ordered group(monoid) is again in the category. First let’s give some easy examples. The easiest one is , the real numbers with the usual order. Similarly, , the positive real numbers. And it is easy to see that these two totally ordered groups are isomorphic. Next, given two totally ordered groups , we can give the lexicographic order(that is to say, two elements if or ), then it is easy to see that with this total order becomes a totally ordered group. Note that the projection to the second factor is, in general, not a morphism of totally ordered groups. In this way, for any finite number of totally ordered groups, we can give their Cartesian product a total order, making it into a totally ordered group. If a set of totally ordered groups is indexed by some well-ordered set, that is where with a well ordered set, then we can still give a total order, as follows: for any two elements , we set , then since is well ordered, has a minimal element or is an empty set, in the first case, we define if , and in the second case, we naturally set . More general, we can relax the condition that be well ordered to that be totally ordered, and we define the Hahn product t be the subset of consisting of elements such that is well ordered. Then it is not hard to verify that is again a totally ordered group.
The importance of Hahn product is shown in the following theorem:
Theorem: Every totally ordered group is isomorphic to a subgroup of the Hahn product of copies of indexed by some totally ordered set.
This theorem is striking at first sight, because a priori for the present we know almost nothing about totally ordered groups except the definition. Let’s still try to figure out what this theorem means. Given a totally ordered group , and choose a non-trivial element , then consider the convex subgroup generated this element (by convex subgroup, we mean that for any two elements , if , then , and the convex subgroup generated by some subset is just the intersection of all the convex subgroups of all of which contain this subset). We denote this convex subgroup by , then in some sense, we can create a morphism from to . How to construct this morphism? For any element (we assume that ), we consider all the pairs such that and take for all these pairs. Similarly, consider all the pairs of integers such that and take . Then take , and we define where we assume that and just for convenience(for those , we just consider the inverse of for ). We should show that this is a morphism of totally ordered groups. That is, if in , then . For any two pairs of integers such that , then we rewrite . Then consider all the possibilities of these pairs, we should have that and similarly , and thus . There is a little problem with this construction, that is, can be non-injective. Here comes some modification. If there are two elements such that , this in some sense means that we can pick out and define a morphism . And we can continue this procedure until all such cases are examined and at last we should get some morphism which is injective.
Next we study the morphism between two totally ordered groups, . Note that is again a subgroup of . In fact, has more interesting properties. That is, for any in with , then , so this means that . This interesting property deserves a definition:
A subgroup of a totally ordered group is called convex(or isolated) if for any in with implies that .
There is another equivalent definition for convex subgroup, that is:
A subgroup of a totally ordered group is convex if and only if for any in with , we have that and .
Proof: suppose that the above condition is satisfied, then for any in , we have that . Furthermore, , so and , in either case, we have that since is a group; Conversely, if is convex, then for , we have that . This means that .
We have said that the kernel of a morphism between totally ordered groups give some convex subgroups. In fact, we can see that all convex subgroups arise this way. Indeed, for a convex subgroup , we see that if , then or (by we mean that is smaller than all the elements in ;similar for ). So, this enables us to define an order on . For any , we say that if . Note that this is indeed a definition, that is, if there , that is for some , then if and only if , which is rather clear. So, in this way, we define an order on , and it is straight forward to see that this order is a total order, moreover, the canonical projection is a morphism or totally ordered groups. And it is easy to see that . We thus prove that all convex subgroups of arise as the kernels of some morphisms of totally ordered groups. This is just like the normal subgroups in group theory.
This equivalent definition reminds us of the definition of prime ideals. Indeed, we will see later that there exists some correspondence between the set of prime ideals and the set of convex subgroups.
Before we state this correspondence, we need to define valuations, and for this, we need to modify the category of totally ordered groups.
For any totally ordered group , we add an element to and write it as . For the order on , we define it as: for two elements in , they take the same order as in , and we set for any . Furthermore, we set that . This resembles to a ring, the difference is that, there is no addition operation, only the multiplication operation.
In the next post, we will say something about valuations, such as the definition and some simple properties.