Gyclotomic Division Algebras

Let K be a field of characteristic zero. The Schur subgroup S(K) of Brauer group B(K) consists of those equivalence classes [A] which contain an algebra which is isomorphic to a simple summand of the group algebra KG for some finite group G. It is well known that the classes in S(K) are represented by cyclotomic algebras, (see [16]). However it is not necessarily the case that the division algebra representatives of these classes are themselves cyclotomic. The main result of this paper is to provide necessary and sufficient conditions for the latter to occur when K is any algebraic number field.Next we provide necessary and sufficient conditions for the Schur group of a local field to be induced from the Schur group of an arbitrary subfield. We obtain a corollary from this result which links it to the main result. Finally we link the concept of the stufe of a number field to the existence of certain quaternion division algebras in S(K).

The Schur Subgroup of a p-Adic Field

Let K be a field. The Schur subgroup, S(K), of the Brauer group, B(K), consists of all classes [△] in B(K) some representative of which is a simple component of one of the semi-simple group algebras, KG, where G is a finite group such that char K ∤ G. Yamada ([11], p. 46) has characterized S(K) for all finite extensions of the p-adic number field, Qp. If p is odd, [△] ∈ S(K) if and only ifwhere c is the tame ramification index of k/Qp, k the maximal cyclotomic subfield of K, and s = ((p – 1)/c, [K : k]). invp △ is the Hasse invariant. Yamada showed this by proving first that S(K) is the group of classes containing cyclotomic algebras and then determining the invariants of such algebras.