![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?c9bd177)
http://bw-www.ie.u-ryukyu.ac.jp/~wada/vhdl/Galoi …
で、αというのが出てきますが、これは何者ですか?
つまり、自然数なのか実数なのか虚数なのかそのどれでもないのか?
このページの中でα^(2^w - 1)=1とは書いてありますが、
α=(何々)というのがないので今一イメージがわきません。
No.9ベストアンサー
- 回答日時:
なぜもっと早くこの言葉を明確に出していただけなかったのでしょう?:
一番最初の締めくくりに
「nを自然数とするときGF(2^n)はn次未満で係数が0か1の多項式全体であり
複素数とか実数とは別世界のものである事に注意」
とかいてあるし
そこには前段でガロア体の構成方法まで書いていたと思いますが!
しかもその後何度も上記と同じ趣旨の事を書いていたと思いますがただ読んでないだけでしょうね
大学のレベルが下だからと言ってそこの学生の能力が下だと言う訳でもありませんしね:
勿論賢い人もいますがそうでない人が多いのです
東大に馬鹿は少ないかもしれませんが結構いるようですね
理解したる者、必ずしも良き教育者にあらず、って感じですかね。分からない人の気持ちが分からないのは自分が判っていないのと同じですよ。
意味を分かっていない人に「nを自然数とするときGF(2^n)はn次未満で係数が0か1の多項式全体であり
複素数とか実数とは別世界のものである事に注意」を理解できると勘違いしてる辺りが「結構いる」人なのかなと・・・。要は「複素数とか実数とは別世界のものである事に注意」が混乱を招いていることに気付いていないんですね。おかげで散々振り回されました。ま、分かったからいいんですけどね。
No.8
- 回答日時:
「多項式(もしくはベクトル)」だと、そういう解釈であってますか?:
GF(2^n)は係数が0か1のn次未満の多項式です
ベクトルと考えてもいいのだが
複素数1+jを(1,1)と書くようなもので構造が見えにくくなります
勿論そのほうが使いやすい場合もあります
プログラミングのときはベクトルで書くのですから
ガロア体は誤り訂正・検出符号や暗号などで使われていて特にディジタルデータの符号としてリードソロモン符号が盛んに使われるがその符号はGF(2^8)を使っています
最初CDから始まり今では・・・
20歳で政治的に葬られるまでの間にこんなすごい事考えちゃって。神に選ばれし者って感じですね。:
女をめぐって決闘になり死んだのです
死ぬかもしれないので決闘の日までにあわてて代数の論文を書いたのです
なお彼は面接官が馬鹿だったため現在に続く超エリート学校エコールポリテクニークを落ちています
その代わり現在に続く超エリート学校のエコールノイマンに入学しています
フランスでは大学よりもこれらの学校のほうが格が上で将来が約束されています
勿論両校とも東大が足元にも及ばないことはいうまでもありません
なおNo.2に1箇所間違いが見つかりました
x^0=1
x^1=x
x^2=x^2
x^3=x+1
x^4=x^3・x=(x+1)・x=x^2+x
x^5=x^4・x=(x^2+x)・x=x^3+x^2=x^2+x+1
x^6=x^5・x=(x^2+x+1)・x=x^3+x^2+x=x^2+1
x^7=x^6・x=(x^2+1)・x=x^3+x=1
最後は1になります
そのつもりで書いたので前後の文脈から読み取れると・・・
> GF(2^n)は係数が0か1のn次未満の多項式です
あぁ、やっと分かりました。納得です。なぜもっと早くこの言葉を明確に出していただけなかったのでしょう?「そのどれでもない」で終わらず。
> 勿論両校とも東大が足元にも及ばないことはいうまでもありません
うっ、痛てぇっ!ま、大学のレベルが下だからと言ってそこの学生の能力が下だと言う訳でもありませんしね。いや、あくまで一般論。
長きに渡ってお付き合いくださいましてありがとうございました。
No.7
- 回答日時:
私の疑問はαとは何ぞやと言うことです。
:最初から何度もしつこくいっているように
例えばGF(2^2)の元は
0,1,x,x+1
だけです
掛け算や足し算で2次以上の多項式が出てくればx^2+x+1で割った余りをその結果にしなければならないし
0,1以外の整数が出てくれば奇数は1に偶数は0に置き換えなければならないのです
本当ですか?:
本当です
その名前はガロア体です
有限な体はガロア体しかないので有限体ともいいます
qを素数としnを自然数としたとき
ガロア体GF(q^n)においては
0,1,2,・・・,q-1
以外の整数は存在しません
それらを係数とするn次未満の多項式があるだけです
勿論実数とか複素数とかは存在しないのです
まぎらわしいので
0,1,2,・・・,q-1
の代わりに新たな記号をつけてもいいでしょうが
煩雑になるので数学では整数の一部と同一の記号を借用しているのです
多項式もベクトルで表現する事もできますが多項式のほうが構造を良く表しているので優れています
GF(2^n)のなかに
0,1以外の整数は存在しません
(この0と1は実はもはや整数の概念では有りませんから新しくa,bと名づけても言いのです(煩雑!))
計算している途中で2が出てきたらそれは0としなければなりません
20歳で死んだガロアが・・・
この回答への補足
すみません、ちょっと間が開いちゃいました。
αとは何ぞやの答えは、自然数でも整数でも有理数でも実数でも複素数でもなく、「多項式(もしくはベクトル)」だと、そういう解釈であってますか?
それにしてもそうなんですよね、ガロア、20歳で政治的に葬られるまでの間にこんなすごい事考えちゃって。神に選ばれし者って感じですね。
No.6
- 回答日時:
まず、タイトルの件から。
ガロア拡大体は御紹介のホームページで出てくるガロア体とは全く別のものです。混同しないで下さい。
ガロア体は有限体とも呼ばれ、その名の通り有限個の要素を持つ体のことです。
で、質問の回答は既に#1,#2で出ています。ただ、貴兄が理解していないだけです。その、理由は体を理解していないからでしょう。#3の補足で「α=2とすると{0,1,α,...、α^6}はすべて異なり、ガロア拡大体の条件を満たすことになると思います。」と書いていますが、これは体にならず条件を充たしていません。
#4の補足の2+2=0はどういう意味ですか。2+2=4のはずですが。
No.5
- 回答日時:
はっきりいってURLの記述は不正確です
あまりこだわらないほうが身のためです
GF(2^n)において
0も1も
0と1を係数とするn次以下の多項式の範囲ではありませんか?
定数項だけが残っていて他の係数は0なだけです
数学では定数も多項式なのですよ
なお
x^4+x^3+x^2+x+1
は既約多項式でありGF(2^4)を構成できますが
この多項式は原始多項式でなく
この多項式でGF(2^n)を構成した場合多項式「x」は先の意味の生成元にはなりません
次数が大きくなると原始多項式でない既約多項式が増えていきます
実際
x^5
を
x^4+x^3+x^2+x+1
でわった余りは1ですね
この回答への補足
だんだん話が横道にそれていますが、私の疑問はαとは何ぞやと言うことです。
「自然数なのか実数なのか虚数なのかそのどれでもないのか?」とお聞きしたところ
そのどれでもないが答えだと言う回答がありましたので、本当ですか?と言うことです。
GF(2^3)において既約多項式をf(x)=x^3+x+1ととった場合、GF(2^3)は
{0, 1, α, α^2, α+1, α^2+α, α^2+α+1, α^2+1}, α^7=1
となり、α=2はGF(2^3)の条件を満たすのではないですか?
そもそもどれでもないんだったら何なんですか?名前はついてないんですか?
No.4
- 回答日時:
#1の補足を見ていただけたでしょうか?:
すぐに間違いが見つかったのでほとんど見ていません
基本的な理解が欠けていたのでGF(2^3)を定義を示したのです
たとえば教えていただいたケースでは、α=2とすると{0,1,α,...、α^6}はすべて異なり、ガロア拡大体の条件を満たすことになると思います。この場合だとαは自然数になりますよね。と言うことは別世界といえども、複素数を含んだ別世界とはいえませんか?:
2はGF(2^3)の世界では存在しないのです
αとして設定できるのは
0,1,x,x+1,x^2,x^2+1,x^2+x,x^2+x+1
のいずれか....だけです
GF(2^3)の世界では係数が0か1の2次以下の多項式しか存在しないのです
1+1は2ではなく0になる世界です
あなたの質問は「多項式は実数ですか整数ですか?」という質問のようなものなのです
式は実数ですか?は
本は鉄ですか?という質問のようなものです
この回答への補足
まず初めに。引用するときは引用符「> 」を着けてください。一人芝居をしてるのかと思いました。
>> #1の補足を見ていただけたでしょうか?
> すぐに間違いが見つかったのでほとんど見ていません
回答される以上こちらの補足くらい目を通してください。会話になりません。
> 2はGF(2^3)の世界では存在しないのです
> αとして設定できるのは
> 0,1,x,x+1,x^2,x^2+1,x^2+x,x^2+x+1
> のいずれか....だけです
例のURLには「新しくαと言う元を考え、α^(2^w - 2)とする」とあります。αが多項式だとおっしゃるのなら多項式のべき乗が1になることをどう説明なさるのですか?私にはあなたが鉄の本は鉄だとおっしゃってるようにしか見えませんが。
No.3
- 回答日時:
#1で答えたものです。
>たとえばGF(2^4)でp(x) = x^2 + x + 1 の場合、
>GF(2^4)って{0,1,α,α+1 }になりますよね?
なりません。GF(2^w)の場合、w次の既約多項式を用いますので、GF(2^4)でなく、GF(2^2)の場合として回答します。
GF(2^2)={0,1,α,α+1 }が体となるように、αを構成するのが最大のポイントなのですが、貴兄はどんなαを選んでもGF(2^2)は体になるとおっしゃっているのでしょうか。
>そもそも私は何かの既成概念にとらわれているのでしょうか?
貴兄がどのような既成概念をもっているのかは私には窺い知れませんが、もしかすると次のことはそれに反するかもしれません。
「GF(2^w)の任意の要素xに対してx+x=0が成り立つ」
この回答への補足
>> GF(2^4)って{0,1,α,α+1 }になりますよね?
> なりません。
あー、勘違い。失礼。GF(2^2)の間違いです。
> 貴兄はどんなαを選んでもGF(2^2)は体になるとおっしゃっているのでしょうか。
まさかご存知ないとは思いませんが私は分からないから聞いているのであって、「おっしゃ」れるくらいなら初めから聞いてません。
> 「GF(2^w)の任意の要素xに対してx+x=0が成り立つ」
確かに見落としていました。でも2+2=0ですよね?つまりαは自然数たり得る。違いますか?
No.2
- 回答日時:
{0,1}と演算+と演算・の組がGF(2)です
ただし+において通常の足し算をし結果が2になれば+の結果を0とします
・は通常の掛け算と同じです
GF(2^3)は次のように構成されます
HをGF(2)を係数とする多項式全体の集合とします
Hの中から3次既約多項式f(x)を1つ選びます
(この場合はx^3+x+1かx^3+x^2+1のうちどちらか)
Hに含まれ次数が2次以下の多項式の集合と演算+と演算・の組がGF(2^3)です
ただし+において通常の多項式和をし2がでたらその部分は0とします
・は通常の多項式積した結果をf(x)で割った余りです
(割り算するとき+(-は+と同じ)するときには上記の+の規則に従います)
そうするとGF(2^3)の元αとしてxを選べばf(α)=0です
どうしてかというとf(x)のxにα(=x)を代入するとf(x)になり
これをf(x)で割った余りは0だからです
さてf(x)=x^3+x+1としたとき
x^0=1
x^1=x
x^2=x^2
x^3=x+1
x^4=x^3・x=(x+1)・x=x^2+x
x^5=x^4・x=(x^2+x)・x=x^3+x^2=x^2+x+1
x^6=x^5・x=(x^2+x+1)・x=x^3+x^2+x=x^2+1
x^7=x^6・x=(x^2+1)・x=x^3+1=x
なおGF(2^n)の定義において上記のf(x)に対応するn次規約多項式f(x)をうまく選べば
GF(2^n)-{0}はxを生成元とする巡回群になります
このようなf(x)を原始多項式といいます
ということで上で分かるようにx^2+x+1は原始多項式です
nを自然数とするときGF(2^n)はn次未満で係数が0か1の多項式全体であり
複素数とか実数とは別世界のものである事に注意
この回答への補足
#1の補足を見ていただけたでしょうか?
たとえば教えていただいたケースでは、α=2とすると{0,1,α,...、α^6}はすべて異なり、ガロア拡大体の条件を満たすことになると思います。この場合だとαは自然数になりますよね。と言うことは別世界といえども、複素数を含んだ別世界とはいえませんか?
No.1
- 回答日時:
taropooさん、今晩は、御紹介のページを拝見しました。
GF(2^w)の話ですね。
まず、質問の回答ですがどれでもないというのが正解です。そもそも、抽象的な代数の世界の話ですから、実数や複素数などの古典的な解析の世界に囚われてはいけません。
ただ、件のページは唐突にGF(2^w)が出てきてわかりにくいことは確かですね。要するに「GF(2^w)のある要素αをとるとその累乗及び0がGF(2^w)の要素の全てである。このようなαはある既約多項式の根となる」と言うことを言っているに過ぎません。
この回答への補足
たとえばGF(2^4)でp(x) = x^2 + x + 1 の場合、
GF(2^4)って{0,1,α,α+1 }になりますよね?
ってことはαが0または1でない限り何でもいいってことにはなりませんか?とするとαは複素数でもいいように思えるのですが。ひょっとするとベクトルとかテンソルとかもっと私の知らない何かでもいいような気がするのですが。
そもそも私は何かの既成概念にとらわれているのでしょうか?とすると図書館にでも行って勉強してこようと思うのですが、なんと言う分野の教科書を読めばよいのでしょう?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- SEO googleサーチコンソールで、重複URLが多数発生、その修正方法について 2 2023/06/23 16:15
- C言語・C++・C# プログラミングの問題です。至急教えてください。 /***から***/の部分をプログラミングにしてほし 1 2022/10/13 11:48
- 物理学 移流熱拡散方程式の解き方 フーリエ変換 1 2022/08/15 15:25
- 教育・文化 子供の貧困と格差社会 3 2022/05/08 09:28
- 数学 回答の意味について 3 2023/07/06 14:14
- Excel(エクセル) エクセル、日々の集計整理方法。(再送です。) 5 2022/10/02 00:19
- 倫理・人権 生活困窮者への支援に関して 3 2023/01/01 23:34
- 数学 正則関数f(z)=u(x,y)+iv(x,y) (z=x+yi)の虚部が、 v(x,y)=-2xy+ 1 2022/08/01 12:04
- JavaScript スマホ上で、左右スワイプで次のページに移動させたいです 2 2022/11/11 17:04
- Excel(エクセル) 【エクセルマクロ】既に開いているIEの、サイズや表示位置を変更するには 4 2022/12/01 22:57
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
(x-1)(x-2)(x-3)の展開の...
-
代数
-
この中で多項式はいくつありま...
-
あってますか?
-
(中3数学)次の式を展開しなさ...
-
多項式について質問です。 エク...
-
素イデアルの判定がわからないです
-
約数と因数の違い(∈N)
-
deg f?
-
e^sinXの展開式について。。。
-
単項式と分数式の違いについて
-
(x+3)(x-3)(x^4+9x^2+81)の展開...
-
arcsinのマクローリン展開について
-
斉次とは?(漢字と意味)
-
データのノイズ除去法 - Savitz...
-
(1+x)^n=1+nxについて
-
等差×等比 型の数列の和を求め...
-
余次元って何?
-
塾での問題なんですが・・・至...
-
パデ近似の利点について教えて...
おすすめ情報