Jakobia simbolo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

La jakobia simbolo estas ĝeneraligo de la simbolo de Legendre donita de Jakobio en 1837. Ĝi estas de teoria intereso en modula aritmetiko kaj aliaj branĉoj de nombroteorio, sed ĝia ĉefa uzo estas en komputa nombroteorio, aparte primeca provado kaj faktorigo de entjero; ĉi tiuj laŭvice estas gravaj en ĉifriko.

Difino[redakti | redakti fonton]

Por ĉiu entjero a kaj ĉiu pozitiva nepara entjero n la jakobia simbolo estas difinita kiel produto de la simboloj de Legendre respektivaj al la primaj faktoroj de n:

(\frac{a}{n}) = (\frac{a}{p_1})^{\alpha_1}(\frac{a}{p_2})^{\alpha_2}\cdots (\frac{a}{p_k})^{\alpha_k}\mbox{ kie } n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}

Kun la normala konvencio por la malplena produto estas (\frac{a}{1}) = 1.

La simbolo de Legendre (\frac{a}{p}) estas difinita por ĉiuj entjeroj a kaj ĉiuj neparaj primoj p per


(\frac{a}{p}) = \begin{cases}
\;\;\,0\mbox{ se } a \equiv 0 \pmod{p}
\\+1\mbox{ se } a \not\equiv 0\pmod{p} \mbox{ kaj por iu entjero }x, \;a\equiv x^2\pmod{p}
\\-1\mbox{ se ne ekzistas cxi tia } x. \end{cases}

Se (\frac{a}{p}) = 1, a estas kvadrata restaĵo (mod p). Se (\frac{a}{p}) = -1, a estas kvadrata nerestaĵo (mod p). Nulo estas kutime traktata kiel speciala okazo.

Propraĵoj de la simbolo de Legendre[redakti | redakti fonton]

La simbolo de Legendre havas jenajn propraĵojn, kiuj estas facile konkludataj de ĝia difino:

(\frac{ab}{p}) = (\frac{a}{p})(\frac{b}{p}), do (\frac{a^2}{p})=1(\frac{a^2}{p})=0
Se a \equiv b \pmod{p} do (\frac{a}{p}) = (\frac{b}{p})

La simbolo de Legendre obeas ankaŭ la leĝon de kvadrata reciprokeco (kiu estas ne tiel facile konkludata):

Se p kaj q estas neparaj primoj do (\frac{p}{q}) = (\frac{q}{p})(-1)^{\frac{(p-1)(q-1)}{4}}

kaj ĝiaj suplementoj


(\frac{-1}{p}) = (-1)^{\frac{(p-1)}{2}} = \{\begin{array}{cl} 1 & \textrm{se}\;p \equiv 1 \pmod 4\\ -1 &\textrm{se}\;p \equiv 3 \pmod 4\end{array}

{(\frac{2}{p})
= (-1)^{\frac{(p^2-1)}{8}}
= \{\begin{array}{cl} 1 & \textrm{se}\;p \equiv 1\pmod 8\;\textrm{ aux }\;p \equiv 7 \pmod 8\\ -1 &\textrm{se}\;p \equiv 3\pmod 8\;\textrm{ aux }\;p \equiv 5\pmod 8\end{array}}

Estas formulo por la simbolo de Legendre nomata kiel eŭlera kriterio: (\frac{a}{p}) \equiv a^{(p-1)/2}\pmod{p}

Propraĵoj de la jakobia simbolo[redakti | redakti fonton]

Ĉi tiuj faktoj, eĉ la reciprokecaj leĝoj, estas simplaj konkludoj de la difino de la jakobia simbolo kaj de la respektivaj propraĵoj de la simbolo de Legendre.

Se m estas nepara primo do jakobia simbolo (\frac{a}{n}) estas ankaŭ simbolo de Legendre.


(\frac{a}{n})
= \begin{cases}
\;\;\,0\mbox{ se } \gcd(a,n) \ne 1
\\\pm1\mbox{ se } \gcd(a,n) = 1\end{cases}
(\frac{ab}{n}) = (\frac{a}{n})(\frac{b}{n}), do (\frac{a^2}{p})=1(\frac{a^2}{p})=0
(\frac{a}{mn})=(\frac{a}{m})(\frac{a}{n}), do (\frac{a}{n^2})=1(\frac{a}{n^2})=0
Se a \equiv b \pmod{n} do (\frac{a}{n}) = (\frac{b}{n})
Se m kaj n estas neparaj pozitivaj entjeroj do (\frac{m}{n}) = (\frac{n}{m})(-1)^{\frac{(m-1)(n-1)}{4}}

(\frac{-1}{n})
= (-1)^{\frac{(n-1)}{2}}
= \{\begin{array}{cl} 1 & \textrm{se}\;n \equiv 1 \pmod 4\\ -1 &\textrm{se}\;n \equiv 3 \pmod 4\end{array}

{(\frac{2}{n})
= (-1)^{\frac{(n^2-1)}{8}}
= \{\begin{array}{cl} 1 & \textrm{se}\;n \equiv 1\pmod 8\;\textrm{ aux }\;n \equiv 7 \pmod 8\\ -1 &\textrm{se}\;n \equiv 3 \pmod 8\;\textrm{ aux }\;n \equiv 5\pmod 8\end{array}}

Simile al la simbolo de Legendre:

Se (\frac{a}{n}) = -1, a estas kvadrata nerestaĵo (mod n).
Se a estas kvadrata restaĵo (mod n) do (\frac{a}{n}) = 1 .

Sed, malsimile al simbolo de Legendre:

Se (\frac{a}{n}) = 1 do a povas esti aŭ ne esti kvadrata restaĵo (mod n).

Ĉi tiu estas ĉar por ke a estu restaĵo (mod n) ĝi devas esti restaĵo module ĉiu primo kiu dividas na n, sed por (\frac{a}{n}) = 1, ĝi povas esti nerestaĵo module nulo, du aŭ iu para kvanto el la primoj dividantaj na n.

Ankaŭ, se (\frac{a}{n}) = 0, do estas PGKD(a, b) > 1.

Motivado[redakti | redakti fonton]

La permanaj algoritmoj uzataj en la 19-a jarcento por primeca provado kaj faktorigo de entjero, kaj ankaŭ multaj kalkuloj bezonataj por evoluo de algebra nombroteorio, postulis kalkulon de multaj simboloj de Legendre.

Ekzemple, oni scias ke 9907 estas primo. Necesas kalkuli valorojn de (\frac{1001}{9907}) kaj (\frac{2183}{9907}).

Kvankam, relative facila hodiaŭ, kalkulo kiel

(\frac{1001}{9907}) \equiv 1001^{4953} \pmod{9907}

permane eĉ kun mekanika kalkulilo estas ne tre praktika. La eŭlera kriterio prenas O((log n)3) paŝojn. Uzante la plej kompetentajn modernajn algoritmojn por potencigo, la ekzemplo postulas po proksimume 12 multiplikojn de kvar-ciferaj nombroj kaj dividoj per 9907.

Kalkuloj uzante la simbolon de Legendre[redakti | redakti fonton]

Kalkulo uzante ĉi tiujn regulojn estas multe pli simpla ol per la eŭlera kriterio:


(\frac{1001}{9907})
=(\frac{7}{9907}) (\frac{11}{9907}) (\frac{13}{9907})

(\frac{7}{9907})
=-(\frac{9907}{7})
=-(\frac{2}{7})
=-1

(\frac{11}{9907})
=-(\frac{9907}{11})
=-(\frac{7}{11})
=(\frac{11}{7})
=(\frac{4}{7})
=1

(\frac{13}{9907})
=(\frac{9907}{13})
=(\frac{1}{13})
=1
(\frac{1001}{9907}) =-1

La alia ekzemplo:

La unua paŝo estas trovo ke 2183 = 59 × 37 (tamen, ĝenerale faktorigo estas malrapida procezo).


(\frac{2183}{9907})
=(\frac{59}{9907}) (\frac{37}{9907}).

(\frac{59}{9907})
=-(\frac{9907}{59})
=-(\frac{54}{59})
=-(\frac{2}{59}) (\frac{27}{59})
=(\frac{27}{59})

=-(\frac{59}{27})
=-(\frac{5}{27})
=-(\frac{2}{5})
=1

(\frac{37}{9907})
=(\frac{9907}{37})
=(\frac{9}{37})
=1

(\frac{2183}{9907})
=1

Kompreneble, eblas ke iujn el la nombroj en la enaj paŝoj necesas faktorigi.

La samaj kalkuloj, uzante la jakobian simbolon[redakti | redakti fonton]

Jacobi esploris manieron kalkuli la simbolo de Legendre sen faktorigo de iuj nombroj.


 (\frac{1001}{9907})
=(\frac{9907}{1001})
=(\frac{898}{1001})
=(\frac{2}{1001})(\frac{449}{1001})
=(\frac{449}{1001})

=(\frac{1001}{449})
=(\frac{103}{449})
=(\frac{449}{103})
=(\frac{37}{103})
=(\frac{103}{37})

=(\frac{29}{37})
=(\frac{37}{29})
=(\frac{8}{29})
=(\frac{4}{29})(\frac{2}{29})
=-1.

 (\frac{2183}{9907})
=-(\frac{9907}{2183})
=-(\frac{1175}{2183})
=(\frac{2183}{1175})
=(\frac{1008}{1175})

=(\frac{16}{1175}) (\frac{63}{1175})
=(\frac{63}{1175})
=-(\frac{1175}{63})
=-(\frac{41}{63})

=-(\frac{63}{41})
=-(\frac{22}{41})
=-(\frac{2}{41})(\frac{11}{41})

=-(\frac{11}{41})
=-(\frac{41}{11})
=-(\frac{8}{11})
=-(\frac{4}{11})(\frac{2}{11})
=-(\frac{2}{11})
=1.

Kalkula komplikeco[redakti | redakti fonton]

La vico kie la supra nombro estas malpligrandigita module la funda nombro, la supro kaj fundo estas interŝanĝitaj, la supro estas malpligrandigita module la fundo, ... estas la samo kio okazas kiam la plej granda komuna divizoro estas kalkulata uzanta eŭklidan algoritmon. La nura reala diferenco estas la maniero je kiu paraj nombroj estas traktataj kaj tio ke la signo estas ŝanĝita en la jakobia kalkulo kiam ambaŭ nombroj estas ≡ 3 (mod 4). Tiel kalkulado de la Jakobia simbolo, aŭ la simbolo de Legendre se la funda nombro estas primo, estas de la sama kalkula komplikeco kiel eŭklida algoritmo, kaj bezonas O(log n log a) paŝojn.

Tio ke (\frac{2183}{9907}) = 1 kaj 9907 estas primo signifas ke 2183 estas kvadrata restaĵo (mod 9907), sed ne donas aludon pri tio al kiu kvadrato ĝi estas kongrua. La algoritmo de Shanks-Tonelli estas maniero por ekscii.

9082 ≡ 2183 (mod 9907).

Primeco provado[redakti | redakti fonton]

Estas alia eco je kiu jakobia simbolo kaj simbolo de Legendre diferenciĝas. Se la eŭlera kriteria formulo estas uzita module komponigita nombro, la rezulto povas esti aŭ ne esti la valoro de la jakobia simbolo.

Tiel se ne estas sciate ĉu nombro n estas primo aŭ komponigita, oni povas preni hazardan a, kalkuli la jakobian simbolon (\frac{a}{n}) kaj kompari ĝi kun eŭlera formulo, Se ili malsamas do n estas komponigita. Se ili egalas por multaj malsamaj valoroj de a, n estas "verŝajne primo".

Ĉi tiu estas la bazo por la primecaj provoj: probableca primeca provo de Solovay-Strassen kaj ĝia plibonigo primeca provo de Miller-Rabin.

Vidu ankaŭ[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]