This is probably an incredibly stupid question, but I'm a novice to representation theory and finite field theory, as I've just been introduced to these concepts, so all I really need is confirmation of the following:
Let $S_n$ be the symmetric group of $n$ symbols and let $F=\mathbb{F}_q$ be a finite field of $q$ elements and characteristic $p>n$. Then $F$ is a splitting field for $S_n$ (that is to say every irreducible $FS_n$-module is absolutely irreducible). Furthermore, every irreducible representation of $S_n$ over $F$ is also irreducible over $\mathbb{C}$.
This seems almost tautological to me, but it would be nice to have confirmation just to make sure I haven't misunderstood thinks spectacularly.
As a further (potentially stupid) question, are these irreducible representations over $F$ the 'same' as those over $\mathbb{C}$, albeit with reduction modulo $p$. Do they have the same degree for instance? Again from the definitions, this would appear to me to be an emphatic yes, but again it would be nice to have confirmation.
Thank you.