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 .
Articles by others on the same topic
There are currently no matching articles.