- ベストアンサー
情報数学の有限体について
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
>という部分体が少なくともあるだろう、というそれだけでいいんですかね！？ 「その標数ｐを位数とする部分体が必ず存在する。」 なんだから，それを目の前に出せばいいだけです． だから「明らか」なんです．
その他の回答 (1)
- kabaokaba
- ベストアンサー率51% (724/1416)
ヒントだけ． 記号でいうなら F_p． 標数pなんだから {0,1,2,3,4,5,6,...,p-1} はどうなります？
お礼
回答ありがとうございます。 標数がpだから {0,1,2,3,4,5,6,...,p-1} という部分体が少なくともあるだろう、というそれだけでいいんですかね！？
関連するQ&A
- 有限体の基礎理論について
有限体の基礎理論について Ｚp-{0} （pは素数） の中で、位数dをもつのはＡ={a^j｜1≦j≦d , GDC(j,d)=1}のみである。 とあるのですが、これの証明、もしくはわかりやすく説明してほしいです。 これを使って、命題が証明されているので、分からないと進めなくて困っています。 よろしくお願いします。
- 締切済み
- 数学・算数
- 素数の分類と無限性に関して。以前質問させていただいたことの延長になりま
素数の分類と無限性に関して。以前質問させていただいたことの延長になります。 ※＾は乗数の意味です。 8n+1型の素数が無限に存在することの証明 原始根の存在（素数 p を法とする整数環 Z/pZ の乗法群が位数 p - 1 の巡回群であること）を使う。 x を整数とする時x＾4 + 1 の奇素数因子を p とする。 x＾4 ≡ - 1 (mod. p) より、両辺を2乗することでx^8≡1となる。 x の p を法とする整数環 Z/pZ の乗法群での位数は 8 で有るから、 p ≡ 1 (mod. 8) となる。ここで、 p ≡ 1 (mod. 8) となる素数が有限個であったとする時、その総乗積を P として、 (2P)＾4 + 1 の奇素数因子を考えると矛盾が出る。 私は2PをX"とおいて上と同様に考えました。 同じ方法を用いることで証明することはできたのですが、 この証明の中で用いている「位数は 8 で有るから、 p ≡ 1 (mod. 8) となるの部分に関して ラグランジュの定理 位数nの有限郡Gの任意の部分郡Hの位数はGの位数の約数である を用いた場合、GとHに当たる部分はどこになるのでしょうか。今の段階では、nがｐ－１にあたり、Hの位数が８と考えています。ｐが素数で、８はｐ－１の約数になるとの考えは当っているでしょうか・・？ よろしくお願いします。
- ベストアンサー
- 数学・算数
- x^2 ≡ 1 mod n
nが素数で nを法とする既約剰余群(Z/nZ)*において 位数が2の元は-1だけであることを示したいのですが、 x^2 ≡ 1 mod n ⇒ (x-1)(x+1) ≡ 0 mod n ⇒ x = ±1 ではダメでしょうか。 ある本だと 以下の定理を使っています。 「Gを有限巡回群とする。|G|の任意の約数dに対して位数dのGの部分群が唯一つ存在する。」 この定理より nの既約剰余群において、位数2の元は-1のみ。 しかし、この定理の証明が私にとって難解で、まったく理解できません。 結局、位数2の元が-1だけであることを言いたいので x^2 ≡ 1 mod nを 上記のように解けば説明になっているのでは？と思いました。 x^2 ≡ 1 mod n を解くだけで説明になっているでしょうか？ アドバイスお願いします。 また、もしできたら 「Gが有限巡回群のとき… |G|の任意の…」 の定理の証明をわかりやすく説明していただけないでしょうか。
- 締切済み
- 数学・算数
- 有限個存在するとはどういうことか
モーデルの定理というもので「～が有限個存在する」というものがあったと思うのですが、有限個存在するとはどういうことでしょうか？有限個というものは１であってもいいし、１０００００００であってもいいし、９３８５７２８２７５８２８２であってもいいし、いろいろあると思うので、可能性としては無限にあると思うのですが、つまり無限個存在するというのと有限個存在するというのではどこか違いがあるのかわからないのです。わかる方がいたら、教えてください。
- ベストアンサー
- 数学・算数
- G,G'を有限群とし，ψ:G→G'を準同型とするとき
G,G'を有限群とし，ψ:G→G'を準同型とするとき Im ψの位数がG,G'の位数の約数となることを証明せよ． また，G,G'の位数が互いに素なとき，GからG'への準同型写像をすべて求めよ． という問題なのですが，Im ψがG'の部分群であり，ラグランジュの定理より Im ψの位数がG'の位数となることはわかるのですが，他がわかりませんどなたか解説お願いします．
- ベストアンサー
- 数学・算数
- 位数45の群が位数9の正規部分群をもつことの証明はどうすればいいのでし
位数45の群が位数9の正規部分群をもつことの証明はどうすればいいのでしょうか？ シローの定理が必要だとおもうのですが。。。 <シローの定理> (1)p^r | |G| ==> Gは位数p^rの部分群をもつ よってシローp-部分群は存在する (2)H: Gのp-部分群とすれば Hを含むシローp-部分群が存在する (3)シローp-部分群は互いにG共役 (4)シローp-部分群の個数は 1+k*p の形 (k∈Z,k≧0)
- ベストアンサー
- 数学・算数
- 乗群の位数とラグランジェの定理
(mod p)の剰余類で乗群G*をつくるとき，（pは素数） 0を含む剰余類は除くので，|G*|=p-1かと思います． a ∈ G*で，巡回部分群Hを生成すれば， H=G*であることも確認できます． ただ，ここでどうしてもわからないことがあります． G*の位数も，Hの位数もp-1で，-1されるために一般に素数にはなりません． ラグランジェの定理から位数が素数の有限群が真部分群を持たないことがわかりますが， G*の位数は，p-1で素数にならないため，真部分群を持ってもよさそうな気がします． どこに間違いがあるのでしょうか？
- ベストアンサー
- 数学・算数
- 有限体の元の追加した体もある条件で有限体の証明
体Kの上の代数拡大体の元ａ(1)、---、ａ(n-1)、ａ（n）について、ａ(1)、---、ａ(n-1) がＫの上に分離的であれば，Ｋ（ａ(1)、---、ａ(n-1)、ａ（n））はＫの単純拡大であるという定理の証明にあたり、まずＫが有限体であれば，Ｋ（ａ(1)、---、ａ(n-1)、ａ（n））も有限体であるとありますがこれはどう説明できますか。Ｋが有限体ならＫ（ａ）も有限体がいえればいいと思いますが。
- ベストアンサー
- 数学・算数
- 位数が素数の累乗である群
位数が素数の累乗p^nである有限なアーベル群Gの真部分群Hについて考えます。 どのHをとっても、その位数がp^nより小さくなるようなGは存在しますか？ もし存在するようでしたら、具体例を挙げてください。
- 締切済み
- 数学・算数
お礼
ありがとうございました！！ こんな当たり前のような質問に答えていただいてありがとうございました。非常に助かりました。