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

質問

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.2

f272 · ベストアンサー

その部分は、補題4.1が終わって、補題4.2を記述する前に、補題4.2で必要なord_p(x)の定義が書かれている。

回答No.1

tmppassenger

補題4.3で補題4.1と補題4.2を両方使っているだろう。良く読みなさい。

補足

それは、分かるのですが、補題4.1とは関係ないのかと聞いているのですが、ご教授頂けると幸いです。すみませんが。