Sur les théorèmes de Sylow pour les groupes avec opérateurs
A finite group whose irreducible characters are rational valued is called a rational or a Q-group. In this paper we obtain various results concerning the structure of a Sylow 2-subgroup of a solvable Q-group.
Let be a finite group and a subgroup. Denote by (or ) the crossed product of and (or ) with respect to the adjoint action of the latter on the former. Consider the algebra generated by and , where we regard as an idempotent operator on for a certain conditional expectation of onto . Let us call the basic construction from the conditional expectation . The paper constructs a crossed product algebra , and proves that there is an algebra isomorphism between and .