Lexikon der Mathematik: Divisorengruppe
additive Gruppe aller Divisoren in einer offenen Menge D ⊂ ℂ. Ein Divisor in D ist hierbei eine Abbildung \({\mathfrak{d}}:\,D\,\to \,{\mathbb{Z}}\) derart, daß deren Träger supp \({\mathfrak{d}}=\,\{z\,\in \,D\,:\,{\mathfrak{d}}(z)\,\ne \,0\}\,\) diskret und abgeschlossen in D ist, d. h. keinen Häufungspunkt in D besitzt. Die Menge Div (D) aller Divisoren in D ist mit der punktweisen Addition von Abbildungen als Verknüpfung eine abelsche Gruppe.
Es sei f eine in Dmeromorphe Funktion mit diskreter Nullstellenmenge N(f) und Polstellenmenge P(f).
Für a ∈ N(f) sei n(f, a) ∈ ℕ die Nullstellenordnung von a und für b ∈ P(f) sei m(f, b) ∈ ℕ die Polstellenordnung von b.
Dann wird durch \({\mathfrak{d}}\,(z):=\,n(f,\,z)\) für z ∈ N(f), \({\mathfrak{d}}\,(z):=\,-m(f,\,z)\) für z ∈ P(f) und \({\mathfrak{d}}\,(z):=0\) für z ∈ D \ (N(f) ∪ P(f)) ein Divisor \((f)\,=\,{\mathfrak{d}}\) in D definiert, und der Träger von (f) ist die Menge N(f)∪P(f). Ein solcher Divisor heißt Hauptdivisor. Man vergleiche hierzu auch das Stichwort Divisor auf einer komplexen Mannigfaltigkeit.
Ein positiver Divisor ist ein Divisor \({\mathfrak{d}}\) mit \({\mathfrak{d}}(z)\ge \,0\) für alle z ∈ D. Jede in Dholomorphe Funktion mit diskreter Nullstellenmenge definiert, wie oben erläutert, einen positiven Divisor. Daher nennt man positive Divisoren auch Nullstellenverteilungen. Jeder Divisor kann als Differenz zweier positiver Divisoren dargestellt werden.
Aus dem Weierstraßschen Produktsatz folgt, daß jeder Divisor in D ein Hauptdivisor ist.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.