2023-12-04 p進付値 p-adic_number p進付値 lifting_the_exponent_lemma lte_lemma p-adic number関連の用語 数のにおけるp進付値 というのはを素因数分解したときのにおけるの値 要するにに含まれるの個数 性質 Lifting The Exponent Lemma LTE Lemma が成立する