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.
Fichier(s) associé(s) à ce document :
Résumé
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.