お世話になります。よろしくお願いします。
「加法群Z、整数n≧0の時
商群Z/nZは、1を含む剰余類によって生成される位数nの有限巡回群である。(代数系入門 松坂和夫著 p.78)」
とあるのですが、
商群Z/nZの1を含む剰余類は{1,1±n,1±2n,・・・}、
2を含む剰余類は{2,2±n,2±2n,・・・}であり、
1を含む剰余類{1,1±n,1±2n,・・・}を
ある整数kでk倍しても2を含む剰余類{2,2±n,2±2n,・・・}
にはならないと思うので、
全ての元が生成元aの整数k倍で表される(加法の場合)という巡回群の定義に合わず、
「商群Z/nZは、1を含む剰余類によって生成される」というのがおかしいとおもうのですが、どうでしょうか?
どなたか私の考えの間違いをご指摘ください。
よろしくお願いします。
No.3ベストアンサー
- 回答日時:
>「1を含む任意の部分集合Sによって生成される」
>に書き換えましても意味が通るような気がするのですが。
「1で生成される」集合が「1を含む任意の集合で生成される」のは
当たり前です.
・「1個でいいよ」っていわれてるのに,余計なものを含めて100個提示する
・1+1の答えは?と聞かれて「整数の中にある」
こんな風にいってるのとほとんど同じだということが分かりますか?
生成元の個数はできるだけ小さくしないと無意味です.
#任意の環の生成元の集合は自分自身・・
#生成元の集合の定義には合致しますが無意味です.
#こういうのを「自明な例」といいます.
##もっとも「自明な例」は該当するものが
##なにはともあれ存在することを示すのには有効
そして,わざわざ「大きなもの」を設定しておいて
>そのように言い換えまして、
>1を含む任意の部分集合Sの元である1を生成元として
と,また「1」をひっぱり出しているのはなぜです?
論理的には間違いではないですけども
1を含む部分集合なるものをつくって,その部分集合からまた1を取り出してそれだけを使うなら,わざわざ広げなくていいでしょう.
それと・・・やっぱり剰余類の定義が分かってないようです.
>例えば2を含む剰余類{2,2±n,2±2n,・・・}の元は
>それぞれk=2,2±n,2±2n・・・として全て
>k×(生成元1)で表せる。
違います.Z/nZの生成元1とは,
{1,1±n,1±2n,・・・}
であり,これを普通は[1]とか書きます.
そして剰余類{2,2±n,2±2n,・・・}は[2]と書きます.
このとき,
[2] = [1] + [1] です.
また,これを [2] = 2 * [1] と書きます.
決して,その意味でk=2であって,kを複数個とるのではありません.
>こちらの方も未解決でして、お時間がありましたらよろしくお願いします。
未解決も何も・・・あっちのNo.1さんの回答ですべてです.
とても詳しいご回答本当にどうもありがとうございます。
加法群の知識が全く欠如しておりました。
>[2] = [1] + [1] です.
これが分かっていませんでした。
「nZ+nZ=nZ」なのですね。
お陰で様で誤った理解で先に進まずに済みました。
数学が好きで一人で参考書で勉強しているのですが、本当に難しいです。
つまずく度に参考書の数が増えていき、有名な参考書をほとんど全て揃ってしまいました。
それでもなかなか分からないですね。(笑)
本当に助かりました。
QNo.4133236の方もどうもありがとうございます。
こちらもお陰様で解決いたしました。
どうもありがとうございました。
No.2
- 回答日時:
左作用の質問 QNo.4133236 もそうなんだけど
代数をやるには思い込みは捨てましょう.
そして「定義に忠実にひたすら愚直に」計算しましょう.
今回のもNo.1さんご指摘のように
剰余類の定義に従えばいいだけです.
=========
Zそのものが1で生成されるんだから,
Zの任意の元は (1+1+・・・+1) とかける.
だからZ/nZの元は [1+1+・・・+1] = [1]+・・・+[1] となる.
つまり,[1]が生成元.
Z/nZが何を表している群なのかを定義から出発して
理解しましょう
どうもありがとうございます。とても参考になりました。
まだちょっと不安なのですが、自分の勘違いと思われる箇所が見つかりました。N0.1さんの所にも書いたのですが、
新たに自分なりに解釈し直してみました。
私の考え方なのですが、
>「加法群Z、整数n≧0の時
商群Z/nZは、1を含む剰余類によって生成される位数nの有限巡回群である。(代数系入門 松坂和夫著 p.78)」
の
>「1を含む剰余類によって生成される」
の所を
「1を含む任意の部分集合Sによって生成される」
に書き換えましても意味が通るような気がするのですが。
そのように言い換えまして、
1を含む任意の部分集合Sの元である1を生成元として
例えば2を含む剰余類{2,2±n,2±2n,・・・}の元は
それぞれk=2,2±n,2±2n・・・として全て
k×(生成元1)で表せる。
と考えたのですが、私のこの解釈は合っているでしょうか?
>そして「定義に忠実にひたすら愚直に」計算しましょう.
定義そのものが難しくて、自分なりに予想して解釈し先に読み進むのですが、後でつじつまが合わなくなり、再び定義を解釈し直すというのが度々です。
>左作用の質問 QNo.4133236 もそうなんだけど
こちらの方も未解決でして、お時間がありましたらよろしくお願いします。
No.1
- 回答日時:
>1を含む剰余類{1,1±n,1±2n,・・・}を
>ある整数kでk倍しても2を含む剰余類{2,2±n,2±2n,・・・}
>にはならないと思うので、
2倍です。剰余類としての演算がなにかを再度考えましょう。
この回答への補足
ご回答どうもありがとうございます。お世話になっております。
回答と参考書の定義を何度か読み直しまして、
>「加法群Z、整数n≧0の時
商群Z/nZは、1を含む剰余類によって生成される位数nの有限巡回群である。(代数系入門 松坂和夫著 p.78)」
の
>「1を含む剰余類によって生成される」
の所を
「1を含む任意の部分集合Sによって生成される」
に書き換えましても意味が通るような気がするのですが。
そのように言い換えまして、
1を含む任意の部分集合Sの元である1を生成元として
例えば2を含む剰余類{2,2±n,2±2n,・・・}の元は
それぞれk=2,2±n,2±2n・・・として全て
k×(生成元1)で表せる。
と考えたのですが、私のこの解釈は合っているでしょうか?
もしまた間違えているようでしたらご指摘頂けるとありがたいです。
よろしくお願いします。
いつもどうもありがとうございます。
お陰様で無事解決致しました。
やはりご指摘のとおり、剰余類の加法の演算の知識が欠如しておりました。
どうもありがとうございます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 郡の問題です。 2 2023/06/03 16:03
- 数学 代数の質問です 2 2022/04/30 14:10
- 数学 Zを整数の加法群とする。 M={7,8}はZの生成形になることを示せ。(Z=〈7,8〉となることを示 3 2022/11/20 22:14
- FX・外国為替取引 ロスカットまでいくらまで耐えられる 1 2022/07/01 17:48
- 数学 p群 1 2022/09/19 13:45
- 数学 群準同型の個数 2 2023/08/21 22:13
- 数学 代数の問題です! 3 2023/06/04 14:01
- 経済学 ある財に関して、 市場需要曲線:Qd=12−p 参入が規制されていないときの市場供給曲線:Qs=2p 2 2023/01/24 18:40
- その他(教育・科学・学問) 小学生の算数の商について 3 2023/03/06 14:11
- 簿記検定・漢字検定・秘書検定 日商簿記2級について 以前、試験を行っていて 分からない仕訳がありました 資本準備金(剰余金?)と利 1 2022/11/23 06:22
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
ヘシアンが0の場合どうやって極...
-
最大元と極大元の定義の違いが...
-
無限から無限を引いたら何にな...
-
「logx^2=2logx」が間違って...
-
べき乗
-
複雑な家庭とは
-
ACCESS VBAでインポート定義の場所
-
1未満と1以下の違い
-
「互いに素」の定義…「1と2は互...
-
p⇒q=(¬p)∨qについて
-
集合・位相の『内部』と『触点...
-
eの0乗は1ってどういう原理です...
-
半空間,開半空間,境界の定義に...
-
なぜ、直角三角形ではないのにs...
-
2変数関数の極値について
-
日本語 ことば ひとまわり ふた...
-
変数の宣言の名称を教えてくだ...
-
“半日”って何時間のことなんで...
-
0は3の倍数?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
「logx^2=2logx」が間違って...
-
無限から無限を引いたら何にな...
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
ユーザー定義関数をアドイン登...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
なぜ、直角三角形ではないのにs...
-
p⇒q=(¬p)∨qについて
-
lim n→0 =n=0となりますが lim ...
-
マイナス7は素数ですか?
-
複雑な家庭とは
-
日本語 ことば ひとまわり ふた...
-
正方行列ではない行列にも行列...
-
偏微分方程式って
おすすめ情報