Pic als Funktor

Ein Ringhomomorphismus

${\displaystyle f\colon A\to B}$

induziert einen Gruppenhomomorphismus

${\displaystyle \mathrm {Pic} (f)\colon \mathrm {Pic} (A)\to \mathrm {Pic} (B)}$

${\displaystyle \mathrm {Pic} (f)\colon P\mapsto P\otimes _{A}B}$

denn durch ${\displaystyle f}$ wird ${\displaystyle B}$ zu einer ${\displaystyle A}$-Algebra. Ist ${\displaystyle P}$ ein projektiver Modul vom Rang 1 über ${\displaystyle A}$, so ist

${\displaystyle P\otimes _{A}B}$

ein projektiver Modul vom Rang ${\displaystyle 1}$ über ${\displaystyle B}$.

${\displaystyle \mathrm {Pic} }$ ist ein kovarianter Funktor.

Die Picardgruppe und die Idealklassengruppe

Im Folgenden sei ${\displaystyle S}$ eine multiplikative Menge ohne Nullteiler. (Eine Menge ${\displaystyle S}$ ist multiplikativ, wenn ${\displaystyle 1\in S}$ und ${\displaystyle r,s\in S\Rightarrow rs\in S}$.) Ein ${\displaystyle S}$-Ideal ist ein ${\displaystyle A}$-Untermodul ${\displaystyle I}$ von ${\displaystyle S^{-1}}$, für das es ein Element ${\displaystyle s\in S}$ gibt, sodass

${\displaystyle sA\subset M\subset s^{-1}I}$

Bezeichne

${\displaystyle \mathrm {Inv} (A,S)}$

die Menge der invertierbaren S-Ideale von ${\displaystyle A}$ und

${\displaystyle \mathrm {H} (A,S):=\{I\in \mathrm {Inv} (A,S)|\exists x\in S^{-1}AI=Ax\}}$

die Menge der invertierbaren Hauptideale.

${\displaystyle \mathrm {Inv} (A,S)/\mathrm {H} (A,S)}$

wird als die ${\displaystyle S}$-Idealklassengruppe bezeichnet.

Es existiert eine exakte Folge:

${\displaystyle 0\longrightarrow \mathrm {H} (A,S)\longrightarrow \mathrm {Inv} (A,S)\longrightarrow \mathrm {Pic} (A)\longrightarrow \mathrm {Pic} (S^{-1}A)}$

Um also die Picardgruppe als Idealklassengruppe darzustellen, muss eine multiplikative Menge ohne Nullteiler gefunden werden, sodass

${\displaystyle \mathrm {Pic} (S^{-1}A)=0}$

ist.

Wenn eine der folgenden Bedingungen erfüllt ist:

• ${\displaystyle A}$ ist ein Integritätsring und ${\displaystyle S=A\backslash \{0\}}$
• ${\displaystyle A}$ ist ein reduzierter Ring, der nur endlich viele minimale Primideale ${\displaystyle \{p_{1},\dots ,p_{n}\}}$ hat und

${\displaystyle S=A\backslash \bigcup _{i=1}^{n}p_{i}}$

• ${\displaystyle A}$ ist noethersch und

${\displaystyle S=A\backslash \bigcup _{p\in Ass(A)}p}$

Dann ist die Picardgruppe von ${\displaystyle A}$ gleich der ${\displaystyle S}$-Idealklassengruppe von ${\displaystyle A}$.