Innanzitutto un saluto a tutti!
Vi chiedo un aiuto. Ho trovato un esercizio secondo il quale l'anello $\mathbb{Z}_2^X$ delle funzioni $f:X\to \mathbb{Z}_2$ è un anello artiniano (che soddisfa la condizione della catena discendente per gli ideali). Qualcuno potrebbe darmi un suggerimento per la dimostrazione?
Grazie.