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!