вроде тоже поле получается?
Вряд ли:

.
Да, это что то я поторопился...
-- Вс окт 18, 2009 21:17:34 --Там вообще единицы нет. Т.е. нет или единицы, или нуля.
Да я тоже хотел выкинуть

или

, только вот сейчас не пойму.
А, хотя вот в чём проблема. Мы же строим классы эквивалентности, рассматривая число по

, но тогда

. Тогда давайте отказываться от единицы. То есть получим кольцо.