Let p 1, p 2 be two distinct prime integers, let n be a positive integer, n ≥ 3 and let ξn be a primitive root of order n of the unity. In the 3rd section of this paper we obtain a complete characterization for a quaternion algebra H ( p 1 , p 2 ) to be a division algebra over the nth cyclotomic field Q ( ξ n ) , when n ∈ { 3 , 4 , 6 , 7 , 8 , 9 , 11 , 12 } and we also obtain a characterization for a quaternion algebra H ( p 1 , p 2 ) to be a division algebra over the nth cyclotomic field Q ( ξ n ) , when n ∈ { 5 , 10 } . In the 4th section we obtain a complete characterization for a quaternion algebra H Q ( ξ n ) ( p 1 , p 2 ) to be a division algebra, when n = l k , with l a prime integer, l ≡ 3 (mod 4) and k a positive integer. In the last section of this article we obtain a complete characterization for a quaternion algebra H Q ( ξ l ) ( p 1 , p 2 ) to be a division algebra, when l is a Fermat prime number.
Read full abstract