Fox-Ableitung

In der Mathematik ist die Fox-Ableitung, die Fox-Derivation, der Fox-Kalkül oder die Freie Differentialrechnung ein algebraisches Konstrukt in der Theorie der freien Gruppen. In vielen Punkten hat es Ähnlichkeiten zum Konzept der Ableitungen analytischer Funktionen, doch ein wesentlicher Unterschied ist die Tatsache, dass freie Gruppen im Allgemeinen nicht kommutativ sind im Gegensatz zu den reellen Zahlen. Der Fox-Kalkül wurde von Ralph Fox in den Annalen der Mathematik im Jahr 1953 eingeführt.

Es handelt sich um eine spezielle Derivation, mit einer leichten Abwandlung der Leibniz-Regel

D (a b) = D (a) ϵ (b) + a D (b), a, b \in G

wobei $ϵ : ℤ G \to ℤ$ die Augmentationsabbildung vom Gruppenring in den Ring ist.

Definition

Für eine freie Gruppe $G$ mit neutralem Element $e$ und Generatoren $g_{i}$ ist die Fox-Ableitung eine Menge von Abbildungen von der Gruppe $G$ in den Gruppenring $ℤ G$ . Für jeden Generator $g_{i}$ gibt es eine solche Abbildung $\frac{\partial}{\partial g_{i}}$ . Sie erfüllt die folgenden Axiome:

$\frac{\partial}{\partial g_{i}} (g_{j}) = δ_{i j}$ , wobei $δ_{i j}$ das Kronecker-Delta ist
$\frac{\partial}{\partial g_{i}} (e) = 0$
$\frac{\partial}{\partial g_{i}} (u v) = \frac{\partial}{\partial g_{i}} (u) + u \frac{\partial}{\partial g_{i}} (v)$ für Elemente $u$ und $v$ aus $G$ .

Die beiden ersten Axiome gelten auch in der gewöhnlichen Differentialrechnung, wohingegen das dritte eine leichte Abwandlung der Produktregel ist. Man kann zudem aus diesen Axiomen die folgende Regel für die Fox-Ableitung inverser Gruppenelemente herleiten:

$\frac{\partial}{\partial g_{i}} (u^{- 1}) = - u^{- 1} \frac{\partial}{\partial g_{i}} (u)$ für ein Element $u$ aus $G$

Anwendungen

Die Fox-Ableitung hat insbesondere Anwendung in den Gebieten Gruppenkohomologie, Knotentheorie und Überlagerungstheorie. Ein konkretes Beispiel des Nutzen der Fox-Ableitung in der Topologie ist der Beweis, dass der klassifizierende Raum einer Gruppe mit nur einer Relation, die keine Potenz eines Gruppenelements ist, ein spezieller zweidimensionaler CW-Komplex ist.

Siehe auch

Literatur

Fox-Ableitung

Inhaltsverzeichnis

Definition

Anwendungen

Siehe auch

Literatur

Navigationsmenü

Fox-Ableitung

Definition

Anwendungen

Siehe auch

Literatur

Navigationsmenü

Suche