Esercizio di algebra con ideali
Nell'anello $ZZ$ si considerino gli ideali $I=(7+i)$ e $J=(4+2i)$. Determinare gli ideali $I+J$ e $InnJ$ e dire se $I+J$ è un ideale primo.
Per la somma, io avevo pensato di sommare direttamente i rappresentanti dei due ideali, mentre per l'interesezione mi hanno suggerito di fare il mcm tra i due. Per il terzo punto, però, non ho idee. Mi potete aiutare?
Per la somma, io avevo pensato di sommare direttamente i rappresentanti dei due ideali, mentre per l'interesezione mi hanno suggerito di fare il mcm tra i due. Per il terzo punto, però, non ho idee. Mi potete aiutare?
Risposte
il primo credo che fare la somma dei generatori non serva. Piuttosto farei il MCD in quanto (mi pare)
$I+J={a(7+i)+b(4+2i)| a,binZZ}$ il che equivale a prendere l'ideale generato dal MCD
il secondo va bene come dici te, per il terzo proverei a fare il quoziente $(ZZ)/(I+J)$ e vedere se viene un dominio d'integrità oppure siccome $ZZ$ è a un dominio principale è sufficente vedere se il generatore dell'ideale è primo (quest'ultima cosa non sono molto sicuro)
$I+J={a(7+i)+b(4+2i)| a,binZZ}$ il che equivale a prendere l'ideale generato dal MCD
il secondo va bene come dici te, per il terzo proverei a fare il quoziente $(ZZ)/(I+J)$ e vedere se viene un dominio d'integrità oppure siccome $ZZ$ è a un dominio principale è sufficente vedere se il generatore dell'ideale è primo (quest'ultima cosa non sono molto sicuro)