Ramification in the quadratic extension generated by the square root of two
ID: ramification-in-the-quadratic-extension-generated-by-the-square-root-of-two
In , set and normalize , so . The two terms of have valuations of opposite parity, giving . The nonidentity automorphism sends to , and . The lower ramification numbering therefore gives the displayed groups. The different exponent is three.
New to topics? Read the docs here!