Clôture Radicale

L'opération qui associe à une sous-structure (généralement un idéal) l'ensemble des éléments dont une puissance appartient à la sous-structure ; pour un idéal I, son radical rad(I) = {x | x^n ∈ I pour un certain n ≥ 1}, donnant un objet fermé par radical (un idéal égal à son propre radical).