Nilradical and radical ideals

[10/50%]
Show
LaTeX

If AA is a commutative ring and A[[x]]A[[x]] is the ring of formal power series over AA, show that if f=∑n=0∞anxnf = \sum_{n=0}^\infty a_n x^n is nilpotent, then all the elements ai∈Aa_i \in A are nilpotent. If AA is Noetherian, prove the converse, i.e., that if all the elements aia_i are nilpotent, then ff is nilpotent.

?

Show that the nilpotent elements of a commutative ring form a subring.

?

Show that the nilpotent elements of a commutative ring form a subring.

?

Show that ZnZ_n has a nonzero nilpotent element if and only if nn is divisible by the square of some prime.

?

Let RR be a commutative ring and let AA be any ideal of RR. Show that the nil radical of AA, N(A)={r∈R∣rn∈A for some positive integer n (n depends on r)}N(A) = \left\{ r \in R \mid r^n \in A \text{ for some positive integer } n\ (n \text{ depends on } r)\right\}, is an ideal of RR.

(Definitions used elsewhere in this chapter's exercises: a prime ideal AA of a commutative ring RR is a proper ideal of RR such that a,b∈Ra, b \in R and ab∈Aab \in A imply a∈Aa \in A or b∈Ab \in A; a maximal ideal of RR is a proper ideal AA such that, whenever BB is an ideal of RR with A⊆B⊆RA \subseteq B \subseteq R, then B=AB = A or B=RB = R.)

?
Remark.
?

N(⟨0⟩)N( \left\langle 0\right\rangle ) is called the nil radical of RR.

Let R=Z27R = Z_{27}. Find

?
(a)

N(⟨0⟩)N( \left\langle 0\right\rangle ).

(b)

N(⟨3⟩)N( \left\langle 3\right\rangle ).

(c)

N(⟨9⟩)N( \left\langle 9\right\rangle ).

Let R=Z36R = Z_{36}. Find

?
(a)

N(⟨0⟩)N( \left\langle 0\right\rangle ).

(b)

N(⟨4⟩)N( \left\langle 4\right\rangle ).

(c)

N(⟨6⟩)N( \left\langle 6\right\rangle ).

Let RR be a commutative ring. Show that R/N(⟨0⟩)R/N( \left\langle 0\right\rangle ) has no nonzero nilpotent elements.

?

Let AA be an ideal of a commutative ring. Prove that N(N(A))=N(A)N(N(A)) = N(A).

?

References

[CJP+11] Chen J., Jiang G., Pan Y., Qin T., Tong Y., Wu Q., Xu S., Li T. Problems and Solutions in Mathematics. 2nd ed., World Scientific, 2011.
[Gal21] Gallian J.A. Contemporary Abstract Algebra. 10th ed., CRC Press, 2021.
[Вин14] Винберг Э.Б. Курс алгебры. 2-е изд., МЦНМО, 2014.