Let be odd and letFor , define . Matrix multiplication and the identitygive the two filtration inequalities. Since , only the p-power condition remains. The binomial theorem givesThe first term has valuation , while every other term has strictly larger valuation because is odd and . Hence , so this is a p-valuation.
Finally, if are p-valuations, put . Taking minima preserves both filtration inequalities and the strict lower bound, whileIf , both original valuations force . Therefore the pointwise minimum of two p-valuations is again a p-valuation.
Articles by others on the same topic
There are currently no matching articles.