Suppose is a finite group of automorphisms of a field . Form the ring which is the subring of the ring of endomorphisms of generated by and multiplication by elements of . Note that if then the composite equals the composite . Show that the -subalgebras of the group ring are those of the form for a subgroup of .
Note By an -subalgebra we mean those subrings that contain all the multiplications by elements .