こんばんは。
pを素数とする.R_pは巡回群となることを示せ. ここに,R_n={m∈{1,2,…,n-1}|gcd(m,n)=1}は nを法とする積で群をなす.
という問題なのですが、 定義から、位数はオイラーのφ関数において φ(p)=p-1より偶数か1になることが分かっていて、そこから躓いています。よろしくお願いします。
|
No.23523 - 2013/12/16(Mon) 00:49:41
| ☆ Re: 代数 / IT | | | 「原始根」の存在定理(の一種)ですので、「原始根」で検索されるといくつかの証明が見つかりますよ。
|
No.23530 - 2013/12/16(Mon) 19:02:32 |
| ☆ Re: 代数 / 健司 | | | 返信ありがとうございます。 検索しましたが、R_pは(Z/pZ)^xと一般的に書かれるのでしょうか。
|
No.23535 - 2013/12/16(Mon) 21:13:21 |
| ☆ Re: 代数 / IT | | | 一方の元は1,2,3,...,p-1で 他方の元は{1+np|n∈Z},{2+np|n∈Z},{3+np|n∈Z},...,{p-1+np|n∈Z} です。 表現は少し違いますが、群として同型なので同じと考えても良いと思います。 http://pisan-dub.jp/doc/2011/20110114001/5_4.html
|
No.23536 - 2013/12/16(Mon) 21:38:35 |
| ☆ Re: 代数 / 健司 | | | なるほどそのように解釈すればいいのですね。 ありがとうございます。
|
No.23541 - 2013/12/16(Mon) 23:22:25 |
|