Как проверить множество на поле, если там 2 элемента?
Если множество - кольцо, то нужно проверить инъективен ли гомоморфизм в любое другое кольцо
либо найти все идеалы: если есть только порожденные 0 и 1 идеалы, то кольцо - поле
Подробне можно прочитать в книге Маклейна "Коммутативная алгебра" в самом начале