2015/06/12 by Wagner, Frank Olaf
#Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1506.04162
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 bounded endomorphism, possibly composed with a power of the Frobenius, is a composition of endomorphisms associated with F.