一元体は{０、１}からなる特殊な数体という説明を見かけますが、
これはよくないのではないでしょうか。二元体が{０、１}の体系
なのだから、一元体はやはり{０}で考察すべきだと思うわけです。
一元体を要素とする行列を書く場合も、０と１ではなく０だけを
用いた方が一貫性を保てるように感じるのです。せめて{φ、０}
とか{＊、０}の方がいいのではないでしょうか。φもしくは＊は
空白を表すとして、行列の要素は０か空白になるものと考えます。