05/01/08 19:34:17
強 Lucas 擬素数 → Euler-Lucas 擬素数 → Lucas 擬素数
の証明で, (P,Q)=1 という仮定をして良いのですか？
もし、仮定していないのならば >>224 の
「 U_{(2^r)*d}とV_{(2^r)*d}が奇素数の公約数pを持つ
ことになり、IV25に反する。 」は嘘ですね.
ここは, (P,Q)=1 という仮定があって成り立つのですから.
05/01/08 19:34:17
強 Lucas 擬素数 → Euler-Lucas 擬素数 → Lucas 擬素数
の証明で, (P,Q)=1 という仮定をして良いのですか？
もし、仮定していないのならば >>224 の
「 U_{(2^r)*d}とV_{(2^r)*d}が奇素数の公約数pを持つ
ことになり、IV25に反する。 」は嘘ですね.
ここは, (P,Q)=1 という仮定があって成り立つのですから.