ルジャンドル記号
平方剰余/平方非剰余であることを示すルジャンドル記号を次のように定めます。
【定義F3:ルジャンドル記号】 を奇素数、 とするとき
( が平方剰余のとき)
( が平方非剰余のとき)
法
のように表すことができます。ほとんど自明のことですが、合同な数
【定理F10】 を奇素数、 とすると、
[証明]
となります。また、
となります。(証明終)
オイラーの基準(オイラーの判定条件)
定理 F6, F7 を再掲します:
【定理F6, F7】 は奇素数、 とする
が平方剰余であるための必要十分条件は
が平方非剰余であるための必要十分条件は
であったので、以下の定理が成り立ちます。
【定理F9:オイラーの判定条件】
を奇素数、 とするとき、
この定理をオイラーの基準もしくはオイラーの判定条件 (Euler’s criterion)とよびます。
平方剰余の積
前回記事の定理 F8 を再掲します。
【定理F8】 を奇素数、 とするとき、
(1) がともに の平方剰余であれば、 は平方剰余
(2) がともに の平方非剰余であれば、 は平方剰余
(3) のうち一方が平方剰余、他方が平方非剰余であれば、 は平方非剰余
(1)
(2)
(3)
この定理をルジャンドル記号を用いて書き直しておきます。
【定理F11】 を奇素数、 とするとき、
[証明]
(1)
と表せるとき、定理 F8 より
となります。したがって、
が成り立っています。
(2)
と表せるときは、定理 F8 より
となります。したがって
が成り立っています。
(3)
と表せます。定理 F8 より
となります。このときも
が成り立っています。
≫ ガウスの補題 ≫ 整数論入門講座
エクセルや数学に関するコメントをお寄せください