Side 1 av 1

Zariski topology

Lagt inn: 28/11-2016 15:17
av CharlieEppes
In this exercise we let $A = \mathbb{Z}$ and consider $Spec{\mathbb{Z}}$.
Let $I = (12) ⊆ \mathbb{Z}$. What is $X = \nu (I) ⊆ Spec \mathbb{Z}$?
What is $I(X) ⊆\mathbb{Z}$ ? What is $rad(I)$?
Is $X$ an irreducible closed subset of $Spec \mathbb{Z}$?

$X = \nu (I) = \{P \in Spec\mathbb{Z} | P \supset I\} = \{ (2), (3) \}$
[tex]I(X) = \bigcap _{P \in X} P \implies I(X) = (2) \cap (3) = (6)[/tex]
$12 = 2^2 * 3$
$rad I = (2)*(3) = (6) \implies rad I = I(X)$
$\implies X \ irreducible$

Litt usikker på det siste punktet, som sier X irreducible. Trengs det flere betingelser eller er dette nokk?

Re: Zariski topology

Lagt inn: 28/11-2016 17:34
av Gustav
Kan du ikke skrive $X=\nu((2))\cup \nu((3))$ da? Da er jo X redusibel.

Re: Zariski topology

Lagt inn: 28/11-2016 17:57
av Gustav
Hvis du ser i Reid på side 78 så står det at betingelsen for at X er irredusibel er at rad(I) er prim, og (6) er ikke prim.

Re: Zariski topology

Lagt inn: 28/11-2016 20:03
av CharlieEppes
plutarco skrev:Hvis du ser i Reid på side 78 så står det at betingelsen for at X er irredusibel er at rad(I) er prim, og (6) er ikke prim.
Du har nok rett som vanlig :) Gikk nok litt fort i svingene når jeg leste over det, fikk ikke med meg den betingelsen om prim :mrgreen: