10

任意の群は自明群からの単射準同型を持つことの証明

839
0

概要

群論をやったことある人は、一番自明な例として、次の群を見たことがあるでしょう。

自明群

G自明群であるとは、Gが単位元のみからなるときをいう。

この自明群については、 自明群論研究会 において様々な研究がなされています。
本記事の目的は、自明群に関する次の結果を圏論の道具を用いることで証明できたので、それを紹介することです。

主定理

Gを任意の群とする。このとき、Gは自明群からの単射な準同型を持つ。

想定読者

次の条件を満たす読者を想定しています。

  • 群の公理を知っている
  • 圏・関手・随伴関手の定義を知っている
  • 本記事がネタ記事だと気づいている

基本的な記号

この記事では以下の記号を用います。

  • Setで集合と通常の写像のなす圏をさす(厳密には集合論的なパラドクスを避けるため、ここでは一つ適当なGrothendieck宇宙Uを固定して、U-smallな集合のなす圏を指すことにします)。
  • Grpで群と群準同型のなす圏をさす(上と同様、基礎集合がU-smallなものを扱います)。
  • Abでアーベル群とその群準同型のなす圏を指す(上と同様略)。

準備

圏と関手と随伴関手の定義を既知とします。本節では、主定理の証明に必要な概念を定義・導入し、随伴関手や前加法圏についての鍵となる性質を証明します。

随伴関手からの準備

Cの対象XC

  • 始対象であるとは、任意の対象ACに対して射集合C(X,A)が一元集合となるときをいう。
  • 終対象であるとは、任意の対象ACに対して射集合C(A,X)が一元集合となるときをいう。

次は後で主定理の証明に用いる重要な例です。

集合のなす圏をSetとします。このとき、空集合Setの始対象です。

この始対象と終対象について、随伴との次の関係がよく知られています。

左随伴関手は始対象を保つ

F:CDを関手とし、Fが左随伴であるとする、すなわち右随伴関手G:DCを持つとする。このときCが始対象0Cを持つならば、F(0C)Dの始対象である。双対的に、Dが終対象1Dを持つならば、G(1D)Cの終対象である。

随伴の練習問題です。始対象についてのみ示します(終対象については双対性より従います)。任意にDの対象Dを取ります。このとき、随伴性から
D(F(0C),D)C(0C,G(D))
という同型が成り立ちます。いま0CCの始対象でしたから、右辺は一元集合、よって左辺も一元集合です。

上の命題は、「左随伴関手は余極限を保つ」というより一般的な命題の特別な場合です。

また、本定理の証明の鍵になるのが次の始対象・終対象についての観察です。

Cが始対象0Cを持ち、さらに0Cが終対象でもあるとする。このとき、任意の対象XCに対して唯一定まる射iX:0CXはモノ射である。

2つの射f,g:Y0CiXf=iXgを満たすとする。このとき0Xは終対象でもあることから、C(Y,0C)は1元集合であり、よってf=gが成り立つ。ゆえにiXはモノ射である。

前加法圏からの準備

実は本記事での証明では、前加法圏という概念と、Abが前加法圏であることを使います。

前加法圏

C前加法圏であるとは、

  • C(X,Y)にアーベル群の構造が入っており、
  • 合成が双線形

であることをいう。

  • Λが与えられると、圏Cを対象がただ1つ、射集合をC(,)=Λで定めると、前加法圏になります(合成が双線形なことが、ちょうど環の左右分配法則に対応)。
  • Abは前加法圏です。実際、アーベル群M,Nに対し、Ab(M,N)には自然に足し算の構造が入ることがチェックでき、また合成が双線形なことも容易に確認できます。

前加法圏を導入した一番の理由は次の命題です。

Cを前加法圏とする。もしCが始対象Oを持てば、自動的にOCの終対象でもある。

まずC(O,P)を観察すると、Oが始対象なのでこれは一元集合であり、Cが前加法圏なことからC(O,O)はアーベル群としては単位元のみからなる自明群です。しかし圏の公理により恒等射1OC(O,O)の元なので、1O=0が成り立ちます。

次に任意のCCを取りましょう。このときにC(C,O)が一元集合なことを見ればよいです。まず前加法圏の定義により、C(C,O)にはアーベル群としての単位元が存在し、これを0C,Oと書きます。任意にfC(C,O)をとったとき、f=0C,Oを示します。

ここで前加法圏の分配性を使います。1Oがアーベル群C(O,O)の単位元だったことを思い出すと、次の等式がC(C,O)の中で成り立ちます。
f=1Of=(1O+1O)f=1Of+1Of=f+f
よって、C(C,O)がアーベル群だったことから、f=0C,Oが従います。

ようやく圏論からの準備が整いました。次の節でようやく主定理の証明ができます。

主定理の証明

まずは、圏Grpと他の圏との間の随伴関手の存在を補題として示します。

左随伴F:SetGrp

GrpからSetへの忘却関手は左随伴を持つ。具体的には、集合Xに対し、X上の自由群F(X)を取ることで、忘却関手の左随伴F:SetGrpができる。

自由群の構成やこの随伴性については面倒なので本記事では省きます。または随伴関手定理とかいうより強い道具で殴ることもできます(と思いますが詳しくないので嘘かもしれません)。

右随伴AbGrp

AbからGrpへの忘却関手は左随伴を持つ。具体的には、群Gに対して、その交換子群[G,G]による剰余G/[G,G]を対応させることでアーベル群ができ、この対応は忘却関手の左随伴関手GrpAbを定める

交換子群についての単なる練習問題だし飽きてきたので省略します。

さてようやく主定理の証明の本筋を述べることができます。

もう一度主定理を述べておきます。

主定理

任意の群Gに対して、Gは自明群からの単射な準同型を持つ。

主定理の証明

いくつかのステップにわけて示す。

(Step 1): 自明群はGrpの始対象である。

これを示すため、我々は補題5により左随伴関手F:SetGrpがあったことを思い出します。いまSetは例1により始対象を持ち、命題2によりF()Grpの始対象です。
一方、自由群についての通常の構成を思い出せば、F()は自明群となることが確認できます。よって(Step 1)が示されました。

(Step 2): 自明群はAbの始対象である。

(Step 1)の証明と同様、我々は補題6による左随伴GrpAbを持ちました。これにより(Step 1)を用いれば、自明群Gを適当に選ぶと、G/[G,G]Abの始対象となります。ここで自明群の剰余群は自明群であることが確認できるので、G/[G,G]も自明群です。故に自明群がAbの始対象でもあることが分かりました。

(Step 3): 自明群はAbの始対象かつ終対象である。

これは命題4と例2から従います。すなわちAbは前加法圏であり、自明群はその始対象だったので、命題4により終対象ともなります。

(Step 4): 自明群はGrpの始対象かつ終対象である。

まず(Step 2)より自明群はGrpの始対象です。一方、我々は補題6により右随伴関手(=忘却関手)AbGrpを持ちました。よって(Step 3)から自明群がAbの終対象だったので、命題2(右随伴は終対象を保つ)より自明群の忘却関手による像、すなわち自明群はGrpの終対象です。

(Step 5): 自明群Oを固定すると、任意の群Gに対して、Grpでのモノ射ι:OGが存在する。

いま(Step 4)によりOは圏Grpの始対象かつ終対象です。よって命題3がまさにこの主張を証明しています。

(Step 6): 群の圏Grpでのモノ射は、集合論的に単射である。

Grpでのモノ射f:GHを取ります。このとき、fの核と包含ι:kerfGが考えられます。するとfιは全ての元を単位元へ送るような写像です。よって、ι:kerfGを「全ての元を単位元へ送る」ような写像とすると、fι=fιが成り立ちます。ゆえにモノ射の条件からι=ιですが、ここからιιとの像を比較することで、kerfが単位元しか含まないことが分かります。よってfは単射です。

(最終ステップ): 自明群Oを固定すると、任意の群Gに対して、単射準同型OGが存在する。

まず(Step 5)により、Grpでのモノ射ι:OGが取れました。一方(Step 6)により、この写像は集合論的に単射です。よってιは単射群準同型です。

以上で主定理をようやく証明することができました。

まとめ

主定理のような、一見自明そうに見える定理の証明に、随伴関手前加法圏始(終)対象という圏論の道具、また自由群交換子群などの群論的構成を用いるとは、少し驚きですね。

Mathlogにも、このような自明群研究の記事が他に書かれることを願っています。

追記

この証明では、最初にGrothendieck宇宙を固定したため、任意の群については証明できていないという欠陥に気づきました。申し訳ありません。修正には、任意の群に対してそれを含むGrothendieck宇宙が取れればよいですが、これについては本記事ではGrothendieck宇宙についての次の公理を認めることとします:

Grothendieck-Verdierの宇宙公理

「任意の集合に対して、それを含むGrothendieck宇宙が存在する」という公理をGrothendieck-Verdierの宇宙公理と呼ぶ。

この公理は、「任意の基数に対してそれより真に大きい強到達不能基数が存在する」という集合論の公理と同値であり、これはZFC上独立です。圏論をユーザーとして使っている人はこの公理を暗に認めている人が多い気がします。なので、本証明はZFCだけから主定理を証明してはいませんZFCのみで主定理が証明できるかを考えることは今後の課題としたいと思います。

さらに追記

この長い証明を完成させたあとで、次のような主定理の別証があることに気が付きました。

主定理の別証明

Gについて、その単位元1Gを考えると、包含{1}Gが求める単射準同型である。

投稿日:20201113
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

H.E.
H.E.
130
16090
某大ポスドク、詳しくはtwitterまで。自分の分野(環の表現論)でよく使われるfolkloreの解説記事を主に書いています。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 概要
  2. 準備
  3. 随伴関手からの準備
  4. 前加法圏からの準備
  5. 主定理の証明
  6. まとめ
  7. 追記
  8. さらに追記