Correspondance de Dold-Kan
dans Algèbre
Bonsoir,
Soit $ K_{ \bullet } \in s \mathrm{Set} $ un ensemble simplicial.
Soit $ \mathbb{Z} K_{ \bullet } $ le groupe abélien libre simplicial engendré par $ K_{ \bullet } $ ( i.e : $ ( \mathbb{Z} K_{ \bullet } )_n $ est un groupe abélien libre engendré par $ K_n $ pour tout $ n \geq 0 $ )
Soit $ \mathbb{Z} [n]_* $ le complexe de chaînes de groupes abéliens définit par :
$$ \mathbb{Z} [n]_{k} = \begin{cases} \mathbb{Z} \ \ \mathrm{si} \ k=n \\ 0 \ \ \ \ \mathrm{si} \ k \neq 0 \end{cases} $$
Pourquoi : $ \mathrm{DK}_{ \bullet } ( \mathbb{Z} [n] ) \simeq \mathbb{Z} \Delta^n / \mathbb{Z} \partial \Delta^n $ ( Isomorphisme de groupes abéliens simpliciales ).
$ \mathrm{DK} $ est le foncteur de Dold-Kan.
Merci d'avance.
Soit $ K_{ \bullet } \in s \mathrm{Set} $ un ensemble simplicial.
Soit $ \mathbb{Z} K_{ \bullet } $ le groupe abélien libre simplicial engendré par $ K_{ \bullet } $ ( i.e : $ ( \mathbb{Z} K_{ \bullet } )_n $ est un groupe abélien libre engendré par $ K_n $ pour tout $ n \geq 0 $ )
Soit $ \mathbb{Z} [n]_* $ le complexe de chaînes de groupes abéliens définit par :
$$ \mathbb{Z} [n]_{k} = \begin{cases} \mathbb{Z} \ \ \mathrm{si} \ k=n \\ 0 \ \ \ \ \mathrm{si} \ k \neq 0 \end{cases} $$
Pourquoi : $ \mathrm{DK}_{ \bullet } ( \mathbb{Z} [n] ) \simeq \mathbb{Z} \Delta^n / \mathbb{Z} \partial \Delta^n $ ( Isomorphisme de groupes abéliens simpliciales ).
$ \mathrm{DK} $ est le foncteur de Dold-Kan.
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres