ベルトラン・チェビシェフの定理について。

https://mathematics-pdf.com/pdf/chebyshev.pdfで、補題4.1と補題4.2に、p を素数, x を有理数とする. x ̸= 0 のとき, 整数における素因子分解の一意性により,
x=pmab, a,b∈Z, gcd(a,p)=gcd(b,p)=1
となるような整数 m が (p と x に対して) 一意的に定まる. この m を ordp(x) で表す. また,
ordp(0) = ∞ と定める. ordp(x) を x の p 指数という.
のは、補題4.1とは関係ないのでしょうか？ご教授頂けると幸いです。すみませんが。

No.1 ベストアンサー 回答者： captain06 回答日時： 2021/02/21 12:58

無いと思います。