Is this really a module?

1. The problem statement, all variables and given/known data
K is a field with finite characteristic p, G is a finite group, and W is a set that G acts on transitively (so for all x,y in W, there exists g s.t. gx=y). It then says consider M=KW the permutation module.

What is KW supposed to mean? I know for a group G that KG is the group algebra, but we don't know that W is a group (in fact, it probably isn't). Furthermore, what ring is intended to be used for multiplication? I'm confused out of my mind. I've looked back in my lecture notes so far but haven't seen anything to resolve the issue

I think in this setting the permutation module is the KG-module you obtain by letting G act on KW = set of formal linear combinations of elements of W with coefficients in K (which is basically the free K-module generated by W).