Search

(4) Assume that both HT ht and HT ht create new ramification points, that is, both give Type II (b) extensions. It follows that HT ht is a Type II extension. The definition of is inductive, done in parallel with the definition of the HT ht . Suppose that HT ht and HT ht are of Type II over A. Then we will consider the following four sub-cases. The equivalence classes of the equivalence relation HT ht at the point p are called the I cones i at p. From now on, by I semilinear order i , we always mean a I lower i semilinear order. [Extracted from the article]