Jacobi sembolü

testwiki sitesinden
Gezinti kısmına atla Arama kısmına atla
Carl Gustav Jacob Jacobi (1804-1851)

Jacobi sembolü Legendre sembolünün bir genellemesidir. 1837 yılında Jacobi tarafından tanıtılan bu teori, modüler aritmetik ve sayılar teorisinin diğer dallarındandır ama ana kullanımı hesaplamada sayılar teorisi, özellikle asallık testi ve tam sayıları çarpanlara ayırma olarak kriptografide oldukça önemlidir.

Tanım

Herhangi bir a tam sayısı ve herhangi bir n pozitif tek tam sayısı için Legendre sembolünün ana faktörlerine karşılık olarak Jacobi sembolünün bir ürünü olarak tanımlanır

(an)=(ap1)α1(ap2)α2(apk)αk , n=p1α1p2α2pkαk


(ap) a ve tüm tek sayılar için ptarafından sağlanan değerler

(ap)={0 if a0(modp)+1 if a≢0(modp) ve bazı x tamsayısı için, ax2(modp)1 böyle bir x olmaması durumunda 

Normal kuralı takip eden boş bir ürün için (a1)=1.aynı değere sahip alt argümanların ne zaman Legendre ne zaman Jacobi sembolleri olduğu ayırt edilemez.

Özellikleri

Aşağıdaki gerçekler, jacobi sembolü ve legendre sembolü karşılıklılık yasalarına karşılık gelen özellikleri tanımından kesintiler bulundurur. Şunu belirtmek gerekir ki, Jacobi sembolü sadece üst argüman("pay")bir tam sayı, alt argüman ("payda")pozitif tek tam sayı olduğunda tanımlanır.

1) Eğer ntek asal sayı ise,sonrasında (an) Jacobi sembolü aynı yazılmış olan Legendre sembolüne eşittir.
2) Eğer ab(modn) ise (an)=(bn)
3)(an)={0 eğer gcd(a,n)1±1 eğer gcd(a,n)=1

Eğer üst veya alt argüman sabit ise,tamamen çarpımsal fonksiyon içinde kalan argüman Jacobi sembolüdür:

4) (abn)=(an)(bn), bu yüzden (a2n)=1<mrow data-mjx-texclass="ORD"><mtext> </mtext>yada<mtext> </mtext></mrow>0
5) (amn)=(am)(an), yani (an2)=1<mrow data-mjx-texclass="ORD"><mtext> </mtext>yada<mtext> </mtext></mrow>0

karesel karışıklık yasası:Eğer m ve n göreceli tek asal tam sayılar ise

6) (mn)=(nm)(1)m12n12={(nm)if n1(mod4) ya da m1(mod4)(nm)if nm3(mod4)

ve ekleri

7) (1n)=(1)n12={1eğer n1(mod4)1eğer n3(mod4)
8) (2n)=(1)n218={1eğer n1,7(mod8)1eğer n3,5(mod8)

Legendre sembolü gibi,

Eğer (an)=1 ise abir kuadratik kalan olmayandır (modn) e göre.
Eğer a bir kuadratik kalan ise (modn) ve a≢0(modn), sonrasında (an)=1

Fakat Legendre sembolü gibi değilse,

Eğer (an)=1 ise a bir kuadratik kalan olabilir veya olmayabilir (modn).

Jacobi sembol hesaplanması

yukarıdaki formüller için etkin yol ((log a)(log b)) dir.Jacobi sembolünün hesaplanmasında kullanılan algoritma,iki sayının obebini bulan Öklid algortiması ile benzerdir.

  1. kural 2 kullanılarak "pay" mod "payda" azaltılır.
  2. kural 4 ve kural 8 kullanılarak "pay"dan herhangi 2 faktör ayıklanır.
  3. Eğer "pay" 1 ise, kural 3 ve 4 sonucu 1 verir.Eğer "pay" ve "payda" aralarında asal değilse, kural 3 sonucu 0 verir.
  4. Aksi takdirde "pay" ve "payda" şu an göreceli tek pozitif tam sayıdır, bu yüzden kural 6 yı ters çevirip sonrasında 1.adıma dönebiliriz.

Hesaplama Örnekleri

Legendre sembolü (ap) sadece tek asal sayılar için tanımlanır.Bu Jacobi sembolü olarak aynı kurallara itaat eder (yani, karşılıklılık ve ek için formüller (1p) ve (2p) "pay"ın çarpımsalıdır

Legendre sembolü kullanarak

(10019907)=(79907)(119907)(139907).
(79907)=(99077)=(27)=1
(119907)=(990711)=(711)=(117)=(47)=1
(139907)=(990713)=(113)=1
(10019907)=1

Jacobi sembolü kullanarak

(10019907)=(99071001)=(8981001)=(21001)(4491001)=(4491001)
=(1001449)=(103449)=(449103)=(37103)=(10337)
=(2937)=(3729)=(829)=(229)3=1.

Asallık testi

Legendre ve Jacobi sembolünün farklı başka yolları yoktur.Eğer Euler kriteri asal olmayan bir sayı için uygulanırsa, sonuç Jacobi sembol değeri ile farklı olabilir ve hatta gerçek değer -1 veya 1 olmayabilir.

(1945)=1ve19(451)/21(mod45)
(821)=1ama8(211)/21(mod21)
(521)=1ama5(211)/216(mod21)

Ayrıca bakınız

Kaynakça