Schur group

Let be a field. The Schur group of is the subgroup of the Brauer group consisting of those classes of centrally simple -algebras that occur in the group algebra of some finite group . Since the Schur indices for are trivial in prime characteristic (Wedderburn's theorem; cf. also Schur index), one may assume that . By Brauer's theorem (cf. Schur index), the field of th roots of unity is a splitting field for . Thus, the study of essentially is reduced to the cases where is an algebraic number field (finite over the rational numbers; cf. also Algebraic number; Number field) or a completion of such an with regard to an (infinite or finite) prime.

Considering direct products of groups and groups with opposite multiplication shows that is indeed a subgroup of . The celebrated Brauer–Witt theorem implies that the elements of are represented by cyclotomic algebras. These are crossed products of fields with Galois groups (cf. also Galois group), in the sense of E. Noether, where the factor sets have finite order.

Schur indices over the real numbers are computed by means of the Frobenius–Schur count of involutions. Let be a Galois extension of -adic number fields for some prime number , with group , and let be the ramification index and let be the group of units in . Then is the (cyclic) subgroup of of order . It follows that has order dividing when is odd and dividing otherwise.

More detailed investigations of the underlying cyclotomic algebras have been carried out in [a1]. An alternative approach can be found in [a2]. Explicit generators for in terms of "Schur groups" have been given in [a3].

These "Schur groups" occur as terminal reduction steps by repeated application of the Brauer–Witt theorem over local fields. They are the smallest groups admitting characters with non-trivial Schur index, and they appear as sections in any finite group having irreducible characters with non-trivial Schur index. In fact, one has a substitute for the concept of a cyclotomic algebra from the point of view of group representations and characters. There is also a close relationship to Clifford theory (of simple modules).

The theory has numerous applications concerning the behaviour of the Schur index of an irreducible character of some finite group (over the rational numbers; cf. also Character of a group). For example, the Benard–Schacher theorem states that is a divisor of the number of roots of unity in the value field . This leads to interesting block-theoretic consequences (the Feit–Solomon theorem), and to a similar result in Clifford theory.

References

[a1]	T. Yamada, "The Schur subgroup of the Brauer group" , Lecture Notes in Mathematics , 397 , Springer (1974) MR0347957 Zbl 0321.20004
[a2]	A. Adem, R.J. Milgram, "Cohomology of finite groups" , Springer (1994) MR1317096 Zbl 0828.55008 Zbl 0820.20060
[a3]	U. Riese, P. Schmid, "Schur indices and Schur groups, II" J. Algebra , 182 (1996) pp. 183–200 MR1388863 Zbl 0859.20006