Una duda, como se puede ver que los ideales de \( \mathbb{Z}_{18} \) están en conrrespondencia inyectiva con los ideales de \( \mathbb{Z} \) que contienen al ideal \( 18\mathbb{Z} \)? (sé que un ideal de \( \mathbb{Z} \) contiene al ideal \( 18\mathbb{Z} \) si y sólo si \( n|18 \))
Ya lo encontré, es por el cuarto teorema de isomorfía para anillos.