本稿は,以下の記事の続きとして, 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(…