We strengthen a result of Michiel Kosters by proving the following theorems: (*) Let ${\phi}:W{\rightarrow}V$ be a finite surjective morphism of algebraic varieties over an ample field K. Suppose V has a simple K-rational point a such that $a{\not\in}...
We strengthen a result of Michiel Kosters by proving the following theorems: (*) Let ${\phi}:W{\rightarrow}V$ be a finite surjective morphism of algebraic varieties over an ample field K. Suppose V has a simple K-rational point a such that $a{\not\in}{\phi}(W(K_{ins}))$. Then, card($V(K){\backslash}{\phi}(W(K))$ = card(K). (**) Let K be an infinite field of positive characteristic and let $f{\in}K[X]$ be a non-constant monic polynomial. Suppose all zeros of f in $\tilde{K}$ belong to $K_{ins}{\backslash}K$. Then, card(K \ f(K)) = card(K).