Definition 2.2. Let (K,|∙|) be a non-archimedean valued field. The valuation ring of K is defined to be

OK={x∈K||x|≤1}(=B¯(0,1))(={x∈K×|v(x)≥0}∪{0})