Galois group of a polynomial (source code)

= Galois group of a polynomial
{c}

The Galois group of a separable polynomial acts faithfully on its roots; this action is transitive exactly when the polynomial is irreducible.