Ideali radicali e ideali primi

[balestrav]

Salve, avrei bisogno di una mano.
Sia A un anello non nullo, provare che un ideale I di A è radicale se e solo se è intersezione di ideali primi.
Allora,se è intersezione di primi allora è radicale (ok), ma non riesco a fare il viceversa. Se sapessi che I ammette una decomposizione primaria allora sarebbe facile, ma in generale questo non è vero. Come si potrebbe procedere? Grazie

[Studente Anonimo]

Andando a quoziente ti riduci a mostrare che l'intersezione degli ideali primi coincide col nilradicale.

Questo è un risultato che dovresti conoscere. Si dimostra considerando gli ideali primi del localizzato [tex]A_f[/tex], dove [tex]f[/tex] è un elemento non nilpotente di [tex]A[/tex]. Siccome [tex]A_f \neq 0[/tex] (perché [tex]f[/tex] non è nilpotente) questo localizzato ammette ideali massimali (qui serve il lemma di Zorn), che corrispondono ad ideali primi di [tex]A[/tex] non contenenti [tex]f[/tex] (fine).

[balestrav]

Scusa, ma non ho capito.. Ci sono sul fatto che il nilradicale è l'intersezione di tutti i primi, ma non capisco la connessione col fatto che un ideale radicale sia intersezione di primi..

[Studente Anonimo]

Pensa al teorema di corrispondenza per gli ideali: l'intersezione degli ideali primi contenenti un ideale [tex]I[/tex] corrisponde all'intersezione degli ideali primi di [tex]A/I[/tex], quindi è uguale a [tex]\sqrt{I}[/tex].

[balestrav]

ok, grazie!