PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] orders of elements in integral domain (Theorem)
Theorem 1   Let $(D,\,+,\,\cdot)$ be an integral domain, i.e. a commutative ring with non-zero unity 1 and no zero divisors. All non-zero elements of $D$ have the same order in the additive group $(D,\,+)$ .

Proof. Let $a$ be arbitrary non-zero element. Any multiple $na$ may be written as $$na = n(1a) = \underbrace{1a+1a+\cdots+1a}_{n} = (\underbrace{1+1+\cdots+1}_{n})a = (n1)a.$$ Thus, because $a \ne 0$ and there are no zero divisors, an equation $na = 0$ is equivalent with the equation $n1 = 0$ . So $a$ must have the same order as the unity of $D$ .

Note. The order of the unity element is the characteristic of the integral domain, which is 0 or a positive prime number.




"orders of elements in integral domain" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: order (of a group), ideal of elements with finite order


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: prime number, positive, unity, equation, proof, additive group, zero divisors, non-zero unity, commutative ring, integral domain

This is version 6 of orders of elements in integral domain, born on 2006-02-11, modified 2006-09-29.
Object id is 7615, canonical name is OrdersOfElementsInIntegralDomain.
Accessed 1556 times total.

Classification:
AMS MSC13G05 (Commutative rings and algebras :: Integral domains)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)