平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催「代数学入門」入門としての普遍代数学 Ȃ
京都大学数理解析研究所・照井一成

1 はじめに
本講義は普遍代数学 (universal algebra) への入門を企図している. 普遍代数学とは何か?
この問いに答えるのは難しい. なぜなら普遍代数学はそこまで「普遍」ではないし, 「代数学」と呼ぶには華々しさに欠くきらいがあるからである. 実際, ふつうの教科書に出てくる代数構造の中で (伝統的な) 普遍代数学の対象になるのは, 群, 環, 加群, 多元環や束に毛がはえた程度である. その分コンピュータ科学や非古典論理に出てくる “ファンシーな” 構造を扱うには長けているのだが, それを「代数学」と呼ぶのはフードコートをレストランと呼ぶのに似ていなくもない (ちなみに筆者はどちらも好きである). どうやって説明したものかと悩んだのだが, 1 つ言えるのは, 普遍代数学は出発点が (ある程度) 無前提だということである. いわば「ゼロからはじめる代数学」というのが一番実情に近いように思われる.
ふつう代数学の講義では, 群や環など特定の構造を定めて, そこから話を始める. ということは加法・乗法・単位元といった「演算の種類・個数」がすでに定まっており, 結合則・分配束などの「公理」をあらかじめ前提とするということである. 普遍代数学では, この第一前提を取り払う. 曰く「代数」とは, 単に台集合 𝐴 と 𝐴 上の演算族の組にすぎない. そのような「代数」たちについて, 一般論の見地から何がいえるのかを問題にするのである.
だが, 概して一般論は空虚になりがちである (ちょうどこの文がそうであるように). 本当に無前提の立場から何かが言えるのだろうか? 難しいところだが, 少なくとも皆無ではな
い. たとえば「準同型定理」が個別の代数構造によらない一般的な事象なのは明らかである. 「自由代数」や「単純代数」などもそうである. また, 代数を分解する際に直積だけにこだわっているとさまざまな制約があるので, 無前提に適用できる別の分解方法, 「準直積分解」を考えようという発想も出てくる. 最後に, 「代数のクラスを等式で定めることと,準同型像・部分代数・直積で生成することは同じである」という Birkhoff の定理 (1935) がある. これも個別の代数構造によらない定理であり, 普遍代数学の起源であるといってよい.
とはいえ, 「代数」一般についていえることはやはり限られている. ひとたび基礎を整えたら, あとはいろいろな追加条件を課したり, 語の問題や制約充足問題のように計算可能性・計算複雑性に特化したり, あるいはさらなる一般化・抽象化を通して, より広い研究
分野との融合を果たしたりする. たとえばモデル理論やオペラド理論, 圏論的な代数理論(Lawvere 理論, モナドの理論) はある意味で普遍代数学の発展形とみなすことができる. そこまでいくと本当に面白い話題がでてくるのだが, 残念ながら本稿で取り扱うのは基礎中の基礎, Birkhoff の定理までである.
Ȃ

最終更新 2018 年 9 月 17 日. 最新版は http://www.kurims.kyoto-u.ac.jp/Ȃterui/にて随時公開予定.

1

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催「ゼロからはじめる代数学」は, とても歩みが遅い. RPG でいえば最初の村近辺でウロ
ウロしているようなものである. それでも可能な限り無前提の立場で, “ひのきのぼう” だ
けを頼りに戦ってみることには一定の教育的価値があるように思われる.
伝統的な普遍代数学の教科書としては, [3, 2, 4, 1] などが挙げられるが, 本稿の執筆にあたっては特に [1] を大いに参考にした. 日本語で書かれた解説がほとんどないので, 専門用
語の訳出を独自に試みた (たとえば variety を「多様クラス」と訳したり, subdirect productを「準直積」と訳したり). ただこれらは試験的なものにすぎないので, 異論は認める.

2 「代数」とは?
𝐴 を集合とする. 𝐴 上の演算 (operation) とは, 関数 𝑓 Ȃ 𝐴𝑛 Ă 𝐴 (𝑛 Ȃ 0) のことである. 𝑛
を 𝑓 の項数 (arity) という. 𝑛 = 0 のとき 𝑓 を定数という. 普遍代数学における代数とは, 空でない集合 𝐴 と 𝐴 上の演算族の組のことである.
𝐀 = ‫𝐴܂‬, {𝑓𝑖 }𝑖Ȃ𝐼 ‫܂‬
ここで 𝐼 は適当な添字集合である. 慣習として, 代数 𝐀 と台集合 𝐴 をフォントを変えて区別する.
例えば, 群 𝐆 = ‫𝐺܂‬, Ȃ, −1 , 𝑒‫ ܂‬や (単位的) 環 𝐑 = ‫𝑅܂‬, +, −, 0, Ȃ, 1‫ ܂‬は代数の例である. 次章で説明する束も代数である. 環 𝐑 を固定したときの左 𝐑 加群も 𝐌 = ‫𝑀܂‬, +, −, 0, {𝑓𝑎 }𝑎Ȃ𝑅 ‫ ܂‬と書けるので, 代数である (𝑓𝑎 Ȃ 𝑀 Ă 𝑀 は 𝑎 の作用). ゆえにベクトル空間は代数であり, その上に乗算を加えて得られる多元環や (作用素環論の意味での) 代数も代数である. 一方でノルムを伴う 𝐶 Ȃ 環はここでは対象外である.
代数単体ではなく, 群全体, 環全体のように代数のクラスを取り扱う場合には, 演算の個数および各演算の項数に従って代数を分類しておくと便利である. いま, 記号からなる集合
𝐹 (無限集合でもよい) が与えられており, 各記号 𝖿 Ȃ 𝐹 に項数 𝑎𝑟(𝖿 ) Ȃ 0 が割り当てられているとする. 組 𝜏 Ȃ= ‫ 𝐹܂‬, 𝑎𝑟‫ ܂‬を類型 (similarity type) という.

定義 2.1. 𝜏 = ‫ 𝐹܂‬, 𝑎𝑟‫ ܂‬を類型とする. 𝜏 代数とは, 空でない集合 𝐴 と 𝐴 上の演算族の組
𝐀 = ‫𝐴܂‬, {𝖿 𝐀 }𝖿 Ȃ𝐹 ‫ ܂‬で, 各 𝖿 𝐀 の項数が 𝑎𝑟(𝖿 ) により与えられるものである.

たとえば, 群の類型 𝜏𝐺 は 3 つの記号 𝗆, 𝖼, 𝖾 からなり, それぞれの項数は 2, 1, 0 である. 実
数全体の集合 Ă を台集合とし, 𝗆, 𝖼, 𝖾 にそれぞれ実数の加法, 負号, ゼロを割り当てれば 𝜏𝐺
代数 𝐑 Ȃ= ‫܂‬Ă, +, −, 0‫ ܂‬が得られる. 同様にして Ă× Ȃ= Ă∖{0} を台集合とし, 𝗆, 𝖼, 𝖾 にそれぞれ実数の乗法, 逆元, 1 を割り当てれば 𝜏𝐺 代数 𝐑× Ȃ= ‫܂‬Ă× , Ȃ, −1 , 1‫ ܂‬が得られる. これらはたまたま群であるが, 群でないような 𝜏𝐺 代数も無数にある.
圏論的なアプローチでは, 類型を (適当な圏 Ȏ 上の) 関手 (モナド) 𝐹 Ȃ Ȏ Ă Ȏ として捉え, 𝐹 代数を圏 Ȏ の対象 𝐴 と射 𝑔 Ȃ 𝐹 (𝐴) Ă 𝐴 の組で与える. たとえば群の場合 Ȏ は集合の圏, 𝐹 (𝐴) Ȃ= 𝐴2 + 𝐴1 + 𝐴0 である. ここで Ȏ を位相空間の圏に変えれば位相群が扱える.
適当な多様体の圏に変えればリー群も視野に入れられる. このほうが汎用性が高いが, 本稿ではあえて伝統的なアプローチにのっとって話を進めることにする.
同じ類型をもつ代数は同類 (similar) であるという. 群たちはみな同類だが, 群でないものたちもたくさん同類に含まれる. そこで一般には同類の代数の一部からなるクラスを考2

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

え, 他を切り捨てることになる. 約束として, 今後代数のクラスを考えるときには同類の代数からなるクラスのみを考え, 代数間の写像も同類の代数間に限って考えることにする.
環の中には, ただ 1 点 0 = 1 のみからなるもの (零環) がある. このようなつまらない例は除外して考えたいことがしばしばある. 一般に代数 𝐀 は, その台集合 𝐴 が 1 点のみからなるとき自明であるという.
次に写像の定義に進もう.
定義 2.2. 𝐀 と 𝐁 を類型 𝜏 = ‫ 𝐹܂‬, 𝑎𝑟‫ ܂‬の代数とする. 関数 Ă Ȃ 𝐴 Ă 𝐵 が各 𝖿 Ȃ 𝐹 と
𝑎1 , … , 𝑎𝑛 Ȃ 𝐴 (𝑛 = 𝑎𝑟(𝖿 )) について

Ă(𝖿 𝐀 (𝑎1 , … , 𝑎𝑛 )) = 𝖿 𝐁 (Ă(𝑎1 ), … , Ă(𝑎𝑛 ))を満たすとき, 𝐀 から 𝐁 への準同型 (写像) といい, Ă Ȃ 𝐀 Ă 𝐁 と書く.
記号が煩雑なので, これからは要素の列 𝑎1 , … , 𝑎𝑛 を 𝒂 であらわすことにしよう. また, 2
つの列 𝒂 = 𝑎1 , … , 𝑎𝑛 と 𝒃 = 𝑏1 , … , 𝑏𝑛 について Ă(𝑎1 ) = 𝑏1 , … , Ă(𝑎𝑛 ) = 𝑏𝑛 が成り立つときĂ𝒂 Ă 𝒃 と書くことにしよう. すると Ă Ȃ 𝐀 Ă 𝐁 とはĂĂ𝒂 Ă 𝒃 ‫ )𝒂( 𝐀 𝖿 ܂‬Ă 𝖿 𝐁 (𝒃)がすべての 𝖿 Ȃ 𝐹 について成り立つということに他ならない.
準同型 Ă Ȃ 𝐀 Ă 𝐁 が集合上の関数として単射, 全射, 全単射のとき, Ă のことを単準同型(または埋め込み), 全準同型, 同型写像 (または同型) という. 以下の記法を用いる.

(準同型)(単準同型)(全準同型)(同型写像)

ĂȂ𝐀Ă𝐁
ĂȂ𝐀Ă𝐁
ĂȂ𝐀Ă𝐁
ĂȂ𝐀ं𝐁

また, 𝐀 と 𝐁 の間に同型写像があるとき, 𝐀 Ȃ 𝐁 と書く.
たとえば集合上の関数 Ă Ȃ Ă Ă Ă× を Ă(𝑎) Ȃ= 𝑒𝑎 と定めれば, 𝜏𝐺 代数上の単準同型
Ă Ȃ 𝐑 Ă 𝐑× が得られる. これは群の準同型に他ならない. 𝐑× の台集合を正の実数に制限すれば全準同型, したがって同型写像になる.
さて, 代数と準同型が定まれば, 次に待っているのは準同型定理である. 大学の講義では一瞬で通り過ぎてしまう基礎中の基礎であるが, ここではあえて立ち止まってじっくり考
えてみたい.

3 順序集合と束
まずは順序集合についての基礎事項をまとめておく.
定義 3.1. 前順序集合 (preordered set) 𝐋 = ‫𝐿܂‬, Ȃ‫ ܂‬とは集合 𝐿 と 𝐿 上の 2 項関係 Ȃ の組で

𝑎Ȃ𝑎
(反射性)
𝑎 Ȃ 𝑏 かつ 𝑏 Ȃ 𝑐 ‫ 𝑎 ܂‬Ȃ 𝑐 (推移性)3平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催を満たすもののことである. 関係 Ȃ が𝑎 Ȃ 𝑏 かつ 𝑏 Ȃ 𝑎 ‫𝑏 = 𝑎 ܂‬

( 反対称性)を満たすとき, 𝐋 を半順序集合といい, さらに𝑎 Ȃ 𝑏 または 𝑏 Ȃ 𝑎を満たすとき全順序集合という.
前順序集合 𝐋 が与えられたとき,𝑎 Ȃ 𝑏 ‫ 𝑎 ܂‬Ȃ 𝑏 かつ 𝑏 Ȃ 𝑎と定めれば Ȃ は同値関係になる. 各要素 𝑎 Ȃ 𝐿 の同値類 [𝑎] からなる集合を 𝐿ȂȂ とし, 2 項
関係 Ȃ を[𝑎] Ȃ [𝑏] ‫ 𝑎 ܂‬Ȃ 𝑏により定めれば, 𝐋ȂȂȂ= ‫𝐿܂‬ȂȂ, Ȃ‫ ܂‬は半順序集合となる.
たとえば自然数 Ă 上で整除関係 𝑎 | 𝑏 (𝑎 は 𝑏 を割り切る) を考えれば, ‫܂‬Ă, |‫ ܂‬は半順序集合になる. またガウス整数 Ă[𝑖] 上で整除関係を考えれば ‫܂‬Ă[𝑖], |‫ ܂‬は前順序集合になる. このとき 𝑎 Ȃ 𝑏 は 𝑎 が 𝑏 の単元倍であることを意味し, ‫܂‬Ă[𝑖], |‫܂‬ȂȂ は ‫܂‬Ă, |‫ ܂‬と順序同型になる.
このように同値類で割れば前順序集合はすべて半順序集合に帰着するのだが, 場合によっては割らずにそのまま扱ったほうが自然なこともある. そこで前順序集合間の同等性を以下のように定義する.
定義 3.2. 𝐋 = ‫𝐿܂‬, Ȃ‫܂‬, 𝐌 = ‫𝑀܂‬, ਂ‫ ܂‬を前順序集合とする. 𝐋 と 𝐌 が前同型であるとは, 関数𝑔 Ȃ 𝐿 Ă 𝑀 と Ă Ȃ 𝑀 Ă 𝐿 が存在し,𝑎 Ȃ 𝑏 ‫)𝑏(𝑔 ਂ )𝑎(𝑔 ܂‬,𝑥 ਂ 𝑦 ‫ ܂‬Ă(𝑥) Ȃ Ă(𝑦),Ă𝑔(𝑎) Ȃ 𝑎,𝑔Ă(𝑥) Ȃ 𝑥

がすべての 𝑎, 𝑏 Ȃ 𝐿, 𝑥, 𝑦 Ȃ 𝑀 について成り立つことである. このとき 𝐋 Ȃ 𝐌 と書く.
要は 𝐋, 𝐌 を圏とみたときに圏同値になるということだ. 上の定義は対称的で見栄えがよいが, やや使いにくい. 実際には, 次の同値な定義のほうが便利である.

✓
補題 3.3✏𝐋 Ȃ 𝐌 となるための必要十分条件は, 関数 𝑔 Ȃ 𝐿 Ă 𝑀 が存在し,𝑎 Ȃ 𝑏 ‫)𝑏(𝑔 ਂ )𝑎(𝑔 ܂‬(𝑎, 𝑏 Ȃ 𝐿)

かつ任意の 𝑥 Ȃ 𝑀 に対して 𝑔(𝑎) Ȃ 𝑥 を満たす 𝑎 Ȃ 𝐿 が存在することである.

✒✑

なお 𝐋 Ȃ 𝐋ȂȂ は当然成り立つ. また 𝐋, 𝐌 がともに半順序集合のとき, 𝐋 Ȃ 𝐌 は両者が順序同型であるというのと同じである.
ここで数学基礎論的な事柄についてひとつ注意をしておく. 集合だけでなく, あまりにも大きすぎて集合とはみなせないような集まりのことも含めるときにはクラスという語を用いる (もう少し正確にいえば, 集合論の言語上, 何らかの一階論理式 𝜑 を用いて {𝑥 Ȃ 𝜑(𝑥)}4平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催と表せる集まりのこと). たとえば集合全部の集まりは集合ではないがクラスではある. 前
順序集合の定義で「集合」を「クラス」に変えたものを前順序クラスという. 次章以降に登場するが, いずれも半順序集合と前同型になるので本稿に関する限り集合とクラスの区別はあまり気にしなくてよい.
以下, 半順序集合に限定して話を進める.
定義 3.4. 𝐋 = ‫𝐿܂‬, Ȃ‫ ܂‬を半順序集合とする. 𝐿 部分集合 𝑋 Ȃ 𝐿 の上限・下限とは, 以下を満Ȃ Ȃ
たす要素 𝑋, 𝑋 Ȃ 𝐿 のことである.

Ȃ𝑎 Ȃ 𝑋 ‫ ܂‬すべての 𝑥 Ȃ 𝑋 について 𝑎 Ȃ 𝑥Ȃ𝑋 Ȃ 𝑎 ‫ ܂‬すべての 𝑥 Ȃ 𝑋 について 𝑥 Ȃ 𝑎(𝑎 は 𝐿 の任意の要素)ȂȂ
任意の 2 元 𝑎, 𝑏 Ȃ 𝐿 が上限 𝑎 Ȃ 𝑏 Ȃ= {𝑎, 𝑏} と下限 𝑎 Ȃ 𝑏 Ȃ= {𝑎, 𝑏} を持つとき, 𝐋 を束(lattice) という. 束 𝐋 は, 最小元 Ȃ, 最大元 Ȃ を持つとき有界 (bounded) であるといい, どん
な 𝑋 Ȃ 𝐿 にも上限・下限があるとき完備であるという.
ȂȂȂ = 𝐿, Ȃ = 𝐿 であるから, 完備束は有界である. また, 半順序集合 𝐋 においてすべての 𝑋 Ȃ 𝐿 に下限があれば, どんな 𝑌 Ȃ 𝐿 にも上限⋁⋀𝑌 Ȃ=
{𝑥 Ȃ すべての 𝑦 Ȃ 𝑌 について 𝑦 Ȃ 𝑥}があるので 𝐋 は完備束である.
束は代数とみなすこともできる. 実際, どんな束も以下の各等式を満たす.

𝑎 Ȃ (𝑏 Ȃ 𝑐) = (𝑎 Ȃ 𝑏) Ȃ 𝑐𝑎Ȃ𝑏= 𝑏Ȃ𝑎𝑎Ȃ𝑎=𝑎𝑎 Ȃ (𝑎 Ȃ 𝑏) = 𝑎𝑎 Ȃ (𝑏 Ȃ 𝑐) = (𝑎 Ȃ 𝑏) Ȃ 𝑐𝑎Ȃ𝑏= 𝑏Ȃ𝑎𝑎Ȃ𝑎= 𝑎𝑎 Ȃ (𝑎 Ȃ 𝑏) = 𝑎

逆に上の等式を満たす代数 𝐋 = ‫𝐿܂‬, Ȃ, Ȃ‫ ܂‬が与えられたら, 𝑎 Ȃ 𝑏 ‫ 𝑎 ܂‬Ȃ 𝑏 = 𝑎 ‫ 𝑎 ܂‬Ȃ 𝑏 = 𝑏と定めることにより ‫𝐿܂‬, Ȃ‫ ܂‬は束になる.
上の等式からもわかるとおり, 束は自己双対的である. つまり束 𝐋 = ‫𝐿܂‬, Ȃ, Ȃ‫ ܂‬の順序をひっくり返して 𝐋𝑜𝑝 Ȃ= ‫𝐿܂‬, Ȃ, Ȃ‫ ܂‬としてもやはり束である.
束の中で分配則𝑎 Ȃ (𝑏 Ȃ 𝑐) = (𝑎 Ȃ 𝑏) Ȃ (𝑎 Ȃ 𝑐),𝑎 Ȃ (𝑏 Ȃ 𝑐) = (𝑎 Ȃ 𝑏) Ȃ (𝑎 Ȃ 𝑐)を満たすものを分配束という. ちなみに上の等式は, 一方が成り立てば他方も同時に成り立
つ. 例を 2 つ挙げておく.

• 全順序集合はすべて分配束とみなせる. たとえば ‫܂‬Ă, min, max‫ ܂‬が例である. ただし
Ă には最大元・最小元がないので完備束ではない (条件付き完備束とよばれる). 重要
な例：2 元のみからなる全順序集合 {0 < 1} を束とみなし, これを 𝟐 と書く.
• 集合 𝑋 のべき集合 Ă(𝑋) は演算 Ȃ, Ȃ について閉じているので完備分配束 𝐏(𝑋) Ȃ=‫܂‬Ă(𝑋), Ȃ, Ȃ‫ ܂‬とみなせる. 一般に Ă(𝑋) の部分族で Ȃ, Ȃ について閉じているものはす
べて分配束である (逆にどんな分配束もそのような形で表現できることを後で示す).
5

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

与えられた束が分配束かどうかは局所的に判定することができる. 以下に同値な条件を与えておく. まず, 任意の束 𝐋 上で多数決関数 (majority function) を 2 つ定める.

𝗆𝖺𝗃(𝑥, 𝑦, 𝑧)
Ȃ= (𝑥 Ȃ 𝑦) Ȃ (𝑥 Ȃ 𝑧) Ȃ (𝑦 Ȃ 𝑧),𝑜𝑝
𝗆𝖺𝗃 (𝑥, 𝑦, 𝑧) Ȃ= (𝑥 Ȃ 𝑦) Ȃ (𝑥 Ȃ 𝑧) Ȃ (𝑦 Ȃ 𝑧).
すると任意の 𝑎, 𝑏 Ȃ 𝐿 について

𝗆𝖺𝗃(𝑎, 𝑎, 𝑏) = 𝗆𝖺𝗃(𝑎, 𝑏, 𝑎) = 𝗆𝖺𝗃(𝑏, 𝑎, 𝑎) = 𝑎が成り立つ. 自己双対性から 𝗆𝖺𝗃𝑜𝑝 についても同じことがいえる.
✓
定理 3.5✏任意の束 𝐋 について, 以下 3 つの条件は同値である.

1. 𝐋 は分配束である.
2. 𝐋 上で 𝗆𝖺𝗃 = 𝗆𝖺𝗃𝑜𝑝 が成り立つ.
3. 以下の 2 束は 𝐋 に埋め込めない.
Ȃ✴

Ȃ ❄❄
Ȃ ❄❄

❄❄
❄❄
❄❄

Ȃ

❄❄
❄❄
❄❄

✴✴
✴✴
✴✴
✴✴
✴✴
✴✴
✴

Ȃ

Ȃ

Ȃ

Ȃ ❄❄

❄❄
❄❄
❄❄

✒

Ȃ

Ȃ
✑

4 代数の二 “束” 面群が与えられたら, その部分群と正規部分群を考えるのは自然である. 同様に, 環が与えられたら部分環とイデアルを考えるし, ベクトル空間が与えられたらその部分空間を考える. このことを一般化しよう. どんな代数にも, 2 つの束が自然に対応する. 一方は部分台
束, 他方は合同束である. まずは簡単なほう, 部分台束からはじめよう.
𝐀 = ‫𝐴܂‬, {𝖿 𝐀 }𝑓 Ȃ𝐹 ‫ ܂‬を代数とする. 𝐀 を終域とする単準同型 𝑔 Ȃ 𝐁 Ă 𝐀 全体のクラスを考え, これを 𝐼𝑛𝑗(𝐀) と置く. 𝑔, Ă Ȃ 𝐼𝑛𝑗(𝐀) のとき, 次の図を可換にする 𝑘 があるとすれば, そ
れは単準同型であり, ただ一つに定まる.
⑧?
⑧⑧
⑧
⑧⑧
⑧
?⑧
𝑔

𝐁

𝐀 _❄
𝑘

6

❄❄
❄❄Ă
❄❄
❄_
/ 𝐂

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

このとき 𝑔 Ȃ Ă と定めれば, 𝐈𝐧𝐣(𝐀) Ȃ= ‫)𝐀(𝑗𝑛𝐼܂‬, Ȃ‫ ܂‬は前順序クラスになる. 厳密にいえばこれは集合ではないので, 少々扱いにくい. そこで 𝐈𝐧𝐣(𝐀) に別の表現を与えることを考える.
台集合の部分集合 𝑋 Ȃ 𝐴 がすべての演算について閉じているとき, 𝐴 の部分台集合(subuniverse) という. つまり,𝒂 Ȃ 𝑋 ‫ )𝒂( 𝐀 𝖿 ܂‬Ȃ 𝑋
がすべての 𝖿 Ȃ 𝐹 と (適当な長さの) すべての列 𝒂 Ȃ 𝐴 について成り立つときである.
Ȃ
𝐀 の部分台集合全体からなる集合を 𝑆𝑢𝑏(𝐀) と書く. 𝑆𝑢𝑏(𝐀) は共通部分 について閉じている. つまり,すべての 𝑖 Ȃ 𝐼 について 𝑋𝑖 Ȃ 𝑆𝑢𝑏(𝐀) ‫܂‬
それゆえ演算 Ȃ を 𝑋 Ȃ 𝑌 Ȃ=ȂȂ𝑖Ȃ𝐼 𝑋𝑖 Ȃ 𝑆𝑢𝑏(𝐀).

{𝑍 Ȃ 𝑆𝑢𝑏(𝐀) Ȃ 𝑋 Ȃ 𝑌 Ȃ 𝑍} で定めれば,𝐒𝐮𝐛(𝐀) Ȃ= ‫)𝐀(𝑏𝑢𝑆܂‬, Ȃ, Ȃ‫܂‬は完備束になる. これを 𝐀 の部分台束 (subuniverse lattice) という. この束から (もしあれば)空集合を取り除いて得られる半順序集合を 𝐒𝐮𝐛− (𝐀) とする.
𝑋 Ȃ 𝑆𝑢𝑏(𝐀) が空でないとき, 𝐀 の演算を部分台集合 𝑋 に制限すれば, 𝐀 の部分代数 𝐀Ă𝑋と自然な単準同型 𝜄𝑋 Ȃ 𝐀Ă𝑋 Ă 𝐀 が得られる. もちろんこれは部分群や部分環, 部分加群などの一般化である.
一方で準同型 Ă Ȃ 𝐁 Ă 𝐀 が与えられたとき, Ă の像 𝖨𝗆(Ă) Ȃ= {Ă(𝑏) Ȃ 𝑏 Ȃ 𝐵} を考えれば,
これは 𝐀 の部分台集合となる.
明らかに 𝑋 Ȃ 𝑌 ‫ 𝑋𝜄 ܂‬Ȃ 𝜄𝑌 が成り立つ. またどんな Ă Ȃ 𝐼𝑛𝑗(𝐀) についても 𝑋 Ȃ= 𝖨𝗆(Ă)とおけば 𝜄𝑋 Ȃ Ă である. ゆえに補題 3.3 より次が帰結する.
✓
定理 4.1

任意の代数 𝐀 について 𝐈𝐧𝐣(𝐀) Ȃ 𝐒𝐮𝐛− (𝐀).

✒✏✑

次に代数の別 “束” 面に話を移す. 𝐀 を始域とする全準同型 𝑔 Ȃ 𝐀 Ă 𝐁 全体のクラスを考え, これを 𝑆𝑢𝑟𝑗(𝐀) と置く. 𝑔, Ă Ȃ 𝐀 のとき, 次の図を可換にする 𝑘 があれば, それは全準同型であり, ただ一つに定まる.
𝐀❄
⑧⑧
⑧⑧
⑧
⑧
⑧ ⑧
𝑔

𝐁

𝑘

❄❄
❄❄Ă
❄❄
❄ 
/ 𝐂

このとき 𝑔 Ȃ Ă と定めれば, 𝐒𝐮𝐫𝐣(𝐀) Ȃ= ‫)𝐀(𝑗𝑟𝑢𝑆܂‬, Ȃ‫ ܂‬は前順序クラスになる. 𝐒𝐮𝐫𝐣(𝐀) の“最小元” は同型写像 Ă Ȃ 𝐀 ं 𝐁 たちであり, “最大元” は自明な代数への全準同型たちである.
この 𝐒𝐮𝐫𝐣(𝐀) にも別の表示を与えたい. 𝐀 が群の場合には 𝐀 の正規部分群からなる束が自然に対応するのだが, 一般の場合にはもう少し面倒な道具立てが必要になる. 集合 𝐴 上の同値関係 𝜃 Ȃ 𝐴 × 𝐴 で, 𝐀 の演算について閉じているものを 𝐀 上の合同関係 (congruence)という. つまり,𝒂 𝜃 𝒃 ‫)𝒃( 𝐀 𝖿 𝜃 )𝒂( 𝐀 𝖿 ܂‬

7

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

がすべての 𝖿 Ȃ 𝐹 について成り立つような同値関係のことである.
Ȃ
𝐀 上の合同関係全体からなる集合を 𝐶𝑜𝑛(𝐀) と書く. 𝐶𝑜𝑛(𝐀) は共通部分 について閉じている. それゆえ演算 Ȃ を自然に定めれば,𝐂𝐨𝐧(𝐀) Ȃ= ‫)𝐀(𝑛𝑜𝐶܂‬, Ȃ, Ȃ‫܂‬は完備束になる. これを 𝐀 の合同束 (congruence lattice) という. この束の最小元は対角線
̀ Ȃ= {(𝑎, 𝑎) Ȃ 𝑎 Ȃ 𝐴} であり, 最大元は Ȃ Ȃ= {(𝑎, 𝑏) Ȃ 𝑎, 𝑏 Ȃ 𝐴} である.
𝐆 が群のとき, 𝐂𝐨𝐧(𝐆) は正規部分群全体からなる束と同型である. 同様に環の場合には (両側) イデアル全体が, 加群の場合には部分加群全体が対応する. よって最後の場合
𝐒𝐮𝐛(𝐌) Ȃ 𝐂𝐨𝐧(𝐌) となる.
準同型 Ă Ȃ 𝐀 Ă 𝐁 が与えられたとき, その核を𝖪𝖾𝗋(Ă) Ȃ= {(𝑎, 𝑏) Ȃ 𝐴2 Ȃ Ă(𝑎) = Ă(𝑏)}と定めると, 𝐀 上の合同関係が得られる. Ă が単準同型であるとは, 𝖪𝖾𝗋(Ă) = ̀ ということに他ならない.
逆に合同関係 𝜃 Ȃ 𝐶𝑜𝑛(𝐀) が与えられたとき,𝑎Ȃ𝜃 Ȃ= {𝑏 Ȃ 𝐴 Ȃ 𝑎 𝜃 𝑏} (𝑎 の同値類)
𝐴Ȃ𝜃 Ȃ= {𝑎Ȃ𝜃 Ȃ 𝑎 Ȃ 𝐴} (𝐴 の商集合)と定め, さらに各 𝖿 Ȃ 𝐹 と 𝑎1 , … , 𝑎𝑛 Ȃ 𝐴(𝑛 = 𝑎𝑟(𝖿 )) について

𝖿 𝐀Ȃ𝜃 (𝑎1 Ȃ𝜃, … , 𝑎𝑛Ȃ𝜃) Ȃ= 𝖿 𝐀 (𝑎1 , … , 𝑎𝑛 )Ȃ𝜃とすると, これはうまく定義されており, 剰余代数と自然な全準同型𝐀Ȃ𝜃 Ȃ= ‫𝐴܂‬Ȃ𝜃, {𝖿 𝐀Ȃ𝜃 }𝖿 Ȃ𝐹 ‫܂‬,𝜌𝜃 Ȃ 𝐀 Ă 𝐀Ȃ𝜃が得られる. 𝜌𝜃 (𝑎) = 𝜌𝜃 (𝑏) ‫ 𝑏 𝜃 𝑎 ܂‬が成り立つので, 𝖪𝖾𝗋(𝜌𝜃 ) = 𝜃 である. 𝐀Ȃ𝜃 と 𝜌𝜃 は以下の普遍性により特徴づけられる.
✓
補題 4.2✏

𝜃 Ȃ 𝐂𝐨𝐧(𝐀) とする. 準同型 Ă Ȃ 𝐀 Ă 𝐁 が 𝜃 Ȃ 𝖪𝖾𝗋(Ă) を満たすとき, 次の図を可換にする準同型 𝑘 がただ 1 つ存在する.
Ă

/ 𝐁
>
⑤
⑤
𝑘 ⑤⑤
⑤⑤
⑤⑤

𝐀
𝜌𝜃



𝐀Ȃ𝜃
✒

いま, 2 つの合同関係 𝜃, 𝜑 Ȃ 𝐂𝐨𝐧(𝐀) が 𝜃 Ȃ 𝜑 を満たすとする. 𝖪𝖾𝗋(𝜌𝜑 ) = 𝜑 Ȃ 𝜃 なので,Ă Ȃ= 𝜌𝜑 に上の補題が適用できて 𝜌𝜃 Ȃ 𝜌𝜑 が得られる. 逆に 𝜌𝜃 Ȃ 𝜌𝜑 のとき, 図

𝐀Ȃ𝜃

⑤
𝜌𝜃 ⑤⑤
⑤
⑤
⑤
}⑤} ⑤

𝐀 ❈

❈❈ 𝜌
❈❈ 𝜑
❈❈
❈! !
/ / 𝐀Ȃ𝜑8✑

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

を眺めれば 𝜃 Ȃ 𝜑 がわかる. つまり写像 𝜃 Ă 𝜌𝜃 は順序を保存する.
さて補題 4.2 で 𝜃 = 𝖪𝖾𝗋(Ă) とおいた場合が教科書にでてくる準同型定理である.
✓
定理 4.3 (準同型定理)✏

準同型 Ă Ȃ 𝐀 Ă 𝐁 が与えられたとき, 𝜃 Ȃ= 𝖪𝖾𝗋(Ă), 𝑋 Ȃ= 𝖨𝗆(Ă) とおくと, 次の図を可換にする同型写像 𝑘 が存在する.
Ă

𝐀
𝜌𝜃

/ 𝐁
O
𝜄𝑋



𝑘

𝐀Ȃ𝜃 /

O
/ / 𝐵Ă𝑋✒✑✓
定理 4.4✏とくに Ă が全準同型なら 𝑋 = 𝖨𝗆(Ă) = 𝐵 なので, 𝐀Ȃ𝜃 Ȃ 𝐁 となる. つまりどんなĂ Ȃ 𝑆𝑢𝑟𝑗(𝐀) についても 𝜌𝜃 Ȃ Ă となる. 以上から補題 3.3 により次が帰結する.
任意の代数 𝐀 について 𝐒𝐮𝐫𝐣(𝐀) Ȃ 𝐂𝐨𝐧(𝐀).

✒✑✓
補題 4.5✏準同型定理が, ベクトル空間の場合の次元定理につながるのは既知の通りである. ちなみにベクトル空間 𝐕 の次元とは 𝐒𝐮𝐛(𝐕) Ȃ 𝐂𝐨𝐧(𝐕) の “高さ” のことである.
さて, 代数学で準同型定理の次に出てくるのは, 一連の同型定理である. まずは次のものについて考えよう. 𝐺 を群とし, 𝑀, 𝑁 を 𝑀 Ȃ 𝑁 なる正規部分群とすると 𝐺Ȃ𝑁 Ȃ(𝐺Ȃ𝑀)Ȃ(𝑁Ȃ𝑀) が成り立つ. 同じことは任意の代数に一般化しても成り立つだろうか?
「正規部分群」を「合同関係」に置き換えれば成り立つ, というのが結論である.
まずは補題を 1 つ準備しよう. 群論ではおなじみのものである.
全準同型 Ă Ȃ 𝐀 Ă 𝐁 と 𝜓 Ȃ 𝐂𝐨𝐧(𝐀), 𝜑 Ȃ 𝐂𝐨𝐧(𝐁) が与えられ, 𝑎 𝜓 𝑏 Ă Ă(𝑎) 𝜑 Ă(𝑏) が成り立つとする (𝑎, 𝑏 Ȃ 𝐴). このとき

𝐀
𝜌𝜓



𝐀Ȃ𝜓 /

Ă

// 𝐁
𝜌𝜑

𝑘



/ / 𝐁Ȃ𝜑を満たす同型写像 𝑘 が存在する.

✒

実際, 条件により 𝖪𝖾𝗋(𝜌𝜑 ԂĂ) = 𝜓 となるので, あとは準同型定理を用いればよい.
次に記法である. 𝐋 を前順序集合 (クラス), 𝑎 Ȃ 𝐿 をその要素とする. このとき台集合を𝐿Ȃ𝑎 Ȃ= {𝑏 Ȃ 𝐿 Ȃ 𝑏 Ȃ 𝑎} に制限することで部分前順序 𝐋Ȃ𝑎 が得られる. 𝐋Ȃ𝑎 も同様に定義できる. 𝐋 が束ならば 𝐋Ȃ𝑎 と 𝐋Ȃ𝑎 は部分束になる.
さて 𝐀 を任意の代数とし, 𝜃 Ȃ 𝐂𝐨𝐧(𝐀) とする. このとき次の前同型性が成り立つ.

𝐂𝐨𝐧(𝐀)Ȃ𝜃 Ȃ 𝐒𝐮𝐫𝐣(𝐀)Ȃ𝜌𝜃 Ȃ 𝐒𝐮𝐫𝐣(𝐀Ȃ𝜃) Ȃ 𝐂𝐨𝐧(𝐀Ȃ𝜃).
9✑

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

このうち, 最初と最後の Ȃ はすでに示したことから明らかである. 真ん中の Ȃ は以下の図を眺めてみればわかる.
𝐀❃
⑤⑤
⑤⑤
⑤
⑤
} }⑤
⑤
𝜌𝜃

𝐀Ȃ𝜃

𝑘

❃❃
❃❃Ă
❃❃
❃ 
// 𝐁

これを見れば Ă Ȃ 𝐒𝐮𝐫𝐣(𝐀)Ȃ𝜌𝜃 と 𝑘 Ȃ 𝐒𝐮𝐫𝐣(𝐀Ȃ𝜃) が一対一に対応するのがわかるだろう.
さて, 上の同型対応によれば 𝜓 Ȃ 𝐂𝐨𝐧(𝐀)Ȃ𝜃 に対して何らかの 𝜑 Ȃ 𝐂𝐨𝐧(𝐀Ȃ𝜃) が対応す
るはずである. 具体的に計算してみると

𝜑 = 𝜓Ȃ𝜃 = {(𝑎Ȃ𝜃, 𝑏Ȃ𝜃) Ȃ 𝑎 𝜓 𝑏}となる. すると 𝜃 Ȃ 𝜓 に注意すれば (𝑎, 𝑏) Ȃ𝜓Ă (𝑎Ȃ𝜃, 𝑏Ȃ𝜃) Ȃ(𝜓Ȃ𝜃) がいえて補題 4.5 が使える. よって次のことが帰結する.
✓
定理 4.6 (同型定理)✏

𝐀 を代数とし, 𝜃 Ȃ 𝐂𝐨𝐧(𝐀) とする. このとき写像 𝜓 Ă 𝜓Ȃ𝜃 によって左下の同型性が与えられる. 対応する合同関係で 𝐀 と 𝐀Ȃ𝜃 を割ると同型になる. つまり右下も成り立つ.
✒

𝐂𝐨𝐧(𝐀)Ȃ𝜃 Ȃ 𝐂𝐨𝐧(𝐀Ȃ𝜃),𝐀Ȃ𝜓 Ȃ (𝐀Ȃ𝜃)Ȃ(𝜓Ȃ𝜃).
✑

別の形の同型定理 (群の場合の 𝐻𝑁Ȃ𝑁 Ȃ 𝐻Ȃ(𝐻 Ȃ 𝑁)) については, 簡単に結果だけ述べるとする. 𝐀 を代数とし, 𝐵 Ȃ 𝑆𝑢𝑏− (𝐀), 𝜃 Ȃ 𝐶𝑜𝑛(𝐀) とすると, 新たな部分台集合・合同関係が次のようにして得られる.

𝐵𝜃 Ȃ= {𝑎 Ȃ 𝐴 Ȃ ある 𝑏 Ȃ 𝐵 について 𝑎 𝜃 𝑏} Ȃ 𝑆𝑢𝑏− (𝐀),𝜃Ă𝐵 Ȃ= 𝜃 Ȃ 𝐵 2
Ȃ 𝐶𝑜𝑛(𝐁).
2 つの部分台集合 𝐵, 𝐵𝜃 を 𝜃 の制限で割って得られる代数同士が同型になるというのが以下の定理の主旨である.
✓✏
定理 4.7 (同型定理 2)
代数 𝐀 と 𝐵 Ȃ 𝑆𝑢𝑏− (𝐀), 𝜃 Ȃ 𝐶𝑜𝑛(𝐀) について次の同型性が成り立つ.

(𝐁𝜃)Ȃ𝜃 ′ Ȃ 𝐁Ȃ(𝜃Ă𝐵).
ただし 𝜃 ′ Ȃ= 𝜃Ă(𝐵𝜃).

✒✑

5 直積から準直積へ
前章では 𝐈𝐧𝐣(𝐀) Ȃ 𝐒𝐮𝐛− (𝐀), 𝐒𝐮𝐫𝐣(𝐀) Ȃ 𝐂𝐨𝐧(𝐀) という 2 つの前同型を中心に話を進めてきた. 前者は素直な対応なのでよいとして, 後者についてはひとつ疑問がある. 𝐒𝐮𝐫𝐣(𝐀)は束と前同型であるというが, 2 つの全準同型 𝑔, Ă Ȃ 𝐒𝐮𝐫𝐣(𝐀) を取ってきたとき, その “下限”𝑔 Ȃ Ă とは一体なんだろうか? もちろん前同型対応に素直に従えば, 𝜃 Ȃ= 𝖪𝖾𝗋(𝑔) Ȃ 𝖪𝖾𝗋(Ă)

10平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

とおいて 𝜌𝜃 Ȃ 𝐀 Ă 𝐀Ȃ𝜃 とすれば下限が得られるのだが, これでは答えになっていない. 本章ではこの問いを中心に話を進める. まずは誰でもよく知っている直積から始めよう.
どんな代数 𝐀1 , 𝐀2 からも直積 𝐀1 × 𝐀2 をつくることができる (ただし体の直積は体にならないことに注意). 各成分 𝐀𝑖 への自然な全準同型を 𝜋𝑖 Ȃ 𝐀1 × 𝐀2 Ă 𝐀𝑖 とし, 𝜃𝑖 Ȃ= 𝖪𝖾𝗋(𝜋𝑖 )とおく. すると 𝜃1 , 𝜃2 Ȃ 𝐂𝐨𝐧(𝐀1 × 𝐀2 ) であり,(i) 𝜃1 Ȃ 𝜃2 = ̀,(ii) 𝜃1 Ԃ𝜃2 = Ȃが成り立つ (Ԃ は関係の合成).
これとは逆に, 与えられた代数 𝐀 が 𝐀1 × 𝐀2 という形に直積分解できるのはどのような場合かを考えることもできる. 次の定理は群論でおなじみのものである.
✓
定理 5.1✏

𝐀 を代数とする. (i), (ii) を満たす合同関係の組 𝜃1 , 𝜃2 Ȃ 𝐂𝐨𝐧(𝐀) について
𝐀 Ȃ 𝐀Ȃ𝜃1 × 𝐀Ȃ𝜃2が成り立つ. 𝐀 の直積分解は, 同型を除いてこのような形に限られる.

✒✑✓
命題 5.2✏

そうすると直既約な代数 (非自明な形に直積分解できない代数) をすべて特定したり, 与
えられた代数が一意に分解できるための条件を求めたりしたくなるのが人情というものであるが, これは群の場合に限っても困難な課題である. それ以前の問題として, どんな代数も直既約な代数の直積としてあらわせるわけではないから, 直既約な代数を「あらゆる代数の構成原子」とみなすことはできない. そこで以下では「直積」の条件をもう少し緩め,「準直積」に置きかえて考える.
まずは直積の簡単な特徴づけから始めよう. 以下, 代数の族 {𝐀𝑗 }𝑗Ȃ𝐽 を {𝐀𝑗 }𝐽 と書き, そȂ
の直積を 𝐽 𝐀𝑗 と書く.

Ȃ
代数 𝐀 と代数の族 {𝐀𝑗 }𝐽 が与えられたとき, 𝐀 Ȃ 𝐽 𝐀𝑗 となるための必要十分条件は,全準同型の族 𝑝𝑗 Ȃ 𝐀 Ă 𝐀𝑗 (𝑗 Ȃ 𝐽 ) が存在し以下が成り立つことである.
1. {𝑝𝑗 }𝐽 は全体として単射 (jointly injective) である. つまりすべての 𝑗 Ȃ 𝐽 について 𝑝𝑗 (𝑎) = 𝑝𝑗 (𝑏) ‫𝑏 = 𝑎 ܂‬.

✒

2. {𝑝𝑗 }𝐽 は全体として全射である. つまり各 𝑗 Ȃ 𝐽 について 𝑎𝑗 Ȃ 𝐀𝑗 が与えられた
とき, ある 𝑎 Ȃ 𝐀 が存在して 𝑝𝑗 (𝑎) = 𝑎𝑗 .
Ȃ✑

上の「全体として単射」という条件は 𝐽 𝖪𝖾𝗋(𝑝𝑗 ) = ̀ と言い換えることができる. 上の特徴づけから 2 番目の条件を取り除いたものが準直積に他ならない.
定義 5.3. 代数族 {𝐀𝑗 }𝐽 が与えられたとき, 全体として単射な全準同型の族 𝑝 = {𝑝𝑗 Ȃ 𝐀 Ă𝐀𝑗 }𝑗Ȃ𝐽 を伴う代数 𝐀 のことを {𝐀𝑗 }𝐽 の準直積 (subdirect product) という.

11

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

このとき, 以下を可換にする単準同型 𝑝 Ȃ 𝐀 Ă

𝐀 /

𝑝

Ȃ

𝐀𝑗 が唯一存在する.

/ Ȃ 𝐀
𝐽 𝑗

❈❈
❈❈
❈❈
𝑝𝑗 ❈❈❈
!!

𝜋𝑗



𝐀𝑗
Ȃ
逆も同様に言える. ゆえに準直積とは, 単準同型 𝑝 Ȃ 𝐀 Ă 𝐽 𝐀𝑗 を伴う代数 𝐀 で, 各 𝑗 Ȃ 𝐽について 𝜋𝑗 Ԃ𝑝 が全準同型になるものと定義してもよい. そこで本稿では, 𝐀, 𝑝 = {𝑝𝑗 }𝐽 が{𝐀𝑗 }𝐽 の準直積であることを
Ȃ
𝑝Ȃ𝐀 Ă
𝐽 𝐀𝑗
と表記する. とくに必要ないときには 𝑝 を省略し, 単に「𝐀 は {𝐀𝑗 }𝐽 の準直積である」という.
準直積は, たとえ同型を除いても一意に定まらない. 例を挙げれば：

• 直積

Ȃ

𝐽 𝐀𝑗 はもちろん準直積である.

• 加群の族 {𝐀𝑗 }𝐽 の直和ਂ𝐽 𝐀𝑗 は準直積である.

• 𝐙 を整数の加法群とし, 𝐙𝑛 Ȃ= 𝐙Ȃ𝑛𝐙 とする. 𝐽 を自然数の無限集合とすれば, 𝐙 は{𝐙𝑛 }𝑛Ȃ𝐽 の準直積である. このように直積分解できない代数が準直積に分解できることもある.
• 分配束 𝐋 の任意の要素 𝑎 について, 𝐋 は 𝐋Ȃ𝑎 と 𝐋Ȃ𝑎 の準直積である.
一方で前順序クラス 𝐒𝐮𝐫𝐣(𝐀) の中で考えれば, ある意味で準直積は一意に定まる.

✓
補題 5.4✏

𝐀 を代数とし, 各 𝑗 Ȃ 𝐽 について Ă𝑗 Ȃ 𝐒𝐮𝐫𝐣(𝐀) が与えられているとする. このとき図式

𝐁

✁✁
Ă ✁✁
✁
✁
✁✁

𝐀❄
𝑝𝑗

❄❄ Ă
❄❄ 𝑗
❄❄
❄ 
// 𝐁

𝑗

をすべて可換にする全準同型 Ă Ȃ 𝐒𝐮𝐫𝐣(𝐀) で, 𝐁, 𝑝 = {𝑝𝑗 }𝐽 が {𝐁𝑗 }𝐽 の準直積となるもȂのが (Ȃ 同値をのぞいて) ただ 1 つ存在する. またこのとき 𝖪𝖾𝗋(Ă) = 𝐽 𝖪𝖾𝗋(Ă𝑗 ) が成り
立つ.

✒

✑

前同型 𝐂𝐨𝐧(𝐀) Ȃ 𝐒𝐮𝐫𝐣(𝐀) に鑑みれば, これは 𝐒𝐮𝐫𝐣(𝐀) における “下限” は準直積により
Ȃ与えられることを意味する. 準直積は合同束における下限 𝜃 = 𝐽 𝜃𝑗 に対応する. 素イデア
ルなり, 極大イデアルなり, 何らかのイデアル族の共通部分をとるのは可換環論の常とう手段である. それらをみれば準直積のさらなる例が得られるだろう.
次に普遍代数学で最重要の役割を果たす概念を導入する.

12

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

定義 5.5. 非自明な代数 𝐀 が準直既約 (subdirectly irreducible) であるとは, 𝐀 が有意な形で
Ȃ
準直積に分解できないことをいう. すなわち 𝑝 Ȃ 𝐀 Ă 𝐽 𝐀𝑗 ならば, 𝑝𝑗 Ȃ 𝐀 ं 𝐀𝑗 を満たす 𝑗 Ȃ 𝐽 が必ず存在する場合である.

Ȃ𝐀, 𝑝 = {𝑝𝑗 }𝐽 が {𝐀𝑗 }𝐽 の準直積となるのは, 定義により ̀ = 𝐽 𝖪𝖾𝗋(𝑝𝑗 ) が成り立つ場合
Ȃである. ゆえに 𝐀 が準直既約であるとは, ̀ = 𝐽 𝖪𝖾𝗋(𝑝𝑗 ) である限り必ず 𝖪𝖾𝗋(𝑝𝑗 ) = ̀ を満
たす 𝑗 Ȃ 𝐽 があるということに他ならない. 言い換えれば, ̀ 以外の合同関係の共通部分をとっても決して ̀ にならないということである. よって次のことがわかる.
✓✏
定理 5.6
代数 𝐀 が準直既約であるための必要十分条件は, 合同束 𝐂𝐨𝐧(𝐀) において 𝐶𝑜𝑛(𝐀)∖{̀}が最小元を持つことである.

✒✑✓
定理 5.7✏

要は “下から 2 番目” の合同関係がただ 1 つ存在するということである. この合同関係を
𝐀 のモノリスという.
さて, 準直既約性が重要なのは次の定理が成り立つからである.
どんな代数 𝐀 も準直既約な代数の準直積に分解できる.

𝐀Ă
✒

Ȃ

𝐽 𝐀𝑗

(𝐀𝑗 は準直既約)✑

証明. 𝐀 が自明ならば 0 個の直積と同型なのでよい. 𝐀 が非自明なとき, 𝐽 = {(𝑎, 𝑏) Ȃ 𝐴2 Ȃ𝑎 Ȃ 𝑏} とおく. 各 (𝑎, 𝑏) Ȃ 𝐽 について, (𝑎, 𝑏) を含まない合同関係の中で極大なものを 1 つȂ
とって 𝜃𝑎,𝑏 とする (極大なものの存在は Zorn の補題より). すると ̀ = 𝐽 𝜃𝑎,𝑏 であるから,
𝐀 は {𝐀Ȃ𝜃𝑎,𝑏 }(𝑎,𝑏)Ȃ𝐽 の準直積である. あとは各 𝐀Ȃ𝜃𝑎,𝑏 が準直既約なことをいえばよい.
同型対応 𝐂𝐨𝐧(𝐀)Ȃ𝜃𝑎,𝑏 Ȃ 𝐂𝐨𝐧(𝐀Ȃ𝜃𝑎,𝑏 ) (定理 4.6) によれば, 右辺における ̀ は左辺では 𝜃𝑎,𝑏Ȃに対応する. ゆえに 𝜃𝑎,𝑏 Ȃ 𝜑𝑘 を満たすどんな 𝜑𝑘 Ȃ 𝐂𝐨𝐧(𝐀) をとっても 𝜃𝑎,𝑏 = 𝜑𝑘 とは決してならないことをいえばよい. 実際これは正しい. なぜならば 𝜃𝑎,𝑏 の極大性より (𝑎, 𝑏) Ȃ 𝜑𝑘がすべての 𝜑𝑘 について成り立つが, (𝑎, 𝑏) は左辺に属さないからである.
これは直積分解については成り立たない非常に強い性質である. こんなに強い性質が成り立つのは, 準直積という概念が (適度に) 弱いからである. なお, 分解の一意性は当然成り立たない.
最後に準直既約な代数の例をいくつか挙げる.

• 合同束 𝐂𝐨𝐧(𝐀) が 2 元 ̀, Ȃ のみからなる代数のことを単純であるという. 単純代数
はもちろん準直既約である. この場合モノリスは Ȃ である.
• 直既約な 𝐙 が準直既約ではないことを上でみた. では, 準直既約なアーベル群とはどのようなものかというと, 𝐙𝑞 (𝑞 は素数のべき) および準巡回群 𝐙(𝑝Ȃ ) (𝑝 は素数) で全部尽くされることが知られている. どんなアーベル群もこれらの準直積に分解できる.
• 準直既約な整域は体のみである.

13

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催• 分配束の中で準直既約なものは, 2 元束 𝟐 に限られる. このことは前に挙げた例 𝐋 ĂȂ𝐋Ȃ𝑎 × 𝐋Ȃ𝑎 より明らかであろう. よって上の定理によれば, どんな分配束も 𝐋 Ă 𝐽 𝟐というふうに分解できることになる (𝐽 は適当な添字集合, 分配束の準同型像は再び
Ȃ
分配束になることに注意). 一方で 𝐽 2 はべき集合束 ‫܂‬Ă(𝐽 ), Ȃ, Ȃ‫ ܂‬と同型だから, どんな分配束も𝐋 Ă 𝐏(𝐽 ) = ‫܂‬Ă(𝐽 ), Ȃ, Ȃ‫܂‬というようにべき集合束に埋め込めることがわかる.

• ちなみに定理 3.5(3) で挙げた束はどちらも準直既約である. それゆえ上のようなことは非分配束では成り立たない.

6 代数のクラスを定める (1) 多様クラス
これまでは個々の代数の話をしてきたが, ここで代数のクラスへと話を拡げることにしよう. 代数のクラスを 1 つ定めるには, 大まかにいって 2 通りの方法がある. ひとつは具体的な代数の集合をとってきて, 適当な閉包演算で閉じることである. これまでの議論で全準同型, 単準同型, 直積の 3 つが大事な役割を果たしてきたので, これらの写像や構成法について閉じたクラスを考えるのが都合よい.
もうひとつは, いままで暗黙裡に行ってきたとおり公理によりクラスを定める方法である. たとえば「群全体のクラス」というときには, 実際には「群の諸公理を満たすもの全体のクラス」を意味している. このことを明示的かつ一般的に行うにはどうしたらよいだろうか? 本章では第 1 の方法について説明する. 第 2 の方法は次章にまわす.
同類の代数からなるクラス Ȏ が与えられたとき, クラス演算子 𝖧, 𝖲, 𝖯 を次のように定める.

𝐁 Ȃ 𝖧(Ȏ) ‫ 𝐀 ܂‬Ȃ Ȏ と Ă Ȃ 𝐀 Ă 𝐁 が存在する.
𝐁 Ȃ 𝖲(Ȏ) ‫ 𝐀 ܂‬Ȃ Ȏ と Ă Ȃ 𝐁 Ă 𝐀 が存在する.
Ȃ𝐁 Ȃ 𝖯(Ȏ) ‫ ܂‬各 𝑗 Ȃ 𝐽 について 𝐀𝑗 Ȃ Ȏ が存在し, 𝐁 Ȃ 𝐽 𝐀𝑗 (𝐽 は任意の添字集合).
𝖧, 𝖲, 𝖯 はそれぞれ, 準同型像, 部分代数, 直積をつくる操作についての閉包を表す.
定義 6.1. 同類の代数からなるクラス Ȏ で 𝖧𝖲𝖯(Ȏ) = Ȏ を満たすものを多様クラス (variety)という.
すぐわかるように, 多様クラスは 𝖧, 𝖲, 𝖯 のすべてについて閉じている.
たとえば与えられた群の準同型像や部分代数や直積は再び群になるから, 群全体は多様クラスを成す. アーベル群, 環, (𝐑 を固定したときの) 左 𝐑 加群, 束, 分配束についても同様である. 一方で整域は直積について閉じていないし, 体は部分代数と直積について閉じていない. また, ねじれなしアーベル群全体のクラスは準同型像について閉じていない. このようなクラスは多様クラスではない.
多様クラスは直積について閉じているので, 空ではない (0 個の直積を自明な代数とみなす). また非自明な代数を 1 つでも含むならば, いくらでも大きな代数を含む. その中で大事

14平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

なものといえば, やはり準直既約な代数である. クラス Ȏ の中で, 準直既約な代数全体の集
まりを Ȏ𝖲𝖨 と書く. 次のことは定理 5.7 の帰結である.
✓定理 6.2✏Ȏ, Ȏ を多様クラスとすると, Ȏ = 𝖲𝖯(Ȏ𝖲𝖨 ). それゆえȎ Ȃ Ȏ ‫ ܂‬Ȏ𝖲𝖨 Ȃ Ȏ𝖲𝖨 .

✒✑証明. Ȏ Ȃ 𝖲𝖯(Ȏ𝖲𝖨 ) は明らか. 逆にどんな 𝐀 Ȃ Ȏ も

𝐀Ă

Ȃ

𝐽 𝐀𝑗

(𝐀𝑗 は準直既約)と分解すれば 𝐀𝑗 Ȃ Ȏ𝖲𝖨 であり (𝖧), 𝐀 はそれらの直積 (𝖯) の部分代数 (𝖲) と同型だから
𝖲𝖯(Ȏ𝖲𝖨 ) に属する.
つまり多様クラスは, 中に含まれる準直既約代数により一意に定まる. たとえば分配束全体の多様クラスは 𝖲𝖯(𝟐) Ȃ= 𝖲𝖯({𝟐}) に等しい.
多様クラスは非常に安定したクラスであり, 自然な性質が多く成り立つ. 一例を挙げよう. 代数の有限生成については既知のものとする (後で定義を述べる). 代数 𝐀 が局所的に有限 (locally finite) であるとは, 有限生成な部分代数はすべて有限であることをいう.
✓
定理 6.3✏

Ȏ を有限代数からなる有限集合とする. このときどんな 𝐀 Ȃ 𝖧𝖲𝖯(Ȏ) も局所的に有限である.

✒

たとえばアーベル群 𝐙 は局所的に有限ではない. 有限個の有限アーベル群をどんなふうにとってきても, どんなふうに 𝖧, 𝖲, 𝖯 を繰り返しても, 決して 𝐙 は得られない. そんな群論的には当たり前の事実が一般の多様クラスについても成り立つ. 上の定理はそういうことを述べている.

7 代数のクラスを定める (2) 等式クラス
次に代数クラスを定める第 2 の方法に移ろう. それには代数の諸公理を記述するための道具立てを考案しなければならない.
まず, 類型 𝜏 = ‫ 𝐹܂‬, 𝑎𝑟‫ ܂‬を固定する. 𝐹 は記号の集合だったことを思い出してほしい. 空でない集合 𝑋 が与えられたとき, 各 𝑚 Ȃ Ă について集合 𝑇 𝑚 (𝑋) を以下のように定める.

𝑇 0 (𝑋)
Ȃ= 𝑋,
𝑚+1
𝑇(𝑋) Ȃ= 𝑇 𝑚 (𝑋) Ȃ {𝖿 (𝑡1 , … , 𝑡𝑛 ) Ȃ 𝖿 Ȃ 𝐹 , 𝑛 = 𝑎𝑟(𝖿 ), 𝑡1 , … , 𝑡𝑛 Ȃ 𝑇 𝑚 (𝑋)}.
Ȃ
最後に 𝑇 (𝑋) = 𝑚ȂĂ 𝑇 𝑚 (𝑋) とおく. 𝑋 の各要素は生成元をあらわす (後の文脈では変数あるいは不定元をあらわす). 𝑇 (𝑋) の各要素を項 (term) という.
記号 𝖿 を自然に 𝑇 (𝑋) 上の演算とみなせば, 代数
𝐓(𝑋) Ȃ= ‫)𝑋( 𝑇܂‬, {𝖿 }𝖿 Ȃ𝐹 ‫܂‬15✑

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催が定まる. これを項代数 (term algebra) あるいは絶対自由代数 (absolutely free algebra) という.
項代数について大切なのは, 次に述べる随伴関係である. 𝜏 代数 𝐀, 𝐁 が与えられたとき, 𝐀
から 𝐁 への準同型全体を 𝖧𝗈𝗆𝜏 (𝐀, 𝐁) と書く. また集合 𝑋 から 𝑌 への関数全体を 𝖲𝖾𝗍(𝑋, 𝑌 )と書く. 代数 𝐀 の台集合 𝐴 をここでは 𝑈 (𝐀) と書く. 𝑋 Ȃ 𝑈 (𝐓(𝑋)) に注意して, 包含写像を
𝜂𝑋 Ȃ 𝑋 Ă 𝑈 (𝐓(𝑋)) と書く.
関数 Ă Ȃ 𝑋 Ă 𝑈 (𝐀) は, 次のようにして準同型 Ă Ȃ 𝐓(𝑋) Ă 𝐀 に拡張できる.

Ă(𝑥)Ȃ= Ă(𝑥)(𝑥 Ȃ 𝑋)𝐀
Ă(𝖿 (𝑡1 , … , 𝑡𝑛 )) Ȃ= 𝖿 (Ă(𝑡1 ), … , Ă(𝑡𝑛 )) (𝖿 Ȃ 𝐹 , 𝑎𝑟(𝖿 ) = 𝑛)逆に準同型 𝑔 Ȃ 𝐓(𝑋) Ă 𝐀 が与えられたら, 集合上の関数と見なして 𝑈 (𝑔) Ȃ 𝑈 (𝐓(𝑋)) Ă
𝑈 (𝐀) とし 𝜂𝑋 と合成することで, 写像 𝑔 Ȃ= 𝑈 (𝑔)Ԃ𝜂𝑋 Ȃ 𝑋 Ă 𝑈 (𝐀) が得られる. これらは互いに逆の操作になっているので, 次のことが成り立つ.

✓
補題 7.1✏𝑋 Ȃ ∅ とすると, 任意の 𝜏 代数 𝐀 について同等性
𝖧𝗈𝗆𝜏 (𝐓(𝑋), 𝐀) Ȃ 𝖲𝖾𝗍(𝑋, 𝑈 (𝐀))が “自然” に成り立つ.

✒

✑

✓
系 7.2

✏

要するに 𝐓(𝑋) は 𝜏 代数の圏における自由対象である.
どんな 𝜏 代数 𝐀 も, ある集合 𝑋 と 𝜃 Ȃ 𝐂𝐨𝐧(𝐓(𝑋)) により 𝐀 Ȃ 𝐓(𝑋)Ȃ𝜃 と表せる.

✒✑

証明. 𝑋 Ȃ= 𝑈 (𝐀) とおき, Ă Ȃ 𝑋 Ă 𝑈 (𝐀) を恒等写像とすれば全準同型 Ă Ȃ 𝐓(𝑋) Ă 𝐀 が得られるので, 𝜃 Ȃ= 𝖪𝖾𝗋(Ă) と定めれば準同型定理により 𝐓(𝑋)Ȃ𝜃 Ȃ 𝐀 となる.
上の系は「生成元と関係式」により代数を表示する方法を述べている. つまり 𝑋 は生成
元, 𝜃 は関係式の集合である. 上では 𝑋 Ȃ= 𝑈 (𝐀) とおいたが, この取り方はあまり経済的であるとはいえない. ある有限集合 𝑋 と何らかの 𝜃 Ȃ 𝐂𝐨𝐧(𝐓(𝑋)) について 𝐀 Ȃ 𝐓(𝑋)Ȃ𝜃 となるとき, 𝐀 は有限生成であるという. この定義が普通の意味での有限生成と同値であることは容易に確かめられる.
さて, 本題に戻ろう. 代数のクラスを公理によって定める方法を探しているのであった.
公理を表すには, 変数の可算無限集合 𝑋𝜔 Ȃ= {𝑥, 𝑦, 𝑧, … } を 1 つ固定し, 項の集合 𝑇 (𝑋𝜔 ) お
よび項代数 𝐓(𝑋𝜔 ) を考えるのがよい. 以下これらを 𝑇 Ȃ= 𝑇 (𝑋𝜔 ), 𝐓 Ȃ= 𝐓(𝑋𝜔 ) と略記する.
2 つの項 𝑡, 𝑢 Ȃ 𝑇 の対のことを類型 𝜏 の恒等式 (identity), あるいは等式 (equation) といい
𝑡 Ȃ 𝑢 と書く.
各項 𝑡 = 𝑡(𝑥1 , … , 𝑥𝑛 ) には変数が含まれるので, これに値を付与することを考える. 代数
𝐀 が与えられたとき, 変数集合を定義域とする関数 𝑔 Ȃ 𝑋𝜔 Ă 𝑈 (𝐀) を付値 (valuation) という. 補題 7.1 によれば, これは準同型 𝑣 Ȃ 𝐓 Ă 𝐀 を考えるのと同じことなので, 敷衍して後者も付値と呼ぶ.

16

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

次に代数 𝐀 と付値 𝑣 Ȃ 𝐓 Ă 𝐀 について 𝑣(𝑡) = 𝑣(𝑢) が成り立つとき

𝐀, 𝑣 Ȃ 𝑡 Ȃ 𝑢と書く. これは「𝑡, 𝑢 に含まれる変数に 𝑣 で値を代入したとき, 𝐀 上で 𝑡 = 𝑢 が成り立つ」ことを表す. どんな付値 𝑣 Ȃ 𝐓 Ă 𝐀 についても 𝐀, 𝑣 Ȃ 𝑡 Ȃ 𝑢 が成り立つとき, 𝐀 Ȃ 𝑡 Ȃ 𝑢 と書
く. これは代数 𝐀 において 𝑡 Ȃ 𝑢 が恒等的に真であることを表す. 代数のクラス Ȏ と等式の集合 𝐸 が与えられたとき, どんな 𝐀 Ȃ Ȏ と (𝑡 Ȃ 𝑢) Ȃ 𝐸 についても 𝐀 Ȃ 𝑡 Ȃ 𝑢 が成り立つ
とき, Ȏ Ȃ 𝐸 と書く. その他類似の記法を適宜用いる.
たとえば群の類型 𝜏𝐺 の場合を考えると, 𝐓 の項とは変数 𝑥, 𝑦, 𝑧, … と 3 つの記号 𝗆, 𝖼, 𝖾から構成される記号表現のことに他ならない. 𝗆(𝑡, 𝑢) を 𝑡 Ȃ 𝑢 と書き, 𝖼(𝑡) を 𝑡−1 と書けば, 以
下は全部 𝜏𝐺 の等式とみなせる.

𝑥 Ȃ (𝑦 Ȃ 𝑧) Ȃ (𝑥 Ȃ 𝑦) Ȃ 𝑧,𝑒 Ȃ 𝑥 Ȃ 𝑥,𝑥 Ȃ 𝑒 Ȃ 𝑥,𝑥−1 Ȃ 𝑥 Ȃ 𝑒,𝑥 Ȃ 𝑥−1 Ȃ 𝑒

この 5 つの等式からなる集合を 𝐸 と置けば, 類型 𝜏𝐺 の任意の代数 𝐀 について,

𝐀 Ȃ 𝐸 ‫ 𝐀 ܂‬は群であるが成り立つ. つまり群は等式のみを用いて公理化できる. さらに 𝑥 Ȃ 𝑦 Ȃ 𝑦 Ȃ 𝑥 を加えればアーベル群を公理化することができる.
定義 7.3. 同類の代数からなるクラス Ȏ を考える. 等式の集合 𝐸 Ȃ 𝑇 × 𝑇 が𝐀ȂȎ ‫𝐀 ܂‬Ȃ𝐸を満たすとき, 𝐸 を Ȏ の等式基底 (equational basis) という. 等式基底を持つクラスを等式
クラス (equational class) という.
上に挙げたように, 群全体やアーベル群全体は等式クラスである. 環全体や左 𝐑 加群全体も等式クラスである. 一方で整域全体や体全体は等式クラスではないし, ねじれなし群全体も等式クラスではない. それは次のことが成り立つからである.

✓
補題 7.4✏

等式クラスは多様クラスである.

✒✑

証明. 補題を示すには, 等式の成立が 𝖧, 𝖲, 𝖯 の各操作で保存されることを確かめればよい.
たとえば Ă Ȃ 𝐀 Ă 𝐁 かつ 𝐀 Ȃ 𝑡 Ȃ 𝑢 とする. 与えられた付値 𝑣 Ȃ 𝐓 Ă 𝐁 に対して

𝐀

⑧
𝑤 ⑧⑧⑧
⑧
⑧
⑧⑧

𝐓❄
Ă

❄❄
❄❄𝑣
❄❄
❄
// 𝐁

を満たす付値 𝑤 があることをいえば, 仮定より 𝑤(𝑡) = 𝑤(𝑢) だから 𝑣(𝑡) = 𝑣(𝑢) となり,𝐁 Ȃ 𝑡 Ȃ 𝑢 がいえる.

17

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

まず 𝑣 を集合上の関数 𝑣 Ȃ 𝑋𝜔 Ă 𝑈 (𝐁) に落とす. 𝑈 (Ă) Ȃ 𝑈 (𝐀) Ă 𝑈 (𝐁) は全射だから関数 𝑔 Ȃ 𝑋𝜔 Ă 𝑈 (𝐀) をうまく選べば 𝑈 (Ă)Ԃ𝑔 = 𝑣 とできる. この 𝑔 を 𝜏 代数上の準同型に戻して 𝑤 Ȃ= 𝑔 Ȃ 𝐓 Ă 𝐀 とおけばよい. これでうまくいくことは具体的に確かめることもできるし, 同等性 𝖧𝗈𝗆𝜏 (𝐓(𝑋𝜔 ), 𝐀) Ȃ 𝖲𝖾𝗍(𝑋𝜔 , 𝑈 (𝐀)) が 𝐀 について “自然” であることを用いてもよい. 𝖲, 𝖯 についても同様である.
それゆえ多様クラスは等式の集合により定めることができる. このあたりに代数多様体とのアナロジーがあるわけだが, もちろん多様クラス側に幾何学的な直観が与えられない
限りアナロジーは表面的なものにとどまる.
上の補題は逆も成り立つ. つまり多様クラスは常に等式基底を持つ. それが普遍代数学
初期の成果, Birkhoff の定理 (1935) である.

8 全不変性と自由代数
本章の前半は Birkhoff の定理に向けた準備である. 後半では, 与えられた代数のクラスにおける自由代数の構成法を述べる.
𝐀 を代数とする. 𝐀 上の合同関係 𝜃 で以下を満たすものを全不変 (fully invariant) という.
どんな自己準同型 𝜎 Ȃ 𝐀 Ă 𝐀 についても𝑎 𝜃 𝑏 ‫)𝑏(𝜎 𝜃 )𝑎(𝜎 ܂‬.
Ȃ
全不変な合同関係は共通部分
について閉じている. そこで全不変な合同関係からなる𝐂𝐨𝐧(𝐀) の部分束を 𝐈𝐂𝐨𝐧(𝐀) と書く.
同じ話を前順序 𝐒𝐮𝐫𝐣(𝐀) について繰り返す. 全準同型 Ă Ȃ 𝐀 Ă 𝐁 で以下を満たすものを全不変という. どんな自己準同型 𝜎 Ȃ 𝐀 Ă 𝐀 についても図式
𝐀
Ă



𝐁

𝜎

/ 𝐀
Ă

𝜎̀


/ 𝐁

を可換にする 𝜎̀ Ȃ 𝐁 Ă 𝐁 が (ただ 1 つ) 存在する. 𝐒𝐮𝐫𝐣(𝐀) を全不変な全準同型に制限して得られる部分前順序を 𝐈𝐒𝐮𝐫𝐣(𝐀) と書く.
両者が前同型になることは, 定義から簡単に確かめることができる.
✓
補題 8.1

任意の代数 𝐀 について 𝐈𝐂𝐨𝐧(𝐀) Ȃ 𝐈𝐒𝐮𝐫𝐣(𝐀).

✒✏✑これらの概念が重要なのは, 𝐀 が項代数の場合である. なぜならこのとき, 自己準同型 𝜎 Ȃ𝐓(𝑌 ) Ă 𝐓(𝑌 ) は変数に対する代入を表すからである. つまり 𝜎 は項 𝑡 = 𝑡(𝑦1 , … , 𝑦𝑛 ) Ȃ 𝐓(𝑌 )を 𝑡(𝑢1 , … , 𝑢𝑛 ) Ȃ 𝐓(𝑌 ) に写す (ただし 𝑢𝑖 = 𝜎(𝑦𝑖 )).
以後の議論では使わないが, 次の命題が全不変な合同関係や準同型の特徴をよくあらわ
している.

18

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催✓
命題 8.2✏𝑋𝜔 Ȃ 𝑌 を満たす任意の集合 𝑌 について✒

𝐈𝐒𝐮𝐫𝐣(𝐓(𝑌 )) Ȃ 𝐈𝐂𝐨𝐧(𝐓(𝑌 )) Ȃ 𝐈𝐂𝐨𝐧(𝐓) Ȃ 𝐈𝐒𝐮𝐫𝐣(𝐓).

✑証明. 中央の束同型のみ示せばよい. 概略のみ述べる. まず, 𝜃 Ȃ 𝐈𝐂𝐨𝐧(𝐓(𝑌 )) に対して𝜃Ă𝑇 Ȃ 𝐈𝐂𝐨𝐧(𝐓) となる. この対応は全射であり, さらに次が成り立つ.

𝜃1 Ȃ 𝜃2 ‫𝜃 ܂‬1Ă𝑇 Ȃ 𝜃2Ă𝑇 .
(Ă) は明らか. 逆に (𝑡, 𝑢) Ȃ 𝜃1 が与えられたとき, 適当な自己同型 𝜎 Ȃ 𝐓(𝑌 ) ं 𝐓(𝑌 ) (変数名のつけかえ) を選べば 𝜎(𝑡), 𝜎(𝑢) Ȃ 𝑇 とすることができる. 𝜃1 の全不変性より (𝜎(𝑡), 𝜎(𝑢)) Ȃ 𝜃1Ă𝑇 ,
よって (𝜎(𝑡), 𝜎(𝑢)) Ȃ 𝜃2Ă𝑇 . 最後に 𝜎 −1 を適用すれば, 𝜃2 の全不変性より (𝑡, 𝑢) Ȃ 𝜃2 が得られる.
要するに 𝑌 が無限集合でさえあれば, 𝐈𝐒𝐮𝐫𝐣(𝐓(𝑌 )) の構造は一定である.
次に自由代数の構成に移る. 𝑌 Ȃ ∅ とし, 代数クラス Ȏ は 𝖲𝖯(Ȏ) = Ȏ を満たすものとする. 𝐒𝐮𝐫𝐣(𝐓(𝑌 )) の中で終域が Ȏ に属する全準同型全体のクラスを 𝐽 とおく. つまり
Ă Ȃ 𝐽 Ă Ă Ȃ 𝐓(𝑌 ) Ă 𝐀Ă Ȃ Ȏ. そして 𝐒𝐮𝐫𝐣(𝐓(𝑌 )) における {Ă}ĂȂ𝐽 の “下限” を 1 つとり
𝜆Ȏ Ȃ 𝐓(𝑌 ) Ă 𝐅Ȏ (𝑌 ) とする. すると次の図を可換にする 𝑝Ȏ = {𝑝Ă Ȃ 𝐅Ȏ (𝑌 ) Ă 𝐀Ă }ĂȂ𝐽 で{𝐀Ă }ĂȂ𝐽 の準直積となるものが存在する (補題 5.4).

𝐓(𝑌 )
✇

𝜆Ȏ ✇✇✇✇✇✇{✇{ ✇𝐅Ȏ (𝑌 )

𝑝Ă

(1)
❉❉
❉❉ Ă
❉❉
❉❉!
!
// 𝐀

Ă

次の定理で Ȏ(𝐀, 𝐁) は, 代数 𝐀 から 𝐁 への準同型全体の集合をあらわす (𝐀, 𝐁 Ȃ Ȏ).

✓
定理 8.3✏𝑌 Ȃ ∅ と Ȏ = 𝖲𝖯(Ȏ) を仮定する. すると 𝐅Ȏ (𝑌 ) Ȃ Ȏ であり, 任意の 𝐀 Ȃ Ȏ について次の同等性が “自然に” 成り立つ.
✒

Ȏ(𝐅Ȏ (𝑌 ), 𝐀) Ȃ 𝖲𝖾𝗍(𝑌 , 𝑈 (𝐀)).

つまり 𝐅Ȏ (𝑌 ) は Ȏ を圏と見たときの自由対象である. これをクラス Ȏ の自由代数という. 類型 𝜏 が定数記号を 1 つでも含むときは 𝑌 Ȃ ∅ という仮定を除去できる. このとき関手 𝐹Ȏ Ȃ 𝖲𝖾𝗍 Ă Ȏ は忘却関手 𝑈 Ȃ Ȏ Ă 𝖲𝖾𝗍 の左随伴になる.

✑

証明. 𝐅Ȏ (𝑌 ) は Ȏ に含まれる代数の準直積であるから 𝐅Ȏ (𝑌 ) Ȃ 𝖲𝖯(Ȏ) = Ȏ である. 同等性を示すには, 補題 7.1 より Ȏ(𝐅Ȏ (𝑌 ), 𝐀) Ȃ 𝖧𝗈𝗆𝜏 (𝐓(𝑌 ), 𝐀) を示せばよい. Ă Ȃ 𝖧𝗈𝗆𝜏 (𝐓(𝑌 ), 𝐀)のとき, Ă は全準同型であると仮定してよい (さもなければ終域を 𝖨𝗆(Ă) に制限する). すると Ă Ȃ 𝐽 であるから, 全準同型 𝑝Ă Ȃ 𝖧𝗈𝗆𝜏 (𝐅Ȏ (𝑌 ), 𝐀) が得られる (図 (1) を参照). 同図を眺めれば, この対応は一対一であることがわかる. “自然” さの証明は省略する.

19平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

以上は極めて抽象的な構成であるが, 既知の意味での自由代数と一致する. たとえば Ȏを左 𝐑 加群全体からなる多様クラスとするとき, 𝐅Ȏ (𝑌 ) が基底 𝑌 上の自由加群になること
は定理 8.3 を用いずとも具体的に確かめることができる.

✓
系 8.4

Ȏ を多様クラスとする. 代数 𝐀 が Ȏ に属するための必要十分条件は, ある集合 𝑌 と𝜃 Ȃ 𝐂𝐨𝐧(𝐅Ȏ (𝑌 )) により 𝐀 Ȃ 𝐅Ȏ (𝑌 )Ȃ𝜃 と表せることである.

✏

✒

✑

✓
系 8.5

✏

この系は, 定理 6.2 と対比すると味わい深い. Ȏ に含まれる自由代数全体を Ȏ𝖥 と書くことにすると, 次が成り立つ.
どんな多様クラス Ȏ についても Ȏ = 𝖲𝖯(Ȏ𝖲𝖨 ) = 𝖧(Ȏ𝖥 ).

✒✑✓定理 8.6✏

また, 自由代数の存在から単純代数の存在がいえる.

自明でない多様クラスは, 単純代数を含む.

✒✑✓
補題 8.7✏

最後に, 次章に向けて重要な事実を述べておく.

自由代数への自然な全準同型 𝜆Ȏ Ȃ 𝐓(𝑌 ) Ă 𝐅Ȏ (𝑌 ) は全不変であり, 𝐈𝐒𝐮𝐫𝐣(𝑌 ) に属する.

✒✑

証明. 自己準同型 𝜎 Ȃ 𝐓(𝑌 ) Ă 𝐓(𝑌 ) を考える. 𝑔 Ȃ= 𝜆Ȏ Ԃ𝜎, 𝑋 Ȃ= 𝖨𝗆(𝑔) とすれば, 𝑔 Ȃ
𝐓(𝑌 ) Ă 𝐅Ȏ (𝑌 )Ă𝑋 は Ȏ 内の代数への全準同型だから自由代数の構成法より

𝐓(𝑌 )
✇

𝜆Ȏ ✇✇✇✇✇✇{✇{ ✇𝐅Ȏ (𝑌 )

𝑝𝑔

❏❏
❏❏ 𝑔
❏❏
❏❏
❏$ $
/ / 𝐅 (𝑌 )Ă𝑋Ȏとなって求める準同型 𝜎̀ Ȃ= 𝜄𝑋 Ԃ𝑝𝑔 Ȃ 𝐅Ȏ (𝑌 ) Ă 𝐅Ȏ (𝑌 ) が得られる.

9 等式クラス＝多様クラス
本章では Birkhoff の定理について述べる. 等式クラスが多様クラスであることは補題 7.4
ですでに見たので, 逆を示したい. そのためには与えられた多様クラス Ȏ に対してその等式基底を見つけなければならない. たったひとつの冴えたやり方は Ȏ 上で恒等的に真となる等式全体をとることである.

𝖨𝖽(Ȏ) Ȃ= {(𝑡 Ȃ 𝑢) Ȃ 𝑇 × 𝑇 Ȃ Ȏ Ȃ 𝑡 Ȃ 𝑢}
すると 𝖨𝖽(Ȏ) は 𝐓 = 𝐓(𝑋𝜔 ) 上の合同関係であり, 全不変であることも確かめられる. すな
わち 𝖨𝖽(Ȏ) Ȃ 𝐈𝐂𝐨𝐧(𝐓).

20平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

前章の結果と合わせれば, 各多様クラス Ȏ に対して全準同型 𝜆Ȏ Ȃ 𝐓(𝑌 ) Ă 𝐅Ȏ (𝑌 ) Ȃ
𝐈𝐒𝐮𝐫𝐣(𝐓(𝑌 )) と合同関係 𝖨𝖽(Ȏ) Ȃ 𝐈𝐂𝐨𝐧(𝐓) が得られたわけである. しかもこの両者は前同型
𝐈𝐒𝐮𝐫𝐣(𝐓(𝑌 )) Ȃ 𝐈𝐂𝐨𝐧(𝐓) により正確に対応する.

✓
補題 9.1✏

集合 𝑌 が 𝑋𝜔 Ȃ 𝑌 を満たすならば, 𝖨𝖽(Ȏ) = 𝖪𝖾𝗋(𝜆Ȏ )Ă𝑇 .

✒✑証明. まず (Ȃ) を示すために Ȏ Ȃ 𝑡 Ȃ 𝑢 とする. 𝜆Ȏ の始域を 𝐓 に制限すれば付値 𝜆Ȏ Ȃ 𝐓 Ă𝐅Ȏ (𝑌 ) Ȃ Ȏ と見なせるので 𝜆Ȏ (𝑡) = 𝜆Ȏ (𝑢). よって 𝑡 Ȃ 𝑢 Ȃ 𝖪𝖾𝗋(𝜆Ȏ )Ă𝑇 .
逆に (𝑡, 𝑢) Ȃ 𝖪𝖾𝗋(𝜆Ȏ )Ă𝑇 与えられたとする. 代数 𝐀 Ȃ Ȏ と付値 𝑣 Ȃ 𝐓 Ă 𝐀 を任意にとる. 𝑣 は (終域を制限することにより) 全準同型とみなせるので, 自由代数の構成法より準同型 𝑝𝑣 Ȃ 𝐅Ȏ (𝑌 ) Ă 𝐀 が存在し, 𝑣 = 𝑝𝑣 Ԃ𝜆Ȏ となる. 𝜆Ȏ (𝑡) = 𝜆Ȏ (𝑢) なので 𝑣(𝑡) = 𝑣(𝑢). つまり𝐀, 𝑣 Ȃ 𝑡 Ȃ 𝑢.
✓
定理 9.2 (Birkhoff 1935)✏

Ȏ を多様クラスとすると, 任意の代数 𝐀 について𝐀 Ȃ Ȏ ‫ 𝐀 ܂‬Ȃ 𝖨𝖽(Ȏ).
よって Ȏ は等式クラスである.

✒✑

証明. (Ă) は明らかなので逆を示す. 𝑌 Ȃ 𝑋𝜔 を十分大きくとれば全準同型 Ă Ȃ 𝐓(𝑌 ) Ă 𝐀が存在する. 一方で 𝜆Ȏ Ȃ 𝐓(𝑌 ) Ă 𝐅Ȏ (𝑌 ) Ȃ Ȏ なので 𝖪𝖾𝗋(𝜆Ȏ ) Ȃ 𝖪𝖾𝗋(Ă) さえ示せば𝐓(𝑌 )✇𝜆Ȏ ✇✇✇
✇
✇
✇
{ {✇
✇

𝐅Ȏ (𝑌 )

❇❇
❇❇Ă
❇❇
❇❇!
!
// 𝐀

となって 𝐀 Ȃ 𝖧(Ȏ) = Ȏ がいえる.
そこで (𝑡, 𝑢) Ȃ 𝖪𝖾𝗋(𝜆Ȏ ) とする. 適当な変数の置換 𝜎 Ȃ 𝐓(𝑌 ) ं 𝐓(𝑌 ) を用いれば 𝜎(𝑡), 𝜎(𝑢) Ȃ𝑇 とできる. 補題 8.7 より (𝜎(𝑡), 𝜎(𝑢)) Ȃ 𝖪𝖾𝗋(𝜆Ȏ ). よって補題 9.1 より (𝜎(𝑡), 𝜎(𝑢)) Ȃ 𝖨𝖽(Ȏ).
そこで付値 ĂԂ𝜎 −1 Ȃ 𝐓 Ă 𝐀 を考えれば仮定 𝐀 Ȃ 𝖨𝖽(Ȏ) より 𝐀, ĂԂ𝜎 −1 Ȃ 𝜎(𝑡) Ȃ 𝜎(𝑢), つまり
Ă(𝑡) = ĂԂ𝜎 −1 (𝜎(𝑡)) = ĂԂ𝜎 −1 (𝜎(𝑢)) = Ă(𝑢). 以上で 𝖪𝖾𝗋(𝜆Ȏ ) Ȃ 𝖪𝖾𝗋(Ă) がいえた.
最後にまとめをしよう. 類型 𝜏 が与えられたとき, 𝜏 代数全体のクラスは多様クラスである. その部分多様クラス全体の集まりを 𝑉𝐿(𝜏) とおく. 束

𝐕𝐋(𝜏) Ȃ= ‫)𝜏(𝐿𝑉܂‬, Ȃ, Ȃ‫܂‬を多様クラス束 (variety lattice, subvariety lattice) という (毎度のことだが 𝑉𝐿(𝜏) は共通部分
について閉じているので Ȃ が定義できる). 𝑉𝐿(𝜏) は “クラスのクラス” になるので気持ち悪いが, 適当に表示を与えれば集合化はいくらでも可能である.

21

平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催

さて, 束 𝐕𝐋(𝜏) で Ȏ Ȃ Ȏ が成り立つとき, 𝐈𝐂𝐨𝐧(𝐓) では 𝖨𝖽(Ȏ) Ȃ 𝖨𝖽(Ȏ) となる. 順序が反対になることに注意. 定理 9.2 により逆もいえる. 最後に本稿では割愛したが, 等式論理と完全性定理についてきちんと議論すれば, Ȏ Ă 𝖨𝖽(Ȏ) という対応が全射なこともわかる.
まとめると, 次のようになる.

✓
系 9.3

✏

任意の類型 𝜏 について次の対応関係が成り立つ.

𝖨𝖽(Ȏ)

Ȏ

Ȃ

𝐈𝐒𝐮𝐫𝐣(𝐓)Ă(𝐅Ȏ , 𝜆Ȏ )

Ȃ𝐕𝐋(𝜏)𝑜𝑝ȂȂȂ

𝐈𝐂𝐨𝐧(𝐓)Ă✒

このようにして多様クラス Ȏ, 等式基底 𝖨𝖽(Ȏ), 自由代数 𝐅Ȏ Ȃ= 𝐅Ȏ (𝑋𝜔 ) の 3 者が, 順序も込めて正確に対応づけられる.
ちなみに対応 Ȏ Ă 𝐅Ȏ の逆を計算してみると, Ȏ = 𝖧𝖲𝖯(𝐅Ȏ ) となることがわかる. すなわ
ちどんな多様クラスもただ 1 つの自由代数 𝐅Ȏ により生成される.
次に対応 Ȏ Ă 𝖨𝖽(Ȏ) について考えてみる. 𝖨𝖽(Ȏ) が Ȏ の等式基底だというのが Birkhoffの定理であるが, 𝖨𝖽(Ȏ) は基底として甚だ不経済である. Ȏ が有限の等式基底を持つとき, Ȏは (等式により) 有限公理化可能であるという. どのような多様クラスが有限公理化可能であるかは, 普遍代数学の重要テーマの 1 つである.

✑

多様クラス束 𝐕𝐋(𝜏) は 𝜏 型の多様クラス全体からなる巨大な束であり, その構造はあまりにも茫洋としている. そんな無意味な全体よりも興味があるのは, 具体的な多様クラス
Ȏ をとってきたときの部分束 𝐕𝐋(Ȏ) Ȃ= 𝐕𝐋(𝜏)ȂȎ の構造である.
例えば ȎȎ を分配束全体の多様クラスとすると, 𝐕𝐋(ȎȎ) の構造ははっきりしている. ȎȎの下には自明な多様クラスしかない (ȎȎ𝖲𝖨 = {𝟐} と定理 6.2 より).
次にアーベル群全体からなる多様クラス Ȏ を考えると, 𝐕𝐋(Ȏ) の構造は初等数論で記述できる. 非負整数全体の集合 Ă で「𝑛 ਂ 𝑚 Ă 𝑚 は 𝑛 で割り切れる」と定め, 束 ‫܂‬Ă, ਂ‫ ܂‬をつくる. 1 が最小元, 0 が最大元である. 𝐕𝐋(Ȏ) はこの ‫܂‬Ă, ਂ‫ ܂‬と同型になることが知られている.
さらに詳しい構造解析のための手法も知られている. 次章でその一端を紹介しよう.

10 合同束に注目せよ
群が与えられたら, まずその正規部分群を調べる. なぜならそこに多くの情報が含まれているからである. 同じように代数 𝐀 が与えられたら, その合同束を調べる. そこには多様クラス全体に影響を及ぼすような情報が多く含まれているからである.
𝐂𝐨𝐧(𝐀) が分配束のとき, 𝐀 は分配合同束を持つ (congruence-distributive) という. 多様ク
ラス Ȏ に属するすべての代数が分配合同束を持つとき, Ȏ は分配合同束を持つという.
たとえば, どんな束も分配合同束を持つ. なぜならば次のことが成り立つからである. 代
数 𝐀 における多数決項とは項 𝑡(𝑥, 𝑦, 𝑧) Ȃ 𝐓 であり, 任意の 𝑎, 𝑏 Ȃ 𝐴 について𝑡𝐀 (𝑎, 𝑎, 𝑏) = 𝑡𝐀 (𝑎, 𝑏, 𝑎) = 𝑡𝐀 (𝑏, 𝑎, 𝑎) = 𝑎
22平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催を満たすものである. どんな束も多数決項を (2 つ) 持つことはすでに第 2 章でみた.
✓
補題 10.1

多数決項を持つ代数は分配合同束を持つ.

✒✏✑

代数 𝐀 = ‫𝐴܂‬, {𝖿 𝐀 }𝖿 Ȃ𝐹 ‫ ܂‬が束拡張 (lattice expansion) であるとは, 𝐹 の中に記号 𝖿Ȃ , 𝖿Ȃ があ𝐀𝐀り, ‫𝐴܂‬, 𝖿Ȃ , 𝖿Ȃ ‫ ܂‬が束になることをいう. 束に限らず, どんな束拡張も多数決項を持つ. よって

上の補題より, 束拡張は分配合同束を持つ. 具体例をあげれば, 束と群の構造を併せ持つ束群 (lattice-ordered group) や束で順序づけられたベクトル空間 (Riesz 空間) などがそれにあたる.
また, 何らかの自然数 𝑛 について 𝑥𝑛 = 𝑥 を満たす可換環も分配合同束を持つ.
さて, 分配合同束を持つ代数のクラスについては, 次の重要な定理が成り立つ. ここで 𝖯𝗎
は超積 (ultraproduct) に関する閉包演算を表す.
✓
定理 10.2 (Jónsson 1967)✏

分配合同束を持つ多様クラス Ȏ とクラス Ȏ について Ȏ = 𝖧𝖲𝖯(Ȏ) が成り立つとする.
このとき Ȏ𝖲𝖨 Ȃ 𝖧𝖲𝖯𝗎 (Ȏ).

✒✑✓
系 10.3✏

わかりやすいのは Ȏ が有限個の有限代数からなる場合である. このとき 𝖧𝖲𝖯(Ȏ) に含まれる代数は局所的に有限であることを定理 6.3 で見た. 一方で, 有限個の有限代数から超積をつくっても元の代数しか得られないので, 次のことがわかる.
分配合同束を持つ多様クラス Ȏ と有限代数の有限集合 Ȏ について Ȏ = 𝖧𝖲𝖯(Ȏ) が成り立つとする. このとき Ȏ𝖲𝖨 Ȃ 𝖧𝖲(Ȏ).

✒✑Ȏ に含まれる代数に 𝖧 と 𝖲 を適用しても, 元の代数より小さな代数しかつくることができない. ということは, 𝖧𝖲(Ȏ) の中には (同型を除いて) 有限個の代数しか含まれないことになる. 定理 6.2 により多様クラスは準直既約な元により完全に決定されるから, 次のことが帰結する.
✓✏
系 10.4
分配合同束を持つ多様クラス Ȏ が有限個の有限代数により生成されるとき, 𝐕𝐋(Ȏ) は有限束である.

✒このような場合, 𝐕𝐋(Ȏ) の構造ははっきり定まるのである. こんなふうにして, 分配合同束を持つという仮定を 1 つ加えるだけで理論は進んでいく.

合同束についてもう 1 つ大事なのは, 合成演算 Ԃ の可換性である. 合同束 𝐂𝐨𝐧(𝐀) の任
意の要素 𝜃, 𝜑 について 𝜃Ԃ𝜑 = 𝜑Ԃ𝜃 が成り立つとき, 𝐀 は可換合同束を持つ (congruencepermutable) という. 多様クラス Ȏ に属するすべての代数が可換合同束を持つとき, Ȏ は可換合同束を持つという.
可換性のもとで 𝜃 Ȃ 𝜑 = 𝜃Ԃ𝜑 が成り立つので, 合同束の構造はかなりわかりやすくなる.
この性質に着目すると, 理論展開は以下のように進む.

23✑平成30年度(第40回)数学入門公開講座テキスト(京都大学数理解析研究所，平成30年7月30日～8月2日開催• 多様クラス Ȏ が可換合同束を持つための必要十分条件は, 以下の性質を満たす項(Mal’tsev 項) が存在することである.
Ȏ Ȃ 𝑡(𝑥, 𝑦, 𝑦) Ȃ 𝑡(𝑦, 𝑦, 𝑥) Ȃ 𝑥.
多数決項との類似に注意. この特徴づけにより群や環は可換合同束を持つことがわかる.

• 任意の代数 𝐀 について, その中心 𝑍(𝐀) Ȃ 𝐶𝑜𝑛(𝐀) を自然に定義できる. 𝑍(𝐀) = Ȃ を満たす代数をアーベル代数という. アーベル群や可換環はこの意味でアーベル代数である.
• Ȏ を可換合同束を持つ多様クラスとする. このとき 𝐀 Ȃ Ȏ がアーベル代数であるための必要十分条件は, ある単位的環 𝐑 が存在して 𝐀 が左 𝐑 加群と多項式同値になることである. 一般にアーベル代数は明示的に群構造を持つとは限らないが, それでもMal’tsev 項を巧妙に用いることで環 𝐑 を構成できて 𝐑 加群とみなせるのである.
最後の言明は, 実際にはモジュラー合同束を持つ多様クラスへと一般化できる. 分配合同
束も可換合同束もモジュラーであるから, これにより分配, 可換という 2 つの方向性が統合されることになる. この辺りは普遍代数学においてもっとも美しい理論展開の 1 つであるが, いろいろと準備が必要なので本稿では割愛する.

参考文献[1] Clifford Bergman. Universal Algebra: Fundamentals and Selected Topics. CRC Press,
2012.
[2] Stanley Burris and H. P. Sankappanaver. A Course in Universal Algebra. Springer, 1981,
available at https://www.math.uwaterloo.ca/Ȃsnburris/htdocs/ualg.html.
[3] George Grätzer. Universal Algebra, Second Edition. Springer, 1979.
[4] Ralph N. McKenzie, George F. McNulty and Walter F. Tayler. Algebras, Lattices, Varieties
Volume I, Wadsworth & Brooks/Cole Advanced Books & Software, 1987.

24