単元一覧 › 大学院数学 圏論

圏論の問題

難易度 3大学院入試の専門科目の標準レベル大学院数学 圏論

とし、写像 全体のなす集合を とする。 は写像の合成 を積とし、恒等写像を単位元とするモノイドである()。

次のように圏 を定める。
- 対象は、 の冪等元、すなわち をみたす である。
- 対象 から対象 への射は、 をみたす である(異なる対象の組に対する射は、同じ写像 であっても別の射として数える)。
- 射 と の合成は 、対象 の恒等射は 自身である。

(これは の冪等元完備化(Karoubi 包絡)である。)圏 の射の総数、すなわち

(和は の対象の順序対 全体にわたる)を求めよ。

この問題で使うもの

この問題を解けるようになるまで(4 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 圏の定義と有限の圏

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

対象である冪等元を「像の大きさ」で分類し、各 の大きさが の像だけで決まることを示す方針で考える。

ヒント 2

冪等元は像の上で恒等写像である。 をみたす は、制限 と一対一に対応する(逆は )。

ヒント 3

像の大きさ の冪等元は 個あり、。階数 の から階数 の への射は 個なので、 を計算すればよい。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

1. 冪等元の分類. が冪等であることは、 が像 の上で恒等写像であることと同値である( なら 。逆に 上で恒等なら )。よって像が ()の冪等元は、 の元を固定し、残りの 個の元を の中へ任意に送る写像であり、その個数は である。像の大きさ(階数)が の冪等元の個数を とすると

で、対象は全部で 個ある。

2. 射の集合の記述. 冪等元 に対し と、写像の集合 の間に全単射があることを示す。
- が をみたすとき、 なので、制限 が定まる。また だから であり、 は制限から復元できる(単射)。
- 逆に が与えられたとき とおくと、 は 上で恒等なので 、また より 。よって であり、( は 上恒等)。したがって全射。

ゆえに、 の階数を 、 の階数を とすると

(確認: のとき で正しい。)

3. 総和.

- :
- :
- :

合計 。

よって求める射の総数は である。

別解

射 の条件 は、次の 2 条件を合わせたものと同値である。
(i) 。これは がすべての で成り立つことで、 が 上の値で決まることを意味する。
(ii) 。これは ( は冪等なので )と同値である。

したがって は、 から への任意の写像 を用いて と一意に書ける。逆に、そのような に対して は条件をみたす。よって である。ただし は階数(像の元の数)とする。

の階数 の冪等元の個数は である。これは、像を選び、像以外の点を像の点へ送る写像の数を数えたものである。
, , (合計 10 個)。

総数は である。
- :
- :
- :

合計は である。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題