Anello ridotto

In matematica, un anello ridotto è un anello privo di elementi nilpotenti non nulli, ovvero in cui le potenze $x^{2},x^{3},\ldots ,x^{n},\ldots ,$ di ogni elemento non nullo $x$ sono tutte diverse da 0.

Il concetto di anello ridotto è più debole di quello di dominio d'integrità, in quanto un divisore dello zero può non essere nilpotente: ad esempio, gli anelli $\mathbb {Z} [x,y]/(xy)$ e $\mathbb {Z} \times \mathbb {Z}$ sono anelli ridotti ma non sono domini d'integrità.

Dato un anello $A$ e un ideale $I$ , il quoziente $A/I$ è ridotto se e solo se $I$ è un ideale radicale; in particolare, $A$ è ridotto se e solo se l'ideale $(0)$ è radicale, cioè se e solo se il nilradicale di $A$ (che è uguale all'intersezione di tutti gli ideali primi di $A$ ) è $(0)$ . Sottoanelli, prodotti diretti e localizzazioni di anelli ridotti sono ancora ridotti.

In geometria algebrica, gli anelli ridotti sono rilevanti in quanto gli anelli delle coordinate delle varietà affini sono anelli ridotti. Più precisamente, una delle forme equivalenti del teorema degli zeri di Hilbert afferma che, se $K$ è un campo algebricamente chiuso, allora c'è una corrispondenza biunivoca tra l'insieme delle varietà affini in $K^{n}$ e quello dei quozienti ridotti di $K[X_{1},\ldots ,X_{n}]$ e, per estensione, tra le varietà affini su $K$ e le $K$ -algebre commutative, ridotte e finitamente generate. Il concetto può essere poi generalizzato a quello di schema ridotto.