[過去ログ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
129(1): 現代数学の系譜11 ガロア理論を読む 2016/11/05(土)13:32:37.12 ID:DzICE8Th(24/47) AAS
前スレで層の質問をおっちゃんにした
「任意の前層が表現可能関手の余極限と同型である」は標語だと、どこかに書いてあったね
外部リンク:qiita.com
【圏論メモ】任意の前層が表現可能関手の余極限と同型であることの証明 - Qiita amoO_Oが2016/03/25に投稿(2016/04/10に編集)
(抜粋)
定義
小さい圏
Ob(C),Hom(C)Ob(C),Hom(C) がともに集合であるような圏 CC を 小さい圏 と呼ぶ。
C上の前層
反変関手 P:C→SetP:C→Set を CC 上の前層 と呼ぶ。
省14
307(2): 2016/11/16(水)16:25:18.12 ID:YcEvAvac(2/3) AAS
>>306の訂正:
n≧0 とから a_n>0 → n≧1 とから a_n>0
424: ¥ ◆2VB8wsVUoo 2016/11/24(木)10:44:08.12 ID:J7jdFaML(3/8) AAS
¥
435: 2016/11/25(金)21:19:36.12 ID:9mViga5t(1) AAS
ガロアは、ある多項式を不変にする置換の集合を、今日にいう群、と考えたんだと思う。そう定義すれば、「ガロアを読む」の119ページあたりの証明は簡潔にできる。なぜなら、原始元の多項式の既約因子そのものが、その多項式になるから。これは、ちょっとした発見だ。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.051s