Benutzer:Rk192: Unterschied zwischen den Versionen
Rk192 (Diskussion | Beiträge) |
Rk192 (Diskussion | Beiträge) |
||
| Zeile 4: | Zeile 4: | ||
Eine Homologie ist ein mathematisches Objekt und beschreibt die Folge von Gruppen <math>\operatorname{H}_n </math>, welche etwas an Vorarbeit benötigen um verstanden zu werden. | Eine Homologie ist ein mathematisches Objekt und beschreibt die Folge von Gruppen <math>\operatorname{H}_n </math>, welche etwas an Vorarbeit benötigen um verstanden zu werden. | ||
=== Die Homologiegruppen === | === Die Homologiegruppen === | ||
| + | Sei <math>R</math> ein Hauptidealring. | ||
===== Komplex: ===== | ===== Komplex: ===== | ||
Zunächst müssen wir verstehen, was ein sogenannter Komplex ist. Dies geht allerdings sehr rasch; ein Komplex ist eine Folge von Moduln <math>A_n </math> über einem Ring <math>R </math> zusammen mit Übergangsabbildungen <math>d_n : A_n \to A_{n-1} </math>, sodass die Hintereinanderausführung zweier aufeinanderfolgender Übergangsabbildungen null ergibt, also, dass für alle <math> n \in \mathbb{N}</math> gilt <math> d_n \circ d_{n-1} = 0</math>. | Zunächst müssen wir verstehen, was ein sogenannter Komplex ist. Dies geht allerdings sehr rasch; ein Komplex ist eine Folge von Moduln <math>A_n </math> über einem Ring <math>R </math> zusammen mit Übergangsabbildungen <math>d_n : A_n \to A_{n-1} </math>, sodass die Hintereinanderausführung zweier aufeinanderfolgender Übergangsabbildungen null ergibt, also, dass für alle <math> n \in \mathbb{N}</math> gilt <math> d_n \circ d_{n-1} = 0</math>. | ||
| − | + | Zuerst müssen wir verstehen, was ein Komplex von <math>R</math>-Moduln ist. Ein Komplex ist eine Folge von <math>R</math>-Moduln <math>(A_n)_{n \in \mathbb{Z}}</math> zusammen mit Übergangsabbildungen <math>(d_n:A_n \rightarrow A_{n-1})_{n \in \mathbb{Z}}</math>, sodass | |
| + | : <math>d_n \circ d_{n+1} = 0</math> | ||
| + | für jedes <math>n \in \mathbb{Z}</math> gilt. | ||
===== Homologie: ===== | ===== Homologie: ===== | ||
Darauf aufbauend ist die Homologie jetzt einfach definiert als: | Darauf aufbauend ist die Homologie jetzt einfach definiert als: | ||
<math>\operatorname{H}_n := \operatorname{ker}(d_n)/\operatorname{im}(d_{n+1}) </math> | <math>\operatorname{H}_n := \operatorname{ker}(d_n)/\operatorname{im}(d_{n+1}) </math> | ||
Version vom 10. September 2021, 12:08 Uhr
Berechnung von Homologie via Smith Normalform
Was ist Homologie?
Eine Homologie ist ein mathematisches Objekt und beschreibt die Folge von Gruppen [math]\operatorname{H}_n [/math], welche etwas an Vorarbeit benötigen um verstanden zu werden.
Die Homologiegruppen
Sei [math]R[/math] ein Hauptidealring.
Komplex:
Zunächst müssen wir verstehen, was ein sogenannter Komplex ist. Dies geht allerdings sehr rasch; ein Komplex ist eine Folge von Moduln [math]A_n [/math] über einem Ring [math]R [/math] zusammen mit Übergangsabbildungen [math]d_n : A_n \to A_{n-1} [/math], sodass die Hintereinanderausführung zweier aufeinanderfolgender Übergangsabbildungen null ergibt, also, dass für alle [math] n \in \mathbb{N}[/math] gilt [math] d_n \circ d_{n-1} = 0[/math]. Zuerst müssen wir verstehen, was ein Komplex von [math]R[/math]-Moduln ist. Ein Komplex ist eine Folge von [math]R[/math]-Moduln [math](A_n)_{n \in \mathbb{Z}}[/math] zusammen mit Übergangsabbildungen [math](d_n:A_n \rightarrow A_{n-1})_{n \in \mathbb{Z}}[/math], sodass
- [math]d_n \circ d_{n+1} = 0[/math]
für jedes [math]n \in \mathbb{Z}[/math] gilt.
Homologie:
Darauf aufbauend ist die Homologie jetzt einfach definiert als:
[math]\operatorname{H}_n := \operatorname{ker}(d_n)/\operatorname{im}(d_{n+1}) [/math]