The polynomial is Eisenstein at every prime number , so a polynomial root generates a totally ramified cubic field . The splitting-field Galois group is a transitive subgroup of , hence or . Its polynomial discriminant is
The product of the three polynomial root differences is a square root of , transformed by the sign of the polynomial root permutation. Thus the group is exactly when is a square, and otherwise it is . In the latter case the splitting field is
Indeed adjoining one polynomial root leaves a quadratic factor, whose polynomial discriminant is , so the square root of supplies its remaining polynomial roots.
Suppose first that . The unit reduces to , and Hensel's lemma makes it a square exactly when is a square modulo . Quadratic reciprocity gives
If , the field generated by is already the cyclic splitting field, totally ramified of degree three. If , the nonsquare unit gives an unramified quadratic field . Since and have coprime degrees, . Its residue degree is at least two and its ramification index at least three; their product is six, so they are exactly two and three. Thus its inertia group is the normal inside .
In both cases the ramification index is three and is not divisible by . The wild inertia group is trivial, so all positive lower groups are trivial. As a different check, has valuation two in when , agreeing with tame different exponent .
For the polynomial discriminant is , which is nonsquare. Hence . The quadratic subfield can be written with . It is ramified of degree two, by the Eisenstein polynomial . Together with the totally ramified cubic field this forces to be divisible by both two and three. Since , the splitting field is totally ramified. In its normalized valuation,
All differences between distinct polynomial roots have the same valuation, since permutes the polynomial root pairs and preserves the absolute value on a field. Also
has valuation six, so each polynomial root difference has valuation three. A nonidentity three-cycle fixes , and therefore
The transposition fixing negates , so sends to and has displacement valuation . The other transpositions have the same value by conjugacy. The uniformizer criterion now determines every group:
For the wild case the different exponent is . Independently, the cubic subfield has different exponent , and the quadratic extension is tame with exponent one. The tower formula gives , confirming the filtration. Its positive upper break is , because . This completes ramification of the splitting field of X3 plus pX plus p for every odd prime number.