Me dijeron que
$x^3-y^2$ es irreducible en $\Bbb C[x,y]$ .
Pero realmente no puedo dar un argumento sólido. Supuse que podría ser factorizado como $g_1, g_2$ y consideré aquellos monomios divisibles por $y$ . Pero las posibles cancelaciones lo hacen difícil.
EDIT: Pensamientos:
Supongamos que $(x^3-y^2)$ es reducible en $k[y][x] \cong k[x,y]$ entonces se factoriza como un polinomio en $x$ sobre el anillo $k[y]$ . Como el grado es $3$ debe existir una factorización monomial. Por lo tanto, existe una solución polinómica $x=P(y)$ , lo cual es imposible.
2 votos
Tus pensamientos son correctos. Otra forma es factorizarlo en $k[x][y]$ y observar que $4x^3$ no es un cuadrado.