分解体
定義
編集例
編集
●実数体 R上の二次式 x2+ 1 の分解体は複素数体 Cである。
●有理数体 Q上の二次式 x2− 2 の分解体は二次体 である。
●素数 pとそのべき q= pnに対して、素体 GFp上の多項式 xq− xの分解体は有限体 GFqである。
三次方程式の例
編集
例えば、K が有理数体 Qであり、
P(X) = X3− 2
のとき、P(X) の分解体 Lは1の原始立方根と2の立方根を含む。
従って、
であり、L は K= Qの6次拡大である。ここで、
は、1の立方根である。
その他の例
編集
●標数7の素体 GF7上の二次式 x2+ 1 の分解体は、位数49のガロア体 GF49である。−1 は GF7上平方根を持たないからである[1]。
●GF7 上の二次式 x2− 1 の分解体は、GF7 である。 x2− 1 = (x + 1)(x − 1) と GF7で一次式の積に因数分解できるからである。
事実
編集
K の拡大体 Lが、K 上の多項式からなる適当な集合に対して、同時にそれら全ての多項式の︵それを一次式の積に分解することができるという意味で︶分解体となっているとき、L は Kの正規拡大であると言う。
K を含む代数閉体 Aを固定して考えるとき、拡大 A/K の中間体で K上の多項式 pの分解体となるものがただ一つ存在し、それは pの Aにおける根を Kに全て添加して得られる体に他ならない。K が複素数体の部分体ならば分解体の存在については直ちにいえるが、一般には代数閉包の存在がこの分解体に対する結果の﹁ある種の極限﹂として証明されることもしばしばであるので、循環論法を避けるためにはこれらは独立に証明されなければならない。
K の分離拡大 K' に対し、K' のガロワ閉包 (Galois closure) Lは分解体の一種で、K の K' を含む最小のガロワ拡大を言う。そのようなガロワ閉包は各元 a∈ K' の K上の最小多項式として得られる全ての K-係数多項式に対する最小分解体を含まなければならない。
分解体の構成
編集
多項式の求根は古代ギリシアの時代より重要な問題であった。しかしいくつかの多項式、例えば X2+ 1 のようなものは実数体 Rの範囲で考える限りにおいて根を持たない。そのような多項式に対する分解体の構成は、新たな体の中に多項式の根を求めることを可能にするものである。
構成法
編集
F を体、p(X) は多項式環 F[X] の n-次多項式とする。多項式 p(X) の F上の分解体を構成する一般の過程は、体の拡大の列 F= K0, K1, …, Kr−1, Kr= Kで、各 Kiが p(X) の新たな根を含む Ki−1 の拡大となっているようなものを構成することである。p(X) は高々 n個しか根を持たないのだから、この構成も高々 n段階の拡大を想定すればよい。各 Kiに対する構成は以下のようにする:
(一)p(X) を Ki上の既約因子の積 f1(X)f2(X) … fk(X) に因数分解する。
(二)そのうちの一次式でない既約因子 f(X) = fi(X) を選択する。
(三)体の拡大 Ki+1/Ki を、f(X) の根体、すなわち剰余環 Ki+1 = Ki[X]/(f(X)) として構成する。ここに、記号 (f(X)) は f(X) の生成する Ki[X] のイデアルである。
(四)p(X) が完全に分解されていなければ、Ki+1 に対して上記の操作 1–3 を繰り返す。
上記の剰余環の構成に用いる既約因子 fiの取り方は任意でよいが、取り方が異なれば得られる拡大体の列は異なることに注意せよ。それにも拘らず最終的に得られる最小分解体は同型の意味で一意である。
f(X) を既約にとることで、イデアル (f(X)) は極大イデアルとなり、従って剰余環 Ki[X]/(f(X)) が実は体となることが導かれる。さらに言えば、剰余環への自然な射影 π: Ki[X] → Ki[X]/(f(X)) は
を満たすから、π(X) は f(X) の︵したがって p(X) の︶根になる︵根体の項も参照︶。
各拡大における拡大次数 [Ki+1 : Ki] は既約因子 f(X) の次数に等しいから、求める拡大の次数 [K : F] は各拡大の次数すべての積 [Kr : Kr−1] … [K2 : K1][K1 : F] に等しく、高々 n!である。
根体 Ki[X]/(f(X)) について
編集詳細は「根体」を参照
上記の通り、剰余環 Ki+1 := Ki[X]/(f(X)) は f(X) が既約であるとき体を成す。この体の元は、cj ∈ Kiおよび α = π(X) として、
なる形に表すことができる︵Ki+1 を Ki上のベクトル空間と見れば、α の冪 αj (0 ≤ j≤ n−1) がその基底を与えるということ︶。
つまり Ki+1 の各元は α の次数高々 nの多項式と看做すことができる。Ki+1 の加法は多項式の加法によって、乗法は f(X) を法とする多項式の乗法で与えられる。すなわち、g(α), h(α) ∈ Ki+1 の積 g(α)h(α) = r(α) は、Ki[X] において g(X)h(X) を f(X) で割った剰余 r(X) によって与えられる。
剰余 r(X) は多項式の長除法によって計算することができるが、もっと直接的な簡約規則によっても r(α) = g(α)h(α) を直接計算することもできる。まず f(X) は体上の多項式であるから、それが最高次係数 1
と仮定して一般性を失わない。α が f(X) の根とすれば、
であり、積 g(α)h(α) の m≥ nなる項 αm は
と簡約することができる。
●この簡約規則を用いる例として、Ki = Q[X] を有理係数多項式環として、既約多項式 f(X) = X7− 2 をとる。g(α) = α5 + α2, h(α) = α3 + 1 を Q[X]/(X7 − 2) の二元とすれば、f(X) による簡約規則は α7 = 2 だから、g(α)h(α) = (α5 + α2)(α3 + 1) = α8 + 2 α5 + α2 = (α7) α + 2α5 + α2 = 2 α5 + α2 + 2αと計算できる。
注
編集- ^ すべての元の二乗を計算すればわかるが、7 は 4 を法として 1 に合同でないことからもわかる。
参考文献
編集- Dummit, David S., and Foote, Richard M. (1999). Abstract Algebra (2nd ed.). New York: John Wiley & Sons, Inc. ISBN 0-471-36857-1.
関連項目
編集外部リンク
編集- Hazewinkel, Michiel, ed. (2001), “Splitting field of a polynomial”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Weisstein, Eric W. "Splitting field". mathworld.wolfram.com (英語).