Square-class group of a p-adic field

ID: square-class-group-of-a-p-adic-field

For odd , parity of valuation and the square class of the unit residue give a group , represented by for a unit with nonsquare residue. For , valuation parity and unit residue modulo eight give , with generators . The unit criteria follow from the Hensel lemma, using its strong derivative version for .

New to topics? Read the docs here!