Maximal separable subfields
HTML articles powered by AMS MathViewer
- by Bonnie Page Danner PDF
- Proc. Amer. Math. Soc. 68 (1978), 125-131 Request permission
Abstract:
If $L/K$ is a finitely generated separable field extension of characteristic $p \ne 0$ and M is an intermediate field such that $L/M$ is inseparable, it is proved there exist subfields S of M maximal with respect to the property that $L/S$ is separable. These maximal separable subfields, denoted S-subfields for $L/M$, are characterized in two ways. (1) Let $L/S$ be a separable field extension. Then S is a S-subfield for $L/M$ if and only if $S({L^p}) \supseteq M$ and S is algebraically closed in M. (2) If $L/S$ is separable, S is a S-subfield for $L/M$ if and only if the inseparability of $L/M$ is equal to the transcendence degree of $M/S$. A S-subfield for $L/M$ is constructed using a maximal subset of a relative p-basis for $M/K$ which remains p-independent in L. It is proved that there is a unique S-subfield for $L/M$ if and only if $S/K$ is algebraic for some S.References
- Jean Dieudonné, Sur les extensions transcendantes séparables, Summa Brasil. Math. 2 (1947), no. 1, 1–20 (French). MR 25441
- Nathan Jacobson, Lectures in abstract algebra. Vol III: Theory of fields and Galois theory, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London-New York, 1964. MR 0172871
- Hanspeter Kraft, Inseparable Körpererweiterungen, Comment. Math. Helv. 45 (1970), 110–118 (German). MR 260709, DOI 10.1007/BF02567318
- Serge Lang, Algebra, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1965. MR 0197234
- Saunders Mac Lane, Modular fields. I. Separating transcendence bases, Duke Math. J. 5 (1939), no. 2, 372–393. MR 1546131, DOI 10.1215/S0012-7094-39-00532-6
Additional Information
- © Copyright 1978 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 68 (1978), 125-131
- MSC: Primary 12F15
- DOI: https://doi.org/10.1090/S0002-9939-1978-0460300-4
- MathSciNet review: 0460300