質問＜３１９５＞２００６／５／２２
from=kouji
「多項式の合同」

f(x)・g(x)≡0(mod．p)ならば、f(x)≡0(mod．p) または、g(x)≡0(mod．p)

★希望★完全解答★

お便り２００６／５／２９
from=ZELDA

表示の仕方が分からないので、
「a≡(not)0 (mod.p)」は、aをpで割った余りが0でない事を表す。

対偶：「f(x)≡(not)0 (mod.p)∧g(x)≡(not)0 (mod.p)
　　　　ならば
　　　　f(x)g(x)≡(not)0」
を示せばよいが、これは明らか。