No, su quest'ultima questione ho capito, perchè:
$ZZ[i]$ è un dominio euclideo quindi è un dominio principale quindi è a fattorizzazione unica quindi la nozione di primo e di irriduciblie in $ZZ[i]$ coincidono. Quindi mi serve solo la prima richiesta...
Uno per tutti di certo fa tutti...