Kaplanskiy kvadratik shakllar teoremasi - Kaplanskys theorem on quadratic forms

Yilda matematika, Kaplanskiyning kvadratik shakllar haqidagi teoremasi ning bir vaqtning o'zida namoyish etilishi natijasidir asosiy tomonidan kvadratik shakllar. Bu 2003 yilda isbotlangan Irving Kaplanskiy.[1]

Teorema bayoni

Kaplanskiy teoremasida asosiy narsa deyilgan p 1 modulga mos keladigan 16 ikkalasi tomonidan yoki hech kim tomonidan ifodalanmaydi x2 + 32y2 va x2 + 64y2, ammo asosiy narsa p 9-modul 16 ga mos keluvchi ushbu kvadratik shakllarning aniq biri bilan ifodalanadi.

Bu juda ajoyib, chunki ushbu shakllarning har biri alohida-alohida ifodalaydigan tub sonlar emas muvofiqlik shartlari bilan tavsiflanadi.[2]

Isbot

Kaplanskiyning isboti 2 ning 4-darajali modul ekanligi faktlaridan foydalanadi p agar va faqat agar p tomonidan ifodalanadi x2 + 64y2va bu $ mathbb {4} $ 8-chi kuch modulidirp agar va faqat agar p tomonidan ifodalanadi x2 + 32y2.

Misollar

  • Bosh vazir p = 17 1 modul 16 ga mos keladi va ikkalasi ham ifodalanmaydi x2 + 32y2 na x2 + 64y2.
  • Bosh vazir p= 113 1 modul 16 ga mos keladi va ikkalasi ham namoyish etadi x2 + 32y2 va x2+64y2 (113 = 9 dan beri2 + 32×12 va 113 = 72 + 64×12).
  • Bosh vazir p = 41 9 modul 16 ga mos keladi va tomonidan ifodalanadi x2 + 32y2 (chunki 41 = 32 + 32×12), lekin emas x2 + 64y2.
  • Bosh vazir p = 73 9 modul 16 ga mos keladi va tomonidan ifodalanadi x2 + 64y2 (73 = 3 dan beri2 + 64×12), lekin emas x2 + 32y2.

Shunga o'xshash natijalar

Kaplanskiy teoremasiga o'xshash beshta natija ma'lum:[3]

  • Asosiy p 1 modul 20 ga mos keladigan ikkalasi ham, hech kim tomonidan ifodalanmaydi x2 + 20y2 va x2 + 100y2, ammo asosiy narsa p 9 moduliga mos keladigan 20 bu kvadratik shakllardan biri bilan ifodalanadi.
  • Asosiy p 39, 1, 16 yoki 22 modullariga muvofiq ikkalasi ham, hech kim tomonidan ifodalanmaydi x2 + xy + 10y2 va x2 + xy + 127y2, ammo asosiy narsa p 39, 4, 10 yoki 25-modullarga mos keladigan ushbu kvadratik shakllardan biri tomonidan ifodalanadi.
  • Asosiy p 55, 1, 16, 26, 31 yoki 36 modullariga muvofiq ikkalasi ham, hech kim tomonidan taqdim etilmaydi x2 + xy + 14y2 va x2 + xy + 69y2, ammo asosiy narsa p 55, 4, 9, 14, 34 yoki 49 modullariga mos keladigan ushbu kvadratik shakllardan biri aniq.
  • Asosiy p 112, 1, 65 yoki 81 modullariga mos keladigan ikkalasi ham, hech kim tomonidan ifodalanmaydi x2 + 14y2 va x2 + 448y2, ammo asosiy narsa p 112, 9, 25 yoki 57 modullariga mos keluvchi ushbu kvadratik shakllardan biri bilan ifodalanadi.
  • Asosiy p 240 yoki 1 modullarga mos keladigan modullar 169 modulga mos keladi x2 + 150y2 va x2 + 960y2, ammo asosiy narsa p 49 yoki 121 modullariga 240 mos keladigan ushbu kvadratik shakllarning aniq biri bilan ifodalanadi.

Taxminlarga ko'ra, aniq shakllarni o'z ichiga olgan boshqa shunga o'xshash natijalar mavjud emas.

Izohlar

  1. ^ Kaplanskiy, Irving (2003), "Shakllar x + 32y2 va x + 64y^2 [sic ]", Amerika matematik jamiyati materiallari, 131 (7): 2299–2300 (elektron), doi:10.1090 / S0002-9939-03-07022-9, JANOB  1963780.
  2. ^ Koks, Devid A. (1989), Shaklning asosiy qismlari x2 + ny2, Nyu-York: John Wiley & Sons, ISBN  0-471-50654-0, JANOB  1028322.
  3. ^ Brink, Devid (2009), "Praymerlarni kvadratik shakllar bilan bir vaqtda aks ettirishning beshta o'ziga xos teoremalari", Raqamlar nazariyasi jurnali, 129 (2): 464–468, doi:10.1016 / j.jnt.2008.04.007, JANOB  2473893.