- 720 名前：583 [2005/08/31(水) 18:06:21 ]
- >>713
じゃあ圏論の言葉で置換群を定義してみよう。
G をただ一個の対象を持つ圏で、そのすべての射が同型であるとする。
Setを集合の圏として G から Set への関手のなす圏 Set^G を考える。
Set^G の対象で忠実な関手 F を考える。このとき、G を 集合 F(G) の
置換群と言う。
どうだ、スレ違いどころかぴったりオンスレだろｗ
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
圏論 / カテゴリー論 / Category Theory 2
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef