吸収モノイドを作る：計算科学にもエフイチの影？ - 檜山正幸のキマイラ飼育記 (はてなBlog)謎の代数系エフイチ（一元体）は、伝統的な集合論のなかで定義するなら、台集合が“二元”集合 {0, 1} であるモノイドです。そのモノイド演算（掛け算とします）は次の表で与えられます。 × 0 1 0 0 0 1 0 1 こんなバカみたいないに簡単な代数系が21世紀の英知を結集してアタックすべき対象だとは信じがたいのですが、どうも「不思議だが本当だ」ということらしいです。 エフイチ（「エフイチ」と呼ぶことにした事情は「僕がエフイチにハマる理由」参照）については、何度か話題にしています。 「一元体」を含むブログエントリー 一覧 「エフイチ」を含むブログエントリー 一覧 最初の頃の記事は、「エフイチ」も「一元体」も含んでいません。きっかけの記事はパズルだったんです。 掛け算から足し算を作る（パズルとしてやってみよう） 「掛け算ありき」から見えるエキゾチックな世界と真実の世界 パズルのネタ元と答：
