[表示 : 全て 最新50 1-99 101- 2chのread.cgiへ]
Update time : 03/22 00:15 / Filesize : 129 KB / Number-of Response : 186
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

【Kummer's】代数的整数論024【Mathematical Note】



56 名前:Kummer ◆sIhn3vKAn6iI mailto:age [2011/05/09(月) 20:09:20.78 ]
命題
A を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 は正則である。
証明終







[ 続きを読む ] / [ 携帯版 ]

全部読む 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<129KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef