締切済み 濃度が可算以上の任意の群はZと同型な群を含みますか? 2008/02/21 19:40 濃度が可算(アレフゼロ)以上の任意の群はZと同型な群を含むと私は思いますが、合っているかどうか教えてください。 みんなの回答 (2) 専門家の回答 みんなの回答 koko_u_ ベストアンサー率18% (459/2509) 2008/02/21 22:12 回答No.2 濃度が可算個の群で、すべての元の位数が有限なものを考えれば反例になると思われます。 だいたい、そういうのは自分で考えるから面白いのに。 質問者 お礼 2008/02/24 16:18 教えてくれてありがとうございます。参考になりました。 広告を見て全文表示する ログインすると、全ての回答が全文表示されます。 通報する ありがとう 0 uzumakipan ベストアンサー率81% (40/49) 2008/02/21 21:31 回答No.1 こんばんは。あまり自信がないので参考意見として理解してください。 Zは整数全体からなる加法群のことですよね? 濃度が可算以上の可換群GならZからGへの単射な準同型写像を定義することによってZをGに埋め込む(つまりGの部分群と同型)ことができると思います。 しかし、中心が単位元だけの非可換群ならZと同型な群は含まないと思います。 質問者 お礼 2008/02/24 16:15 こんにちわ。教えてくれてありがとうございます。参考になりました。 広告を見て全文表示する ログインすると、全ての回答が全文表示されます。 通報する ありがとう 0 カテゴリ 学問・教育数学・算数 関連するQ&A 2元生成の自由群は可算か? 2元生成の自由群は可算か? バナッハタルスキーのパラドックスを本で読んで証明を追っています。 その途中、2元から生成された自由群(と同型な群)は可算であるから…、との表記が証明なしにありました。 これは正しいですか? 対角線論法と同じように以下のように考えました。 生成元をh,kとしたとき、可算濃度と仮定すると全ての元を e h k hh hk … と順番に並べることができます。 i番目の元のi文字目がhならk、何もない場合やkならh(i=1,2,…)と定めてできたものはすべての元と異なるので矛盾するように思うのですが… あるいは、可算の長さである元について、その選び方は2^(可算無限)となり、全体としても連続濃度になってしまうと思います。 群の同型について 現在,ガロア理論を理解するために,まず群論を勉強しています. そこで「準同型定理」や「群が同型である」という言葉が出てきます. そこで質問なのですが,「群が同型」であるということはどのような利点があるのでしょうか? 群同型,可換群,巡回群についてのQ&A よろしくどうぞ。素朴な疑問です。お答えいただけましたら大変幸いでございます(反例も賜れれば尚幸いです)。 Zを整数全体の集合,l,k,m,n,m',n'∈Zで ~は群同型を表す。 Z_l~Z_k且つZ_m~Z_nなら Z_l(+)Z_m~Z_k(+)Z_nは正しいでしょうか? Z_mはmがどんな時,可換群? Z_mはmがどんな時,巡回群? Z_m(+)Z_nはm,nがどんな時,可換群や非可換群になるのでしょう? Z_m(+)Z_nはm,nがどんな時,巡回群や非巡回群になるのでしょう? gcd(m,n)=1ならZ_mn~Z_m(+)Z_nは正しいでしょうか? gcd(m,n)≠1ならZ_mnは何と同型になるのでしょうか?またZ_m(+)Z_nは何と同型になるのでしょうか? Z_m(+)Z_nとZ_m'(+)Z_n' (但し,mn=m'n')はどんな時,同型でどんな時に非同型になるのでしょうか? 天文学のお話。日本ではどのように考えられていた? OKWAVE コラム 有理数集合の濃度は非可算?! 有理数集合の濃度は非可算?! 有理数集合Qの濃度は可算ですが、以下のように考えたところQ(の部分集合)が非可算無限集合になってしまいました。 どこが誤りかご教授願います。 正の有理数は素数のベキを用いて 2^α×3^β×…(α,β,…∈Z) で一意的に表される。 素数の個数は可算無限個なので Q+とZの可算無限個の直積が一対一対応する。 このときZも可算無限集合なので、可算無限集合の可算無限直積で非可算無限集合になる。 よってQ+は非可算無限集合である。 可算濃度 「無理数全体の集合Pについて、Pの濃度は可算濃度より大きい」 この証明の仕方を教えて下さい。 カントールの定理を使わずにお願いします。 (Z,+,×,<)と同型になる環を示す。 任意の順序環(M,+,×,<)は(Z,+,×,<)と同型な部分環をもつことを示せ。という問題です。Mに含まれるLをもってきて,(L,+,×,<)と(Z,+,×,<)が同型となることを示していきます。ZからMへの関数を考えて、それが全単射であることと順序が保存されることが順序同型の定義だと思いますが、構造(M,+,×,<)が一体どういったものなのかという根本的なところのイメージがわからなく、証明の方針がつかない状態です。どなたか回答お願いします。 群の同型について 同型な群というのにはどのようなものがあるのでしょうか? 具体的な例を教えてください。 また、準同型定理や、同型定理を証明したのですが、具体的なものが考えられず、 いまいちイメージがわきません。 簡単な説明も兼ねて教えてくださると助かります。 可換群で同型,や非同型の判定の仕方は? 下記の可換群でどれとどれとが同型,どれとどれとが非同型であるとどうやって判定すればいいのでしょうか? 位数が400である可換群は Z_{2^4}(+)Z_{5^2}, Z_2(+)Z_2(+)Z_2(+)Z_2(+)Z_5(+)Z_5, Z_2(+)Z_2(+)Z_{2^2}(+)Z_5, Z_2(+)Z_{2^3}(+)Z_5(+)Z_5. Z_{2^2}(+)Z_{2^2}(+)Z_5(+)Z_5 Z_{2^4}(+)Z_5(+)Z_5, Z_2(+)Z_2(+)Z_2(+)Z_2(+)Z_{5^2}, Z_2(+)Z_2(+)Z_{2^2}(+)Z_{5^2}, Z_2(+)Z_{2^3}(+)Z_{5^2}, Z_{2^2}(+)Z_{2^2}(+)Z_{5^2}, Z_{2^4}(+)Z_{5^2} があると思います。 位数32である可換群は Z_2(+)Z_2(+)Z_2(+)Z_2(+)Z_2, Z_2(+)Z_2(+)Z_2(+)Z_{2^2}, Z_2(+)Z_2(+)Z_{2^3}, Z_2(+)Z_{2^2}(+)Z_{2^2}, Z_2(+)Z_{2^4}, Z_[2^2}(+)Z_{2^3}, Z_{2^5} があると思います。 Z_{p^2}(+)Z_{p^3}の位数{p^2}の部分群は ({0mod{p^2}},Z_{p^2}),(Z_p,Z_p),(Z_{p^2},{0mod{p^3}})があると思います。 Gal_Q(x^4+1)がZ_2×Z_2の同型 Gal_Q(x^4+1)がZ_2×Z_2と同型になる理由についてなぜなのかがよくわかりません。 (具体的に言うと、Gal_Q(x^4+1)の構成要素と、その各々の元がZ_2×Z_2の各元にどのように対応しているのかがよくわかりません。) x^4+1=0を計算すると、±(1+i)/√2, ±(1-i)/√2となり、Gal_Q(x^4+1)がQ-同型写像であることと、Z_2×Z_2が{1,α,β,αβ}で構成されるアーベル群であることはわかります。 ※Gal_Q(x^4+1)は体Q上の多項式x^4+1のガロア群 もしもわかられる方がおられれば、お教え頂けないでしょうか? 可算濃度2 Xを自然数全体集合Nの有限部分集合全体とするとき、|X|と可算濃度が同じである証明の仕方を、分かりやすく教えて下さい! 加群の同型を示す。 問題:次の同型を示せ。 1.Hom(Z,Z/n)とZ/n(nはZ) 2.Hom(Z/n,Z)と{0}(nは0じゃない) 3.Hom(Z/n,Z/m)とZ/d ただしm,nは0じゃない d=(m,n)はm,nの最大公約数 同型写像をf→f(1)のように定めるのはわかるのですが、これが同型写像である証明(全単射など)がうまくできません>< 詳しく教えてくれる方、お願いします。 群論【有限群への準同型写像】 無限巡回群Zから有限群Gへの準同型写像の数は|G|だと本に書いてあるのですが、 どうしてなんでしょうか。 有限群Gのすべての元はGの内部で有限巡回群を作るということですか? 日本史の転換点?:赤穂浪士、池田屋事件、禁門の変に見る武士の忠義と正義 OKWAVE コラム 自己同型群について。 Z:整数の作る加法群、Z/9Z:位数9の巡回群、p:Z→Z/9Z (自然な射影) とします。 (1)σ(p(1))=p(2)を満たすσ∈Aut(Z/9Z)を求めよ。 (2)Aut(Z/9Z)の位数を求めよ。 (3)Aut(Z/9Z)の元の位数として表れる数を列挙せよ。 以上が問題です。またAut(Z/9Z)は具体的にどのような写像になるのでしょうか? 解説付きでお願いします。 巡回群Z_nの自己同型写像の数 巡回群Z_nの自己同型写像の数を求めろという問題なのですが、 小さい数で試すと、きっとnと互いに素な数と同じだけあるように思います。(自己同型写像={a→a^p:pはnと互いに素}というようなかんじ) ですが、うまく証明が出来ません。どなたか証明と、もし間違っていたら答えを教えていただけませんでしょうか。 非可算濃度を持つ臨界値の集合 非可算濃度となる臨界値の集合をもつ滑らかな関数は存在しないようですが、理由を教えてください。 任意の群は行列で表現できるのでしょうか? 任意の群は行列で表現できるのでしょうか? ここで、「表現」とは同型写像があることを指します。 表現論の表現と同じ意味なのかどうかはわかりません。 巡回群が加法群Zと同型であることを示す、代数学の問題です。 Gを巡回群とすると、任意のGの元はa^n(n∈Z)(aは生成元)となり、 f:Z→Gをf(n)=a^nで定める。 このあと全単射を示すところで単射を示す際、 a^n=a^m から、 n=m とできますか? また、ここまでのやり方はあってますか? 回答お願いします。 代数 群の積の同型について Z/9ZがZ/3Z×Z/3Zと同型でないことを示すにはどうしたらよいのでしょうか? Z/3Z×Z/3Zが一つの元で生成できない事を示せば良いのですが、Z/3Z ×Z/3Zに属する全ての元でそれを確かめなければいけないのでしょうか?一番適切な証明を教えて頂けると幸いです。 群と自己同型 有限群Gとその上の自己同型Tが与えられていて次の条件を満たしているとします: |{g∈G: T(g)=g^(-1)}| ≧ (3/4)|G| ただし集合Aに対して|A|はAの個数を表しています。 このときすべてのg∈Gに対してT(g)=g^(-1)が成り立つことを示したいのですが(したがってGはアーベル群)方針をうまく立てられません。鳩ノ巣原理とかを使ったりして比較的簡単に示せると思うのですがどのようにして示せるのでしょうか。どなたか分かりましたら方針だけでもよろしくお願いします。 群の位数と濃度 群の位数と濃度の関係を教えて下さい。 ちなみに自分が考えた結果は 群Gの位数を|G|、濃度をcardGとするとき Gは有限集合⇔|G|=cardG=(Gの元の個数) Gは無限集合⇔|G|=∞⇔cardG≧cardN (ただしNは自然数全体の集合) 注目のQ&A 「You」や「I」が入った曲といえば? Part2 結婚について考えていない大学生の彼氏について 関東の方に聞きたいです 大阪万博について 駅の清涼飲料水自販機 不倫の慰謝料の請求について 新型コロナウイルスがもたらした功績について教えて 旧姓を使う理由。 回復メディアの保存方法 好きな人を諦める方法 小諸市(長野県)在住でスキーやスノボをする方の用具 カテゴリ 学問・教育 人文・社会科学 語学 自然科学 数学・算数 応用科学(農工医) 学校 受験・進学 留学 その他(学問・教育) カテゴリ一覧を見る OKWAVE コラム 突然のトラブル?プリンター・メール・LINE編 携帯料金を賢く見直す!格安SIMと端末選びのポイントは? 友達って必要?友情って何だろう 大震災時の現実とは?私たちができる備え 「結婚相談所は恥ずかしい」は時代遅れ!負け組の誤解と出会いの掴み方 あなたにピッタリな商品が見つかる! OKWAVE セレクト コスメ化粧品 化粧水・クレンジングなど 健康食品・サプリ コンブチャなど バス用品 入浴剤・アミノ酸シャンプーなど スマホアプリ マッチングアプリなど ヘアケア 白髪染めヘアカラーなど インターネット回線 プロバイダ、光回線など
お礼
教えてくれてありがとうございます。参考になりました。