  In this paper, we develop an explicit method to express finite algebraic
numbers (in particular, certain idempotents among them) in terms of linear
recurrent sequences, and give applications to the characterization of the
splitting primes in a given finite Galois extension over the rational field.
