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: High Entry average rating: No information on entry rating
[parent] nilpotency is not a radical property (Proof)

Nilpotency is not a radical property, because a ring does not, in general, contain a largest nilpotent ideal.

Let $k$ be a field, and let $S = k[X_1, X_2, \dotsc]$ be the ring of polynomials over $k$ in infinitely many variables $X_1, X_2, \dots$ Let $I$ be the ideal of $S$ generated by $\{X_n^{n+1} \mid n \in \mathbb(N)\}$ Let $R = S/I$ Note that $R$ is commutative.

For each $n$ let $A_n = \sum_{k=1}^n RX_n$ Let $A = \bigcup A_n = \sum_{k = 1}^\infty RX_n$

Then each $A_n$ is nilpotent, since it is the sum of finitely many nilpotent ideals (see proof here). But $A$ is nil, but not nilpotent. Indeed, for any $n$ there is an element $x \in A$ such that $x^n \neq 0$ namely $x = X_n$ and so we cannot have $A^n = 0$

So $R$ cannot have a largest nilpotent ideal, for this ideal would have to contain all the ideals $A_n$ and therefore $A$




"nilpotency is not a radical property" is owned by mclase.
(view preamble | get metadata)

View style:


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

Cross-references: nil, proof, sum, nilpotent, commutative, generated by, ideal, variables, polynomials, field, nilpotent ideal, contain, ring
There is 1 reference to this entry.

This is version 1 of nilpotency is not a radical property, born on 2004-02-28.
Object id is 5652, canonical name is NilpotencyIsNotARadicalProperty.
Accessed 1759 times total.

Classification:
AMS MSC16N40 (Associative rings and algebras :: Radicals and radical properties of rings :: Nil and nilpotent radicals, sets, ideals, rings)

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

No messages.

Interact
post | correct | update request | add example | add (any)