TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
高校数学の質問スレPart404
分からない問題はここに書いてね453
人工知能・機械学習のスレッド＠数学板
分からない問題はここに書いてね445
ピタゴラス数をなんと 〜荒らされたので立て直しました〜
面白い問題おしえて〜な 31問目
ゼロ割をがんばって定義してみるスレ
【数学者】大類昌俊【総合】 Part4
現代数学の系譜 古典ガロア理論を読む35
オススメ大学
- 350 ：
- >>335 訂正と追加
＜訂正＞
Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと
（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い）
↓
Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZの同値類の構造を忘れたらZに戻るってこと
（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元2nからZ中の例えば2nに対応を付ければ良い）
＜補足＞
要するに、上記で言いたいことは、Z/nZの要素の各同値類の集合の要素と、集合Zとの元との対応がきちんとつくってこと
（例：上記の 0 + nZ∋2n→2n∈Z）
だから、全体としても、Z/nZが含んでいる自然数たちは、当然集合Zの元と対応がつくってこと
なお、忘却関手については、下記ご参照
（参考）
https://tnomura9.exblog.jp/21059078/
tnomuraのブログ 2014-08-29
忘却関手のイメージ
群は集合 G と二項演算 * の組 (G, *) だ。したがって、群 G と G' の間の準同型写像 f : G -> G' といっても基本的には集合と集合の間の写像と変わらない。つまり、全射や単射や全単射などの性質はそのまま残っている。
ただし、準同型写像の場合は f によって構造が保存される。つまり、写像 f によって演算が１対１に対応する。具体的には f(xy) = f(x)f(y) という等式がなりたつ。したがって、単射の準同型写像や、全射の準同型写像や、全単射の準同型写像や、全射でも単射でもない準同型写像があるということだ。
しかし、f(xy) = f(x)f(y) を満たさない写像は準同型写像とは言えない事に注意が必要だ。準同型写像全体の集合を考えると、それは集合の写像全体の集合の部分集合になる。（参考：準同型 - Wikipedia）
全ての群の圏 Grp とは群を対象とし、群と群との同型写像を射とする圏のことだ。また、小さな集合の圏 Set は集合を対象とし集合と集合の間の関数を射とする圏である。
群の圏から集合の圏への「忘却関手」U : Grp -> Set とは、Grp の対象である群を Set の対象である集合に対応させ、Grp の射である準同型写像を Set の射である写像に対応させる。
つづく
Inter-universal geometry と ABC予想 16
分布 distribution 超関数 hyperfunction一般化関数
現代数学の系譜11 ガロア理論を読む23
数学は暗記か
高校数学の質問スレPart403
【学部,院】数学をやめようと思ってる人、もうやめた人が語り合うスレ【ﾎﾟｽﾄﾞｸ,社会人】
山口大学理学部数理科学科
遂に解かれた！AX+BY=CZ
フェルマーの最終定理の簡単な証明7
ルジャンドル予想を証明したかもしれない
--------------------
今の娘。には絶対的センターや絶対的エースがいない
てんかん・癲癇総合スレッド34件目
俳句黙示録カイジ
分布 distribution 超関数 hyperfunction一般化関数
思わず吹いたレス集合 その271
【サーチナ】中国海軍の勃興、海上自衛隊はアジア最強の座を失おうとしている＝中国メディア[8/30]
◆松坂桃李 １ ◆
東電役員の処刑方法２
宿題だぁ？勝手にやってろ
SUNSEA
「喫茶居酒屋「昭和」板門店五十五日目
【千葉市】介護の世界【どうよ？】
PS版シミュレーションRPGツクール
【Tポイント】Yahoo ! ショッピング290
【韓国メディア】 「助けて」 トランプ大統領が文大統領にSOS
【引き強になるスレ】書き込んだ奴は当たるスレ★29
リゴンドーをほっとけない！
■大相撲総合スレ■名古屋場所
【２月１６日】朝日杯決勝 渡辺明 ｖｓ 藤井聡太
咲夜さんのバストは…デケデケデケデケデケデケチーン！
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼