• ベストアンサー
  • 困ってます

【数学】　部分群であることを示せという問題。

とても簡単な問題のはずなのですが、いまいちリカイできないところがあるので、 正しい答えを教えてください。 有理整数のアーベル群Ｚの部分集合で、とある固定された整数ｎのすべての倍数の為す部分集合を nZとかくと、nZはZの部分群となる。これを確認せよ。 というような問題です。

共感・応援の気持ちを伝えよう！

質問者が選んだベストアンサー

  • ベストアンサー
  • 回答No.4

<回答No.1補足 てっきり問題をきちんと写してないだけだと思ったのですが… もし本当に演算が指定されていないならば，それは問題になっている群が定まっていないということです．回答できるわけがありません．ふつう，ある集合に構造が乗っているときは台となっている集合の記号を流用してしまいますが，これは省略記号であって記号の乱用です．だからこの場合は群Zと言われたら，それは正確にはある演算μが既に定まっていて集合と演算の組(Z, μ)のことを省略してZ = (Z, μ)と書いていると思うべきです． 文脈からするにふつうの有理整数上の加法に関してZは群になっているのでnZはその部分群であることを確かめなさい，という問題に見えますが… ## ちなみにアーベル群（あるいは可換群）というのはすべての元x, yについて xy = yx が成り立つ群のことです．加法群と言ったときは（慣習的には？）ある環について積の構造を忘れてしまったときに和に関してできるアーベル群のことを指します．

共感・感謝の気持ちを伝えよう！

質問者からのお礼

↑ごめんなさい。補足にお礼を書いてしまいました。

質問者からの補足

補足ありがとうございます。 非常に助かりました。 もっと場数を踏んだほうがよさそうですね。 一度教科書を全部終わらせてみようと思います。 本当に助かりました。

その他の回答 (4)

  • 回答No.5
  • alice_44
  • ベストアンサー率44% (2109/4758)

＞ 加法群ってアーベル群の別の言い方ですよね？ 確かに、可換群のことを「加法群」と呼んでしまう 困った人は、プロの数学者にも少なくないようです。 しかし、その「加法群」と、環や体や加群の加法群は、 言葉は同じでも、異なる概念です。 環の加法群が可換であるために、話はややこしいのですが… 問題文に「有理整数のアーベル群」と書いてしまった 出題者は、その辺の理解が曖昧なんだと思います。

共感・感謝の気持ちを伝えよう！

質問者からのお礼

回答ありがとうございます。 なるほど。ここはもっと経験値をつむべきでした。 重要なアドバイスありがとうございます。

  • 回答No.3
  • Tacosan
  • ベストアンサー率23% (3656/15482)

最初に「有理整数のアーベル群Ｚ」と書いてあるわけだが, この場合の「群」というのはいったいどのような演算にもとづく「群」なんだろうか.

共感・感謝の気持ちを伝えよう！

質問者からの補足

そうですよね。 それわからないとできないんじゃ。と私は考えているのですが。

  • 回答No.2

<回答No.1 ちょっと舌足らずかもしれないと思ったので念の為，補足．証明に関して書くべき内容は最後のふたつだけで十分なのは，明らかにnZ ≠ ∅だから（あるいは 0 ∈ nZだから）です．

共感・感謝の気持ちを伝えよう！

  • 回答No.1

とても簡単な問題なので理解を促すために逆に質問を． ・有理整数の加法群Zの演算μ: Z×Z → Zは何ですか？ ・その演算に関する単位元は何ですか？ ・その演算についてnZは閉じていますか？つまりx, y ∈ nZ に対して μ(x, y) ∈ nZ ですか？ ・nZのすべての元に対して逆元はnZの中にありますか？ ちなみに実際の証明に書くべき内容は最後のふたつに関してのみで十分です．

共感・感謝の気持ちを伝えよう！

質問者からの補足

回答ありがとうございます。 疑問に思ったのは最初の演算のところです。 演算が普通の足し算とかだと簡単にリカイできるのですが、何も書いてないのです。 加法群ってのはアーベル群の別の言い方ですよね。 もし演算が普通の足し算で、単位元は０なら全く問題ないと思うのですが、 加法群という情報だけでは、単位元を特定できないと思うのです。 そのせいで、最後の２つの質問に答えるのが難しくてですね。。。 演算について何も情報がなくても、この問題は答えられるはずなのです。 何か大きな勘違いをしていたら申し訳ありません。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 大学の代数学の、群についての問題です。

    大学の代数学の、群についての問題です。 非負整数nを固定する。 nの各約数kに対し、 kZ/nZ?｛0,k,2k,3k,・・・,(m-1)k｝ （ただし、m=n/k）とするとき、 Z/nZの部分群はこれらに限る。 という問題がわかりません。 ・各kに対し、kZ/nZがZ/nZの部分群になること。 ・一意性 を示さなくちゃいけないことはわかるのですが、 代数が苦手なもので、証明方法がピンときません。 どなたかわかる方、よろしくお願いします。

  • 代数学の、群の問題を教えて下さい。

    nは正の整数とする。Gは位数nの巡回群とする。この問題では、GはZ/nZに同型であることを示す。 (1)Gの生成元xをとり(つまりG=<x>)、群の準同型定理f:Z→Gをm∈Zに対してf(m)=x^mで定める。このときfは全射であることを示しなさい。またKerf=nZであることを示しなさい。 (2)fに準同型定理を適用して、Z/nZ≃Gを示しなさい。 という問題です。お願いします。

  • 代数の問題です。

    大学の代数でこのような問題がでて きて、わからないので教えてくださ い 。よろしくお願いします。加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ

  • 代数の問題です。

    加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ

  • 巡回群の生成元について

    お世話になります。よろしくお願いします。 「加法群Z、整数n≧0の時 商群Z/nZは、1を含む剰余類によって生成される位数ｎの有限巡回群である。（代数系入門　松坂和夫著　p.78）」 とあるのですが、 商群Z/nZの1を含む剰余類は｛1,1±n,1±2n,・・・｝、 2を含む剰余類は｛2,2±n,2±2n,・・・｝であり、 1を含む剰余類｛1,1±n,1±2n,・・・｝を ある整数kでｋ倍しても2を含む剰余類｛2,2±n,2±2n,・・・｝ にはならないと思うので、 全ての元が生成元aの整数ｋ倍で表される（加法の場合）という巡回群の定義に合わず、 「商群Z/nZは、1を含む剰余類によって生成される」というのがおかしいとおもうのですが、どうでしょうか？ どなたか私の考えの間違いをご指摘ください。 よろしくお願いします。

  • 数学の問題を教えて下さい。

    どなたか以下の問題を教えて下さい。 よろしくお願いします。 問題 Ｘは２の倍数、Ｙは３の倍数、Ｚは５の倍数であり 以下のことがわかっている。 ア　Ｘ＋Ｙ＝３５ イ　ｙ＋Ｚ＝４１ Ｘ．Ｙ．Ｚがいずれも正の整数であるときＸは（　）である。 以上の問題ですが答えはＸだけ聞かれています。 これは、３個解らないので代入もできないと思っていますが どのように考えればいいのか方法と、又答えも教えて下さい。 よろしくお願いします。

  • 数Aの確率の問題を教えてほしいです。

    100から300までの整数のうち、6の倍数全体の集合をA、15の倍数の集合をBとするとき、n(A⋂B), n(AとBの和集合の補集合)を求めよ。 という問題が全く分かりません；； 解き方と答えを教えてほしいです お願いします

  • 高1の数Aの問題です。

    数学の補習でわからないところがあったので、質問させていただきます。 問題：150以下の正の整数全体の集合｛150、149…、2、1｝で、3の倍数からなる部分集合をX、4の倍 　　　数からなる部分集合をY、5の倍数からなる部分集合をZとする。このとき、集合（X⋂Y)⋃Zの要素 　　　の個数は(1)＿＿個、集合X⋃Y⋃Zの要素の個数は(2)＿＿個である。 　　　(1)と(2)に当てはまる個数を答えなさい。 答えは、(1)40(2)90なのですが、なぜこうなるのかがわかりません。 あほですいません！ 回答お願いします。

  • 代数学　群の問題

    Ｇをアーベル群、eをＧの単位元、ｋを整数とする。 （１）H={g＾k｜g∈G}はＧの部分群であること （２）N={g∈G｜g＾k=e}はＧの正規部分群であること （３）剰余群Ｇ/ＮはＨと同型であること 上記３つを示したいのですが、お力を貸してください。どうぞよろしくお願いします。

  • 群論の問題です

    (１)G, G′ を群，H を G の正規部分群とする．f : G → G′ が準同型写像のとき f(H)は G′ の正規部分群か否か？ 正規部分群ならば証明し，そうでないならば反例をあげよ． (２) n を正整数とするとき，Aut(Z/nZ) ≅ (Z/nZ)＾ｘ を示せ． この二問がわかりません。教えていただければ幸いです。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する
質問する