圏論 / カテゴリー論 / Category Theory 2

1 名前：１３２人目の素数さん mailto:sage [04/07/13 00:13] 　　　　　　 , 　 ＿ ﾉ） 　　　　 　γ∞γ~　 ＼ 　　とて 　とて　　 |　 /　从从) ） 　 　 　 　ヽ　| |　l　 l |〃 　 　　／￣￣￣￣￣￣￣￣￣￣￣ 　　 　　　 ｀从ﾊ~ ワノ）　　　＜　圏論についてなんでもどうぞ♪ 　　　　 {| ￣［`［>ﾛ<］'］￣|!　 　＼＿＿＿＿＿＿＿＿＿＿＿ 　　　　　`,─Y ,└┘_ﾄ─' 　　　　　└／/ ｌ T ヽ＼　　とて ⌒ヽ 　 　,く._ '　　　　　_ > 　　人　　｀ヽ｀二二二´'´ Y⌒ヽ）⌒ヽ　し' ｌ⌒) ￣￣￣￣￣￣￣￣￣￣￣￣￣ ■前スレ 　なんで圏論なんてもんがあんのよ？ 　science3.2ch.net/test/read.cgi/math/1057731708/ ■関連スレ 　大好き★代数幾何 Part 2 　science3.2ch.net/test/read.cgi/math/1070510931/ 　集合論なぜなにスレッド 　science3.2ch.net/test/read.cgi/math/1064299337/ 　非古典論理について語るスレ 　science3.2ch.net/test/read.cgi/math/1071060325/ ■関連過去スレ 　層 　science2.2ch.net/test/read.cgi/math/1003853278/　（dat落ち中） 　シット サイト トポス シャン モチーフ 　science.2ch.net/math/kako/1007/10076/1007625226.html 654 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 16:18:21 ] >>653 日本語版でも全然問題ないと思うが 655 名前：583 [2005/08/30(火) 16:47:36 ] これで、奴(>>646)の無知は決定だな。っていうか初めから決定してたがｗ 656 名前：１３２人目の素数さん [2005/08/30(火) 17:56:18 ] >>653 アホにできるのはググることだけか（ｗ 657 名前：１３２人目の素数さん [2005/08/30(火) 17:58:43 ] で，可遷置換群の例を挙げてくれよ。それとその可遷置換群が応用されて いる分野と重要な結果も挙げてもらえるとうれしい。 658 名前：１３２人目の素数さん [2005/08/30(火) 18:04:12 ] それとお前さんが「置換群」を勉強したという「群論の初歩」の 教科書を教えてくれ。明日図書館で借りてきてあんたに質問するから。 間違っても数学辞典などとは言わないように。 659 名前：１３２人目の素数さん [2005/08/30(火) 18:18:01 ] >>658 数学辞典 660 名前：583 [2005/08/30(火) 18:34:13 ] なにムキになってんだよ。 >そもそも置換群論なんてものはない。 というお前のｘｘなレスがこの騒ぎの発端だろ。 お前の負けが決定したんだからこの件はこれで終わりなんだよ。 別の場所に論点をずらそうたって、もう勝負は決まってんだよ。 諦めろ。 661 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 18:40:15 ] お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め お前らスレタイ読めお前らスレタイ読めお前らスレタイ読め 662 名前：１３２人目の素数さん [2005/08/30(火) 18:41:51 ] ええとスレタイは… 圏論 / カテゴリー論 / Category Theory / 置換群 2 663 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 18:54:21 ] ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●● なにか見えてこないかい？ 664 名前：１３２人目の素数さん [2005/08/30(火) 18:59:43 ] >>583 場所を移すぞ。どこでもいいから指定しろ。 665 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 19:03:20 ] >>664 必死だなwwww ↓お前のために煽っといたからさっさと来いよ。 ∬　京都大学数学教室＠３号館　dxdy science3.2ch.net/test/read.cgi/math/1108737470/ 666 名前：１３２人目の素数さん [2005/08/30(火) 19:05:48 ] 余計迷惑かけるだろ。京大の人なんか全然関係ないんだし。 667 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 19:09:37 ] ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 ＞どこでもいいから指定しろ。 668 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 20:07:42 ] >>662 ﾜﾛﾀ 669 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 20:46:41 ] 魔性の圏論 670 名前：１３２人目の素数さん mailto:sage [2005/08/30(火) 23:44:05 ] ここはどう？ ワカラナイ問題はここに書いてね science3.2ch.net/test/read.cgi/math/1125407590/ 削除まちの重複スレ。ここならだれも文句いわないんじゃね？いつ削除されるかわからんけど。 671 名前：583 [2005/08/31(水) 09:31:59 ] >>667 なにトチ狂ってんだよ。お前の負けが決定したんだから終わりなんだよ。 これ以上どうしょうってんだ。 672 名前：& ◆Jx3uuDAUoo [2005/08/31(水) 09:40:17 ] (((( T )))) 電波にご注意 673 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 10:00:57 ] >>648って群論の初歩なの？ 院生とかでも知らない人のほうが多いと思うけど、いつの時代のカリキュラム？ 674 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 10:03:24 ] >>629 文脈考えてもあんたの考えが特殊なだけに見える 数学の本なんて高校生の語彙力、文法力で基本的には読める （数学的な素養とかはもちろん度外視） 仏語の数学書なんて大学一年夏学期の知識で読めるわけで、、 675 名前：１３２人目の素数さん [2005/08/31(水) 10:14:47 ] >>674 読めるなら何故(学部学生で)読むやつが少ないんだよ。 読めるっていっても程度が問題だろ(>>629はその程度を問題にしてるんだよ) 英語で書かれた数学の良書のほうが日本語のそれよりはるかに 多いんだよ。２ｃｈのスレを見ても解析概論がどうの杉浦がどうの と圧倒的に日本語の本を問題にしてるじゃないか。 それに、翻訳のニーズがあるからSpringerも出してるんだろ。 読めるなら翻訳より原書のほうがいいに決まってるだろ。 676 名前：１３２人目の素数さん [2005/08/31(水) 10:19:53 ] >>673 可遷置換群くらいやるだろ。今はやらないのか？ 例えば、秋月、鈴木の高等代数学Ｉ Hallの群論 677 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 10:39:23 ] >>676 ただの用語の違いじゃないの？置換群って集合に作用する群のことを 言ってんじゃないの？「置換群」より「群の作用」の方が一般的な 用語だと思うが。 678 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 10:45:29 ] >>674 言うは易し行うは難し 679 名前：１３２人目の素数さん [2005/08/31(水) 10:45:41 ] ということは今の数学科の若いやつらのほとんどは置換群というとハァなのか？ 680 名前：677 mailto:sage [2005/08/31(水) 10:48:45 ] 置換群という言葉が使われないだけで概念は余裕で分かってるよ。 ただし「置換群」が>>677の意味ならね。 681 名前：583 [2005/08/31(水) 10:54:33 ] 置換群というのは対称群の部分群のことだよ。 だから群の作用といっても忠実な作用を考えることになる。 682 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 10:56:02 ] おまいらおちける 683 名前：583 [2005/08/31(水) 10:56:54 ] 置換群論は今の学生は何っていうんだ？ 684 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 11:02:00 ] >>681の意味で置換群という言葉を使われて分かる人すげえ少ないんじゃない？ 最初から「対称群の部分群」って言えばよかったのに。 あなたがこのスレで置換群と言い出した人なの？違ったらごめん。 685 名前：583 [2005/08/31(水) 11:03:37 ] とにかく置換群論なんてものは無いといばっているようじゃ、 圏論なんてまだ早いっての。修行が足りん。 686 名前：583 [2005/08/31(水) 11:06:55 ] >>684 お前が無知なだけなんだよ。じゃあ何か置換群論なんてものはないけど 「対称群の部分群論」ならあるってのかｗ そんな風に言うやつはいねえよ 687 名前：684 mailto:sage [2005/08/31(水) 11:13:47 ] >>685 >>686 どうして>>684読んでそういうレスになるんかね。怒るポイントが 分からんね。前の方のスレ読んでも正確に他人の文章読み取れてない みたいだし人の質問にトンチンカンな回答ばかりしてるみたいだし， あんたとろくなやり取りする自信ないから俺は消えるよ。 688 名前：583 [2005/08/31(水) 11:20:02 ] 俺は全然怒ちゃいないよ。 置換群を知らないからあきれてるだけ。 無知を指摘されて消えるだけなのにカッコつけるなよｗ 689 名前：583 [2005/08/31(水) 11:32:01 ] 無知なこと自体が問題なんじゃない。誰でも初めは無知なんだから。 問題なのはそれを自覚しないこと。自分はそれを知らない、 だからそんなものは存在しないと考えるのはおかしいだろう。 っていうか気が確かか疑ったほうがいい。 690 名前：１３２人目の素数さん [2005/08/31(水) 11:58:36 ] またお前か。やれやれ。 691 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 11:59:40 ] >>675 取り敢えず河東先生によると読めるらしいので お前メールで文句言って来いｗ 話はそれからだｗ www.ms.u-tokyo.ac.jp/~yasuyuki/zensem2.htm ＞数学フランス語は簡単です．フランス語選択の人なら ＞1年生でも読めるでしょう.) 692 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 12:02:17 ] >>676 やらないんじゃない？ kyokan.ms.u-tokyo.ac.jp/~gakubu/syllabus.html 言っとくけど群論専攻の院生とかの話してるんじゃないからね 693 名前：583 [2005/08/31(水) 12:29:38 ] >>692 学部の授業でやらないから知りませんと。ママがうなぎの蒲焼を作って くれなかったからそれは食べたことがありませんと。なるほど。 理屈は合う。 694 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 12:36:40 ] 知らなくても全く困らんだろ 他分野で知らないと困る分野とかそうあるわけでも無し、 学部生が学んでおくべきことはもっと他にある 695 名前：583 [2005/08/31(水) 12:58:08 ] >>694 誰も困るなんて言ってないだろ。>>689を読んだ？ >>602のように無知を自覚しないのが困ると言ってるんだよ。 前にも書いたけど俺は置換群にこだわってるわけじゃない。 話がそっちに流れたから付き合ってるだけだ。 置換群に思いきりこだわってるのは他のやつだ。 696 名前：583 [2005/08/31(水) 13:04:11 ] だけど可遷置換群くらい知らないとやっぱりまずいだろ。 分野にもよるけど、少なくとも代数系の学生は。 697 名前：１３２人目の素数さん [2005/08/31(水) 13:14:41 ] >>696 それって推移的な群の作用（等質空間）のこと？ 698 名前：583 [2005/08/31(水) 13:29:05 ] まあそうだな。それと固定化群（stabilizer）とか軌道(orbit) とかな。 699 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 13:29:39 ] >>695 例えば極端な話俺が整数論やる奴が帰納函数論の Turing degreeの定義も知らないなんて教養不足だ、 無知を自覚しろとか言ったって それはただのお前の趣味だろ、って思うでしょ？ そこまで酷くないけど、同じだと思うんだが、、、 700 名前：583 [2005/08/31(水) 13:32:53 ] ↑ >>602を見た？ 701 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 13:34:35 ] ん？見たけど何か？ 必須の教養でも無いのに知らない人間を無知扱いするのはどうか、 と言ってるだけだよ 702 名前：583 [2005/08/31(水) 13:39:15 ] >>699 俺は基礎論とか数理論理なんて興味もないし良く知らないよ。 だからそれらに関して無知だということは自覚してる。 だから>>602のように自分の知らないことに関してだいそれたことは言わない。 703 名前：１３２人目の素数さん [2005/08/31(水) 13:45:48 ] >>697 こいつの言っている置換群とは対称群の部分群のことらしいっす。>>681 こいつは自分から>>591 ＞＞ 因みに、その数学者の意見は一理ある。 ＞＞ 群の重要な例というのは殆ど(90%以上)置換群だからな。 などと言い出しておいて（本人は数学を達観しているつもりなのだろう）， 当然湧き起こる「置換群って何」という質問には「ぐぐれ」とまともに 答えず，質問者を無能だ何だと馬鹿にする不愉快な人間っす。 こいつはガロア理論スレで叩きのめされた「ナンチャッテ類体論」親父で 他にもいろいろなスレでシッタカをばら撒いている有名なおっさんだから 相手にすると時間損するよ。 704 名前：583 [2005/08/31(水) 13:46:05 ] >>701 知らないなら黙ってろということ。少なくとも嘘を言うな。 705 名前：701 mailto:sage [2005/08/31(水) 13:50:45 ] 俺がいつ嘘を言った？ 706 名前：583 [2005/08/31(水) 13:56:40 ] >>705 >>602のことを話してるんだろ。違うか？ 707 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 13:58:29 ] なんだかよくわからんが何が問題になってんだ？ ちなみに「可遷置換群」って言葉は初めて聞いたが一般的なのか？ 群の作用や固定化群や軌道が基本的ってのは同意 708 名前：701 mailto:sage [2005/08/31(水) 14:01:17 ] >>706 よく分からんがそれ俺のレスじゃないぞ >>707 群論の本には良く出てくるかと ぐぐったらこんなページがヒット homepage3.nifty.com/gomiken/math/cfsg.htm 709 名前：583 [2005/08/31(水) 14:04:55 ] >>707 "transitive permutation group" をなんて呼ぶ？ 英語じゃこれは一般的だろ。googleってみ。 710 名前：583 [2005/08/31(水) 14:26:31 ] だけど数学科の学部学生で群論とガロワ理論を勉強しておいて 置換群という言葉を知らないって嘘だろ？ 711 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 16:02:16 ] >>681 ＞置換群というのは対称群の部分群のことだよ。 Lie群も置換の集合とみなせなくはないが･･･ もっとも普通は置換といわず変換というけど･･･ 712 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 16:06:34 ] >>703 漏れなら群は100％"置換の集合"とみなせるというがな（ｗ 置換を有限集合に限定するのは本質的じゃない。 713 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 16:19:50 ] だからお前らスレタイ読め。 圏論から外れすぎ 714 名前：583 [2005/08/31(水) 16:26:03 ] >>712 置換群であるということと置換群とみなせるというのは違うだろ。 他の例でいうと、任意のコンパクトなリーマン面は射影曲線（を複素多様体と と見たもの）とみなせるが、一般にリーマン面は射影曲線と同じではない。 715 名前：583 [2005/08/31(水) 16:29:02 ] >>711 当然そうだけど、だから何？ 716 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 16:32:54 ] >>714,715 だからお前らスレ違い 群論 science3.2ch.net/test/read.cgi/math/1099840004/ 717 名前：１３２人目の素数さん [2005/08/31(水) 17:26:38 ] MacLaneの邦訳ってどこの書店に売ってんの？まだ見たことないんだが。 718 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 17:30:20 ] >>717 www.amazon.co.jp/exec/obidos/ASIN/4431708723/ 719 名前：１３２人目の素数さん [2005/08/31(水) 17:37:47 ] >>718 ありがとう。随分安いな。 でも俺原著持ってるから邦訳買いたいわけじゃなくてぱらぱら立ち読み したいだけです。大阪市内で置いてあるとこ誰か知りませんか？ 720 名前：583 [2005/08/31(水) 18:06:21 ] >>713 じゃあ圏論の言葉で置換群を定義してみよう。 G をただ一個の対象を持つ圏で、そのすべての射が同型であるとする。 Setを集合の圏として G から Set への関手のなす圏 Set^G を考える。 Set^G の対象で忠実な関手 F を考える。このとき、G を 集合 F(G) の 置換群と言う。 どうだ、スレ違いどころかぴったりオンスレだろｗ 721 名前：１３２人目の素数さん mailto:sage [2005/08/31(水) 18:08:00 ] >>719 常備書店 www.springer-tokyo.co.jp/cgi-bin/svtjoubi.pl?KENCD=27 もちろんあるとは限らないけど新刊だから普通は置いてるんじゃない? 722 名前：１３２人目の素数さん [2005/08/31(水) 18:17:47 ] >>719 梅田のジュンク堂にあった． 723 名前：583 [2005/09/01(木) 17:39:12 ] お前等、俺が圏論の言葉で置換群を定義したとたんにだんまりになったな。 ひょっとして分からないとかｗ 724 名前：１３２人目の素数さん [2005/09/01(木) 17:47:50 ] みなさん置換群の定義し過ぎに注意しましょう とくに妊婦のみなさんは一日の摂取量を守りましょう 725 名前：１３２人目の素数さん mailto:sage [2005/09/01(木) 19:24:39 ] >>721 >>722 情報ありがとうございます。 726 名前：１３２人目の素数さん mailto:sage [2005/09/01(木) 21:23:40 ] おまえら、きっと倫理学に関心があるだろ。 727 名前：１３２人目の素数さん mailto:sage [2005/09/01(木) 21:41:28 ] >>723 みなアフォに関らないオリコウサンだから（ｗ 728 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 08:42:37 ] ♪君が、嘘を、ついた／オフコース 729 名前：SpecＺ mailto:sage [2005/09/02(金) 08:59:02 ] Ｚが整数環のとき、SpecＺはだいたい素数の集まりからなる 空間であるわけですが、このSpecＺに作用するような群を 圏論的な方法でなにか構成できないでしょうか？ 730 名前：583 [2005/09/02(金) 09:15:08 ] >>727 だから何で俺が圏論の話をしたとたんにだんまり(君の言葉でいうと、オリコウサン)になるんだよ。 731 名前：583 [2005/09/02(金) 09:23:04 ] >>610で（代数体の）イデアル類群について書いたけど、イデアル類群は 置換群として定義されたものではない。ところが、ある神秘的ともいうべき 同型射により、その代数体のあるガロワ拡大体のガロワ群と同型になる。 これが類体論の主定理(の特別な場合)である。 ガロワ群というのはガロワ拡大体の自己同型群だから置換群の一種である。 732 名前：１３２人目の素数さん [2005/09/02(金) 11:32:57 ] >>731 なんか強引だなあ 733 名前：583 [2005/09/02(金) 11:40:55 ] はあ？ 置換群に関連した事実を述べただけで、特に何かを主張してるわけではない。 734 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 11:50:10 ] つける薬なし 735 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 12:02:02 ] ガロア理論 Part 2 science4.2ch.net/test/read.cgi/math/1089611846/ 736 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 12:22:46 ] >>729 Aut_scheme(SpecZ) = Aut_ring(Z) = {id}。 737 名前：583 [2005/09/02(金) 12:40:03 ] アフィンでないスキームＸの自己同型群 Aut(X) は、必ずしも、 自然に置換群とみなされないんじゃないか？ もしそうだとすると、(標準的に)置換群ではない非可換群の例となる。 738 名前：kaim [2005/09/02(金) 12:41:46 ] 太い蝋燭と細い蝋燭がありまんがなー ���太いのは１５時間後、細いのは６時間後に燃え尽きるまんがなー ���同時に火つけた時、細い蝋燭が大きい蝋燭の半分になるのはいつまんがなー？ 739 名前：583 [2005/09/02(金) 12:44:33 ] >>732 強引というのはガロワ群を置換群ということが？ もしそうなら、強引でもなんでもない。置換群というのは、 集合の自己同型群（対称群）の部分群ことだから、 ガロワ群は、当然、置換群だ。 740 名前：583 [2005/09/02(金) 13:31:12 ] >>720を解説しよう(解説の不要な人はスルーしてくれ)。 Gを群とする。G を対象として、G の元xを射 x: G → G とみなすと、 ただ一個の対象を持つ圏が得られる。この圏を同じ記号Gであらわす。 G から Setへの関手 F を考える。 F(G) = X とおくと、射 f:G → X が f(x) = F(x) で定まる。 関手の定義から f(xy) = f(x)f(y) となる。つまり f は G から Aut(X) への準同型である。Fが忠実というのは、この準同型が単射 であることを意味する。つまり G ⊂ Aut(X) とみなされる。 これは、G が集合X上の置換群であることを意味する。 741 名前：583 [2005/09/02(金) 13:43:29 ] >>740 >射 f:G → X が f(x) = F(x) で定まる。 射 f:G → Aut(X) が f(x) = F(x) で定まる。 742 名前：SpecＺ mailto:sage [2005/09/02(金) 19:06:43 ] 絶対数学の立場からなんとか Aut(SpecＺ) を構成したいのですが。 743 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 19:21:17 ] あーオレ良く分かんねーや。 xを圏Gの射として、F(x)ってのは、Setsにおける対象XからXへの射だろ？ F(x)∈Sets(X,X)ってのは、F(x)∈Aut(X)ってことなの？　別に全単射と は限らない気がするんだが。 うーむ、オレの頭がわりーのかな（苦笑 744 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 23:11:14 ] >>740 バカバカしいからもうその話題はやめれ 745 名前：１３２人目の素数さん mailto:sage [2005/09/02(金) 23:14:18 ] >>742 Aut(SpecZ)を「構成」して何がしたいの？ 746 名前：SpecZ mailto:sage [2005/09/02(金) 23:48:45 ] >>745 絶対数学の存在を確認したいのと絶対数学の基礎を築くのがその動機です。 747 名前：583 [2005/09/04(日) 12:01:38 ] >>743 xを圏Gの射とする。xy = yx = 1 となるＧの射yがあるよね。 F(1) = F(xy) = F(x)F(y) = 1 となるよね。 同様に F(y)F(x) = 1 となるよね。 だから F(x) は全単射になるよね。 おれって丁寧すぎるほど丁寧だよね（苦笑 748 名前：583 [2005/09/04(日) 12:04:35 ] >>732 >>731のなにが強引なのかじっくりと聞かせてもらおうじゃないか 君の勘違いならあやまれ。 749 名前：１３２人目の素数さん mailto:sage [2005/09/04(日) 12:24:12 ] ＞あやまれ ・・・（苦笑 750 名前：１３２人目の素数さん mailto:age [2005/09/04(日) 22:19:08 ] >>747 整数環Ｚは加法について無限巡回群であるわけですが、 Ｇ＝Ｚとすると集合Ｘは何になるんですか？ 751 名前：583 mailto:sage [2005/09/04(日) 22:24:18 ] :.,' . : : ; .::i'ﾒ､,_　　i.::l　';:.: l '､:.:::! l::!　: :'､:i'､: : !, : : : : : :l:.'､: : '! ,' . : i .;'l;'　_,,ﾆ';､,iｿ 　'; :l　,';.::! i:.!　　: '､!:';:. :!:. : : : :.; i : :'､: i:.i､: :｡:!.i.:',r'ﾞ,rf"`'iﾐ,`'' ﾞ ';.i　`Ｎ,_i;i＿__,,_,'､-';‐l'i'':':':':‐!: i : : '、 i:.!:'､: :.:!l :'ﾞ iﾞ:;i{igil};:;l' 　 ヾ!　 'i : l',r',ﾃr'‐ミ;‐ﾐ';i:'i::. : i i i : : :i :!!ﾟ:i.'､o:'、　ﾞ､::ﾞ''".::ﾉ　　　　　　　　iﾞ:;:li,__,ﾉ;:'.､'､ :'i:::. i. !! : : !: .' :,'. :ﾞ>;::'､⊂‐ﾆ;;'´　　　　　　　 　 '､';{|llll!: :;ﾉ　! : !::i. : : : : i : : :,'　/. :iヾ､　　　｀　　　　　　　 ､._. ミ;;--‐'´.　　/.:i;!o: : : :i : : ; : ,' : : i.:　　　　　　<_　　　　　　 ｀ ' ' ｀｀'‐⊃./. :,: : : O: i. : : i ,'. .　: :',　　　 　 ､,,＿　 　　　　　　　　　　,.:': ,r'. :　, : : !: :　　　　　　　　あやまれ!! :,'/. : : . :;::'､　 　　 ﾞ|llllllllllllF':-.､　　　　 　 ,r';､r':　. : :,i. : ;i : :　　　　　俺にあやまれ!! i,': : : :.::;.'.:::;`､　　　 |llllH". : : : :｀､　 　 ,rシｲ...: : ; : :/:i : i:!::i: ;'. : :..:::;':::::;':::::`.､　　|ｿ/. : : : : : : ;,!　,／'ﾞ. /.:::: :,:': :./',:!: j:;:i;!; i. : .:::;:'i::::;':::::::::i::`:.、;ﾞ､';‐ ､,;__;,／ﾉ　　. :,/.:::: :/. : :/.:::i. j:;;;;;;;; l .:::;:'::;':::;':::::::::::i::::i::`:,`'-二'‐-‐''ﾞ_,､-.':ﾞ/.:::: ;ｨ': : :/.:::::i: j､;;;;;;; .:::;:':::;':::;'::::::::::::::i:::i:::::..｀'‐､､､-＜ﾞ.::::::::/.::: ://. : /.:::::::i :j::.'､:;;; 定番ですがｗｗｗ >>583の中の人は女の子だ、うんそういうことにしよう 752 名前：１３２人目の素数さん mailto:sage [2005/09/04(日) 23:14:20 ] >>583は腐女子なw 753 名前：583 [2005/09/05(月) 09:26:52 ] >>750 Ｘの例はいくらでもある。 つまらない例だとＺ自身。Ｚの置換 x → x + 1 をｇとして、 F(n) = g^n と定義する。 754 名前：583 [2005/09/05(月) 09:33:58 ] 置換群でない非可換群の例として位相空間の基本群をあげようと 思ったけど、これは被覆空間の置換群なんだよな。 誰か置換群でない非可換群の例を上げてくれないかな。 有限群だともっと嬉しい。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef