令 为 素数集合,令
和
分别为 p-adic 数域 和在
上的形式 幂级数域。进一步假设
是
上的一个“非主极大滤子”。则
和
是同构的。
Ax-Kochen 同构定理
另请参阅
超实数, 非标准分析使用 Wolfram|Alpha 探索
请引用为
Weisstein, Eric W. "Ax-Kochen 同构定理。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/Ax-KochenIsomorphismTheorem.html