Ramification of the splitting field of X3 plus pX plus p
ID: ramification-of-the-splitting-field-of-x3-plus-px-plus-p
For an odd prime , this Eisenstein polynomial generates a totally ramified cubic root field. Its discriminant is . For the unit part is a square exactly when . The splitting field then has cyclic Galois group of order three; otherwise it has symmetric group , with an unramified extension of degree two and inertia group . Both cases are tamely ramified, so all positive ramification groups are trivial.
At , adjoining gives a ramified quadratic subfield, and the splitting field has total ramification index six. A root has normalized valuation two, while has valuation three, so is a uniformizer. The derivative has valuation six, and all distinct root differences have valuation three. A three-cycle fixes , giving . A transposition fixing negates , giving valuation one; conjugation handles the other transpositions. Hence , , and for . The different exponent is seven.
New to topics? Read the docs here!