Radical d'un idéal
Un article de Wikipédia, l'encyclopédie libre.
Soit A un anneau commutatif.
Soit I un idéal de A. Le radical de I est l'ensemble . C'est un idéal de A, propre si I est propre, contenant I. Si I = (0) on parle de nilradical. Si I est un idéal propre de A son radical est l'intersection des idéaux premiers de A qui le contiennent (voir théorème de Krull).