概要
群論をやったことある人は、一番自明な例として、次の群を見たことがあるでしょう。
自明群
群が自明群であるとは、が単位元のみからなるときをいう。
この自明群については、
自明群論研究会
において様々な研究がなされています。
本記事の目的は、自明群に関する次の結果を圏論の道具を用いることで証明できたので、それを紹介することです。
主定理
を任意の群とする。このとき、は自明群からの単射な準同型を持つ。
想定読者
次の条件を満たす読者を想定しています。
- 群の公理を知っている
- 圏・関手・随伴関手の定義を知っている
- 本記事がネタ記事だと気づいている
基本的な記号
この記事では以下の記号を用います。
- で集合と通常の写像のなす圏をさす(厳密には集合論的なパラドクスを避けるため、ここでは一つ適当なGrothendieck宇宙を固定して、-smallな集合のなす圏を指すことにします)。
- で群と群準同型のなす圏をさす(上と同様、基礎集合が-smallなものを扱います)。
- でアーベル群とその群準同型のなす圏を指す(上と同様略)。
準備
圏と関手と随伴関手の定義を既知とします。本節では、主定理の証明に必要な概念を定義・導入し、随伴関手や前加法圏についての鍵となる性質を証明します。
随伴関手からの準備
圏の対象が
- 始対象であるとは、任意の対象に対して射集合が一元集合となるときをいう。
- 終対象であるとは、任意の対象に対して射集合が一元集合となるときをいう。
次は後で主定理の証明に用いる重要な例です。
集合のなす圏をとします。このとき、空集合はの始対象です。
この始対象と終対象について、随伴との次の関係がよく知られています。
左随伴関手は始対象を保つ
を関手とし、が左随伴であるとする、すなわち右随伴関手を持つとする。このときが始対象を持つならば、はの始対象である。双対的に、が終対象を持つならば、はの終対象である。
随伴の練習問題です。始対象についてのみ示します(終対象については双対性より従います)。任意にの対象を取ります。このとき、随伴性から
という同型が成り立ちます。いまはの始対象でしたから、右辺は一元集合、よって左辺も一元集合です。
上の命題は、「左随伴関手は余極限を保つ」というより一般的な命題の特別な場合です。
また、本定理の証明の鍵になるのが次の始対象・終対象についての観察です。
圏が始対象を持ち、さらにが終対象でもあるとする。このとき、任意の対象に対して唯一定まる射はモノ射である。
2つの射がを満たすとする。このときは終対象でもあることから、は1元集合であり、よってが成り立つ。ゆえにはモノ射である。
前加法圏からの準備
実は本記事での証明では、前加法圏という概念と、が前加法圏であることを使います。
- 環が与えられると、圏を対象がただ1つ、射集合をで定めると、前加法圏になります(合成が双線形なことが、ちょうど環の左右分配法則に対応)。
- は前加法圏です。実際、アーベル群に対し、には自然に足し算の構造が入ることがチェックでき、また合成が双線形なことも容易に確認できます。
前加法圏を導入した一番の理由は次の命題です。
を前加法圏とする。もしが始対象を持てば、自動的にはの終対象でもある。
まずを観察すると、が始対象なのでこれは一元集合であり、が前加法圏なことからはアーベル群としては単位元のみからなる自明群です。しかし圏の公理により恒等射はの元なので、が成り立ちます。
次に任意のを取りましょう。このときにが一元集合なことを見ればよいです。まず前加法圏の定義により、にはアーベル群としての単位元が存在し、これをと書きます。任意にをとったとき、を示します。
ここで前加法圏の分配性を使います。がアーベル群の単位元だったことを思い出すと、次の等式がの中で成り立ちます。
よって、がアーベル群だったことから、が従います。
ようやく圏論からの準備が整いました。次の節でようやく主定理の証明ができます。
主定理の証明
まずは、圏と他の圏との間の随伴関手の存在を補題として示します。
左随伴
からへの忘却関手は左随伴を持つ。具体的には、集合に対し、上の自由群を取ることで、忘却関手の左随伴ができる。
自由群の構成やこの随伴性については面倒なので本記事では省きます。または随伴関手定理とかいうより強い道具で殴ることもできます(と思いますが詳しくないので嘘かもしれません)。
右随伴
からへの忘却関手は左随伴を持つ。具体的には、群に対して、その交換子群による剰余を対応させることでアーベル群ができ、この対応は忘却関手の左随伴関手を定める
交換子群についての単なる練習問題だし飽きてきたので省略します。
さてようやく主定理の証明の本筋を述べることができます。
もう一度主定理を述べておきます。
主定理
任意の群に対して、は自明群からの単射な準同型を持つ。
主定理の証明
いくつかのステップにわけて示す。
(Step 1): 自明群はの始対象である。
これを示すため、我々は補題5により左随伴関手があったことを思い出します。いまは例1により始対象を持ち、命題2によりがの始対象です。
一方、自由群についての通常の構成を思い出せば、は自明群となることが確認できます。よって(Step 1)が示されました。
(Step 2): 自明群はの始対象である。
(Step 1)の証明と同様、我々は補題6による左随伴を持ちました。これにより(Step 1)を用いれば、自明群を適当に選ぶと、がの始対象となります。ここで自明群の剰余群は自明群であることが確認できるので、も自明群です。故に自明群がの始対象でもあることが分かりました。
(Step 3): 自明群はの始対象かつ終対象である。
これは命題4と例2から従います。すなわちは前加法圏であり、自明群はその始対象だったので、命題4により終対象ともなります。
(Step 4): 自明群はの始対象かつ終対象である。
まず(Step 2)より自明群はの始対象です。一方、我々は補題6により右随伴関手(=忘却関手)を持ちました。よって(Step 3)から自明群がの終対象だったので、命題2(右随伴は終対象を保つ)より自明群の忘却関手による像、すなわち自明群はの終対象です。
(Step 5): 自明群を固定すると、任意の群に対して、でのモノ射が存在する。
いま(Step 4)によりは圏の始対象かつ終対象です。よって命題3がまさにこの主張を証明しています。
(Step 6): 群の圏でのモノ射は、集合論的に単射である。
でのモノ射を取ります。このとき、の核と包含が考えられます。するとは全ての元を単位元へ送るような写像です。よって、を「全ての元を単位元へ送る」ような写像とすると、が成り立ちます。ゆえにモノ射の条件からですが、ここからととの像を比較することで、が単位元しか含まないことが分かります。よっては単射です。
(最終ステップ): 自明群を固定すると、任意の群に対して、単射準同型が存在する。
まず(Step 5)により、でのモノ射が取れました。一方(Step 6)により、この写像は集合論的に単射です。よっては単射群準同型です。
以上で主定理をようやく証明することができました。
まとめ
主定理のような、一見自明そうに見える定理の証明に、随伴関手や前加法圏や始(終)対象という圏論の道具、また自由群や交換子群などの群論的構成を用いるとは、少し驚きですね。
Mathlogにも、このような自明群研究の記事が他に書かれることを願っています。
追記
この証明では、最初にGrothendieck宇宙を固定したため、任意の群については証明できていないという欠陥に気づきました。申し訳ありません。修正には、任意の群に対してそれを含むGrothendieck宇宙が取れればよいですが、これについては本記事ではGrothendieck宇宙についての次の公理を認めることとします:
Grothendieck-Verdierの宇宙公理
「任意の集合に対して、それを含むGrothendieck宇宙が存在する」という公理をGrothendieck-Verdierの宇宙公理と呼ぶ。
この公理は、「任意の基数に対してそれより真に大きい強到達不能基数が存在する」という集合論の公理と同値であり、これはZFC上独立です。圏論をユーザーとして使っている人はこの公理を暗に認めている人が多い気がします。なので、本証明はZFCだけから主定理を証明してはいません。ZFCのみで主定理が証明できるかを考えることは今後の課題としたいと思います。
さらに追記
この長い証明を完成させたあとで、次のような主定理の別証があることに気が付きました。
主定理の別証明
群について、その単位元を考えると、包含が求める単射準同型である。