Revision #959 → #1453 · back to history
addedp-adic number (series form)f7795b4170bb
addedp-adic integer9bbb8d80b022
addedp-adic absolute value8b13d8acd61b
addedUnique p-adic series representation of rationals870577f2f8b5
addedReduction mod p is not injective6053f8a361e1
addedp-adic numbers form a fieldca4927edbd5f
addedp-adic integers as base-p expansions527aa8cb9e39
addedRing of p-adic integers5cbc0601f921
addedp-adic number as p-adic integer with finitely many fractional digits36b109817d6b
addedp-adic numbers form a field011cc22ffa79
added1/5 as a 3-adic integere14bfbd34c4a
addedp-adic integer as compatible sequence of residuesba9b0c64acbb
addedEquivalence of base-p and residue definitions19c9e1a372d0
added1/5 as 3-adic integer via residuesc868f039e516
addedp-adic integer (formal power series)4b46a3341690
addedp-adic unit1bd555042d33
addedp-adic number (formal Laurent series)1acb32399f36
addedp-adic valuation8ca925d43146
addedField of p-adic numbersf638e58bc250
addedFactorization lemma for rationals3efd5e98da8e
addedp-adic valuation of a rational0d405f6d48b7
addedp-adic series8e00e9a1322b
addedEquivalence of p-adic series4a0849eadc4c
addedNormalized p-adic seriesfe9e4910cd70
addedUniqueness of normalized series066a7266e27f
addedSeries operations compatible with equivalence2b2e0b25a5ab
addedp-adic numbers as equivalence classes03925399eae3
addedp-adic absolute value (equivalence-class form)22ca6e8763e0
addedField of p-adic numbers (via normalized series)e96314991d8e
addedUnique homomorphism from rationals to p-adics8d044ec46ee8
addedValuation as discrete valuation8c77140d253d
addedDivision step for p-adic expansion395b57923c5b
addedComputing a via modular inversebbf5642786df
addedp-adic expansion is eventually periodic iff rationalb9f3ff47db25
added5-adic expansion computation8bfe92b8a2ff
addedp-adic integers as nonnegative-valuation p-adics83273c62d9f2
addedRationals that are p-adic integersc520993644e1
addedZ_p is an integral domain13834b3d6079
addedUnits of Z_peade28d2ff68
addedZ_p is a principal ideal domain820ed98f1e4b
addedZ_p is a local ring of Krull dimension one4c2dd5029cb6
addedZ_p is a discrete valuation ring7d3b6d67bdab
addedZ_p as completion of localization0f172812672f
addedp-adic absolute value via valuation7a58b65a1f9c
addedStrong triangle inequalityf176d03964db
addedp-adic distance and ultrametriccc62fb37c1ff
addedQ_p as completion of Q42847a9bdcf4
addedOpen balls equal closed balls7d5207750f79
addedQ_p locally compact, Z_p compacte32cc573cc9e
addedZ_p homeomorphic to Cantor setee714ec76441
addedPontryagin dual of Z_p794ca33cca29
addedZ_p / p^n Z_p ≅ Z/p^n Zad3f86b00219
addedInverse limit of Z/p^n0c2d6109ec47
addedZ_p as inverse limitfcfaf78a2c93
addedNewton's method for p-adic inverse964747d49d04
addedNewton's method for p-adic square root0668d1e70fd8
addedHensel lifting of polynomial factorizationde364a39be52
addedCardinality of Q_p and Z_p709d63162aad
addedQ_p has characteristic 0f8f816cd86f5
addedQ_p not orderable1d7ea77ace74
addedAlgebraic closure of Q_p has infinite degree31b6a154fbe7
addedC_p is algebraically closed969553fb7ca2
addedC_p not locally compact285229954b87
addedC_p isomorphic to C75a3b9152055
addedAbsolute Galois group prosolvableb478202248fe
addedTorsion subgroup of Q_p*5c9915023fb6
addedCyclotomic subfields of Q_pfaa2ff810974
addedFinite index of k-th powers24587953cea3
addedHasse's local–global principle0f4b749c37e7
addedMahler's theorem900c391a9cc3
addedCompletion of Dedekind domain at primed4ca8522feaa
addedOstrowski's theorem for number fields154de19087de
addedp-adic solenoids02b7f51ccdec
addedProfinite integers354506514f61
addedn-adic integers via Chinese remainder theorem7315cb014bf9