0
大学数学基礎議論
文献あり

束における素 ideal および極大 ideal について

72
0

前回の記事で束における ideal の定義と, それに関する standard という性質について考察しました. そこでは束 L の空でない部分集合 I
a,bIabI
aI,xLaxI
をみたすときに ideal とよばれ, またその双対
a,bIabI
aI,xLaxI
をみたすときに双対 ideal とよばれるのでした.

環における ideal に, 素 (prime) や 極大 (maximal) という性質が付与されるのと同様に, 束の ideal にもそれらの概念が与えられます. 今回はわたしの数学日誌として, 次の命題を紹介し, みなさんにきいていただきたい疑問を書きます.

Boole 束 B において, その ideal は極大 ideal であるときかつそのときに限って素 ideal である.

R の ideal PPR でありかつ
abPaPorbP
をみたすとき, 素 ideal とよばれるのでした. したがって, 環における乗法を, 束における meet として対応させると, 束における素 ideal P は次のように定義されます.
abPaPorbP

素 ideal は Z の素数の概念を ideal に拡張したものでした. なので, わたしとしてはべき集合 2E における "素数" を拡張したものとして束の素 ideal を定義し, その性質をみてみたいです. ただ, 2E における "素数" がわからないので, 環の既約元や素元の概念を束に適用して考えてみたいとおもいます.

整域 R の元 a,b に対してある qR が存在して a=bq をみたすとき, 関係 ba を定義します. aR が素元であるとは, b,cR に対して abc ならば ab または ac が成り立つことでした. これを束に対応させます. 束 L の元 a,b に対し, ある qL が存在して a=bq となるとき ba と定義し, abc ならば ab または ac が成り立つとき a を meet-素元とよぶことにします (これはわたしが勝手に名付けたもので, 他に正しい名前があるのかもしれません).

整域において素元は上のように整除によって定義され得ますが, p が素元であるためには単項 ideal (p) が素 ideal となることが必要十分なので, 単項 ideal (p) が素 ideal であるときに p を素元とよぶ, というふうに定義することもできます. なので束においても, 素 ideal から束における素元というものを定義してみたいとおもいます.

可換環 R の元 a に対して Ra={xaxR}R の ideal となり, これを単項 ideal (a) というのでした. これを束に適応してみると, 束 L の元 a に対して
(a)={axxL}
L の ideal となり, またこれは (a)={xLxa} とも表わせます.

いまいるのは環との対応であったので L は分配束であるとします. このとき単項 ideal (a) が素 ideal となるための a に関する必要十分条件は,
a=xya=xora=y(x,yL)
であることを示します. じつはこの条件は meet-irreducible (meet-既約) という名前がつけられています. 素 ideal から素元を定義します, といったのに「既約」という言葉が出てきてわたし自身も混乱していますが, とりあえず認めて, 後ほどこの meet-既約元が上で整除によって定めた meet-素元と一致することを示します.

いまは, aL が meet-既約元であることと, 単項 ideal (a) が素 ideal であることが必要十分であることを示します.

単項 ideal (a) が素 ideal であるとして, x,yLa=xy をみたすとする. まず a=xyx であり, 同様に ay も成り立つ. 一方で xy=aa なので xy(a) であり, (a) は素 ideal なので x(a) または y(a). x(a) のとき, xa となり a=x. よって a は meet-既約元である.
逆に aL が meet-既約元であるとする. x,yL に対して xy(a) と仮定すると, xya であって, さらに分配律より
a(xy)=(ax)(ay)=a
a は meet-既約元であったので ax=a または ay=a となり, xa または ya. したがって x(a) または y(a) となって (a) は素 ideal である. (証明終)

気になるのは, 整除によって定義した meet-素元と, 素 ideal によって定義された meet-既約元というふたつの概念が一致するかどうかです.

まず aL を meet-素元として, a=bc(b,cL) とする. このとき a=bcb, 同様に ac なので, ba を示せば a は meet-既約元であるといえる. 冪等律より, a=aa=bc が成り立ち abc となる. a は meet-素元であったので ab または ac のいずれかが成立する. ab とすると, ある rL が存在して b=ar と表わせ, これは ba を導く. ゆえに a=b となって a は meet-既約元である.
逆に a が meet-既約元であるとして, abc と仮定する. このときある qL が存在して bc=aq と表わせ, bca となるので bc(a). a は meet-既約元であったので単項 ideal (a) は素であり, b(a) または c(a) が成り立つ. b(a) ならば, ある rL が存在して b=ar となり, これは ab を意味する. ゆえに a は meet-素元である. (証明終)

なので (L が分配束であるという条件は必要ですが) meet-既約元という概念を経由して, 単項 ideal が素であることと, その生成元が meet-素元であることが必要十分であることがわかりました. もしかしたら遠回りだったのかもれませんが, meet-既約という概念を紹介してみたかった気持ちがありました.
いまやったのは, Z の素数 素元 素 ideal を逆にたどった, 束における素 ideal 素元 2E における “素数” を考える, ということでした.
ということは冪集合 2E における "素数" とは
P=XYP=XorP=Y
をみたす PE のことなのでしょうか. よくわかりません... わたしの直感としては, この条件は単なる素元の性質であって, 2E における素数を十分に捉えきれていないと感じます.

束における素 ideal に関してもうひとつ述べるとすれば, 素 ideal の補集合が双対 ideal となる, ということです. じつは [1] pp.28 では素 ideal をこのように定義し, それが abPaP または bP と同値である, という説明がなされています. なぜ最初に, 補集合が双対 ideal となる ideal を素 ideal と定義したのかがわからなくて, それが冪集合の "素数" と関連しているのではないか, と考えたので, 上のような考察をしました. しかし結局わからなかったので, この同値性について証明して素 ideal については終わりにしたいとおもいます. ざんねんです... わたしの疑問とは, なぜ Birkhoff さんが素 ideal を, “補集合が双対 ideal となるような ideal” と定義したのか, ということです.

P を, その補集合が双対 ideal となるような ideal とする. abP とし, さらに aP かつ bP と仮定する. そうすると, aPc かつ bPc となり, Pc は双対 ideal であったので abPc. これは abP を意味するので, 仮定に反する. したがって aP または bP のいずれかが成立する.
逆に ideal PabPaP または bP をみたすとすると, 対偶
aPandbPabP
によって, a,bPc ならば abPc. また, aPcxL をとり, axP と仮定すると, aax なので aP となり矛盾するので axP, すなわち axPc. 以上で, Pc は双対 ideal である. (証明終)

極大 ideal は環とまったく同じように定義されます. すなわち M が ideal であって, M を真に含むような自明でない ideal が存在しないとき M を極大 ideal とよびます. これは, L の ideal すべてからなる束 L^ における双対原子元です.

この L^ についてすこしおはなしすると, 束 L が与えられたとき, その ideal すべてからなる集合は包含関係においてふたたび束となります. I,JL の ideal であるとき, inf{I,J}=IJ=IJ であり, また join に関しては,
sup{I,J}=IJ={xLxab,aI,bJ}
となります. 下限についてはよいのですが, 上限について説明すると, 右辺を K として, x,yK とすると, ある a1,a2I および b1,b2J が存在して xa1b1 かつ ya2b2 をみたし,
xy(a1b1)(a2b2)=(a1a2)(b1b2)
となって xyK であり, また xKyLyx であるとすると abxyK(aI,bJ) となるので KL の ideal となります. さらに IK かつ JK であって K{I,J} の上界であり, また IM かつ JM なる上界 ML をとると, KM となります. なぜならば xK を任意にとると, ある aI,bJ が存在して xab をみたし, a,bM なのでこのとき abM となり, xM が成り立つからです.

この考え方は, 次の証明のなかで少しだけ登場します.

環では極大 ideal は素 ideal となるのでした. 束においては, 条件をたくさんつめると, ideal は極大 ideal であるときかつそのときにかぎって素 ideal となります. すなわち Boole 束の極大 ideal は (存在すれば ? ここもよくわかりませんが) 素 ideal であって, 素 ideal はまた極大 ideal となります.
Boole 束とは, 最小元 0 および最大元 1 をもつ, 分配的でかつ可補的な束のことです. [1] pp.28 ではこの定理の横に "Stone" と添えられてあるので, たぶん Stone さんによる定理なのでしょう. 調べてみましたがたくさんあってわかりませんでした... Stone さんごめんなさい. それを証明してこの記事を終わりにしたいとおもいます.
ちょっとだけ準備をすると, 最小元 0 をもつ束の ideal は必ず 0 を含みます. これは, ideal の定義において "空でない" という仮定によるものです. この "空でない" が必要かどうかについて, いろいろとおはなしがありますが, とりあえずそれを認めると, ideal I は必ずあるひとつの元をもち, それを a とすると, 0a なので 0I となるからです.

P を Boole 束 B の素 ideal とする. 任意の aB について aP ならばその補元 acP に属する. なぜならば, P は最小元 0 を有する束 B の ideal なので 0=aacP であり, P は素であったからである. IP を真に含む B の ideal とすると, ある aB が存在して aI かつ aP をみたす. したがって上のことから acPI となり, aac=1I. I は ideal だったので 1 以下のものをすべて含み, B と一致する. ゆえに P は極大 ideal である.
逆に MB の極大 ideal として xyM かつ xM と仮定する. そうして yM を示せれば M は素 ideal であることがいえる. ここで B の部分集合
xM={yByxz,zM}
を考えると, xMM を真に含む ideal となる;
まず xM が ideal であることを示す. y1,y2xM をとると, ある z1,z2M が存在して y1xz1 かつ y2xz2 となるが
y1y2(xz1)(xz2)=x(z1z2)
となり, z1z2M なので y1y2xM. また, yxMaBay をみたすとき, xzyaxM. 以上から xM は ideal となる.
M の任意の元 z をとると, zxz より zxM となり, MxM がいえ, さらには, 0M なので
xMx0=xM
と, M を真に含む.
M は極大 ideal であったので xM=B であり, 1xM でなければならない. それはある zM があって 1xz をみたすことを意味するが, このとき xz=1. したがって
y=y1=y(xz)=(yx)(yz)
仮定から xyM であり, また M は ideal なので yzM. ゆえに yM.(証明終)

参考文献

[1]
G.Birkhoff, Lattice Theory, AMERICAN MATHEMATICAL SOCIETY, pp.28
投稿日:2021819
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

isumi
isumi
6
1983

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中