P進閉体
K は付値 v を持つ体で前段落にいう仮定を満足するものとし、記法も踏襲するものとして、コッヘン作用素は
で定義される。γ(z) が常に非負の付値を持つことを確かめるのは容易い。コッヘン作用素は、形式的に実の場合の平方函数の p-進(あるいは v-進)版と考えることができる。