TOPICS
Search

Ax-Kochen Isomorphism Theorem


Let P be the set of primes, and let Q_p and Z_p(t) be the fields of p-adic numbers and formal power series over Z_p=(0,1,...,p-1). Further, suppose that D is a "nonprincipal maximal filter" on P. Then product_(p in P)Q_p/D and product_(p in P)Z_p(t)/D are isomorphic.


See also

Hyperreal Number, Nonstandard Analysis

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Ax-Kochen Isomorphism Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Ax-KochenIsomorphismTheorem.html

Subject classifications