	A module "M" over "R"["G"] is then the same as a linear representation of "G" over the field "R". There is no particular reason to limit "R" to be a field here. However, the classical results were obtained first when "R" is the complex number field and "G" is a finite group, so this case deserves close attention. It was shown that "R"["G"] is a semisimple ring, under those conditions, with profound implications for the representations of finite groups. More generally, whenever the characteristic of the field "R" does not divide the order of the finite group "G", then "R"["G"] is semisimple (Maschke's theorem).