p-adische Zahlen (Mathematik)

Ist f_p die p-adische Bewertung (p = Primzahl) auf dem Körper der rationalen Zahlen, so definiert die Vorschrift d(x, y): = f_p(x − y) eine Metrik. Vervollständigt man die rationalen Zahlen ℚ bezüglich dieser Metrik, so erhält man einen neuen Körper, den p-adischen Zahlkörper ℚ_p der p-adischen Zahlen. Sie wurden