Dominio ad ideali principali

Messaggioda klodette89 » 29/05/2015, 21:48

Salve ragazzi!
Potreste aiutarmi a capire se è vero che presi 2 domini ad ideali principali $P$ e $Q$ anche $P$x$Q$ è a sua volta un dominio ad ideali principali? e perchè?
Inoltre $ZZ[x]$ non è dominio ad ideali principali perchè $ZZ$ non è un corpo: si può semplicemente trarre così questa conclusione?
Grazie
klodette89
New Member
New Member
 
Messaggio: 45 di 98
Iscritto il: 20/11/2014, 15:32

Re: Dominio ad ideali principali

Messaggioda Pappappero » 30/05/2015, 05:50

E' un fatto generale che, se $A,B$ sono anelli commutativi con unita', allora gli ideali di $A \times B$ sono della forma $I\times J$ con $I$ ideale di $A$ e $J$ ideale di $B$. Facendo attenzione, si puo' indebolire l'ipotesi di commutativita'. Questa cosa e' facile da dimostrare e da questa si otterra' che se $P,Q$ sono PID anche $P\times Q$ e' un PID. Ti suggerisco di scriverti la dimostrazione, sia dell'osservazione sugli ideali di un prodotto sia su come usare tale osservazione per dedurre il risultato che vuoi dimostrare.

Per quanto riguarda la seconda parte, non e' difficile dimostrare che l'ideale $(2,x)$ di $\mathbb{Z}[x]$ non e' principale. Non ho controllato i dettagli ma ho l'impressione che si possa "mimare" questo esempio per osservare in generale che, se $D$ e' un anello che non e' un campo (quindi ha almeno un elemento non nullo che non e' invertibile) allora $D[x]$ non e' un dominio a ideali principali. Anche in questo caso ti consiglio di provare a scriverti la dimostrazione.
Pappappero
Senior Member
Senior Member
 
Messaggio: 644 di 1848
Iscritto il: 30/12/2010, 16:17

Re: Dominio ad ideali principali

Messaggioda klodette89 » 30/05/2015, 08:55

$ A \times B $Quindi dovrei dimostrare che anche per gli ideali il prodotto di due ideali è un ideale e da ciò trarre conclusioni che il prodotto di due PID è un PID?
Cioè: $ A \times B $ $\Rightarrow$ $ I \times J $ con $I$ e $J$ ideali rispettivamente di $A$ e $B$ $\Rightarrow$ $ P\times Q $ con $P$ e $Q$ PID è un PID. Così?
klodette89
New Member
New Member
 
Messaggio: 46 di 98
Iscritto il: 20/11/2014, 15:32

Re: Dominio ad ideali principali

Messaggioda Pappappero » 30/05/2015, 09:33

La serie di implicazioni che hai scritto non ha particolarmente senso.

Ci sono due cose da dimostrare. La prima cosa e' un'equivalenza ed e' il fatto seguente: dati due anelli (facciamo commutativi per semplicita') $A,B$ e un sottoinsieme $S \subseteq A \times B$ si ha che $S$ e' un ideale se e solo se $S = I \times J$ con $I$ ideale di $A$ e $J$ ideale di $B$. Un verso del se e solo se e' facile facile; per l'altro verso bisogna fare un conticino.

Una volta dimostrato questo, vogliamo applicarlo al caso in cui $A,B$ siano PID. E' immediato osservare che il prodotto di due ideali principali e' un ideale principale, e l'equivalenza che abbiamo dimostrato sopra ci garantisce che tutti gli ideali di $A\times B$ sono di questa forma.
Pappappero
Senior Member
Senior Member
 
Messaggio: 646 di 1848
Iscritto il: 30/12/2010, 16:17

Re: Dominio ad ideali principali

Messaggioda klodette89 » 30/05/2015, 12:13

Implicazione da ($ S = I \times J $ con $I$ ideale di $A$ e $J$ ideale di $B$ ) $\Rightarrow$ $S$ ideale OK!
L'altra implicazione, come posso "risolvere" nella miglior maniera? Grazie
klodette89
New Member
New Member
 
Messaggio: 47 di 98
Iscritto il: 20/11/2014, 15:32

Re: Dominio ad ideali principali

Messaggioda Pappappero » 30/05/2015, 17:29

Prendi $S$ ideale di $A\times B$. Chiama $I = \{a \in A : (a,0) \in S\}$ e $J = \{b \in B : (0,b)\in S\}$. Prova a dimostrare che $I,J$ sono ideale di $A,B$ rispettivamente e che $S = I \times J$.
Pappappero
Senior Member
Senior Member
 
Messaggio: 647 di 1848
Iscritto il: 30/12/2010, 16:17

Re: Dominio ad ideali principali

Messaggioda Trilogy » 03/06/2015, 01:35

Scusate, magari mi sbaglio (è tardino). A me sembra che ci sia un problema di fondo non indifferente.

Se $A$ e $B$ sono domini (ad esempio, ad ideali principali) allora non vale in generale che $A\times B$ è un dominio!

Consideriamo $\mathbb Z\times\mathbb Z$. È un prodotto di due PID, ma è ben lontano dall'essere PID. Infatti, $(1,0)\cdot(0,1)=(0,0)$. Cioè ci sono 0-divisori non banali.
The road to wisdom? Well, it's plain and simple to express: err and err and err again, but less and less and less.
Trilogy
Junior Member
Junior Member
 
Messaggio: 114 di 404
Iscritto il: 05/07/2013, 19:52

Re: Dominio ad ideali principali

Messaggioda Pappappero » 03/06/2015, 03:30

Questa e' una buona obiezione a cui non avevo fatto caso.

Si puo' dunque dedurre, usando l'argomento di cui parlavo, che se $A,B$ sono anelli a ideali principali (credo che la definizione stia in piedi senza problemi), allora $A\times B$ e' un anello a ideali principali. Sono d'accordo che $A \times B$ non sia un dominio.

Chiedo scusa per la vista.
Pappappero
Senior Member
Senior Member
 
Messaggio: 652 di 1848
Iscritto il: 30/12/2010, 16:17


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite