Fiche du document
2000
- handle: 10670/1.6ez9re
- Bélair, Luc et Macintyre, A. (2000). « L'automorphisme de Frobenius des vecteurs de Witt ». Comptes Rendus de l'Académie des Sciences de Paris, série I, 331, pp. 1-4.
Ce document est lié à :
http://archipel.uqam.ca/3569/
Mots-clés
Logique théorie des modèles vecteurs de Witt automorphisme de Frobenius. Logic model theory Witt vectors Frobenius automorphism.Sujets proches
Análisis de vectores Cálculo de vectores Cálculo vectorial Calcul vectoriel Vecteurs MSC 53A45 (2000)Citer ce document
Luc Bélair et al., « L'automorphisme de Frobenius des vecteurs de Witt », UQAM Archipel : articles scientifiques, ID : 10670/1.6ez9re
Métriques
Partage / Export
Résumé
. On axiomatise la théorie du premier ordre de l’automorphisme de Frobenius du corps des vecteurs de Witt sur la clôture algébrique d’un corps fini. // The Frobenius automorphism of Witt vectors Abstract. We give an axiomatization of the first-order theory of the field of Witt vectors over the algebraic closure of a finite field, with the lifting of the Frobenius map.