Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-16T17:12:46.019Z Has data issue: false hasContentIssue false

C-Valuations and Normal C-Orderings

Published online by Cambridge University Press:  20 November 2018

M. Chacron*
Affiliation:
Carleton University, Ottawa, Ontario
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let D stand for a division ring (or skewfield), let G stand for an ordered abelian group with positive infinity adjoined, and let ω: D → G. We call to a valuation of D with value group G, if ω is an onto mapping from D to G such that

(i) ω(x) = ∞ if and only if x = 0,

(ii) ω(x1 + x2) = min(ω (x1), ω (x2)), and

(iii) ω (x1 x2) = ω (x1) + ω (x2).

Associated to the valuation ω are its valuation ring

R = ﹛x ∈ Dω(x) ≧ 0﹜,

its maximal ideal

J = ﹛x ∈ |ω(x) > 0﹜, and its residue division ring D = R/J.The invertible elements of the ring R are called valuation units. Clearly R and, hence, J are preserved under conjugation so that 1 + J is also preserved under conjugation. The latter is thus a normal subgroup of the multiplicative group Dm of D and hence, the quotient group D˙/1 + J makes sense (the residue group of ω). It enlarges in a natural way the residue division ring D (0 excluded, and addition “forgotten“).

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1989

References

1. Amitsur, S.S., Rowen, L. and Tignol, Division algebras of degree 4 and 8 with involution, Israel J. Math. 33 (1979), 133148.Google Scholar
2. Chacron, M., c-orderable division rings with involution, J. of Algebra 75 (1982), 495521.Google Scholar
3. Chacron, M. and Wadsworth, A., On decomposing c-valued division rings. In preparation. 3'. T. Craven, Approximation properties for orderings on *-fields, Preprint.Google Scholar
4. Holland, S.S. Jr., *-valuations and ordered *-fields, Trans. Amer. Math. Soc. 262 (1980), 219243.Google Scholar
5. Holland, S.S. (Jr.), Strong orderings of *-fields, J. of Algebra 101 (1986), 1646.Google Scholar
6. Holland, S.S. (Jr.), Baer ordered *-fields of the first kind, Israel J. of Mathematics 57 (1987), 365374.Google Scholar
7. Idris, I., *-valuated division rings, orderings, and elliptic heritian spaces, Ph.D. thesis, Carleton University, Ottawa, Canada (1986).Google Scholar
8. Lam, T.Y., Orderings, valuations and quadratic forms, Amer. Math. Soc. Publ. V. 52 (1983).Google Scholar
9. Prestel, A., Lectures on formally real fields, Springer Lecture Notes 1093 (Springer- Verlag, Berlin, 1984).Google Scholar
10. Prestel, A., Quadratishe Semi-Ordnumgen und quadratishe Formen, Math. Z. 133 (1973), 319342.Google Scholar
11. Schilling, O., The theory of valuations, Math. Surveys 4 (Amer. Math. Soc, Providence, R.I., 1950).Google Scholar
12. Nagata, M., Field theory, Pure and applied mathematics (Marcel Dekker Inc., New York and Basel, 1979).Google Scholar
13. Jacobson, N., Basic algebra II (W. H. Freeman and Company, San Francisco, 1980).Google Scholar
14. Gross, H., Quadratic forms in infinite dimensional vector spaces, Progress in Mathematics Bikhausen 22 (1979).Google Scholar
15. Cohn, P.M., Algebra, Vol. 2 (John Wiley & Sons, London, 1977).Google Scholar
16. Morandi, P., The Henselization of a valued division algebra, to appear in J. Algebra.Google Scholar
17. Jacob, B. and Wadsworth, A.R., Division algebras over Henselian fields, to appear in J. Algebra.Google Scholar