Algebra

[miles_davis]

In $ZZ[sqrt(-5)]$ (sottoanello di $CC$)dimostrare che l'ideale $(3, sqrt(-5)-1)$ non è principale. Come si fa? Grazie.

[miles_davis]

Ah, un'altra cosa..
In $ZZ[i]$, l'anello degli interi di Gauss, un elemento irriducibile è primo?

[miles_davis]

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...