Admissible groups, symmetric factor sets, and simple algebras (Q1065123)

Let K be a field of characteristic zero and let D be a finite dimensional central division algebra over K. In [Commun. Algebra 6, 237-248 (1978; Zbl 0393.16015)], the author proved that if K contains no non-trivial odd order roots of unity, then every finite odd order subgroup of \(D^*\) is cyclic. In the first part of this paper, the author generalizes (and simplifies the proof of) this result. In the second part, he gives necessary and sufficient conditions for a simple algebra, with an abelian maximal subfield, to be isomorphic to a tensor product of cyclic algebras. This uses symmetric factor sets.