  In this paper, we give an equivalent condition for an abelian variety over a
finite field to have multiplication by a quaternion algebra over a number
field. We prove the result by combining Tate's classification of the
endomorphism algebras of abelian varieties over finite fields with Yu's
criterion of the existence of homomorphisms between semi-simple algebras.
