Odd unit group forces characteristic two

ID: odd-unit-group-forces-characteristic-two

In a nonzero unital ring with finite odd unit group, the unit has order dividing two. By Lagrange's theorem, that order also divides , so and the characteristic of a ring is two. Consequently defines a unital ring homomorphism . This map still exists for the zero ring, whose characteristic is one under the least-positive-integer convention.

New to topics? Read the docs here!