ΥڡϤƤʥ֥åޡɲΥڡޤϤƤʥ֥åޡ Υڡlivedoor åפɲΥڡޤlivedoor å

[]rpϸȤ롣
\forall~a~\in~\mathbb{Z}~\,~s.t.~\,~a~\not{\equiv}~0~\,~\pmod{p}Фơʲ0p-1ϰϤˤ1Ĥ¸ߤ롣
r^\alpha~\equiv~a~\,~\pmod{p}

[]嵭ˤrȤƤΡaλؿindexȤ
ʲΤ褦ɽ롣
Ind_r~(a)~=~\alpha