ここでは複素解析でよく知られた「一致の定理」の 版を紹介します. そもそも とは何かというと, 素数 に対して 進数体 があり, これの代数閉包 を考えるのですが, これは完備でないので完備化したものが です. ちょうど と のような関係です. 定理に入る前に…