Странное вообще-то условие 1 != 0 в замечании 2.1. По моему опыту каждый раз, когда автор ставит такое условие в определении кольца, через некоторое время он о нём сам забывает. Например в 2.14 e может быть = 0, и тогда eR = 0. Или в определении идемпотента тоже != 0 стоит потребовать (ради задачи 2.16 и определения 2.12)? Тогда однако пару других задач менять придётся...

Другой вопрос: зачем в 2.20 требовать char k != 2 и полупростоту?