ここでは東大数理の修士課程の院試の2024B02の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
剰余環
$$
R:=\mathbb{C}[X,Y]/(X^2-Y^5)
$$
を考え、$X,Y$で代表される$R$の元を$x,y$とおく。$R$のイデアル$\mathfrak{m}=(x,y)$をとり、集合
$$
(x\mathfrak{m},\mathfrak{m}):=\{r\in R|r\mathfrak{m}\subseteq x\mathfrak{m}\}
$$
を定める。