加法群Z/8Zを生成する元をすべて求めよ。
この問題が分かりません。 よろしくお願いいたします。
|
No.68072 - 2020/07/18(Sat) 20:17:50
| ☆ Re: 群論 / ast | | | Z/8Z の各元 i mod 8 (i=0,1,2,3,4,5,6,7) に対して, 任意の自然数 n-倍 ni mod 8 をすべて集めた集合がもとの Z/8Z に一致するような i mod 8 を全部答える.
|
No.68074 - 2020/07/18(Sat) 20:42:53 |
| ☆ Re: 群論 / キリン | | | ではC(0)〜C(7)が答えということでしょうか?
|
No.68084 - 2020/07/18(Sat) 21:25:49 |
| ☆ Re: 群論 / ast | | | それは例えば, 2 mod 8 (質問者さんの記法だと C(2) でしょうかね) も生成元になるとおっしゃっていることになりますが, であれば n×2 mod 8 が 5 (mod 8) になるような自然数 n があることになるのですが, その n はいくつですか? # 合同式のよくある記法で書くなら "2x ≡ 5 (mod 8) を解け" ということです.
いうまでもないかもしれないですが, 問題があるのは i=2 だけではないです.
|
No.68086 - 2020/07/18(Sat) 21:35:54 |
| ☆ Re: 群論 / キリン | | | では他の数字も同様に考えると、i=1しか残らないということですか?
|
No.68088 - 2020/07/18(Sat) 21:48:16 |
| ☆ Re: 群論 / ast | | | あてずっぽうで言っているのではないと信じますが > i=1しか残らない の根拠は?
各元 i mod 8 に対して, 集合 {ni mod 8 | n:自然数} はそれぞれ以下のようになるはずです (mod 8 は面倒なので省略します): i=0: {0} ≠ Z/8Z i=1: {0,1,2,3,4,5,6,7} = Z/8Z i=2: {0,2,4,6} ≠ Z/8Z i=3: {0,3,6,1,4,7,2,5} = Z/8Z i=4: {0,4} ≠ Z/8Z i=5: {0,5,2,7,4,1,6,3} = Z/8Z i=6: {0,6,4,2} ≠ Z/8Z i=7: {0,7,6,5,4,3,2,1} = Z/8Z # 群の位数が 8 なので, 各元の位数はラグランジュの定理により 1,2,4,8 しかない.
|
No.68089 - 2020/07/18(Sat) 21:59:02 |
| ☆ Re: 群論 / キリン | | | やっと意味がわかりました。 対応してくださり、ありがとうございました。
|
No.68091 - 2020/07/18(Sat) 22:06:37 |
| ☆ Re: 群論 / キリン | | | 何度もすみません。 加法群なのにni、という乗法の表記になっているのはなぜでしょうか? 意味がわかった、と言った後にすみません。
|
No.68094 - 2020/07/18(Sat) 22:25:19 |
| ☆ Re: 群論 / ast | | | 「(各)元が生成する(単項生成あるいは巡回的)部分群」の定義が要求している元である (i mod 8)+(i mod 8)+…+(i mod 8) (n項の和) を n(i mod 8) と書いているからです. # n(i mod 8) が ni mod 8 に一致するのは面倒なのでいちいち説明しないけど.
これはもとの群の演算とは関係ない別の作用域の (具体的には整数の加法群 Z の) 作用を定義するものということはできますが, n を (Z/8Z の演算として) 掛けているわけではない. # 乗法的な記法なら a の生成する部分群を ⟨a⟩ = {a^n | n:整数} と n-乗の冪に書いてるはずだけど # (だから, 本問はむしろ加法的記法だからこそ n-倍), そこは疑問じゃないのか……? ## まあ自然数とか整数とか無関係な一般の形式的な群でも同じような定義で整数 n の作用が入る ## というあたりまで進めば, 意味は自ずとわかると期待するけども.
> 意味がわかった、と言った後に 別にそれはぜんぜん問題ないです. 気づいたら聞き直せばいい. # ほかでこっそり訊いてたりするよりよっぽどいい. ただ, 逆質問などを投げかけて問題点を深く追求しようとしてる流れのときは, 逆質問をスルーしたりあまり早々に話を切り上げようとしないことです (まあ質問者が損をするだけだから, 回答者としてはどうでもいいこと言えなくはないけど).
|
No.68097 - 2020/07/18(Sat) 22:46:47 |
|