Content deleted Content added
→Galois correspondence for purely inseparable extensions: Adding/improving reference(s) |
No edit summary |
||
Line 1:
In algebra, a '''purely inseparable extension''' of fields is an extension ''k'' ⊆ ''K'' of fields of characteristic ''p'' > 0 such that every element of ''K'' is a root of an equation of the form ''x''<sup>''q''</sup>
==Purely inseparable extensions==
Line 14:
It follows from the above equivalent characterizations that if <math>E=F[\alpha]</math> (for ''F'' a field of prime characteristic) such that <math>\alpha^{p^n}\in F</math> for some integer <math>n\geq 0</math>, then ''E'' is purely inseparable over ''F''.<ref>Isaacs, Corollary 19.11, p. 298</ref> (To see this, note that the set of all ''x'' such that <math>x^{p^n}\in F</math> for some <math>n\geq 0</math> forms a field; since this field contains both <math>\alpha</math> and ''F'', it must be ''E'', and by condition 2 above, <math>E\supseteq F</math> must be purely inseparable.)
If ''F'' is an imperfect field of prime characteristic ''p'', choose <math>a\in F</math> such that ''a'' is not a ''p''th power in ''F'', and let ''f''(''X'') = ''X''<sup>p</sup> − ''a''. Then ''f'' has no root in ''F'', and so if ''E'' is a splitting field for ''f'' over ''F'', it is possible to choose <math>\alpha</math> with <math>f(\alpha)=0</math>. In particular, <math>\alpha^{p}=a</math> and by the property stated in the paragraph directly above, it follows that <math>F[\alpha]\supseteq F</math> is a non-trivial purely inseparable extension (in fact, <math>E=F[\alpha]</math>, and so <math>E\supseteq F</math> is automatically a purely inseparable extension).<ref name="Isaacs299">Isaacs, p. 299</ref>
Purely inseparable extensions do occur naturally; for example, they occur in [[algebraic geometry]] over fields of prime characteristic. If ''K'' is a field of characteristic ''p'', and if ''V'' is an [[algebraic variety]] over ''K'' of dimension greater than zero, the [[function field of an algebraic variety|function field]] ''K''(''V'') is a purely inseparable extension over the [[subfield]] ''K''(''V'')<sup>''p''</sup> of ''p''th powers (this follows from condition 2 above). Such extensions occur in the context of multiplication by ''p'' on an [[elliptic curve]] over a finite field of characteristic ''p''.
Line 27:
==Galois correspondence for purely inseparable extensions==
{{harvs|txt|last=Jacobson|year1=1937|year2=1944}} introduced a variation of Galois theory for purely inseparable extensions of exponent 1, where the Galois groups of field automorphisms in Galois theory are replaced by [[restricted Lie algebra]]s of derivations. The simplest case is for finite index purely inseparable extensions ''K''⊆''L'' of exponent at most 1 (meaning that the ''p''th power of every element of ''L'' is in ''K''). In this case the Lie algebra of ''K''-derivations of ''L'' is a restricted Lie algebra that is also a vector space of dimension ''n'' over ''L'', where [''L'':''K''] = ''p''<sup>''n''</sup>, and the intermediate fields in ''L'' containing ''K'' correspond to the restricted Lie subalgebras of this Lie algebra that are vector spaces over ''L''. Although the Lie algebra of derivations is a vector space over ''L'', it is not in general a Lie algebra over ''L'', but is a Lie algebra over ''K'' of dimension ''n''[''L'':''K'']
A purely separable extension is called a '''modular extension''' if it is a tensor product of simple extensions, so in particular every extension of exponent 1 is modular, but there are non-modular extensions of exponent 2 {{harv|Weisfeld|1965}}.
| |||