わたしはいま束論を学んでいて, ideal に関する節に入ったのですが, そこに standard という概念が現れました. うまくその概念を捉えきれず,何週間か悩み続けているので,整理するとともになにかまちがっている理解をしていないか,誰かに見てもらいたいのでこの記事を書きます.
これから行うことは環における ideal を束に適用したもので,あまり新しいことはありません. そこでは加法 を join ,および乗法 を meet として置き換えられます. 環 の空でない部分集合 は, 次の性質をみたすとき ideal とよばれるのでした.
1
2.1
2.2
したがって束 の ideal は次のように定義されます.
1’
2.1’
2.2’
束において, 演算 (および ) は可換性をもつので, 2.1’ と 2.2’ は同値です. なので右 ideal とか 左 ideal の区別はありません.
ただ, 束における双対性を考えると, ideal の双対概念を考えることができます. それは直接に定義すれば,
1”
2”
となり, これを双対 ideal とよびます. また, 束は代数系としての側面をもつとともに, 順序集合としての側面をもつので, ideal は順序的 (?) に定義することもできます. すなわち 2.1’ 2.2’ は次と同値です.
これは, と, から導けます.
を群 の部分群として, に対して が成り立つとき, 関係 を定めると, これは同値関係となるのでした. ここがよくわからないのですが, 束 とその ideal が与えられたとき, に対してある が存在して となるとき, を定義すると, は同値関係になります. なにがわからないのかというと, 環の ideal が与えられたときの同値関係
と, 束の ideal が与えられたときの同値関係
とがどのように対応してるのかということです. たとえば束の ideal に関して上のように同値関係を定めたとして, それを環に置き換えてみると, ある が存在して というふうに解釈できますが, このとき となってしまい, において最も細かい (?) 同値関係になってしまいます. つまりこの解釈のしかただと となって, ideal の出る幕がありません.
ひとつめの疑問は, 束とその ideal に対して, なぜこのように同値関係を定めるか, ということです.
ひとつおもったのは, 環の空でない部分集合が ideal となるための必要十分条件についてです. それは, ある環準同型写像の核と一致するということで, を環として を環準同型写像としたとき, は の ideal となるのでした. このとき に対して
と定義すると, これは同値関係となり, さらに と同値となります.
環の ideal を法とする同値関係を と定義するのは, これが背景にあるからなのでしょうか. むずかしいです... 環 の ideal が与えられ, を法とする同値関係を忘却したとき, はある環準同型写像 の核と一致するでしょうか. うーん... こうしてみてはどうでしょうか. ある環準同型写像が与えられたとき, その核を ideal と呼ぶことにする, と. え... ちがうな あ, でも そうか, もともと ideal の概念は環準同型写像の核の性質を備えた の部分集合のことでした. ideal という概念を忘れて, のみ知っているとしてはなしを進めてみます. そうすれば, 上で述べたことから, 自然な同値関係 は と同値になり, さらに はふたたび環となり, あ, そうか, それで準同型定理が, なんていうか, 考えられるのですね. なにを考えていたんだっけ, えっと, 環 の ideal が与えられたとき, なぜ という同値関係を定めて, その商集合 がなぜふたたび環の構造をもつのか, ということでした. なるほど... ideal にしばられて, 環準同型写像の核というさいしょの概念をすっかり忘れていました.
これを束にも適応してみればよいのでしょうか. そのためには束の ideal を忘れて, 束準同型写像の核について考察すればよいですか?
束準同型写像の核はどのように定義されるのでしょうか. あ... わからない… 環には零元がありますが, 束にはありません. さっきやったのは環準同型写像の核が ideal みたいな性質をもつ, ということだったので, の定義がわからないいまは, もういちど ideal を思い出して, 束の ideal の性質をもつ部分集合と一致するような束準同型写像の逆像を としてみて考えればよい...?
ちょっとだけ ideal を思い出して, その性質をもつような逆像を として, また ideal を忘れて について考えればよいのでしょうか.
ideal を忘れたとします. 束準同型写像 が与えられたとき, ただの記号としての を
をみたすものとします.
そうして自然に同値関係 を定めると, これが, ある が存在して が成り立つことと同値であることを示せれば, 束の ideal による同値関係において と定義することが適切であることがわかります.
やっぱりわかりません. を使いたくなかったのですが, から, をもつ への束準同型写像 について としてみます. このとき ならば
となって であり, また と に対して
から が成り立ちます.
ある が存在して をみたすとき,
となって が成り立ちます. が単射であれば逆も成り立ちますが, 束準同型写像 が単射であるということは, ええっと, わかんない...
わからないので素直に質問させてください. すなわち, ふたつめの疑問は, 束準同型写像 の核 がどのように定義されるのか, と, それによる自然な同値関係 がどのように表現されるかで, 願わくば と表わされるか, ということです.
もうひとつ気づいたことで,群とその準同型写像と異なる状況にあるのは と としてその間の束準同型写像 を与えたときに, が成り立つとは限らないということです. 反例として考えたのは が を有する分配束のとき, である を固定して とすると は準同型写像となりますが, となることです.
目をつむって先に進みます. 環 の ideal が与えられたとき, それによる同値関係において, ならば および が成り立つのでした.
束の ideal についても同じことは成り立つでしょうか. つまり
としたとき, および ならば
(i)
(ii)
は成り立つでしょうか.
なぜこんなことを考えているのかというと, による剰余集合 (剰余群とか剰余環にならってこれを と表わすことにすると) は再び束になるか, が気になるからです. (この を剰余束とよびたいところなのですが, ためしに「剰余束」と調べてみたところ, もっとむずかしそうな論文がでてきました... )
束 の元 の, ideal による同値関係の同値類を とします. そうして剰余群にならって に対して
と定義したいとおもいます. 気になるのはこの演算の定義が well-defined であるかということです.
群では, 部分群が正規部分群であれば剰余集合に定められた演算が well-defined となり, ふたたび群の構造をもつのでした.
おなじことを束で考えます. および としたとき, であるか? ということが示せれば, となって, 上で定めた演算 は適切に定義されることとなります. 実は (i) は任意の join-semilattice において成り立ちます.
join-semilattice とは, 集合 に演算 が入っていて, 任意の に対して, べき等律 , 交換律 , および結合律 が成り立つ代数系のことをいいます. join-semilattice の ideal を考えるとき, が使えないので, 順序を使った定義が役に立ちます. そこでは, を と解釈します.
join-semilattice の ideal が与えられ, それによる同値関係において, および が成り立つとすると, ある が存在して および をみたすのでした. このとき,
となって, 交換律と結合律から
が成り立ちます. は ideal であったので, であり, , すなわち (i) が示せました.
lattice は join-semilattice なので, 同様に (i) が成り立ちます. したがって, 先に定めた は well-defined となり, また, べき等律 , 交換律 , そして結合律 が成り立ち, は join-semilattice をなします.
いま行ったことは, 環における加法 と, 束における join を対応させたもので, 剰余環というよりは加法群の剰余群を束に適応した結果です.
考えていることは環 とその ideal が与えられたときの剰余集合 がふたたび環をなすことの対応である, がふたたび束をなすか? ということなので, に対して
と定義したときに, これが well-defined となるかが気になります. つまり (ii) が任意の束において成り立つことをしめせればよいのですが, わたしにはむずかしい疑問になります. たぶんその原因は ideal による同値関係の定めかたで を使っている, というところにあるとおもいます. ふりかえれば, (i) が成り立つのも に をつかっているから簡単だった, と言うことができます. がんばって (ii) について考えてみます.
が および であるとき,
をみたす が存在するか, ということになります.
ここで束 の条件を強くしてみようとおもいます. を分配束としてみると, かつ をみたす に関して,
であったので が成り立ちます.
したがって が分配束であれば (ii) が成り立ち, 剰余集合 は演算 (および )に関して束をなします. (ii) が成り立てば剰余集合は束をなす, ということなので, そこで一般の束の ideal で (ii) が成り立つものを standard ideal とよぶことにする, とわたしは解釈しました. すなわち standard ideal は, それによる剰余集合をふたたび束となすような ideal と. みっつめの疑問は, standard ideal という概念の理解がこれで正しいか, ということです.
いま述べたことは, 分配束のすべての ideal は standard であるということです. じつは [1] pp.27 のさいごの行に, 「逆に, のすべての ideal が standard ならば は分配束である」と書かれています.
これについていろいろと考えてみましたが,だめな結果しか得られませんでした. よっつめの質問です...
わからないことばかりでごめんなさい. もしよろしければ丁寧な証明をわたしに恵んでください. よろしくお願いします.