Splitting fields and separability
HTML articles powered by AMS MathViewer
- by Mark Ramras PDF
- Proc. Amer. Math. Soc. 38 (1973), 489-492 Request permission
Abstract:
It is a classical result that if $(R,\mathfrak {M})$ is a complete discrete valuation ring with quotient field $K$, and if $R/\mathfrak {M}$ is perfect, then any finite dimensional central simple $K$-algebra $\Sigma$ can be split by a field $L$ which is an unramified extension of $K$. Here we prove that if $(R,\mathfrak {M})$ is any regular local ring, and if $\Sigma$ contains an $R$-order $\Lambda$ whose global dimension is finite and such that $\Lambda /\operatorname {Rad} \Lambda$ is central simple over $R/\mathfrak {M}$, then the existence of an “$R$-unramified” splitting field $L$ for $\Sigma$ implies that $\Lambda$ is $R$-separable. Using this theorem we construct an example which shows that if $R$ is a regular local ring of dimension greater than one, and if its characteristic is not 2, then there is a central division algebra over $K$ which has no $R$-unramified splitting field.References
- M. Auslander and D. A. Buchsbaum, On ramification theory in noetherian rings, Amer. J. Math. 81 (1959), 749–765. MR 106929, DOI 10.2307/2372926
- Maurice Auslander and Oscar Goldman, The Brauer group of a commutative ring, Trans. Amer. Math. Soc. 97 (1960), 367–409. MR 121392, DOI 10.1090/S0002-9947-1960-0121392-6
- Mark Ramras, Orders with finite global dimension, Pacific J. Math. 50 (1974), 583–587. MR 349758
- O. F. G. Schilling, The Theory of Valuations, Mathematical Surveys, No. 4, American Mathematical Society, New York, N. Y., 1950. MR 0043776
Additional Information
- © Copyright 1973 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 38 (1973), 489-492
- MSC: Primary 16A16
- DOI: https://doi.org/10.1090/S0002-9939-1973-0314888-X
- MathSciNet review: 0314888