Salve.
Se considero il polinomio X^3 - Y^2 - 1 in Z[Y][X] il polinomio che devo considerare è X^3 - 1 la cui fattorizzazione è (X - 1)(X^2 - X + 1).
Se considero il polinomio X^3 - Y^2 - 1 in Z[X][Y] il polinomio che devo considerare è -Y^2 - 1 che è irriducibile in Z[Y] perché il suo discriminante è negativo.
Esatto?
L'irriducibilità del polinomio posso anche studiarla così?
Ma poi quali passaggi devo fare? Ringrazio coloro i quali mi aiuteranno a risolverlo questo esercizio sui polinomi.