なるほどね、諸々の定義が０虚数に対して拡張されないと何も語れないぽ。零元ではない云々のくだりが０虚数ではない云々と拡張されないと何も語れないんだな。０虚数の性質からそれは自然な拡張となると分かると思うけど。
小川の３元数は現代数学の範疇越えてるんだな。驚きだ。