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

圏論の問題

難易度 2大学院の講義の演習問題レベル大学院数学 圏論

の正の約数全体 を整除関係 で順序づけた半順序集合とみなし、これを圏 とする(対象は の元で、 のときに限り から への射がちょうど 1 本ある)。

共変関手 を次で定める。各 に対し

とし、 の射に対しては包含写像 を対応させる。

表現可能関手 から への自然変換の個数を求めよ。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 圏の定義と有限の圏
  5. 順列・円順列・重複順列
  6. 組合せ
  7. 同じものを含む順列・重複組合せ
  8. 関手と関手の数え上げ
  9. 自然変換と関手圏
  10. 表現可能関手と米田の補題

ヒント

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

ヒント 1

米田の補題により、 は と全単射で対応します。

ヒント 2

求める個数は です。 の正の約数 から を満たす組 を数えましょう。

ヒント 3

を固定すると、 は の正の約数を自由に選べます。 の約数の個数はそれぞれ です。

答えと解説

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

が関手であること. なら の約数は の約数でもあり、条件 は変わらないので であり、包含写像の合成は包含写像なので は関手である。

米田の補題. 局所小圏 の対象 と関手 に対し、

は全単射である。よって求める個数は である。

(直接の確認) は のとき 1 元集合、そうでないとき空集合である。空集合からの写像は一意なので、自然変換 は の成分だけで決まる。 を選ぶと、自然性から の値は に決まる。したがって自然変換は の選び方と 1 対 1 に対応する。

の計算. の正の約数は 。 となる組 を数える。
- : の 個
- : の 個
- : の 個
- : の 個

合計 。

(別解) の約数は指数の組 で表され、 は各指数ごとの大小関係になる。各素因数について の 通りなので 。

よって自然変換の個数は 。

別解

米田の補題より、。したがって を数える。

。 の約数は 。 ごとに となる を数える。
- : の 1 個
- : の 2 個
- : の 2 個
- : の 4 個

合計 。

検算: 約数の個数 の約数対 , の個数は で一致する。

この問題の確認

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

間違いを報告する

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

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

関連する問題