The “Defektsatz” for central simple algebras
HTML articles powered by AMS MathViewer
- by Joachim Gräter PDF
- Trans. Amer. Math. Soc. 330 (1992), 823-843 Request permission
Abstract:
Let $Q$ be a central simple algebra finite-dimensional over its center $F$ and let $V$ be a valuation ring of $F$. Then $V$ has an extension to $Q$, i.e., there exists a Dubrovin valuation ring $B$ of $Q$ satisfying $V= F \cap B$. Generally, the number of extensions of $V$ to $Q$ is not finite and therefore the so-called intersection property of Dubrovin valuation rings ${B_1}, \ldots ,{B_n}$ is introduced. This property is defined in terms of the prime ideals and the valuation overrings of the intersection ${B_1} \cap \cdots \; \cap {B_n}$. It is shown that there exists a uniquely determined natural number $n$ depending only on $V$ and having the following property: If ${B_1}, \ldots ,{B_k}$ are extensions of $V$ having the intersection property then $k \leq n$ and $k= n$ holds if and only if ${B_1} \cap \cdots \cap {B_k}$ is integral over $V$. Let $n$ be the extension number of $V$ to $Q$. There exist extensions ${B_1}, \cdots ,{B_n}$ of $V$ having the intersection property and if ${R_1}, \ldots ,{R_n}$ are also extensions of $V$ having the intersection property then ${B_1} \cap \cdots \cap {B_n}$ and ${R_1} \cap \cdots \cap {R_n}$ are conjugate. The main result regarding the extension number is the Defektsatz: $[Q:F]= {f_B}(Q/F){e_B}(Q/F){n^2}{p^d}$, where ${f_B}(Q/F)$ is the residue degree, ${e_B}(Q/F)$ the ramification index, $n$ the extension number, $p = \operatorname {char}(V/J(V))$, and $d$ a natural number.References
- Gorô Azumaya, On maximally central algebras, Nagoya Math. J. 2 (1951), 119–150. MR 40287, DOI 10.1017/S0027763000010114
- S. A. Amitsur and L. W. Small, Prime ideals in PI rings, J. Algebra 62 (1980), no. 2, 358–383. MR 563234, DOI 10.1016/0021-8693(80)90188-X
- Julio R. Bastida, Field extensions and Galois theory, Encyclopedia of Mathematics and its Applications, vol. 22, Addison-Wesley Publishing Company, Advanced Book Program, Reading, MA, 1984. With a foreword by Roger Lyndon. MR 747137, DOI 10.1017/CBO9781107340749 N. Bourbaki, Commutative algebra, Addison-Wesley, Reading, Mass., 1970.
- H.-H. Brungs and Joachim Gräter, Valuation rings in finite-dimensional division algebras, J. Algebra 120 (1989), no. 1, 90–99. MR 977862, DOI 10.1016/0021-8693(89)90190-7
- H.-H. Brungs and J. Gräter, Extensions of valuation rings in central simple algebras, Trans. Amer. Math. Soc. 317 (1990), no. 1, 287–302. MR 946216, DOI 10.1090/S0002-9947-1990-0946216-5
- Paul Moritz Cohn, Algebra. Vol. 2, John Wiley & Sons, London-New York-Sydney, 1977. With errata to Vol. I. MR 0530404
- Peter Draxl, Ostrowski’s theorem for Henselian valued skew fields, J. Reine Angew. Math. 354 (1984), 213–218. MR 767581, DOI 10.1515/crll.1984.354.213
- N. I. Dubrovin, Noncommutative valuation rings, Trudy Moskov. Mat. Obshch. 45 (1982), 265–280 (Russian). MR 704633
- N. I. Dubrovin, Noncommutative valuation rings in simple finite-dimensional algebras over a field, Mat. Sb. (N.S.) 123(165) (1984), no. 4, 496–509 (Russian). MR 740675
- Otto Endler, Valuation theory, Universitext, Springer-Verlag, New York-Heidelberg, 1972. To the memory of Wolfgang Krull (26 August 1899–12 April 1971). MR 0357379, DOI 10.1007/978-3-642-65505-0
- Joachim Gräter, Zur Theorie nicht kommutativer Prüferringe, Arch. Math. (Basel) 41 (1983), no. 1, 30–36 (German). MR 713664, DOI 10.1007/BF01193819
- Joachim Gräter, Lokalinvariante Bewertungen, Math. Z. 192 (1986), no. 2, 183–194 (German). MR 840822, DOI 10.1007/BF01179421
- J. Gräter, Valuations on finite-dimensional division algebras and their value groups, Arch. Math. (Basel) 51 (1988), no. 2, 128–140. MR 959388, DOI 10.1007/BF01206470
- Joachim Gräter, A note on valued division algebras, J. Algebra 150 (1992), no. 2, 271–280. MR 1176896, DOI 10.1016/S0021-8693(05)80031-6
- Bill Jacob and Adrian Wadsworth, Division algebras over Henselian fields, J. Algebra 128 (1990), no. 1, 126–179. MR 1031915, DOI 10.1016/0021-8693(90)90047-R
- Karl Mathiak, Valuations of skew fields and projective Hjelmslev spaces, Lecture Notes in Mathematics, vol. 1175, Springer-Verlag, Berlin, 1986. MR 835210, DOI 10.1007/BFb0074653
- Pat Morandi, The Henselization of a valued division algebra, J. Algebra 122 (1989), no. 1, 232–243. MR 994945, DOI 10.1016/0021-8693(89)90247-0
- Patrick J. Morandi, An approximation theorem for Dubrovin valuation rings, Math. Z. 207 (1991), no. 1, 71–81. MR 1106813, DOI 10.1007/BF02571375
- J. C. McConnell and J. C. Robson, Noncommutative Noetherian rings, Pure and Applied Mathematics (New York), John Wiley & Sons, Ltd., Chichester, 1987. With the cooperation of L. W. Small; A Wiley-Interscience Publication. MR 934572
- I. Reiner, Maximal orders, London Mathematical Society Monographs. New Series, vol. 28, The Clarendon Press, Oxford University Press, Oxford, 2003. Corrected reprint of the 1975 original; With a foreword by M. J. Taylor. MR 1972204
- Paulo Ribenboim, Théorie des valuations, Séminaire de Mathématiques Supérieures, No. 9 (Été, vol. 1964, Les Presses de l’Université de Montréal, Montreal, Que., 1968 (French). Deuxième édition multigraphiée. MR 0249425
- Louis Halle Rowen, Polynomial identities in ring theory, Pure and Applied Mathematics, vol. 84, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1980. MR 576061
- O. F. G. Schilling, Noncommutative valuations, Bull. Amer. Math. Soc. 51 (1945), 297–304. MR 11684, DOI 10.1090/S0002-9904-1945-08339-6
- O. F. G. Schilling, The Theory of Valuations, Mathematical Surveys, No. 4, American Mathematical Society, New York, N. Y., 1950. MR 0043776, DOI 10.1090/surv/004
- Adrian R. Wadsworth, Dubrovin valuation rings, Perspectives in ring theory (Antwerp, 1987) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 233, Kluwer Acad. Publ., Dordrecht, 1988, pp. 359–374. MR 1048422
- Adrian R. Wadsworth, Dubrovin valuation rings and Henselization, Math. Ann. 283 (1989), no. 2, 301–328. MR 980600, DOI 10.1007/BF01446437
Additional Information
- © Copyright 1992 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 330 (1992), 823-843
- MSC: Primary 16H05; Secondary 16D30, 16K40, 16S70, 16W60
- DOI: https://doi.org/10.1090/S0002-9947-1992-1034663-7
- MathSciNet review: 1034663