Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-145/1/solution

A filtration on a group is a function satisfying
It is a p-valuation when it is separated and, for ,
Let be odd and let
For , define . Matrix multiplication and the identity
give the two filtration inequalities. Since , only the p-power condition remains. The binomial theorem gives
The 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, while
If , both original valuations force . Therefore the pointwise minimum of two p-valuations is again a p-valuation.

New to topics? Read the docs here!