Bounded automorphisms in simple structures, and definable endomorphisms in expansions of fields by a Pfaffian family of additive endomorphisms
Automorphismes bornés dans les structures simples, et endomorphismes définissables dans les expansions de corps par une famille Pfaffienne d'endomorphismes additifs
Résumé
A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative field-algebraic closure of the F-substructure generated, a definable endomorphism, possibly composed with a power of the Frobenius, is a composition of endomorphisms associated with F.
Un automorphisme borné d'un corps ou d'un groupe de centre approximatif trivial est définissable. Dans une expansion d'un corps par une famille F Pfaffienne d'endomorphismes additifs tel que la clôture algébrique dans l'expansion coïncide avec la clôture algébrique (corpique) relative de la F-sous-structure engendré, un endomorphisme définissable, éventuellement composé par une puissance du Frobenius, est un composition d'endomorphismes associés à F.
Domaines
Logique [math.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|