Ax-Kochen 同構定理

令 為 素數集合，令 和 分別為 p-adic 數域 和在 上的形式 冪級數域。進一步假設 是 上的一個“非主極大濾子”。則 和 是同構的。