Ябай һан

Википедия — ирекле энциклопедия мәғлүмәте
Перейти к навигации Перейти к поиску
Нулдән йөҙгә тиклем бөтөн һандар. Ябай һандар ҡыҙыл төҫтә.
42 һанын ябай ҡабатлашыусыларға тарҡатыу:

Ябай һан — ике генә бүлеүсеһе — берәмек һәм үҙе булған натураль (ыңғай бөтөн) һан[1]. Икенсе төрлө әйткәндә, әгәр һаны -ҙән ҙур һәм тик -гә һәм -ҡа ғына ҡалдыҡһыҙ бүленһә, ул ябай һан була. Миҫалға,  — ябай һан, ә ябай һан түгел, сөнки -ҙән һәм -нан башҡа, ул -гә һәм -кә бүленә.

Арифметиканың төп теоремаһы ябай һандарҙың һандар теорияһында үҙәк ролен билдәләй: -ҙән ҙур булған теләһә ниндәй бөтөн һан, йә ябай һан була, йә ябай һандарҙың ҡабатландығы итеп күрһәтелә ала, һәм ул ҡабатлашыусыларҙың тәртибенә тиклем аныҡлыҡ менән берҙән бер. Ошо теоремала тап берҙән-берлекте тәьмин итеү өсөн, берәмек ябай һан булып иҫәпләнмәй (кире осраҡта теләһә ниндәй тарҡатмаға ирекле һанда күп итеп берәмекте индерергә мөмкин[2], мәҫәлән, һәм башҡа шулай).

Берҙән ҙур һәм ябай булмаған натураль һандар ҡушма тип аталалар. Шулай итеп, бөтә натураль һандар өс класҡа бүленә: берәмеккә (бер генә натураль бүлеүсеһе булған), ябай һандарға (ике натураль бүлеүсеһе булған) һәм ҡушма һандарға (икенән күберәк натураль бүлеүсеһе булған)[1]. Ябай һандарҙың үҙсәнлектәрен өйрәнеү менән һандар теориһы шөғөлләнә. Ябай һандар ҙа, ҡушма һандар ҙа сикһеҙ күп.

Ябай һандар эҙмә-эҙлелеге ошолай башлана:

<!—1 һаны ябай түгел! -->2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199[3]

Һандың ябай булыу үҙсәнлеге ябайлыҡ тип атала. Бирелгән n һанының ябайлығын тикшереүҙең ябай, ләкин яй ысулы бүлеүселәрҙе берәмтекләп ҡарау; файҙалыраҡ алгоритмдар аҫтараҡ һүрәтләнгән.

Ябай һандарға ҡағылышлы күп проблемалар асыҡ ҡалалар, түбәндә ҡарағыҙ.

Ябай һандар математикала һәм яҡын фәндәрҙә киң ҡулланылалар. Мәҫәлән, асыҡ асҡыслы криптосистема кеүек бик күп мәғлүмәт технологиялары алгоритмдарында. Ул һандарҙы ябай ҡабатлашыусыларға тарҡатыуҙың ҡатмарлылығы кеүек үҙсәнлектәрҙе файҙалана[4].

Ирекле ҡулсалар һәм башҡа алгебраик структуралар өсөн ябай һан төшөнсәһен дөйөмләштереүҙәр бар, түбәндә ҡарағыҙ.

Тарихы[үҙгәртергә | вики-тексты үҙгәртергә]

Ябай һан төшөнсәһе ҡасан индерелеүе билдәһеҙ, әммә ундай һандарҙы аңлау тураһында дәлилдәр һуңғы палеолитҡа ҡарай, быны Ишанго төймәһе раҫлай[5].

Боронғо мысырлыларҙың һаҡланып ҡалған яҙмаларында уларҙың ябай һандар тураһында ҡайһы бер мәғлүмәттәргә эйә булыуына ишара бар: мәҫәлән, беҙҙең эраға тиклем II меңйыллыҡҡа ҡараған Райнд папирусында 2/n күренешендәге кәсерҙәрҙе числителдәре бергә тигеҙ булған һәм төрлө знаменателле ике, өс йәки дүрт кәсерҙең суммаһы рәүешендә күрһәтеүсе таблицалар бар. Кәсерҙәрҙең знаменателдәренең уртаҡ бүлеүсеһе булған тарҡалмалары, мысырлыларҙың ябай һан менән ҡушма һан араһындағы айырманы белеүҙәрен күрһәтә[6].

Оксиринхта табылған Евклидтың "Башланғыстар"ының фрагменты

Ләкин ябай һандар тураһында һаҡланған иң иртә тикшеренеүҙәр боронғо гректарҙан алынған. Евклидтың «Башланғыстар»ында (б. э. т. 300 йылдар тирәһе.), ябай һандарҙың сикһеҙлеген, Евклид леммаһын һәм арифметиканың төп теоремаһын да индереп, ябай һандар тураһында мөһим теоремалар бар[7]. Боронғо Грецияла шулай уҡ Эратосфен иләге — 1-ҙән алып n-ға тиклем бөтә ябай һандарҙы табыуҙың ябай алгоритмы уйлап табылған.

Гректарҙан һуң XVII быуатҡа тиклем ябай һандарҙы өйрәнеүҙә ҙур яңылыҡтар булмай[8]. 1640 йылда Пьер де Ферма (иҫбатламайынса) Ферманың бәләкәй теоремаһын (уны аҙағыраҡ Лейбниц һәм Эйлер иҫбатлай) һәм ике квадраттың суммаһы тураһында теореманы әйтеп бирә. Ферма шулай уҡ + 1 күренешендәге бөтә һандар — ябай (улар Ферма һандары тип аталалар) тигән фараз әйтә һәм уны n = 4-кә тиклем (йәғни + 1) иҫбат итә. Ләкин Эйлер n = 5 булғандағы артабанғы Ферма һаны (йәғни + 1) ҡушма һан булыуын күрһәтә (641-гә бүленә). Бөгөнгө көндә ябай булған башҡа билдәле Ферма һандары юҡ. Шул уҡ ваҡытта француз монахы Марен Мерсенн 2p — 1, бында p — ябай һан, күренешендәге ябай һандарға иғтибар итә (бындай күренештәге бөтә һандар ҙа ябай түгел)[9]. Уларҙы Мерсенн хөрмәтенә Мерсендың ябай һандары тип атайҙар.

Эйлерҙың һандар теорияһындағы хеҙмәтенә ябай һандар тураһында бик күп мәғлүмәт ингән. Ул 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + … сикһеҙ рәт таралыусан булыуын күрһәтә. Шулай уҡ 1747 йылда ул йоп камил һандар күренешендәге бөтөн һандар икәнен күрһәтә, бында икенсе ҡабатлашыусы Мерсенндың ябай һаны булып тора. Эйлерҙың Христиан Гольдбах менән үҙ-ара яҙышҡан хаттарында Гольдбах билдәле Гольдбах гипотезаһын әйтеп бирә. Гипотеза 4-тән башлап теләһә ниндәй йоп һанды ике ябай һандың суммаһы рәүешендә күрһәтергә мөмкин тип раҫлай, һәм ул әлегә тиклем иҫбат ителмәгән[10].

XIX быуат башынан күп математиктар иғтибарын ябай һандарҙың асимптотик таралыуын өйрәнеүгә йүнәлтә[10]. Лежандр һәм Гаусс, бер-береһенә бәйһеҙ рәүештә, ябай һандарҙың тығыҙлығы уртаса натураль логарифмға кире пропорциональ дәүмәлгә яҡын тигән фараз әйтәләр[11].

Оҙаҡ ваҡыт ябай һан саф математиканан ситтә әҙ ҡулланыла тип иҫәпләнә. Хәл 1970-се йылдарҙа, асыҡ асҡыслы криптография концепцияһы барлыҡҡа килгәс үҙгәрә, унда ябай һандар RSA шифрлау алгоритмы кеүек тәүге алгоритмдарҙың нигеҙен тәшкил итә[12].

Натураль һандарҙы ябай һандар ҡабатландығына тарҡатыу[үҙгәртергә | вики-тексты үҙгәртергә]

Натураль һандарҙы ябай һандар ҡабатландығы рәүешендә күрһәтеү ябай ҡабатлашыусыларға тарҡатыу йәки һандарҙы факторизациялау тип атала. Хәҙерге ваҡытта һандарҙы факторизациялауҙың полиномиаль алгоритмдары билдәле түгел, ундай алгоритмдарҙың юҡ икәнлеге лә иҫбатланмаған. Фараз ителгән ҙур иҫәпләү ҡатмарлылығында факторизациялау мәсьәләләре RSA һәм ҡайһы бер башҡа криптосистемаларға нигеҙләнә. Полиномиаль ҡатмарлыҡтағы факторизациялау теоретик квантлы компьютерҙа Шор алгоритмы ярҙамында мөмкин[13].

Арифметиканың төп теоремаһы[үҙгәртергә | вики-тексты үҙгәртергә]

Арифметиканың төп теоремаһы, берәмектән ҙурыраҡ булған һәр натураль һан, ябай һандарҙың ҡабатландығы рәүешендә күрһәтелә ала, шуның менән бергә ҡабатлашыусыларҙың урынлашыу тәртибенә тиклем аныҡлыҡ менән берҙән-бер ысул менән тип раҫлай[14]. Шулай итеп, ябай һандар натураль һандарҙың элементар «төҙөүсе блоктары» булып торалар. Мәҫәлән:

. ( -нең квадратын йәки икенсе дәрәжәһен аңлата.)

Был миҫалда күрһәтелгәнсә, бер үк ябай бүлеүсе бер нисә тапҡыр ҡабатланырға мөмкин.

n һанының (сикле һандағы) p1, p2, … ,pt ябай ҡабатлашыусыларына тарҡалмаһы n = p1p2 • ... • pt n һанын ябай ҡабатлашыусыларға тарҡатыу тип атала. Арифметиканың төп теоремаһын ошолай итеп үҙгәртеп әйтергә мөмкин: ябай һандарға теләһә ниндәй тарҡалма бүлеүселәр тәртибенә тиклем аныҡлыҡ менән тождестволы була. Практикала күпселек һандар өсөн ябай ҡабатлашыусыларға тарҡатыуҙың күп ябай алгоритмдары бар, улар бөтәһе лә бер үк һөҙөмтәне бирә[13].

Берәмектең ябайлығы[үҙгәртергә | вики-тексты үҙгәртергә]

Боронғо гректарҙың күпселеге -ҙе һан тип иҫәпләмәгән, шуға күрә улар уны ябай тип иҫәпләй алмаған[15]. Урта быуаттарҙа һәм Яңырыу дәүерендә күп математиктар -ҙе беренсе ябай һан сифатында индерәләр[16]. XVIII быуат уртаһында Христиан Гольдбах үҙенең Леонардом Эйлером менән данлыҡлы хатлашыуында -ҙе беренсе ябай һан сифатында теҙмәгә индерә; әммә Эйлер үҙе -ҙе ябай һан тип иҫәпләмәй[17]. XIX быуатта күп математиктар элеккесә һанын ябай һан тип иҫәпләй. Мәҫәлән, Деррик Норман Лемерҙың 1956 йылда ҡабатлап баҫылған -гә тиклем ябай һандар теҙмәһе беренсе ябай һан сифатында -ҙән башланған. Анри Лебег -ҙе ябай һан тип атаған һуңғы математик тип әйтәләр[18]. XX быуат башына математиктар ябай һан түгел, ә үҙенең махсус категорияһын — «берәмек»те булдыра тигән ypmaҡ фекергә килә башлайҙар[16].

Әгәр -ҙе ябай һан тип иҫәпләгәндә, Евклидтың арифметика тураһында төп теоремаһы (юғарыла телгә алынған) үтәлмәйәсәк. Мәҫәлән, һаны 3 • 5 һәм 1 • 3 • 5 тип тарҡатыла аласаҡ. Әгәр ябай һан булһа, был ике вариант һанының төрлө факторизацияһы тип иҫәпләнер ине, ошонан сығып был теореманың раҫлауын үҙгәртергә тура килер ине[16]. Тап шулай уҡ, әгәр ябай һан тип иҫәпләнһә, Эратосфен иләге дөрөҫ эшләмәҫ ине: иләктең ябай һан тип фараз иткән модификацияланған версияһы, -гә тапҡырлы булған бөтә ҡабатлашыусыларҙы (йәғни бөтә башҡа һандарҙы) төшөрөп ҡалдыра һәм һөҙөмтәлә бер генә ябай һанды — -ҙе бирә. Бынан тыш, ябай һандар һанына хас булмаған, һандың уның ярашлы ҡиммәтенә сағыштырмаһы (Эйлер функцияһы) йәки суммаһы (бүлеүселәр функцияһы) кеүек бер нисә үҙсәнлеккә эйә[2].

Ябай һандарҙы эҙләү һәм таныу алгоритмдары[үҙгәртергә | вики-тексты үҙгәртергә]

Ниндәйҙер ҡиммәткә тиклем ябай һандарҙың башланғыс теҙмәһен табыуҙың ябай ысулдары Эратосфен иләге, Сундарам иләге һәм Аткин иләге[19].

Әммә, практикала ябай һандар теҙмәһен табыу урынына, йыш ҡына бирелгән һан ябай һанмы икәнен тикшереү талап ителә. Был мәсьәләне хәл итеүсе алгоритмдар ябайлыҡ тесы (|тест простоты) тип аталалар. Бик күп полиномиаль ябайлыҡ тестары бар, ләкин уларҙың күпселеге ихтималлыҡ алгоритмы (мәҫәлән, Миллер — Рабин тесы) һәм криптография ихтыяжы өсөн ҡулланылалар[20]. 2002 йылда ябайлыҡҡа тикшереү мәсьәләһе дөйөм күренештә полиномиаль хәл итерлек икәне иҫбат ителә, ләкин тәҡдим ителгән аныҡлаусы Агравал — Каял — Саксена тесы ҙур иҫәпләү ҡатмарлылығы тыуҙыра, был уның практик ҡулланылышын ҡыйынлаштыра[21].

Ҡайһы бер һандар кластары өсөн махсуслаштырылған һөҙөмтәле ябайлыҡ тестары бар (түбәндә ҡарағыҙ).

Ябайлыҡ тесы[үҙгәртергә | вики-тексты үҙгәртергә]

Ябайлыҡ тесы (йәки ябайлыҡты тикшереү) тип, индерелгән һандың ҡушма булыуы тураһында фаразды дөрөҫләмәҫкә, йәки уның ябай булыуын аныҡ раҫларға мөмкинлек биреүсе алгоритм атала. Икенсе осраҡта ул ысын ябайлыҡ тесы тип атала. Ябайлыҡ тесы мәсьәләһе P ҡатмарлылыҡ класына ҡарай, йәғни уны хәл итеү алгоритмының эш ваҡыты, 2002 йылда иҫбат ителгәнсә, индереү мәғлүмәттәренең күләменә бәйле[22]. Полиномиаль алгоритмдың барлыҡҡа килеүе полиномиаль ябайлыҡ сертификаттарының булыуы менән, һәм, һөҙөмтә булараҡ, һанды ябайлыҡҡа тикшереү мәсьәләһе бер үк ваҡытта NP һәм co-NP кластарына ҡарауы сәбәпле прогнозланған.

Ғәмәлдә булған һанды ябайлыҡҡа тикшереү алгоритмдарын ике категорияға бүлергә мөмкин: ысын ябайлыҡ тесы һәм ихтималлыҡ тестары. Ысын ябайлыҡ тестарының һөҙөмтәһе булып һәр ваҡыт һандың ябай йәки ҡушма булыу факты тора. Ихтималлыҡ тесы һандың ябай булыуын ниндәйҙер ихтималлыҡ менән күрһәтә. Ябайлыҡтың ихтималлыҡ тесын ҡәнәғәтләндереүсе, ләкин ҡушма һандар ялған ябай һандар тип аталалар[23]. Одним из примеров таких чисел являются числа Кармайкла[24].

Мерсенн һандары өсөн Люк-Лемер тесы ысын ябайлыҡ тестары миҫалдарының береһе булып тора. Очевидный недостаток Был тестың төп етешһеҙлеге уның билдәле бер төрҙәге һандарға ғына ҡулланылышында. Башҡа миҫалдар араһынан Ферманың бәләкәй теоремаһына нигеҙләнгәндәрен килтерергә мөмкин[25]

  • Ферма һандары өсөн Пепин тесы
  • Прот һандары өсөн Прот теоремаһы
  • Агравал — Каял — Саксена тесы, тәүге универсаль, полиномиаль, билдәләүсе һәм шартһыҙ ябайлыҡ тесы.
  • Люк — Лемер — Ризель тесы

Шулай уҡ:

  • Бүлеүселәрҙе эҙләү ысулы
  • Вильсон Теоремаһы
  • Поклингтон критерийы
  • Миллер тесы (һандар теорияһы)
  • Адлеман — Померанс — Румель тесы, Коэн һәм Ленстра Арьен тарафынан камиллаштырылған[26]
  • Эллиптик кәкреләрҙе ҡулланып ябайлыҡ тесы.

Ихтималлыҡ тестарына ҡарайҙар:

  • Ферма тесы
  • Миллер — Рабин тесы
  • Соловей — Штрассен тесы
  • Бейль — Померанц — Селфридж — Уогстафф тесы

Ҙур ябай һандар[үҙгәртергә | вики-тексты үҙгәртергә]

Күп быуаттар дауамында «ҙур» ябай һандарҙы эҙләү математиктарҙа ҡыҙыҡһыныу уята. Һуңғы тиҫтә йылдарҙа бындай һандарҙы RSA кеүек шифрлауҙың ҡайһы бер алгоритмдарында ҡулланыу арҡаһында был тикшеренеүҙәр ғәмәли ҡиммәткә эйә була[12].

XVII быуатта Марен Мерсенн, тик n 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 и 257 һандарына тигеҙ булған осраҡтарҙа ғына (n ≤ 257 булғанда) күренешендәге һандар ябай була тип фараз итә[11] Фараздың дөрөҫлөгөн тикшереү ул осорҙоң мөмкинлегенән күпкә юғары була. Тик XX быуатта ғына гипотеза яңылыш булыуы, һәм, моғайын, «һуҡырҙарса» эшләнеүе асыҡлана, сөнки Мерсенн өс осраҡты иҫәпкә алмай (n = 61, 89 һәм 107 өсөн); бынан тыш, n = 67 һәм n = 257 ярашлы һандар — ҡушма булып сыҡҡан[11].

1876 йылда Люка Франсуа Эдуард Анатоль M 127 һаны (39-урынлы һан) — ябай булыуын иҫбат иткән, ул 1951 йылда (44 цифр) һәм, бер аҙ һуңғараҡ, (79 цифрҙан тора) һандары — электрон калькулятор ярҙамында табылған һуңғы ябай һан, табылғанға тиклем, иң ҙур билдәле ябай һан булып ҡала. Ул ваҡыттарҙан һуң артабанғы ябай һандар компьютер ярҙамында асыҡланалар: 1952 йылдан (SWAC M 521 ябай һан булыуын күрһәтә), 1996 йылға тиклем улар суперкомпьютер тарафынан табылалар, һәм улар бөтәһе лә, 1989 һәм 1992 йылдар араһында рекорд булған һанынан башҡа, Мерсенн ябай һандары булалар (Люк-Лемер тесын, бындай һандар өсөн махсус алгоритмды ҡулланып табылған)[27].

Ябай һандарҙы табыу алгоритмдары[үҙгәртергә | вики-тексты үҙгәртергә]

Математиканың факторизация ҡулланыусы ҡайһы бер мәсьәләләре осраҡлы рәүештә һайлап алынған бер нисә бик ҙур ябай һанды талап итәләр. Уларҙы табыу алгоритмы Бертран постулатына нигеҙләнгән (Натураль n ≥ 2 өсөн n < p < 2n интервалында p ябай һаны табыла.)[28]:

Алгоритм:
  1. Индереү: натураль һаны
  2. Сисеү (P осраҡлы ябай һанды эҙләү)
    1. киҫегендә ирекле натураль һанды генерациялау функцияһы
    2. Әгәр ҡушма булһа, ул саҡта
      1. Әгәр булһа ул саҡта
    3. Ҡайтыу « — осраҡлы ябай һан»

Был алгоритм менән мәсьәләне хәл итеү ваҡыты билдәһеҙ, ләкин етерлек ябай һандар булғанда һәм улар әҙме-күпме тигеҙ таратылған хәлдә, ул һәр саҡ ҙур ихтималлыҡ менән полиномиаль. Осраҡлы ябай һандар өсөн был шарттар үтәлә[21].

Ябай һандарҙы төҙөүҙең иң һөҙөмтәле ысулы булып бер аҙ үҙгәртелгән Ферманың бәләкәй теоремаһы тора[26].

N, S — таҡ натураль һандар булһын, ти. N-1 = S*R, шуның менән бергә S һанының һәр ябай q бүлеүсеһе өсөн шундай бөтөн һаны бар, бында

,

Ул саҡта N һанының һәр p ябай бүлеүсеһе түбәндәге сағыштырыуҙы ҡәнәғәтләндерә


Эҙемтә. Әгәр Ферма теоремаһының шарттары үтәлһә һәм булһа, ул саҡта N — ябай һан.[26]

Хәҙер һуңғы раҫлау ярҙамында, ҙур ябай һаны булғанда, нисек итеп һиҙелерлек ҙурыраҡ ябай һанын төҙөргә мөмкин булыуын күрһәтәйек. Бының өсөн аралығында осраҡлы рәүештә йоп һанын һайлап алабыҙ һәм әйтәйек . Артабан һанының бәләкәй ябай бүлеүселәре юҡлығын тикшерәйек, бының өсөн уны бәләкәй ябай һандарға бүлеп ҡарайбыҙ; һанын Рабин алгоритмы ярҙамында бер нисә тапҡыр һанап ҡарайбыҙ. Әгәр был ваҡытта  — ҡушма һан булыуы асыҡланһа, -ҙың яңы ҡиммәтен һайлап алырға кәрәк һәм яңынан иҫәпләүҙәрҙе ҡабатларға кәрәк. Быны Рабин алгоритмы һынауын күп тапҡыр үткән N һаны табылғанға тиклем башҡарырға кәрәк. Был осраҡта  — ябай һан булыуына өмөт барлыҡҡа килә, һәм уның ябайлығын ябайлыҡ тестары ярҙамында иҫбатларға тырышырға кәрәк[26].

Ябай һандар күмәклегенең сикһеҙлеге[үҙгәртергә | вики-тексты үҙгәртергә]

Ябай һандар сикһеҙ күп. Был раҫлау боронғо грек математигы Евклид хөрмәтенә Евклид теоремаһы булараҡ иҫкә алына, сөнки был раҫлауҙың беренсе билдәле иҫбатланыуы уға ҡарай. Ябай һандарҙың сикһеҙлегенең тағы ла күп иҫбатлауҙары билдәле, шул иҫәптән Эйлерҙың аналитик иҫбатлауы, Гольдбахтың Ферма һандары нигеҙендә иҫбатлауы[29], Фурстенбергтың дөйөм топология ҡулланып иҫбатлауы һәм Куммерҙың элегант иҫбатлауы.

Билдәле иң ҙур ябай һан[үҙгәртергә | вики-тексты үҙгәртергә]

Электән шул осорға билдәле иң ҙур ябай һандарҙы билдәләүсе яҙыуҙар алып барыла[30]. Үҙ ваҡытында Эйлер, s|1=power|2|31 − 1 = 2 147 483 647 ябай һанын табып, рекордтарҙың береһен ҡуя.

Билдәле иң ҙур ябай һан 2019 йылдың ғинуарына ҡарата Мерсенн һаны M82 589 933 = s|1=power|2|{{num|82589933 − 1. Ул 24 862 048 унарлы цифрҙан тора; был һан яҙылған китапта туғыҙ мең самаһы бит булыр ине. Уны 2018 йылдың 7 декабрендә, Мерсенн ябай һандарын таратылған эҙләү буйынса проект GIMPS сиктәрендә, табалар. Алдағы билдәле булған, 2017 йылдың декабрендә асылған иң ҙур ябай һан 1 612 623 тамғаға бәләкәйерәк була[31].

Мерсенн һандары ҡалғандарынан һөҙөмтәле ябайлыҡ тесы: Люк — Лемер тесы булыуы менән айырылып торалар. Шуның арҡаһында Мерсенн ябай һандары күптән билдәле иң ҙур ябай һандар булараҡ рекорд ҡуялар.

100 000 000 һәм 1 000 000 000-дан күберәк унарлы цифрҙан торған ябай һандарҙы тапҡан өсөн EFF[32] ярашлы рәүештә 150 000 һәм 250 000 АҠШ долларына тигеҙ аҡсалата премия тәғәйенләй[33]. Алдараҡ EFF 1 000 000 һәм 10 000 000 унарлы цифрҙан торған ябай һандарҙы тапҡан өсөн приздар тапшырған була.

Махсус күренештәге ябай һандар[үҙгәртергә | вики-тексты үҙгәртергә]

Ябайлығы махсуслаштырылған алгоритмдар ҡулланып һөҙөмтәле асыҡланырға мөмкин булған күп кенә һандар бар.

  • Мерсенн һандары — күренешендәге һандар, бында n — натураль һан[34]. Шуның менән бергә Мерсенн һаны тик n — ябай һан булғанда ғына ябай булырға мөмкин. Юғарыла билдәләп киткәнсә, Люк — Лемер тесы һөҙөмтәле ябайлыҡ тесы булып тора[35].
  • Ферма һандары — күренешендәге һандар, бында n — тиҫкәре булмаған бөтөн һан[36]. Пепин тесы һөҙөмтәле ябайлыҡ тесы булып тора. 2015 йылдың февраленә ҡарата тик 5 Ферма ябай һаны билдәле (n = 0, 1, 2, 3, 4 өсөн), артабанғы егерме һигеҙ Ферма һаны (-ны ла индереп, -гә тиклем) ҡушма һан булып сыға[37], ләкин башҡа ябай Ферма һандары булмауы иҫбат ителмәгән[38].
  • Вудал һандары — күренешендәге һандар[39]. Люк — Лемер — Ризель тесы һөҙөмтәле ябайлыҡ тесы булып тора[40].
  • Каллен һандары — күренешендәге һандар[41][42].
  • Прот һандары — күренешендәге һандар, шуның менән бергә k таҡ һәм [43]. Прот һандары өсөн Бриллхарт — Лемер — Селфридж тесы (ингл. Brillhart–Lehmer–Selfridge test һөҙөмтәле ябайлыҡ тесы булып тора)[44]. Числа Каллена и числа Ферма являются частным случаем чисел Прота (соответственно при k = n и при k = 1, )[45].
  • Миллс һандары — күренешендәге һандар, бында  — Миллс константаһы[46].

Әлеге ваҡытта билдәләнгән типтарҙағы ябай һандарҙы табыу өсөн GIMPS, PrimeGrid, Ramsey@Home, Seventeen or Bust, Riesel Sieve, Wieferich@Home бүленгән иҫәпләү проекттары ҡулланыла.

Ҡайһы бер үҙсәнлектәре[үҙгәртергә | вики-тексты үҙгәртергә]

  • Әгәр p — ябай булһа, һәм ab p-ға бүленһә, ул саҡта a йәки b p-ға бүленә. Был фактты Евклид иҫбатлай һәм ул Евклид леммаһы булараҡ билдәле[7][47]. Ул Арифметиканың төп теоремаһын иҫбатлағанда ҡулланыла.
  • Алынмалар ҡулсаһы  — ябай булғанда һәм тик шул саҡта ғына ялан була[48].
  • Һәр яландың характеристикаһы — ноль йәки ябай һан[48].
  • Әгәр  — ябай, ә  — натураль һан булһа, ул саҡта -ға бүленә (Ферманың бәләкәй теоремаһы)[49].
  • Әгәр  — тәртибе -ға бүленгән сикле төркөм булһа, ул саҡта төркөмөнөң тәртибендәге элементы бар (Коши теоремаһы)[50].
  • Әгәр  — сикле төркөм, һәм  — -ның бүленгән максималь дәрәжәһе булһа, ул саҡта төркөмөнөң тәртибендәге аҫтөркөмө бар, ул Силов аҫтөркөмө тип атала, етмәһә, Силов аҫтөркөмдәре һаны ниндәйҙер бөтөн өсөн -гә тигеҙ (Силов теоремаһы)[51].
  • Натураль һаны, әгәр -ға бүленһә, шул саҡта һәм бары шул саҡта ғына ябай була (Вильсон теоремаһы)[52].
  • Әгәр  — натураль һан булһа, шундай ябай һаны бар, (Бертран постулаты)[53].
  • Ябай һандарға кире һандар рәте таралыусан[10]. Етмәһә, өсөн
  • күренешендәге теләһә ниндәй арифметик прогрессияла, бында  — бөтөн үҙ-ара ябай һандар, сикһеҙ күп ябай һандар бар (Арифметик прогрессияла ябай һандар тураһында Дирихле теоремаһы)[54].
  • 3-тән ҙурыраҡ теләһә ниндәй ябай һан йәки күренешендә күрһәтелә ала, бында  — ниндәйҙер натураль һан. Бынан сығып, әгәр бер нисә эҙмә-эҙ килгән ябай һандарҙың айырмаһы (k>1 булғанда) бер төрлө булһа, ул һис шикһеҙ 6-ға бүленә — мәҫәлән: 251-257-263-269; 199-211-223; 20183-20201-20219.
  • Әгәр  — ябай булһа, ул саҡта 24-кә бүленә (шулай уҡ 3-кә бүленмәгән бөтә таҡ һандар өсөн дөрөҫ)[55].
  • Грин-Тао теоремаһы. Теләһә ниндәй оҙонлоҡтағы ябай һандарҙан торған арифметик прогрессиялар бар[56].
  • Бер ниндәй ҙә ябай һан күренешендә була алмай, бында n>2, k>1. Икенсе төрлө әйткәндә, ябай һандан һуң килгән һан нигеҙе 2-нән ҙур булған квадрат йәки юғары дәрәжә була алмай. Бынан шулай уҡ, ябай һан күренешендә булһа, ул саҡта k — ябай һан булыуы килеп сыға (ҡарағыҙ. Мерсенн һандары)[34].
  • Бер ниндәй ҙә ябай һан күренешендә була алмай, бында n>1, k>0. Икенсе төрлө әйткәндә, ябай һандың алдынан килгән һан нигеҙе 1-ҙән ҙур булған куб йәки юғарыраҡ таҡ күрһәткесле дәрәжә була алмай[57].
  • Һәр ябай һанды (8n-1 күренешендәге һандарҙан башҡа) өс квадрат суммаһы рәүешендә күрһәтеп була[58].

Ҡулланылышы[үҙгәртергә | вики-тексты үҙгәртергә]

Ябай һандар математиканың күп өлкәләрендә фундаменталь компоненттар булып торалар.

Арифметик функциялар[үҙгәртергә | вики-тексты үҙгәртергә]

Арифметик функциялар, атап әйткәндә натураль һандар күмәклегендә билдәләнгән һәм комплекслы һандар күмәклегенән ҡиммәттәр ҡабул иткән функциялар, һандар теорияһында ҙур роль уйнайҙар. Айырым алғанда, улар араһында мультипликатив функциялар, йәғни түбәндәге үҙсәнлектәргә эйә булған , функциялары иң мөһим булып торалар: әгәр пары үҙ-ара ябай һандарҙан торһа, ошо тигеҙлек дөрөҫ[59]

Мультипликатив функцияларҙың миҫалы булып Эйлер функцияһы тора, ул һанына количество натуральных чисел, меньших n-дан бәләкәй һәм уның менән үҙ-ара ябай натураль һандар күмәклеген һәм n һанының бүлеүселәре һанын ярашлы ҡуя[60]. Был функцияның ябай һан дәрәжәһенән ҡиммәттәре:

  • Бүлеүсе Функцияһы:

Арифметик функцияларҙы, улар ябай һандар дәрәжәһе өсөн ҡабул иткән ҡиммәттәрҙе белгәндә, еңел иҫәпләп була[59]. Ысынлап та n натураль һанының ҡабатлашыусыларға тарҡалмаһынан

булыуын табабыҙ.

һәм ошонан сығып, -ды иҫәпләү мәсьәләһенә ҡайтҡанда, -ты һәр ябай бүлеүсеһе дәрәжәһенән иҫәпләү -ты дөйөм формула буйынса иҫәпләгәндән күпкә ябайыраҡ килеп сыға.[61]

Мәҫәлән, Эйлер функцияһының n = 450 = 2 × 3 2 × 5 2 өсөн ҡиммәтен табыу өсөн,

-ды иҫәпләү етә

Модулле арифметика[үҙгәртергә | вики-тексты үҙгәртергә]

Модулле арифметикала ябай һандар ҙур роль уйнайҙар: алынмалар ҡулсаһы, n ябай һан булғанда һәм тик шул саҡта ғына ялан була[48]. Шулай уҡ ҡулсаһының алынма тамырының булыуы ябай һандарға бәйле: ул n — ябай һан булғанда ғына бар, 1, 2, 4 йәки формаһындағы һан, бында p таҡ.

Модулле арифметиканың мөһим теоремаларының береһе булып Ферманың бәләкәй теоремаһы тора[52]. Был теорема, теләһә ниндәй р ябай һаны һәм теләһә ниндәй натураль a һаны өсөн:

тип раҫлай

йәки теләһә ниндәй р ябай һаны һәм р-ға бүленмәгән теләһә ниндәй натураль а өсөн:

дөрөҫ.

Был үҙсәнлекте һан ябай түгел икәнен тикшереү өсөн ҡулланырға мөмкин. Ысынлап та, әгәр n ниндәйҙер натураль а өсөн:

булһа,

ул саҡта n ябай була алмай[52]. Ләкин был үҙсәнлек һанды ябайлыҡҡа тикшереү өсөн ҡулланыла алмай: Кармайкл һандары тип аталған шундай һандар бар (иң бәләкәйе — 561), улар өсөн был дөрөҫ түгел. Кармайкл һаны тип n менән үҙ-ара ябай булған һәр b нигеҙе буйынса ялған ябай һан булған ҡушма һан атала. 1994 йылда Уильям Роберт Альфорд, Эндрю Гранвиль һәм Померанс Карл бындай һандарҙың сикһеҙ күп булыуын күрһәтәләр[62].

Төркөмдәр теорияһы[үҙгәртергә | вики-тексты үҙгәртергә]

Ябай һандар шулай уҡ алгебрала төп ролде уйнайҙар. Төркөмдәр теорияһында һәр элементы р ябай һанының дәрәжәһе булған төркөм P-төркөм тип атала[63]. P-төркөм, төркөмдөң тәртибе (уның элементтарының һаны) р-ның дәрәжәһе булғанда һәм бары шул саҡта ғына сикле була. Прюферҙың p-төркөмө сикһеҙ р-төркөмдөң миҫалы булып тора[64]. p-төркөмө тривиаль булмаған үҙәккә эйә булыуы билдәле, тимәк, ябай була алмайҙар (p элементтары булған төркөмдән башҡа); әгәр төркөм сикле булһа, бынан тыш, бөтә нормаль аҫтөркөмдәр үҙәкте тривиаль булмаған рәүештә киҫәләр. Ябай һандың модуле буйынса ҡабатлауҙың цикллы төркөмө бындай төркөмдәрҙең миҫалы булып тора[65].

p тәртибендәге бөтә төркөмдәр цикллы булалар һәм шуға күрә Абель төркөмө булалар; шулай уҡ һәр p 2 тәртибендәге төркөм Абель төркөмө була. Бынан тыш, һәр сикле Абель төркөмө сикле һандағы цикллы р-төркөмдәрҙең тура ҡабатландығына изоморфлы.

Коши теоремаһында, что әгәр сикле G төркөмөнөң тәртибе p ябай һанына бүленһә, G төркөмөнә p тәртибендәге элементтар инә. Был теорема Силов теоремаларында дөйөмләштерелә[50].

Асыҡ асҡыслы криптосистема[үҙгәртергә | вики-тексты үҙгәртергә]

Асыҡ асҡыслы криптосистемаларҙың RSA һәм Диффи-Хеллман асҡыстары менән алмашыныу кеүек ҡайһы бер алгоритмдары, ҙур ябай һандарға (ғәҙәттә 1024—2048 бит) нигеҙләнгәндәр. RSA, ике (ҙур) x һәм y һандарын ҡабатлауҙы башҡарыу, әгәр уларҙың ҡабатландығы ғына билдәле булһа, x һәм y үҙ-ара ябай һандарын иҫәпләүгә ҡарағанда күпкә ябайыраҡ (йәғни һөҙөмтәле) тигән фаразға таяна. Диффи-Хеллман асҡыстары менән алмашыныу модуле буйынса дәрәжәгә күтәреүҙең һөҙөмтәле алгоритмдары булыуына таяна, ә кире операция — Дискретлы логарифмлау ҡатмарлы тип һанала[66][67].

RSA[үҙгәртергә | вики-тексты үҙгәртергә]

Ҙур һандарҙы факторизациялау беренсе һөҙөмтәле RSA — асыҡ асҡыслы криптография ысулын эшләүгә килтерә[68]. Был криптографик системала, шифрланған хәбәр алырға тейеш булған кеше, асҡыс генерирлай: бирелгән үлсәмдәге (ғәҙәттә, 1024- йәки 2048-битлы һандар ҡулланыла) төрлө ике һәм осраҡлы ябай һандары һайлап алына. Артабан уларҙың модуль тип аталған ҡабатландығы иҫәпләнә. Эйлер функцияһының һанынан ҡиммәте иҫәпләнә: . функцияһының ҡиммәте менән үҙ-ара ябай () бөтөн һаны һайлап алына. Ғәҙәттә сифатында ҙур булмаған ябай һанды алалар (мәҫәлән, ябай Ферма һандары). һаны асыҡ экспонента(ингл. public exponent) тип атала. Серле экспонента тип аталған, e һанына модуле буйынса мультипликатив кире һанын иҫәпләйҙәр. RSA-ның асыҡ асҡысы (ингл. RSA public key) сифатында һандар пары яҙыла. пары RSA-ның бикле асҡысы (ингл. RSA private key) ролен уйнай һәм сер итеп һаҡлана[12].

Теоретик бикле асҡысты асыҡтан-асыҡ булған мәғлүмәттән алырға мөмкин: хәҙерге ваҡытта бының өсөн һанын факторизациялау талап ителә, әгәр ябай һандар билдәле шарттарҙы ҡәнәғәтләндерһәләр һәм «етерлек ҙур» булһалар, был һаҡланыусы хәбәрҙе ебәреүҙе хәүефһеҙ итә. Хәбәрҙең шифрын сисеү өсөн һанын факторизациялауға тура атака менән бәйле булмаған һөҙөмтәле ысулдар бармы икәне әлегә билдәһеҙ, ләкин асыҡ асҡысты насар һайлау бындай атакалар өсөн системаны йомшаҡ (ныҡлы түгел) итә.Ҡалып:Source-ref

1991 йылда RSA Security ярым ябай һандар теҙмәһен баҫтырып сығара, ысулдың хәүефһеҙлеген раҫлау һәм был өлкәлә тикшеренеүҙәрҙе дәртләндереү маҡсатында, уларҙың ҡайһы берҙәрен ҡабатлашыусыларға тарҡатыу өсөн аҡсалата приз тәҡдим итә: инициатива Challenge RSA Factoring тип атала.[69] Күп йылдар дауамында был һандарҙың ҡайһы берҙәре ҡабатлашыусыларға тарҡатыла,ә ҡалғандары өсөн факторизация проблемаһы асыҡ ҡала; ләкин конкурс 2007 йылда тамамлана[69].

Ябай һандарҙы табыу өсөн формулалар[үҙгәртергә | вики-тексты үҙгәртергә]

Төрлө ваҡыттарҙа, уға ингән үҙгәреүсәндәрҙең төрлө ҡиммәттәрендә, ҡиммәте ябай һан булған аңлатма табырға маташыуҙар була[54]. Л. Эйлер, n = 0, 1, 2, …, 40 булғанда ябай ҡиммәттәр ҡабул иткән, күпбыуынын тәҡдим итә. Ләкин n = 41 булғанда күпбыуындың ҡиммәте ҡушма һан була. n-дың бөтә бөтөн ҡиммәттәрендә лә ҡиммәте ябай һан булған бер n үҙгәреүсәнле күпбыуын булмауын иҫбат итергә мөмкин [54]. П. Ферма бөтә [[Ферма һандары|Ҡалып:Power + 1]] күренешендәге һандар]] ябай тип фараз итә; ләкин Эйлер был гипотезаны кире ҡаға, ул Ҡалып:Power + 1 = 4 294 967 297 һаны — ҡушма булыуын иҫбатлай[54].

Шулай булыуға ҡарамаҫтан, үҙгәреүсәндәрҙең тиҫкәре булмаған ҡиммәттәрендә ыңғай ҡиммәттәре күмәклеге ябай һандар күмәклеге менән тап килгән күмәклектәр бар. 26 үҙгәреүсәндән торған һәм 25 дәрәжәләге күпбыуын шулаҙың бер миҫалы булып тора

Шундай типтағы 42 үҙгәреүсәнле күпбыуындарҙың иң бәләкәй дәрәжәһе — 5; дәрәжәһе яҡынса 1,6•1045 булғанда үҙгәреүсәндәрҙең иң бәләкәй һаны — 10[70][71]. Был һөҙөмтә Матиясевич Юрий Владимирович иҫбатлаған теләһә ниндәй һанап сыҡмалы күмәклектең диофантлы булыуының айырым осрағы булып тора.

Шуныһы ҡыҙыҡ, юғарыла килтерелгән ябай һандарҙы тыуҙырыусы күпбыуын үҙе ҡабатлашыусыларға тарҡала. Был күпбыуындың икенсе ҡабатлашыусыһы (фигуралы йәйә эсендә) бер минус квадраттар суммаһы күренешендә. Шулай итеп күпбыуын, (ыңғай булғанда) квадраттарҙың һәр береһе (йәғни квадрат йәйәләрҙәге һәр күпбыуын) нулгә тигеҙ булғанда ғына ыңғай ҡиммәттәр ҡабул итә ала. Был осраҡта фигуралы йәйәләрҙәге аңлатма 1-гә тигеҙ була[72].

Асыҡ мәсьәләләр[үҙгәртергә | вики-тексты үҙгәртергә]

Ябай һандарҙың бүленеше pn = fsn); Δsn = pn+1² — pn². Δpn = pn+1 — pn; Δpn = 2, 4, 6, … .

Ошоға тиклем ябай һандарға ҡарата күп асыҡ мәсьәләләр бар, уларҙың иң билдәлеләрен Ландау Эдмунд 1912 йылда Бишенсе Халыҡ-ара математик конгреста һынап китә[73]:

  1. Гольдбах проблемаһы (беренсе Ландау проблемаһы): икенән ҙур булған һәр йоп һанды ике ябай һандың суммаһы рәүешендә күрһәтеп була тип әйтеү дөрөҫмө?
  2. Ландауҙың икенсе проблемаһы: «ябай игеҙәктәр» — айырмаһы икегә тигеҙ булған ябай һандар парҙары күмәклеге сикһеҙме[54]? 2013 йылда Нью-Гэмпшира университеты математигы Чжан Итан[74][75], араларындағы алыҫлығы 70 миллиондан артмаған сикһеҙ ҙур һандағы ябай һандар парҙары бар икәнен иҫбатлай. Һуңғараҡ, Мейнард Джеймс һөҙөмтәне 600-гә тиклем яҡшырта. 2014 йылда Тао Теренс етәкселегендә Polymath[en] проекты, алыҫлыҡ баһаһын 246-ға алмаштырып, һуңғы ысулды бер аҙ яҡшырталар.
  3. Лежандр гипотезаһы (Ландауҙың өсөнсө проблемаһы): һәр натураль һаны өсөн һәм араһында һәр ваҡытта ябай һан табыла тип раҫлау дөрөҫмө[76]?
  4. Ландауҙың дүртенсе проблемаһы: күренешендәге ябай һандар күмәклеге сикһеҙме, бында  — натураль һан[54]?

Шулай уҡ күп бөтөн һанлы эҙмә-эҙлектәрҙә, Мерсенн һандарын, Фибоначчи һандарын, Ферма һандарын һәм башҡаларҙы ла индереп, сикһеҙ һандағы ябай һандарҙың булыуы ла асыҡ проблема булып ҡала[54].

Вариациялар һәм дөйөмләштереүҙәр[үҙгәртергә | вики-тексты үҙгәртергә]

Килтереп булмай торған һәм ябай элементтар[үҙгәртергә | вики-тексты үҙгәртергә]

Мәҡәләнең башында ябай һан билдәләмәһе бирелгәйне: ике генә бүлеүсеһе — берәмек һәм һан үҙе булған натураль һан ябай һан тип атала. Оҡшаш төшөнсәләрҙе башҡа алгебраик структураларҙа ла индерергә мөмкин; йышыраҡ нулдең бүлеүселәренән башҡа коммутатив ҡулсалар ҡаралалар (бөтөнлөк өлкәләре)[77][78]. Ләкин бындай ҡулсаларҙың мультипликатив төркөм төҙөүсе берәмектең бүлеүселәре булырға мөмкин. Мәҫәлән, бөтөн һандар ҡулсаһында берәмектең ике бүлеүсеһе бар: һәм Шуға күрә берәмектең бүлеүселәренән башҡа бөтә бөтөн һандарҙыңике түгел, ә кәмендә дүрт бүлеүсеһе була; мәҫәлән, 7 һанының бүлеүселәре Был дөйөмләштерелгән ябай һан төшөнсәһе уның икенсе үҙсәнлектәренә нигеҙләнергә тейеш булыуын аңлата.

Бөтөнлөк өлкәһе өсөн килтереп булмай торған элемент ябай һандың аналогы булып тора, ул ошолай билдәләнә[79].

Бөтөнлөк өлкәһенең нулдән айырмалы элементы, әгәр ул берәмектең бүлеүсеһе булмаһа һәм тигеҙлегенән йәки берәмектең бүлеүсеһе була икәне килеп сыҡһа, килтереп булмай торған (ҡайһы берҙә тарҡатып булмай торған) тип атала.

Был билдәләмә бөтөн һандар өсөн ябай натураль һандар, шулай уҡ уларға ҡапма-ҡаршы һандар килтереп булмай торған элементтар булыуын аңлата.

Билдәләмәнән, килтереп булмай торған элементының бүлеүселәре күмәклеге ике өлөштән: берәмектең бөтә бүлеүселәренән һәм -ның берәмектең бөтә бүлеүселәренә ҡабатландыҡтарынан (был ҡабатландыҡтар злементтар менән ассоциирлаштырылған тип аталалар) тороуы килеп сыға. Йәғни, килтереп булмай торған -ның бүлеүселәре һаны, әгәр ул сикле булһа, ҡулсала берәмектең бүлеүселәре һанынан ике тапҡыр күп.

Арифметиканың төп теоремаһы аналогы ҙур әһәмиәткә эйә, ул дөйөмләштерелгән рәүештә ошолай әйтелә[80]:

Ҡулса, әгәр унда берәмектең бүлеүсеһе булмаған һәр нулдән айырмалы элемент килтереп булмай торған элементтарҙың ҡабатландығы рәүешендә күрһәтелә алһа, шуның менән бергә был күрһәтеү ҡабатлашыусыларҙың алмаштырмаһына һәм уларҙың ассоциирлаштырылғанына (берәмектең бүлеүселәренә ҡабатландығына) тиклем аныҡлыҡ менән берҙән-бер булһа, факториаль тип атала.

Теләһә ниндәй бөтөнлөк өлкәһе лә факториаль түгел, ҡарағыҙ. контрмиҫал. Евклид ҡулсаһы һәр ваҡыт факториаль[81].

Ябай һан төшөнсәһенең башҡа, ябай элемент тип аталған тарыраҡ дөйөмләштереүе бар[79].

Бөтөнлөк өлкәһенең нулдән айырмалы элементы, әгәр ул берәмектең бүлеүсеһе булмаһа һәм ҡабатландығы -ға, йәки элементтарының береһе генә булһа ла -ға бүленгән осраҡта ғына бүленә алһа, ябай тип атала.

Ябай элемент һәр ваҡыт килтереп булмай торған. Ысынлап та, әгәр элементы ябай һәм булһа, ябай элемент билдәләмәһе буйынса ҡабатлашыусыларҙың береһе, булһын әйҙә, -ға бүленә, йәғни Ул саҡта йәки, -ға ҡыҫҡартып (бөтөнлөк өлкәһендә нулдән айырмалы ҡабатлашыусыны ҡыҫҡартыу һәр саҡ мөмкин): йәғни берәмектең бүлеүсеһе була. Ҡалып:Шииһ

Киреһе, дөйөм алғанда, дөрөҫ түгел, килтереп булмай торған элемент, әгәр ҡулса факториаль булмаһа, ябай була алмай. Миҫал[82]: күренешендәге һандар ҡулсаһын ҡарайыҡ, бында  — бөтөн һандар. 3 һаны унда килтереп булмай торған һан, сөнки уның тик 4 бүлеүсеһе бар: . Ләкин ул ябай элемент түгел, быға ошо тигеҙлек ышандыра:

Тигеҙлектең уң яғы 3-кә бүленә, ләкин бер ҡабатлашыусы ла 3-кә бүленмәй. Был факттан ҡаралған ҡулсаның факториаль булмауы тураһында һығымта яһап була; ысынлап та, тигеҙлеге был ҡулсала килтереп булмай торған ҡабатлашыусыларға тарҡатыу берҙән бер түгел булыуын күрһәтә.

Миҫалдар[үҙгәртергә | вики-тексты үҙгәртергә]

Бөтөн һандар ҡулсаһы факториаль. Унда, юғарыла телгә алынғанса, берәмектең ике бүлеүсеһе.

Гаусс бөтөн һандары[үҙгәртергә | вики-тексты үҙгәртергә]

Гаусс һандары ҡулсаһы күренешендәге, бында  — бөтөн һандар, комплекслы һандарҙан тора. Берәмектең бүлеүселәре дүртәү: Был ҡулса факториаль, ғәҙәттәге ябай һандарҙың бер өлөшө һәм «ябай гаусс һандары» килтереп булмай торған элементтар булып торалар (мәҫәлән, ). Ҡарағыҙ. Гаусс һандары ябайлығы критерийы.

Гаусс һандары ҡулсаһында ябай булмаған 2 һаны өсөн ҡабатлашыусыларға тарҡатыу миҫалы:  — бында тарҡатыу берҙән бер түгел һымаҡ күренә генә, сөнки тигеҙлегенә ярашлы, менән ассоциациялана.

Эйзенштейндың бөтөн һандары[үҙгәртергә | вики-тексты үҙгәртергә]

Эйзенштейндың бөтөн һандары ҡулсаһы түбәндәге күренештәге комплекслы һандарҙан тора[83]:

бында  — бөтөн һандар, (берәмектең куб тамыры),

Был ҡулсала берәмектең алты бүлеүсеһе бар: (±1, ±ω, ±ω2), ул Евклид ҡулсаһы һәм шуға күрә факториаль. Ҡулсаның килтереп булмай торған элементтары (улар шулай уҡ ябай элементтар) Эйзенштейндың ябай һандары тип аталалар.

Ябайлыҡ критерийы: Эйзенштейндың бөтөн һаны , түбәндәге бер-береһен кире ҡағыусы шарттарҙың береһе үтәлгәндә һәм шул саҡта ғына Эйзенштейндың ябай һаны була:

  1. күренешендәге натураль ябай һан менән ассоциацияланғанда
  2. (-тың нормаһы) йәки күренешендәге натураль ябай һан булһа.

Бынан Эйзенштейндың теләһә ниндәй бөтөн һанының нормаһы йә ябай натураль һан, йә ябай натураль һандың квадраты була икәне килеп сыға[83].

Эйзенштейндың ябай һандары менән ассоциацияланған йәки комплекслы-эйәртеүле һандар, шулай уҡ Эйзенштейндың ябай һандары булалар.

Күпбыуындар ҡулсаһы[үҙгәртергә | вики-тексты үҙгәртергә]

Алгебрала ниндәйҙер ҡулсаһынан алынған коэффициентлы күпбыуындарҙан торған күпбыуындар ҡулсаһы ҙур әһәмиәткә эйә. Бында берәмектең бүлеүселәре булып нулдән айырмалы константалар (нуленсе дәрәжә күпбыуындар булараҡ) торалар. Күпбыуындар ҡулсаһы евклидово һәм шуға күрә факториаль. Әгәр сифатында ысын һандар яланын алғанда, бөтә 1-се дәрәжә күпбыуындар һәм ысын тамырҙары булмаған 2-се дәрәжә күпбыуындар (йәғни уларҙың дискриминанты тиҫкәре), килтереп булмай торған күпбыуындар булалар[84].

Шулай уҡ ҡарағыҙ[үҙгәртергә | вики-тексты үҙгәртергә]

Примечания[үҙгәртергә | вики-тексты үҙгәртергә]

  1. 1,0 1,1 Простое число // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1977. — Т. 4.
  2. 2,0 2,1 "«Arguments for and against the primality of 1». (инг.)
  3. Последовательность A000040 в OEIS, смотри также список простых чисел
  4. Гарднер, Мартин. От мозаик Пенроуза к надёжным шифрам = Penrose Tiles to Trapdoor Ciphers / пер. с англ. Ю. А. Данилова. — М.: [[Мир (издательство)|]], 1993. — 416 с. — 10 000 экз. — ISBN 5-03-001991-X.
  5.  (фр.) Préhistoire de la géométrie : le problème des sources (PDF)(недоступная ссылка). Site de l’IREM de La Réunion. Voir aussi « Les fables d’Ishango, ou l’irrésistible tentation de la mathématique-fiction», analyse par O. Keller sur Bibnum
  6. издание=Mathpages Egyptian Unit Fractions.
  7. 7,0 7,1 Рыбников К. Русские издания «Начал» Евклида (рус.) // Успехи математических наук. — Российская академия наук, 1941. — № 9. — С. 318—321.
  8. John J. O'Connor, Edmund F. Robertson Prime numbers  (инг.).
  9. List of Known Mersenne Prime Numbers.
  10. 10,0 10,1 10,2 Apostol, Tom M. Introduction to analytic number theory. — New York: Springer-Verlag, 1976. — xii, 338 pages с. — ISBN 0387901639.
  11. 11,0 11,1 11,2 Du Sautoy, Marcus. L'enigma dei numeri primi. — Milano: Rizzoli, 2005. — 606 p. с. — ISBN 8817008435.
  12. 12,0 12,1 12,2 Menezes, A. J. (Alfred J.), 1965-. Handbook of applied cryptography. — Boca Raton: CRC Press, 1997. — xxviii, 780 pages с. — ISBN 9780849385230.
  13. 13,0 13,1 Ишмухаметов Ш. Т. Методы факторизации натуральных чисел: учебное пособие // Казань: Казанский университет. — 2011. — С. 190.
  14. Dudley, Underwood (1978), «Elementary number theory» (2nd ed.), W. H. Freeman and Co., ISBN 978-0-7167-0076-0 , Section 2, Theorem 2 (инг.)
  15. См, например, David E. Joyce’s комментарий на Начала (Евклид), Книга VII, определения 1 и 2.
  16. 16,0 16,1 16,2 Why is the number one not prime? (from the Prime Pages' list of frequently asked questions) by Chris K. Caldwell. (инг.)
  17. See for instance: L. Euler. Commentarii academiae scientiarum Petropolitanae 9 (1737), 160—188. Variae observationes circa series infinitas, Theorema 19, p.187. (инг.)
  18. Derbyshire, John (2003), "The Prime Number Theorem", «Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics», Washington, D.C.: Joseph Henry Press, с. 33, ISBN 978-0-309-08549-6, OCLC 249210614  (инг.)
  19. David Gries, Jayadev Misra. A Linear Sieve Algorithm for Finding Prime Numbers. — 1978.
  20. Knuth, Donald Ervin, 1938-. The art of computer programming. — Reading, Mass.: Addison-Wesley Pub. Co, ©1973-©1981. — 4 volumes с. — ISBN 0201896842.
  21. 21,0 21,1 Vasilenko, O. N. (Oleg Nikolaevich). Teoretiko-chislovye algoritmy v kriptografii. — Moskva: MT︠S︡NMO. Moskovskiĭ t︠s︡entr nepreryvnogo matematicheskogo obrazovanii︠a︡, 2006. — 333 pages с. — ISBN 5940571034.
  22. Б. Шнайер. Прикладная криптография. — С. 296—300.
  23. Кормен Т., Лейзер Ч. Алгоритмы. Построение и анализ. — М.: МЦНМО, 2002. — С. 765—772.
  24. Crandall R., Pomerance C. Prime Numbers: A Computational Perspective. — Springer, 2005.
  25. Introduction to algorithms. — 2nd ed. — Cambridge, Mass.: MIT Press, 2001. — xxi, 1180 pages с. — ISBN 0262032937.
  26. 26,0 26,1 26,2 26,3 Нестеренко Ю. В. Введение в криптографию. — Питер, 2001. — 288 с.
  27. Chris Caldwell The Largest Known Prime by Year: A Brief History  (инг.).
  28. Jitsuro Nagura On the interval containing at least one prime number (EN) // Proceedings of the Japan Academy. — 1952. — В. 4. — Т. 28. — С. 177—181. — ISSN 0021-4280. — DOI:10.3792/pja/1195570997
  29. Letter in Латынь from Goldbach to Euler, July 1730.
  30. Рекорды простых чисел по годам
  31. Starr, Michelle. The Largest Prime Number to Date Has Been Discovered And It's Hurting Our Brains  (инг.), ScienceAlert. 6 ғинуар 2018 тикшерелгән.
  32. EFF Cooperative Computing Awards (инг.)
  33. Юлия Рудый Профессор из США определил самое большое простое число. Вести.Ru (2013-02-07). 25 февраль 2018 тикшерелгән.
  34. 34,0 34,1 Последовательность A001348 в OEIS
  35. Последовательность A000668 в OEIS: простые числа Мерсенна
  36. Последовательность A000215 в OEIS
  37. Keller, Wilfrid (February 15, 2015), «Prime Factors of Fermat Numbers», <http://www.prothsearch.net/fermat.html#Summary>. Проверено 1 март 2016.  Архивная копия от 10 февраль 2016 на Wayback Machine
  38. Виолант-и-Хольц, Альберт. Загадка Ферма. Трёхвековой вызов математике. — М.: Де Агостини, 2014. — С. 78. — 151 с. — (Мир математики: в 45 томах, том 9). — ISBN 978-5-9774-0625-3.
  39. Последовательность A003261 в OEIS
  40. Последовательность A050918 в OEIS: простые числа Вудала
  41. Последовательность A002064 в OEIS
  42. Последовательность A050920 в OEIS: простые числа Каллена
  43. Последовательность A080075 в OEIS
  44. John Brillhart; Derrick Henry Lehmer; John Selfridge New Primality Criteria and Factorizations of 2^m ± 1 (инг.) // Mathematics of Computation (инг.)баш. : journal. — 1975. — Т. 29. — С. 620—647. — DOI:10.1090/S0025-5718-1975-0384673-1
  45. Последовательность A080076 в OEIS: простые числа Прота
  46. Caldwell, Chris K. & Cheng, Yuanyou (2005), "«Determining Mills' Constant and a Note on Honaker's Problem»", Journal of Integer Sequences Т. 8 (5.4.1), <http://www.cs.uwaterloo.ca/journals/JIS/VOL8/Caldwell/caldwell78.html> 
  47. Dudley, Underwood (1978), «Elementary number theory» (2nd ed.), W. H. Freeman and Co., ISBN 978-0-7167-0076-0 , Section 2, Lemma 5 (инг.)
  48. 48,0 48,1 48,2 Степанов С. А. Сравнения. — М.: «Знание», 1975. — 64 с.
  49. Винберг, 2008, с. 43
  50. 50,0 50,1 Курош А. Г. Теория групп. 3-е изд., М.: Наука, 1967.
  51. А. И. Кострикин. Введение в алгебру, III часть. М.: Физматлит, 2001.
  52. 52,0 52,1 52,2 Виноградов И. М. Основы теории чисел. — 5 изд.. — М.-Л.: Гостехиздат, 1952.
  53. Chris Caldwell, Bertrand’s postulate at Prime Pages glossary.
  54. 54,0 54,1 54,2 54,3 54,4 54,5 54,6 Энциклопедический словарь юного математика, 1985
  55. Ҡалып:Razr. 3-кә бүленмәгән p таҡ һаны, равно 1 или 2 по модулю 3 и равно 1, 3, 5 или 7 по модулю 8. При возведении в квадрат это даёт 1 по модулю 3 и 1 по модулю 8. Вычитая 1, получаем 0 по модулю 3 и 0 по модулю 8. Следовательно, кратно 3 и кратно 8; следовательно, оно кратно 24
  56. Weisstein, Eric W. Green-Tao Theorem (инг.) на сайте Wolfram MathWorld.
  57. Эти 2 свойства непосредственно следуют из формул разложения суммы и разности степеней
  58. Энциклопедический словарь юного математика, 1985, с. 332
  59. 59,0 59,1 Graham, Ronald L. (1935- ). Konkretnaâ matematika : osnovanie informatiki. — Moskva: Izdatelʹstvo "Mir", 1998. — 703, [1] s. с. — ISBN 5030017933.
  60. Sandifer, Charles Edward, 1951-. The early mathematics of Leonhard Euler. — Washington, D.C.: Mathematical Association of America, 2007. — xix, 391 pages с. — ISBN 0883855593.
  61. Bach, Eric. Algorithmic number theory. — Cambridge, Mass.: MIT Press, ©1996-. — volumes <1> с. — ISBN 0262024055.
  62. W. R. Alford, Andrew Granville, Carl Pomerance There are Infinitely Many Carmichael Numbers // Annals of Mathematics. — 1994. — В. 3. — Т. 139. — С. 703—722. — DOI:10.2307/2118576
  63. Charles C. Sims Enumerating p-Groups (инг.) // Proceedings of the London Mathematical Society. — 1965-01-01. — В. 1. — Т. s3—15. — С. 151—166. — ISSN 1460-244X. — DOI:10.1112/plms/s3-15.1.151
  64. Jacobson, Nathan, 1910-1999. Basic algebra. — 2nd ed., Dover ed. — Mineola, N.Y.: Dover Publications, 2009. — 2 volumes с. — ISBN 9780486471877.
  65. Сагалович Ю.Л. Введение в алгебраические коды. — 2011. — 302 с.
  66. Ferguson, Niels. Practical cryptography. — New York: Wiley, 2003. — xx, 410 pages с. — ISBN 0471223573.
  67. W. Diffie, M. Hellman New directions in cryptography // IEEE Transactions on Information Theory. — November 1976. — В. 6. — Т. 22. — С. 644—654. — ISSN 0018-9448. — DOI:10.1109/tit.1976.1055638
  68. Bakhtiari, Maarof, 2012, p. 175
  69. 69,0 69,1 RSA Laboratories, The RSA Factoring Challenge {{{2}}}.. Опубликовано 18 мая 2007.
  70. Jones J. P., Sato D., Wada H., Wiens D. Diophantine representation of the set of prime numbers (инг.) // Amer. Math. Mon. : journal. — 1976. — Т. 83. — № 6. — С. 449—464. Архивировано из первоисточника 31 март 2010.
  71. Yuri Matiyasevich, Diophantine Equations in the XX Century(недоступная ссылка)
  72. Matijasevic’s polynomial. The Prime Glossary.
  73. Weisstein, Eric W. Landau's Problems (инг.) на сайте Wolfram MathWorld.
  74. Неизвестный математик совершил прорыв в теории простых чисел-близнецов
  75. Bounded Gaps Between Primes
  76. Ҡалып:Mathworld
  77. Обобщение на произвольные полугруппы см. в книге Куроша.
  78. Ван дер Варден, 2004, с. 75
  79. 79,0 79,1 Курош, 1973, с. 82—83
  80. Ленг, 1967, с. 89
  81. Ван дер Варден, 2004, с. 77—78
  82. William W. Adams, Larry Joel Goldstein (1976), Introduction to Number Theory, p. 250, Prentice-Hall, Inc., ISBN 0-13-491282-9
  83. 83,0 83,1 Eisenstein Integer--from MathWorld
  84. Винберг Э. Б. Алгебра многочленов. — М.: Просвещение, 1980. — С. 122—124. — 176 с.

Литература[үҙгәртергә | вики-тексты үҙгәртергә]

Һылтанмалар[үҙгәртергә | вики-тексты үҙгәртергә]

Ҡалып:Числа Ҡалып:Числа по характеристикам делимости