PlanetMath (more info)
 Math for the people, by the people.
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
Krull intersection theorem (Theorem)

Given a Noetherian ring $ A$, an $ A$-module $ M$, and an ideal $ I$ inside the radical of $ A$, we have that $ M$ is separated with respect to the $ I$-adic topology.

Furthermore, if $ A$ is also an integral domain and $ J\subset A$ is a proper ideal, we have

$\displaystyle \bigcap_{n>0}J^n=(0)$    



"Krull intersection theorem" is owned by mathcam.
(view preamble | get metadata)

View style:

Log in to rate this entry.
(view current ratings)

Cross-references: proper ideal, integral domain, topology, separated, radical, ideal, noetherian ring
There is 1 reference to this entry.

This is version 4 of Krull intersection theorem, born on 2004-09-14, modified 2008-05-27.
Object id is 6173, canonical name is KrullIntersectionTheorem.
Accessed 1665 times total.

Classification:
AMS MSC13E05 (Commutative rings and algebras :: Chain conditions, finiteness conditions :: Noetherian rings and modules)

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

No messages.

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