orders of elements in integral domain
Theorem.
Let be an integral domain, i.e. a commutative ring with non-zero unity 1 and no zero divisors
. All non-zero elements of have the same order (http://planetmath.org/OrderGroup) in the additive group
.
Proof. Let be arbitrary non-zero element. Any multiple (http://planetmath.org/GeneralAssociativity) may be written as
Thus, because and there are no zero divisors, an equation is equivalent (http://planetmath.org/Equivalent3) with the equation . So must have the same as the unity of .
Note. The of the unity element is the characteristic (http://planetmath.org/Characteristic) of the integral domain, which is 0 or a positive prime number.