Уточнение: Примерно на 1:05:13 я расширил свойство возведения в степень с поля с простой характеристикой до кольца с простой характеристикой. Но расширить можно все-таки не на произвольное такое кольцо, а на коммутативное и ассоциативное (по умножению) кольцо, в котором есть единица. То есть при его доказательстве мы, конечно, пользовались не только дистрибутивностью и наличием единиц, но и возможностью менять как угодно множители местами после раскрытия скобок.
Уточнение: Примерно на 1:05:13 я расширил свойство возведения в степень с поля с простой характеристикой до кольца с простой характеристикой. Но расширить можно все-таки не на произвольное такое кольцо, а на коммутативное и ассоциативное (по умножению) кольцо, в котором есть единица. То есть при его доказательстве мы, конечно, пользовались не только дистрибутивностью и наличием единиц, но и возможностью менять как угодно множители местами после раскрытия скобок.
В заставке опечатка
Спасибо, исправили.