The statement of the theorem is as follows: If $F$ is the field of complex numbers and $G$ is a finite group, then $F(G)$ [...]"
I'm wondering specifically about what $F(G)$ is? Would I say "$F$ over $G$" or something else if I said it out loud? In the proof of the theorem, they say that $F(G)$ is a finite-dimensional algebra, so is $F(G)$ the notation for an algebra? In the course we've never defined what an algebra is.
Thanks