Finitely arithmetically fixed elements of a field (Q866822)

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.