최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.131
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[13:42:09] 평안북도
[13:41:55] 함경남도
[13:40:03] 평안북도
[11:19:06] 평안북도
[11:18:15] 평안남도
[11:14:52] 평안남도
[10:08:21] 평안남도
[10:08:10] 평안남도
[02:34:43] SCP-1172
[13:40:31] 충청북도
돌아가기
삭제
이동
파일 올리기
불 소 아이디얼 정리
(편집) (2)
(편집 필터 규칙)
452,1149
== 증명 == [math(\mathcal{I})]를 [math(I)]를 포함하며 [math(F)]와 서로소인 아이디얼들의 집합이라 하자. 이 때 [math(\mathcal{C}\subset \mathcal{I})]가 사슬이라면, [math(\bigcup\mathcal{C})] 또한 [math(\mathcal{I})]의 원소가 됨을 보일 수 있다. 따라서 초른의 보조정리에 의해, [math(\mathcal{I})]는 극대원을 갖는다. 이를 [math(M)]이라 하자. 이제 [math(ab\in M)]이라 하자. 만약 [math(a)]와 [math(b)] 둘 다 [math(M)]의 원소가 아니면, [math(\{a\}\cup M)]은 주어진 불 대수 자기 자신이 아닌 아이디얼을 생성한다. 만약 그렇지 않다면, 어느 [math(m\in M)]이 있어 [math(a+m=1)]이고 따라서 [math(ab+mb=b)], 그리고 [math(b-mb=ab-mb\le ab)]이므로 [math(b-mb\in M)]이다. 그런데 [math(mb\le m)]이여서 [math(mb\in M)]이므로, [math(b=mb+(b-mb)\in M)]이다. 이는 모순이다. 불 소 아이디얼의 증명은 선택공리에 의존한다. 또한, 선택공리가 없으면 불 소 아이디얼 정리를 증명할 수 없다. 하지만 BPI만으로는 ZF 위에서 선택공리를 증명하기에 충분치 않다.
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
== 증명 == [math(\mathcal{I})]를 [math(I)]를 포함하며 [math(F)]와 서로소인 아이디얼들의 집합이라 하자. 이 때 [math(\mathcal{C}\subset \mathcal{I})]가 사슬이라면, [math(\bigcup\mathcal{C})] 또한 [math(\mathcal{I})]의 원소가 됨을 보일 수 있다. 따라서 초른의 보조정리에 의해, [math(\mathcal{I})]는 극대원을 갖는다. 이를 [math(M)]이라 하자. 이제 [math(ab\in M)]이라 하자. 만약 [math(a)]와 [math(b)] 둘 다 [math(M)]의 원소가 아니면, [math(\{a\}\cup M)]은 주어진 불 대수 자기 자신이 아닌 아이디얼을 생성한다. 만약 그렇지 않다면, 어느 [math(m\in M)]이 있어 [math(a+m=1)]이고 따라서 [math(ab+mb=b)], 그리고 [math(b-mb=ab-mb\le ab)]이므로 [math(b-mb\in M)]이다. 그런데 [math(mb\le m)]이여서 [math(mb\in M)]이므로, [math(b=mb+(b-mb)\in M)]이다. 이는 모순이다. 불 소 아이디얼의 증명은 선택공리에 의존한다. 또한, 선택공리가 없으면 불 소 아이디얼 정리를 증명할 수 없다. 하지만 BPI만으로는 ZF 위에서 선택공리를 증명하기에 충분치 않다.
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기
