Satz von Forster-Swan

Der Satz von Forster-Swan ist ein Resultat aus der kommutativen Algebra, welches eine obere Schranke für die minimale Anzahl der Erzeuger eines endlich erzeugten Moduls $M$ über einem kommutativen noetherschen Ring angibt. Das Besondere an der Aussage liegt darin, dass man, um die Schranke zu bilden, nur die minimale Anzahl der Erzeuger aller Lokalisierungen $M_{𝔭}$ benötigt, was in der Regel viel einfacher zu berechnen ist.

Der Satz wurde 1964 in einer restriktiveren Form von Otto Forster bewiesen und schließlich 1967 von Richard G. Swan verallgemeinert.

Satz von Forster-Swan

Sei

• $R$ ein kommutativer noetherscher Ring mit Einselement,
• $M$ ein endlich-erzeugter $R$-Modul,
• $𝔭$ ein Primideal von $R$.
• $\mu (M),{\mu }_{𝔭}(M)$ sind die minimale Anzahl an Erzeugern um den $R$-Modul $M$ resp. den $R_{𝔭}$-Modul $M_{𝔭}$ zu erzeugen.

Um ${\mu }_{𝔭}(M)$ zu berechnen, genügt es nach dem Lemma von Nakayama, die Dimension des Raumes $M_{𝔭}/𝔭M$ über dem Körper $k(𝔭)=R_{𝔭}/𝔭R_{𝔭}$ zu berechnen, das heißt

${\mu }_{𝔭}(M)={\dim }_{k(𝔭)}(M_{𝔭}/𝔭M).$

Aussage

Definiere die lokale $𝔭$-Schranke

$b_{𝔭}(M):={\mu }_{𝔭}(M)+\dim (R/𝔭),$

dann gilt

$\mu (M)\le \underset{𝔭}{\sup }\{b_{𝔭}(M)|𝔭\text{ist prim},M_{𝔭}\ne 0\}.$

Literatur

• Vorlage:Literatur
• Vorlage:Literatur