- 締切済み
- すぐに回答を！
１の原始２０乗根の円分体のガロア群を調べています。
ξを1の原始20乗根とします。 このとき、Q(ξ)/Qは8次のガロア拡大ですが、この拡大体の中間体はいくつあり、それぞれのＱ上の生成元は何か？という問題を考えています。 Galois(Q(ξ)/Q)をGとおいたとき、 Gは20を法とする既約剰余類U(Z/20Z)に同型ですよね。 すなわち、結果的には(Z/2Z)×(Z/4Z)という２つの巡回群の直積に同型になるはずです。 Q(ξ)/Qの中間体の個数は、ガロアの基本定理より、Gの互いに異なる部分群の個数ですから、 結果的に７つあることがわかりました。 G=Z/2Z × Z/4Zの元として、それぞれの部分群は (1) <(0,2)> (2) <(1,0)> (3) <(1,2)> (4) <(0,1)> (5) <(1,1)> (6) <(1,0) , (0,2)> (7) <(1,1) , (0,2)> を生成元とする群だとわかりました。 具体的に σ(i)=-i σ(ξ)=ξ τ(i)=i τ(ξ)=ξ^2 とおけば、σは(1,0) τは(0,1)に対応します。 問題は、生成元を求める方法がわからないことで、 (1)、(2)に対応する不変体は簡単にわかったのですが、 (3)、(5)、(7)の不変体のQ上の生成元がわからないのです。 例えば、(3)の場合。 不変体をKとおきます。 <(1,2)> は <στ^2>に対応しています。 このστ^2で動かない元を具体的に探してみようと思ったのですが、 Q(ξ)のあらゆる元は、 a_0+a_1i+a_2ξ+a_3ξ^2+a_4ξ^3+a_5iξ+a_6iξ^2+a_7iξ^3 の形ですから、これをστ^2でとばしても、動かない元全体が、Kになるわけですよね。 でも、それを計算してみても式がとても汚くなって生成元の形がわかりませんでした。 どうすればいいのでしょうか。 教えてください。
- computerdejav
- お礼率49% (25/51)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- 回答No.1
- ramayana
- ベストアンサー率75% (215/285)
作業の方針は、おおむね良いと思います。ただ、σとτの設定に難があります。 i = ξ^5 であることに注意しましょう。もしσ(ξ) = ξ なら、σ(i) = σ(ξ^5) = σ(ξ)^5 = ξ^5 = i となります。σ(i) = -i にはなりません。 また、もし τ(ξ) = ξ^2 なら、τ(i) = τ(ξ^5) = τ(ξ)^5 = (ξ^2)^5 = ξ^10 = -1 となります。τ(i) = i にはなりません。 要するに、ご質問文のようなσとτは存在しません。 代わりに、次のαとβを使ってはどうでしょうか。 α(ξ) = ξ^3 β(ξ) = ξ^11 αとβが Q(ξ) の自己同型（Galois(Q(ξ)/Q) の元）として有効に定義されていること、αの位数が 4 でβの位数が 2 であること、 Galois(Q(ξ)/Q) がαとβで生成されることが、容易に確かめられます。
関連するQ&A
- ガロア拡大体とその部分体について
ガロア群の構造を考えているのですが煮詰まっています。 Qを有理数として、体の拡大Q(√2,exp(2πi/5))/Qについて考えています。(以後√2=x,exp(2πi/5)=z,L=Q(x,z)と書きます。） この時、xの最小多項式がx^2-1,zの最小多項式がz^4+z^3+z^2+z+1となるから、LはQのガロア拡大となり拡大次数は2*4=8。よって、ガロア群の位数も8。ここでガロア群の生成元を考えたいのですが、一つは、τ(x)=-x,τ(z)=zとなるようなτであると思うのですが、もう一つをどのように考えればよいのかわかりません。 (1)z→z^2,z^2→z^3,z^3→z^4,z^4→z^5,z^5→z のように一個ずつずれるような写像 (2)z→z^2となるような写像 (3)その他 何が正解でなぜなのかを教えていただけないでしょうか。5乗根だけでなく、他の円分体のときのガロア群の生成元についての考え方についても教えていただけると幸いです。
- ベストアンサー
- 数学・算数
- ガロア理論についてなのですが
代数学の問題で、 体Ｋ＝Ｑ(√m，√n)はＱ上ガロア拡大で、ガロア群Ｇは、 (Z/2Z)^2と同値であることを示せ。 なんですが、体Ｑ(√m，√n)が、Ｑ上４次拡大であることは示せたのですが、そこからどうすればいいのかわかりません。 できればガロア理論に関しての参考ＵＲＬか、解法を教えていただきたいのですが。お願いしますm(__)m
- ベストアンサー
- 数学・算数
- ５次方程式のガロア群について
５次方程式のガロア群について 以下は有理数体（Ｑ）で考える。 ３次方程式f(x)のガロア群は ３次の対象群 f(x)が既約で判別式の値が平方数でない場合 ３次の交代群 f(x)が既約で判別式の値が平方数である場合 ２次の対象群 f(x)が１次式×２次式と分解できる場合 単位元のみの群 f(x)が１次式×２次式×１次式と分解できる場合 である。 ４次方程式f(x)のガロア群は ４次の対象群 f(x)の３次分解式のガロア群の位数＝６ ４次の交代群 f(x)の３次分解式のガロア群の位数＝３ ４元数群 f(x)の３次分解式のガロア群の位数＝１ Ｚ４ f(x)の３次分解式のガロア群の位数＝２ である。 f(x)=x^4+qx^2+rx+s としたとき g(x)=x^3 -2px^2 +(q^2-3s)x + r^2 のg(x)をf(x)の３次分解式という。 さて質問です。 既約な５次方程式のガロア群は何でしょうか。 ５次の対象群でしょうか、５次の交代群でしょうか。その他があるでしょうか。 方程式により複数の群があるとした判定基準は何でしょうか。 色々（中島、アルチン、ロットマンの本等）なガロアの理論の本を読んでも書いてません。一般論で書いてある。 ５次の具体的な群は何でしょうか。知っていたら教えて下さい。
- 締切済み
- 数学・算数
- ガロア理論:体の拡大で起こっていること
ガロア理論の考えでは,基礎体K上の既約多項式の根をすべて添加したガロア体Σをつくる.そのガロア体を基にΣ/Kの自己同型群Gを今度は考える.その自己同型群の中に正規部分群N1を探し,その正規部分群で群Gの剰余群G/N1＝G1を作る.また,G1の中に正規部分群を探し,N2とする.G1/N1の剰余群を作り,このやり方を繰り返し,群Gを小さくし,最終的には,単位元のみの群Eまで小さくすると理解しています. さて,正規部分群を使って,小さくしていく場合,対応する体側ではどのような拡大が起こっているのでしょうか.可解であるためには,剰余群の次数が素数であることが求められますが,対応する体の拡大はその素数乗根の共役根による拡大になっているといっていいのでしょうか.
- ベストアンサー
- 数学・算数
- Gal_Q(x^4+1)がZ_2×Z_2の同型
Gal_Q(x^4+1)がZ_2×Z_2と同型になる理由についてなぜなのかがよくわかりません。 (具体的に言うと、Gal_Q(x^4+1)の構成要素と、その各々の元がZ_2×Z_2の各元にどのように対応しているのかがよくわかりません。) x^4+1=0を計算すると、±(1+i)/√2, ±(1-i)/√2となり、Gal_Q(x^4+1)がＱ-同型写像であることと、Z_2×Z_2が{１,α,β,αβ}で構成されるアーベル群であることはわかります。 ※Gal_Q(x^4+1)は体Ｑ上の多項式x^4+1のガロア群 もしもわかられる方がおられれば、お教え頂けないでしょうか？
- ベストアンサー
- 数学・算数
- 代数学の、群の問題を教えて下さい。
nは正の整数とする。Gは位数nの巡回群とする。この問題では、GはZ/nZに同型であることを示す。 (1)Gの生成元xをとり(つまりG=<x>)、群の準同型定理f:Z→Gをm∈Zに対してf(m)=x^mで定める。このときfは全射であることを示しなさい。またKerf=nZであることを示しなさい。 (2)fに準同型定理を適用して、Z/nZ≃Gを示しなさい。 という問題です。お願いします。
- ベストアンサー
- 数学・算数
- 位数６の群を分類したいです。
Ｇを位数が６の群とする Ｇ≅Ｚ/6Ｚ or S3 のどちらかに同型になることを示したいのですが、 シローの定理からＰ３：３－Sylow部分群 ｓ３：Ｐ３の個数 Ｐ２：２－Sylow部分群 ｓ２：Ｐ２の個数 とすると、シローの定理からｓ３＝1、ｓ２＝1,3となり、 （1）ｓ２＝１の時は、Ｇ≅Ｚ/2Ｚ×Ｚ/3Z≅Ｚ/6Ｚ ということは分かったのですが、 （２）s2=3の時はＧ≅Ｓ３になると思うのですが、これをどう示したらよいかが分かりません。 教えていただけませんですか？
- ベストアンサー
- 数学・算数