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] an Artinian integral domain is a field (Theorem)

Let $R$ be an integral domain, and assume that $R$ is Artinian.

Let $a \in R$ with $a \neq 0$ Then $R \supseteq aR \supseteq a^2R \supseteq \cdots$

As $R$ is Artinian, there is some $n\in\N$ such that $a^nR=a^{n+1}R$ There exists $r \in R$ such that $a^n=a^{n+1}r$ that is, $a^n1=a^n(ar)$ But $a^n \neq 0$ (as $R$ is an integral domain), so we have $1=ar$ Thus $a$ is a unit.

Therefore, every Artinian integral domain is a field.




"an Artinian integral domain is a field" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: a finite integral domain is a field


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

Cross-references: field, unit, artinian, integral domain
There is 1 reference to this entry.

This is version 10 of an Artinian integral domain is a field, born on 2002-07-02, modified 2006-08-08.
Object id is 3150, canonical name is AnArtinianIntegralDomainIsAField.
Accessed 3247 times total.

Classification:
AMS MSC13G05 (Commutative rings and algebras :: Integral domains)
 16P20 (Associative rings and algebras :: Chain conditions, growth conditions, and other forms of finiteness :: Artinian rings and modules)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

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