Te echo de menos... matemática!
Let be a nonarchimedean absolute value on the field K. Let A be the corresponding
valuation ring, defined as {x ∈ K : x ≤ 1}, and P the valuation ideal {x ∈ K : x < u ="1." x ="1," 1 ="1," 1 =" 1" u ="1." uv ="1," v ="1." u ="1," 1 ="1." x ="0" x ="1,"> 1, or x > 1 and x−1 <>