オストロフスキーの定理
数論において、オストロフスキーの定理 (オストロフスキーのていり、Ostrowski's theorem) とは、有理数体 Q 上の全ての非自明な付値は、通常の実数の絶対値か、または、p-進付値に同値であるという定理である。1916年にアレクサンドル・オストロフスキー(英語版) (Alexander Ostrowski) によって証明された。