出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/11/05 20:28 UTC 版)
対称群と交代群
全ての対称群と交代群は有理数係数多項式のガロア群として現れることがヒルベルトにより示された。
多項式 xn + ax + b の判別式は
![{\displaystyle (-1)^{\frac {n(n-1)}{2}}\left(n^{n}b^{n-1}+(-1)^{1-n}(n-1)^{n-1}a^{n}\right)}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/9718610758ce918bb0b71df6b57b2e73ae7d5c8f)
である。
特殊な場合として、
- f(x, s) = xn − sx − s.
を考える。
多項式 f(x, s) の s を素数に置き換えたもの(f(x, s) の特殊化と呼ぶ)は、アイゼンシュタインの既約判定法により既約な多項式である。したがって f(x, s) は
上既約である。さらに、f(x, s) は
![{\displaystyle x^{n}-{\tfrac {x}{2}}-{\tfrac {1}{2}}-\left(s-{\tfrac {1}{2}}\right)(x+1)}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/bc5a3eda5535c433ca6fb9d9063564eba6f989e4)
とも書け、f(x, 1/2) は
![{\displaystyle {\tfrac {1}{2}}(x-1)\left(1+2x+2x^{2}+\cdots +2x^{n-1}\right)}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/d9f41c726fb29c2e1fa1d4209dcd5fc51ff8490c)
と分解できる。
上式の2番目の項は、その相反多項式にアイゼンシュタインの既約判定法を適用することにより、既約であることがわかる。以上から、群 Gal(f(x, s)/Q(s)) は2重可移的(英語版)であることがわかった。
次にこのガロア群が互換を含むことを見る。定数倍による変数変換 (1 − n)x = ny を使うと
![{\displaystyle y^{n}-\left\{s\left({\frac {1-n}{n}}\right)^{n-1}\right\}y-\left\{s\left({\frac {1-n}{n}}\right)^{n}\right\}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/4ed80a54fac36fb6f23bbb50e9edd4c107ad8a28)
となり、
![{\displaystyle t={\frac {s(1-n)^{n-1}}{n^{n}}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/dbafabae4c89d4f53212f28c4e005ee67342b3f8)
と置き、
- g(y, t) = yn − nty + (n − 1)t
と定義すると、これは
- yn − y − (n − 1)(y − 1) + (t − 1)(−ny + n − 1)
ともかける。
これから、多項式 g(y, 1) は 1 を重複度2の零点として持ち、残りの n − 2 個の零点は重複度が1であることが分かり、Gal(f(x, s)/Q(s)) が互換を含むことがわかる。互換を含む任意の有限な2重可移的置換群(英語版) は対称群そのものと一致する。
ヒルベルトの既約性定理(英語版) から、f(x, t) を特殊化するとその多項式の有理数体
上のガロア群が Sn となるものが無限に存在する。また、そのような有理数は
のなかで稠密である。
g(y, t) の判別式は
![{\displaystyle (-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}(1-t)}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/c5aa16dfaf50911e1fa39d2d098924af041956c8)
となる。
これは完全平方ではない。
交代群
交代群の場合は奇数次数の場合と偶数次数の場合をわけて考える。
奇数次数
![{\displaystyle t=1-(-1)^{\tfrac {n(n-1)}{2}}nu^{2}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/70460451f2c99987af82228f931d61f11d3d5ed0)
とおく。
この置換で g(y, t) の判別式は
![{\displaystyle {\begin{aligned}(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}(1-t)&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left(1-\left(1-(-1)^{\tfrac {n(n-1)}{2}}nu^{2}\right)\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left((-1)^{\tfrac {n(n-1)}{2}}nu^{2}\right)\\&=n^{n+1}(n-1)^{n-1}t^{n-1}u^{2}\end{aligned}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/4bda047c0fa32680150e9860273ec9820d2843ad)
となる。
n が奇数であれば、これは完全平方である。
偶数次数
![{\displaystyle t={\frac {1}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/6efac67ba1bafb4a48b8796699947965d871927a)
とおく。
この置換で g(y, t) の判別式は
![{\displaystyle {\begin{aligned}(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}(1-t)&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left(1-{\frac {1}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left({\frac {\left(1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}\right)-1}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left({\frac {(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}{1+(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}}}\right)\\&=(-1)^{\frac {n(n-1)}{2}}n^{n}(n-1)^{n-1}t^{n-1}\left(t(-1)^{\tfrac {n(n-1)}{2}}(n-1)u^{2}\right)\\&=n^{n}(n-1)^{n}t^{n}u^{2}\end{aligned}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/cc66e20c92942c3ed179731b94d26ebb1ecf6730)
となる。
n が偶数であれば、これは完全平方である。
再び、ヒルベルトの既約性定理により、ガロア群が交代群となるような特殊化が無限に多く存在することが示された。