Pagina 1 di 1
Anelli
Inviato: 25 ott 2006, 17:14
da dorothyhung
Domanda...
Esistono due anelli non isomorfi A e B tale che SpecA e SpecB (insiemi degli ideali primi dell'anello) siano isomorfi?
e inoltre...
trovare un esempio non banale di una proiezione p: A ---> A/Nil(A) tale che NilA sia diverso da (0) studiandone Spec(p)=p*
Grazie....
Inviato: 25 ott 2006, 17:27
da Catraga
Benvenuta nel forum!
Prima di tutto Spec non e' un operatore sulla categoria degli anelli, poiche' ad un anello associa un insieme di ideali. Dal momento che su tale insieme di ideali non e' definita un'operazione non si puo' parlare di isomorfismo.
Quindi la prima domanda non ha alcun senso.
La senda manca di assunti. Cos'e' $ p $?
(Tutti argomenti OF, ovvero: Off Forum...)
Inviato: 26 ott 2006, 09:11
da dorothyhung
Certo... ho sbagliato...
riformulo la domanda:
Esistono dua anelli A e B non isomorfi tali che Spec(A) sia omomorfo a Spec(B)?
Riguardo p è la proiezione canonica di A in A/Nil(A) non so nulla di più.
Aiutatemi vi prego!
Inviato: 26 ott 2006, 09:43
da Catraga
La prima domanda è ancora inconsistente.
Non ci siamo ancora, non puoi paralare di omomorfismo! Non c'è struttura! Puoi solo parlare di morfismo, ma questo significa nella categoria Ens(Ens) unicamente che i due insiemi stanno in bigezione, ovvero hanno la stessa cardinalità. Ed è ovvio che ne esistano infinite di copppie di tali anelli!
Se p è la proiezione canonica puoi definirne lo Spec(p) attraverso il funtore Spec dalla categoria di Ring alla categoria Ens(Ens).
Adesso esistendo $ \pi\in Mor(A,A\backslash Nil(A)) $ per funtorialità abbiamo che $ Spec[\pi]\in Mor(Spec[A],Spec[A\backslash Nil(A)]). $ ma non seguirei questa strada... Prova a considerare gli elementi nilpotenti e le loro proprietà...
Inviato: 26 ott 2006, 17:54
da dorothyhung
un esempio di due anelli non isomorfi con Spec di uguale cardinalità?
Inviato: 27 ott 2006, 01:17
da Nonno Bassotto
Credo che la domanda giusta sia: esistono due anelli A e B tale che Spec(A) e Spec(B) siano omeomorfi? Per Catraga: Spec(A) e Spec(B) sono schemi, quindi la nozione di isomorfismo è perfettamente definita. Solo che se Spec(A) e Spec(B) sono isomorfi come schemi, A e B sono banalmente isomorfi. Quindi la domanda interessante è se sono omeomorfi come spazi topologici. La riposta, per ora, ve la lascio.
Ciao
Inviato: 27 ott 2006, 10:54
da Catraga
Allora tutto torna, se li si considera come schemi.