本稿は,以下の記事の続きとして, Boole代数の基本的な定理である素イデアル定理を紹介する. hinakovsky5.hatenablog.com 2. 素イデアル定理 Def.2.1 Def.2.2 Lem.2.3 Proof Def.2.4 Def.2.5 Def.2.6 Lem.2.7 Def.2.8 Lem.2.9 Proof Lem.2.10 Proof Thm.2.11(素イデアル定理/超フィルター定理) Proof 参考文献 おまけ:素イデアル定理の応用 Thm.1 Thm.2 Thm.3(Alexanderの準開基定理) 2. 素イデアル定理 Def.2.1 をBoole代数…