代数学において、体の純非分離拡大 (purely inseparable extension) は標数 p > 0 の体の拡大 k ⊆ K であって K のすべての元が q を p のベキ、a を k の元として xq = a の形の方程式の根であるようなものである。純非分離拡大はときどき radicial extension と呼ばれるが、名前の似たより一般的な概念である冪根拡大(英語版) (radical extension) と混同してはならない。
純非分離拡大
代数拡大 が純非分離拡大 (purely inseparable extension) であるとは、すべての に対して、 の F 上の最小多項式が分離多項式でないということである[1]。F が任意の体であれば、自明な拡大 が純非分離である。体 F が非自明な純非分離拡大をもつためには、上のセクションで概説したように不完全でなければならない。
純非分離拡大の概念に対するいくつかの同値でより具体的な定義が知られている。 が代数拡大で標数が(0 でない)素数 p であれば、以下は同値である[2]:
1. E は F 上純非分離
2. 各元 に対してある が存在して .
3. E の各元はある整数 とある元 に対して の形の F 上の最小多項式をもつ。
上の同値な特徴づけから次が従う。(素数標数の体 F に対して) であってある整数 に対して であれば、E は F 上純非分離である[3]。(これを確認するには、ある に対して であるようなすべての x からなる集合は体をなすことに注意せよ。この体は と F を両方含むので、それは E でなければならず、上の条件 2 によって、 は純非分離でなければならない。)
F が標数が素数 p の不完全体ならば、 であって a は F において p 乗元でないものを選び、 f(X) = Xp − a とする。このとき f は F に根をもたないので、E が f の F 上の分解体であれば、 なる を選ぶことができる。とくに、 であり、直上の段落で述べられた性質から、次が従う。 は非自明純非分離拡大である(実は なので は自動的に純非分離拡大である)[4]。
純非分離拡大は自然に確かに現れる。例えば、素数標数の体上の代数幾何学において現れる。K が標数 p の体で V が次元が 0 よりも大きい K 上の代数多様体であれば、関数体K(V) は p 乗の部分体K(V)p 上純非分離拡大である(これは上の条件 2 から従う)。そのような拡大は標数 p の有限体上の楕円曲線上の p 倍の文脈において現れる。
性質
体 F の標数が(0 でない)素数 p であれば、そして が純非分離拡大であれば、 なら K は F 上純非分離で E は K 上純非分離である。さらに、[E : F] が有限であれば、それは F の標数 p のベキである[5]。
Jacobson (1937, 1944) は指数 1 の純非分離拡大に対するガロワ理論のバリエーションを導入した、ただしガロワ理論における体自己同型のガロワ群は微分の制限リー代数(英語版)に取って代わられる。もっとも簡単なケースは指数が高々 1 の有限 index 純非分離拡大 K⊆L に対するものである(つまり L のすべての元の p 乗は K に入る)。この場合 L の K-微分のリー代数は L 上 n 次元のベクトル空間でもある制限リー代数である、ただし [L:K] = pn、そして L の K を含む中間体は L 上ベクトル空間であるこのリー代数の制限リー部分代数に対応する。微分のリー代数は L 上のベクトル空間であるが、それは一般には L 上のリー代数ではない、が K 上次元 n[L:K] = npn のリー代数である。