【Kummer's】代数的整数論024【Mathematical Note】
■ このスレッドは過去ログ倉庫に格納されています
0001Kummer ◇COYlhjVhsU
2011/05/04(水) 10:26:37.49が代数的整数論を語るスレです。（以下略
0007Kummer ◆SgHZJkrsn08e
2011/05/04(水) 10:49:48.16A をBoole代数(過去スレ021の336)とする。
B を A の有限部分代数(過去スレ022の605)とする。
このとき B は正則(過去スレ023の986)である。
証明
ι：B → A を包含写像とする。
E を B の部分集合とし、sup E が存在するとする。
ι は準同型(過去スレ022の30)で E は有限集合だから
ι(sup E) = sup ι(E) である。
よって、過去スレ023の844より ι は順序連続(過去スレ023の660)である。
よって、B は正則である。
証明終
■ このスレッドは過去ログ倉庫に格納されています