3:24 PM
@ymar Hi, for some reason I didn't get pinged : / Yes, I saw, thanks : )
Quick question: I'm thinking about a bijection between the ideals of $R$ and of $R/I$.
My notes say $J \mapsto \phi^{-1}(J)$.
I don't know what $\phi$ is supposed to be but isn't the map $J \mapsto J/I$ a bijection?
