**Separable Polynomial**

A polynomial over is said to be separable if it has no multiple roots (i.e., all its roots are distinct).

**Galois Group of Polynomial**

Let be a separable polynomial over . Let be the splitting field over of . Then the Galois group of over is defined to be .