Finitely arithmetically fixed elements of a field
Recently \textit{A. Tyszka} [Aequationes Math. 71, No. 1--2, 100--108 (2006; Zbl 1112.12001)]), investigated the elements \(r\) of a field \(L\) with the following property: there exists a finite set \(A\subseteq L\) containing \(r: r\in A\), such that any map \(f: A\to L\) which, behaves ``like homomorphism on \(A\) leaves \(r\) fixed: \(f(r)=r\). Then, \(r\) is called ``a finitely arithmetically fixed (f.a.f.) element. The f.a.f. elements form a subfield of \(L\) and Tyszka proves, with analytic theory, that for \(L= \mathbb R\) or \(L=\mathbb Q_p\) a \(p\)-adic field, the f.a.f. elements are exactly the algebraic ones. This result follows from Proposition 2 of the paper under review, which is proved in a purely algebraic way. For any field extension \(L/K\), the author extends the above property to a relative notion and then studies the elements \(r\in L\) ``finitely arithmetically fixed over \(K\) (f.a.f.\(_K\)). With this generalization, Tyszka's original property is obtained for the case when \(K\) is the prime field of \(L\). Several results describing the set of f.a.f.\(_K\) elements are provided.
- A discrete form of the theorem that each field endomorphism of R( Q_p) is the identity
- scientific article; zbMATH DE number 1092206
- On the identification of carriers. I: Fields
- Elementary equivalence versus isomorphism
- On the Frobenius functor for symmetric tensor categories in positive characteristic
- Algebraic number fields elementarily determined by their absolute Galois group
- Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
- CHARACTERIZATION OF ( , 𝔽s)-POLYNOMIALS
- scientific article; zbMATH DE number 3842015
- scientific article; zbMATH DE number 2186654
This page was built for publication: Finitely arithmetically fixed elements of a field
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866822)
