Embedding covers and the theory of frobenius fields

We show that the theory of Frobenius fields is decidable. This is conjectured in [4], [8] and [13], and we prove it by solving a group theoretic problem to which this question is reduced there. To do this we present and develop the notion of embedding covers of finite and pro-finite groups. We also answer two other problems from [8], again by solving a corresponding group theoretic problem: A finite extension of a Frobenius field need not be Frobenius and there are PAC fields which are not Frobenius fields. Portions of this work will be incorporated in the doctoral dissertation of the first author done in Tel Aviv University under the supervision of Prof. Moshe Jarden.