Devo dimostrare se questo anello quoziente di polinomi è dominio d'integrità o campo:
$ZZ // (X^2 - 2)$
1. E' dominio d'integrità perchè $(X^2 - 2)$ è irriducibile in $ZZ[X]$. Non riesco a trovare una giustificazione valida del fatto che sia campo o meno.