Let $R$ be a commutative integral domain, $I,J,K$ three ideals of $R$ with $I\neq (0)$ being finitely generated. Then does $IJ=IK$ imply $J=K$?
With Nakayama lemma, I can prove it if one of $J$ and $K$ equals to $R$. And I also know it holds when $R$ is a Prüfer domain or $I$ is singly generated.
I think taking $R:=F[X,Y]$, $I:=(X,Y)$, $J:=(X^2,Y^2)$ and $K:=(X^2,XY,Y^2)$ might be a more interesting counterexample, as user26857 noted in the comment.