Ябай һан — ике генә бүлеүсеһе — берәмек һәм үҙе булған натураль (ыңғай бөтөн) һан.
Икенсе төрлө әйткәндә, әгәр һаны -ҙән ҙур һәм тик -гә һәм -ҡа ғына ҡалдыҡһыҙ бүленһә, ул ябай һан була. Миҫалға, — ябай һан, ә ябай һан түгел, сөнки -ҙән һәм -нан башҡа, ул -гә һәм -кә бүленә.
Арифметиканың төп теоремаһы ябай һандарҙың һандар теорияһында үҙәк ролен билдәләй: -ҙән ҙур булған теләһә ниндәй бөтөн һан, йә ябай һан була, йә ябай һандарҙың ҡабатландығы итеп күрһәтелә ала, һәм ул ҡабатлашыусыларҙың тәртибенә тиклем аныҡлыҡ менән берҙән бер. Ошо теоремала тап берҙән-берлекте тәьмин итеү өсөн, берәмек ябай һан булып иҫәпләнмәй (кире осраҡта теләһә ниндәй тарҡатмаға ирекле һанда күп итеп берәмекте индерергә мөмкин, мәҫәлән, һәм башҡа шулай).
Берҙән ҙур һәм ябай булмаған натураль һандар ҡушма тип аталалар. Шулай итеп, бөтә натураль һандар өс класҡа бүленә: берәмеккә (бер генә натураль бүлеүсеһе булған), ябай һандарға (ике натураль бүлеүсеһе булған) һәм ҡушма һандарға (икенән күберәк натураль бүлеүсеһе булған). Ябай һандарҙың үҙсәнлектәрен өйрәнеү менән һандар теориһы шөғөлләнә. Ябай һандар ҙа, ҡушма һандар ҙа сикһеҙ күп.
Ябай һандар эҙмә-эҙлелеге ошолай башлана:
Һандың ябай булыу үҙсәнлеге ябайлыҡ тип атала. Бирелгән n һанының ябайлығын тикшереүҙең ябай, ләкин яй ысулы бүлеүселәрҙе берәмтекләп ҡарау; файҙалыраҡ алгоритмдар аҫтараҡ һүрәтләнгән.
Ябай һандарға ҡағылышлы күп проблемалар асыҡ ҡалалар, түбәндә ҡарағыҙ.
Ябай һандар математикала һәм яҡын фәндәрҙә киң ҡулланылалар. Мәҫәлән, асыҡ асҡыслы криптосистема кеүек бик күп мәғлүмәт технологиялары алгоритмдарында. Ул һандарҙы ябай ҡабатлашыусыларға тарҡатыуҙың ҡатмарлылығы кеүек үҙсәнлектәрҙе файҙалана.
Ирекле ҡулсалар һәм башҡа алгебраик структуралар өсөн ябай һан төшөнсәһен дөйөмләштереүҙәр бар, түбәндә ҡарағыҙ.
Ябай һан төшөнсәһе ҡасан индерелеүе билдәһеҙ, әммә ундай һандарҙы аңлау тураһында дәлилдәр һуңғы палеолитҡа ҡарай, быны Ишанго төймәһе раҫлай.
Боронғо мысырлыларҙың һаҡланып ҡалған яҙмаларында уларҙың ябай һандар тураһында ҡайһы бер мәғлүмәттәргә эйә булыуына ишара бар: мәҫәлән, беҙҙең эраға тиклем II меңйыллыҡҡа ҡараған Райнд папирусында 2/n күренешендәге кәсерҙәрҙе числителдәре бергә тигеҙ булған һәм төрлө знаменателле ике, өс йәки дүрт кәсерҙең суммаһы рәүешендә күрһәтеүсе таблицалар бар. Кәсерҙәрҙең знаменателдәренең уртаҡ бүлеүсеһе булған тарҡалмалары, мысырлыларҙың ябай һан менән ҡушма һан араһындағы айырманы белеүҙәрен күрһәтә.
Ләкин ябай һандар тураһында һаҡланған иң иртә тикшеренеүҙәр боронғо гректарҙан алынған. Евклидтың «Башланғыстар»ында (б. э. т. 300 йылдар тирәһе.), ябай һандарҙың сикһеҙлеген, Евклид леммаһын һәм арифметиканың төп теоремаһын да индереп, ябай һандар тураһында мөһим теоремалар бар. Боронғо Грецияла шулай уҡ Эратосфен иләге — 1-ҙән алып n-ға тиклем бөтә ябай һандарҙы табыуҙың ябай алгоритмы уйлап табылған.
Гректарҙан һуң XVII быуатҡа тиклем ябай һандарҙы өйрәнеүҙә ҙур яңылыҡтар булмай. 1640 йылда Пьер де Ферма (иҫбатламайынса) Ферманың бәләкәй теоремаһын (уны аҙағыраҡ Лейбниц һәм Эйлер иҫбатлай) һәм ике квадраттың суммаһы тураһында теореманы әйтеп бирә. Ферма шулай уҡ + 1 күренешендәге бөтә һандар — ябай (улар Ферма һандары тип аталалар) тигән фараз әйтә һәм уны n = 4-кә тиклем (йәғни + 1) иҫбат итә. Ләкин Эйлер n = 5 булғандағы артабанғы Ферма һаны (йәғни + 1) ҡушма һан булыуын күрһәтә (641-гә бүленә). Бөгөнгө көндә ябай булған башҡа билдәле Ферма һандары юҡ. Шул уҡ ваҡытта француз монахы Марен Мерсенн 2p — 1, бында p — ябай һан, күренешендәге ябай һандарға иғтибар итә (бындай күренештәге бөтә һандар ҙа ябай түгел). Уларҙы Мерсенн хөрмәтенә Мерсендың ябай һандары тип атайҙар.
Эйлерҙың һандар теорияһындағы хеҙмәтенә ябай һандар тураһында бик күп мәғлүмәт ингән. Ул 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + … сикһеҙ рәт таралыусан булыуын күрһәтә. Шулай уҡ 1747 йылда ул йоп камил һандар — күренешендәге бөтөн һандар икәнен күрһәтә, бында икенсе ҡабатлашыусы Мерсенндың ябай һаны булып тора. Эйлерҙың Христиан Гольдбах менән үҙ-ара яҙышҡан хаттарында Гольдбах билдәле Гольдбах гипотезаһын әйтеп бирә. Гипотеза 4-тән башлап теләһә ниндәй йоп һанды ике ябай һандың суммаһы рәүешендә күрһәтергә мөмкин тип раҫлай, һәм ул әлегә тиклем иҫбат ителмәгән.
XIX быуат башынан күп математиктар иғтибарын ябай һандарҙың асимптотик таралыуын өйрәнеүгә йүнәлтә. Лежандр һәм Гаусс, бер-береһенә бәйһеҙ рәүештә, ябай һандарҙың тығыҙлығы уртаса натураль логарифмға кире пропорциональ дәүмәлгә яҡын тигән фараз әйтәләр.
Оҙаҡ ваҡыт ябай һан саф математиканан ситтә әҙ ҡулланыла тип иҫәпләнә. Хәл 1970-се йылдарҙа, асыҡ асҡыслы криптография концепцияһы барлыҡҡа килгәс үҙгәрә, унда ябай һандар RSA шифрлау алгоритмы кеүек тәүге алгоритмдарҙың нигеҙен тәшкил итә.
Натураль һандарҙы ябай һандар ҡабатландығы рәүешендә күрһәтеү ябай ҡабатлашыусыларға тарҡатыу йәки һандарҙы факторизациялау тип атала. Хәҙерге ваҡытта һандарҙы факторизациялауҙың полиномиаль алгоритмдары билдәле түгел, ундай алгоритмдарҙың юҡ икәнлеге лә иҫбатланмаған. Фараз ителгән ҙур иҫәпләү ҡатмарлылығында факторизациялау мәсьәләләре RSA һәм ҡайһы бер башҡа криптосистемаларға нигеҙләнә. Полиномиаль ҡатмарлыҡтағы факторизациялау теоретик квантлы компьютерҙа Шор алгоритмы ярҙамында мөмкин.
Арифметиканың төп теоремаһы, берәмектән ҙурыраҡ булған һәр натураль һан, ябай һандарҙың ҡабатландығы рәүешендә күрһәтелә ала, шуның менән бергә ҡабатлашыусыларҙың урынлашыу тәртибенә тиклем аныҡлыҡ менән берҙән-бер ысул менән тип раҫлай. Шулай итеп, ябай һандар натураль һандарҙың элементар «төҙөүсе блоктары» булып торалар. Мәҫәлән:
. ( -нең квадратын йәки икенсе дәрәжәһен аңлата.) |
Был миҫалда күрһәтелгәнсә, бер үк ябай бүлеүсе бер нисә тапҡыр ҡабатланырға мөмкин.
Боронғо гректарҙың күпселеге -ҙе һан тип иҫәпләмәгән, шуға күрә улар уны ябай тип иҫәпләй алмаған. Урта быуаттарҙа һәм Яңырыу дәүерендә күп математиктар -ҙе беренсе ябай һан сифатында индерәләр. XVIII быуат уртаһында Христиан Гольдбах үҙенең Леонардом Эйлером менән данлыҡлы хатлашыуында -ҙе беренсе ябай һан сифатында теҙмәгә индерә; әммә Эйлер үҙе -ҙе ябай һан тип иҫәпләмәй. XIX быуатта күп математиктар элеккесә һанын ябай һан тип иҫәпләй. Мәҫәлән, Деррик Норман Лемерҙың 1956 йылда ҡабатлап баҫылған -гә тиклем ябай һандар теҙмәһе беренсе ябай һан сифатында -ҙән башланған. Анри Лебег -ҙе ябай һан тип атаған һуңғы математик тип әйтәләр. XX быуат башына математиктар ябай һан түгел, ә үҙенең махсус категорияһын — «берәмек»те булдыра тигән ypmaҡ фекергә килә башлайҙар.
Әгәр -ҙе ябай һан тип иҫәпләгәндә, Евклидтың арифметика тураһында төп теоремаһы (юғарыла телгә алынған) үтәлмәйәсәк. Мәҫәлән, һаны 3 • 5 һәм 1 • 3 • 5 тип тарҡатыла аласаҡ. Әгәр ябай һан булһа, был ике вариант һанының төрлө факторизацияһы тип иҫәпләнер ине, ошонан сығып был теореманың раҫлауын үҙгәртергә тура килер ине. Тап шулай уҡ, әгәр ябай һан тип иҫәпләнһә, Эратосфен иләге дөрөҫ эшләмәҫ ине: иләктең ябай һан тип фараз иткән модификацияланған версияһы, -гә тапҡырлы булған бөтә ҡабатлашыусыларҙы (йәғни бөтә башҡа һандарҙы) төшөрөп ҡалдыра һәм һөҙөмтәлә бер генә ябай һанды — -ҙе бирә. Бынан тыш, ябай һандар һанына хас булмаған, һандың уның ярашлы ҡиммәтенә сағыштырмаһы (Эйлер функцияһы) йәки суммаһы (бүлеүселәр функцияһы) кеүек бер нисә үҙсәнлеккә эйә.
Ниндәйҙер ҡиммәткә тиклем ябай һандарҙың башланғыс теҙмәһен табыуҙың ябай ысулдары Эратосфен иләге, Сундарам иләге һәм Аткин иләге.
Әммә, практикала ябай һандар теҙмәһен табыу урынына, йыш ҡына бирелгән һан ябай һанмы икәнен тикшереү талап ителә. Был мәсьәләне хәл итеүсе алгоритмдар ябайлыҡ тесы (|тест простоты) тип аталалар. Бик күп полиномиаль ябайлыҡ тестары бар, ләкин уларҙың күпселеге ихтималлыҡ алгоритмы (мәҫәлән, Миллер — Рабин тесы) һәм криптография ихтыяжы өсөн ҡулланылалар. 2002 йылда ябайлыҡҡа тикшереү мәсьәләһе дөйөм күренештә полиномиаль хәл итерлек икәне иҫбат ителә, ләкин тәҡдим ителгән аныҡлаусы Агравал — Каял — Саксена тесы ҙур иҫәпләү ҡатмарлылығы тыуҙыра, был уның практик ҡулланылышын ҡыйынлаштыра.
Ҡайһы бер һандар кластары өсөн махсуслаштырылған һөҙөмтәле ябайлыҡ тестары бар (түбәндә ҡарағыҙ).
Ябайлыҡ тесы (йәки ябайлыҡты тикшереү) тип, индерелгән һандың ҡушма булыуы тураһында фаразды дөрөҫләмәҫкә, йәки уның ябай булыуын аныҡ раҫларға мөмкинлек биреүсе алгоритм атала. Икенсе осраҡта ул ысын ябайлыҡ тесы тип атала. Ябайлыҡ тесы мәсьәләһе P ҡатмарлылыҡ класына ҡарай, йәғни уны хәл итеү алгоритмының эш ваҡыты, 2002 йылда иҫбат ителгәнсә, индереү мәғлүмәттәренең күләменә бәйле. Полиномиаль алгоритмдың барлыҡҡа килеүе полиномиаль ябайлыҡ сертификаттарының булыуы менән, һәм, һөҙөмтә булараҡ, һанды ябайлыҡҡа тикшереү мәсьәләһе бер үк ваҡытта NP һәм co-NP кластарына ҡарауы сәбәпле прогнозланған.
Ғәмәлдә булған һанды ябайлыҡҡа тикшереү алгоритмдарын ике категорияға бүлергә мөмкин: ысын ябайлыҡ тесы һәм ихтималлыҡ тестары. Ысын ябайлыҡ тестарының һөҙөмтәһе булып һәр ваҡыт һандың ябай йәки ҡушма булыу факты тора. Ихтималлыҡ тесы һандың ябай булыуын ниндәйҙер ихтималлыҡ менән күрһәтә. Ябайлыҡтың ихтималлыҡ тесын ҡәнәғәтләндереүсе, ләкин ҡушма һандар ялған ябай һандар тип аталалар. Одним из примеров таких чисел являются числа Кармайкла.
Мерсенн һандары өсөн Люк-Лемер тесы ысын ябайлыҡ тестары миҫалдарының береһе булып тора. Очевидный недостаток Был тестың төп етешһеҙлеге уның билдәле бер төрҙәге һандарға ғына ҡулланылышында. Башҡа миҫалдар араһынан Ферманың бәләкәй теоремаһына нигеҙләнгәндәрен килтерергә мөмкин
Шулай уҡ:
Ихтималлыҡ тестарына ҡарайҙар:
Күп быуаттар дауамында «ҙур» ябай һандарҙы эҙләү математиктарҙа ҡыҙыҡһыныу уята. Һуңғы тиҫтә йылдарҙа бындай һандарҙы RSA кеүек шифрлауҙың ҡайһы бер алгоритмдарында ҡулланыу арҡаһында был тикшеренеүҙәр ғәмәли ҡиммәткә эйә була.
XVII быуатта Марен Мерсенн, тик n 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 и 257 һандарына тигеҙ булған осраҡтарҙа ғына (n ≤ 257 булғанда) күренешендәге һандар ябай була тип фараз итә Фараздың дөрөҫлөгөн тикшереү ул осорҙоң мөмкинлегенән күпкә юғары була. Тик XX быуатта ғына гипотеза яңылыш булыуы, һәм, моғайын, «һуҡырҙарса» эшләнеүе асыҡлана, сөнки Мерсенн өс осраҡты иҫәпкә алмай (n = 61, 89 һәм 107 өсөн); бынан тыш, n = 67 һәм n = 257 ярашлы һандар — ҡушма булып сыҡҡан.
1876 йылда Люка Франсуа Эдуард Анатоль M 127 һаны (39-урынлы һан) — ябай булыуын иҫбат иткән, ул 1951 йылда (44 цифр) һәм, бер аҙ һуңғараҡ, (79 цифрҙан тора) һандары — электрон калькулятор ярҙамында табылған һуңғы ябай һан, табылғанға тиклем, иң ҙур билдәле ябай һан булып ҡала. Ул ваҡыттарҙан һуң артабанғы ябай һандар компьютер ярҙамында асыҡланалар: 1952 йылдан (SWAC M 521 ябай һан булыуын күрһәтә), 1996 йылға тиклем улар суперкомпьютер тарафынан табылалар, һәм улар бөтәһе лә, 1989 һәм 1992 йылдар араһында рекорд булған һанынан башҡа, Мерсенн ябай һандары булалар (Люк-Лемер тесын, бындай һандар өсөн махсус алгоритмды ҡулланып табылған).
Математиканың факторизация ҡулланыусы ҡайһы бер мәсьәләләре осраҡлы рәүештә һайлап алынған бер нисә бик ҙур ябай һанды талап итәләр. Уларҙы табыу алгоритмы Бертран постулатына нигеҙләнгән (Натураль n ≥ 2 өсөн n < p < 2n интервалында p ябай һаны табыла.):
Алгоритм:
|
Был алгоритм менән мәсьәләне хәл итеү ваҡыты билдәһеҙ, ләкин етерлек ябай һандар булғанда һәм улар әҙме-күпме тигеҙ таратылған хәлдә, ул һәр саҡ ҙур ихтималлыҡ менән полиномиаль. Осраҡлы ябай һандар өсөн был шарттар үтәлә.
Ябай һандарҙы төҙөүҙең иң һөҙөмтәле ысулы булып бер аҙ үҙгәртелгән Ферманың бәләкәй теоремаһы тора.
N, S — таҡ натураль һандар булһын, ти. N-1 = S*R, шуның менән бергә S һанының һәр ябай q бүлеүсеһе өсөн шундай бөтөн һаны бар, бында
,
Ул саҡта N һанының һәр p ябай бүлеүсеһе түбәндәге сағыштырыуҙы ҡәнәғәтләндерә
Эҙемтә. Әгәр Ферма теоремаһының шарттары үтәлһә һәм булһа, ул саҡта N — ябай һан.
Хәҙер һуңғы раҫлау ярҙамында, ҙур ябай һаны булғанда, нисек итеп һиҙелерлек ҙурыраҡ ябай һанын төҙөргә мөмкин булыуын күрһәтәйек. Бының өсөн аралығында осраҡлы рәүештә йоп һанын һайлап алабыҙ һәм әйтәйек . Артабан һанының бәләкәй ябай бүлеүселәре юҡлығын тикшерәйек, бының өсөн уны бәләкәй ябай һандарға бүлеп ҡарайбыҙ; һанын Рабин алгоритмы ярҙамында бер нисә тапҡыр һанап ҡарайбыҙ. Әгәр был ваҡытта — ҡушма һан булыуы асыҡланһа, -ҙың яңы ҡиммәтен һайлап алырға кәрәк һәм яңынан иҫәпләүҙәрҙе ҡабатларға кәрәк. Быны Рабин алгоритмы һынауын күп тапҡыр үткән N һаны табылғанға тиклем башҡарырға кәрәк. Был осраҡта — ябай һан булыуына өмөт барлыҡҡа килә, һәм уның ябайлығын ябайлыҡ тестары ярҙамында иҫбатларға тырышырға кәрәк.
Ябай һандар сикһеҙ күп. Был раҫлау боронғо грек математигы Евклид хөрмәтенә Евклид теоремаһы булараҡ иҫкә алына, сөнки был раҫлауҙың беренсе билдәле иҫбатланыуы уға ҡарай. Ябай һандарҙың сикһеҙлегенең тағы ла күп иҫбатлауҙары билдәле, шул иҫәптән Эйлерҙың аналитик иҫбатлауы, Гольдбахтың Ферма һандары нигеҙендә иҫбатлауы, Фурстенбергтың дөйөм топология ҡулланып иҫбатлауы һәм Куммерҙың элегант иҫбатлауы.
Электән шул осорға билдәле иң ҙур ябай һандарҙы билдәләүсе яҙыуҙар алып барыла. Үҙ ваҡытында Эйлер, 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 тамғаға бәләкәйерәк була.
Мерсенн һандары ҡалғандарынан һөҙөмтәле ябайлыҡ тесы: Люк — Лемер тесы булыуы менән айырылып торалар. Шуның арҡаһында Мерсенн ябай һандары күптән билдәле иң ҙур ябай һандар булараҡ рекорд ҡуялар.
100 000 000 һәм 1 000 000 000-дан күберәк унарлы цифрҙан торған ябай һандарҙы тапҡан өсөн EFF ярашлы рәүештә 150 000 һәм 250 000 АҠШ долларына тигеҙ аҡсалата премия тәғәйенләй. Алдараҡ EFF 1 000 000 һәм 10 000 000 унарлы цифрҙан торған ябай һандарҙы тапҡан өсөн приздар тапшырған була.
Ябайлығы махсуслаштырылған алгоритмдар ҡулланып һөҙөмтәле асыҡланырға мөмкин булған күп кенә һандар бар.
Әлеге ваҡытта билдәләнгән типтарҙағы ябай һандарҙы табыу өсөн GIMPS, PrimeGrid, Ramsey@Home, Seventeen or Bust, Riesel Sieve, Wieferich@Home бүленгән иҫәпләү проекттары ҡулланыла.
Ябай һандар математиканың күп өлкәләрендә фундаменталь компоненттар булып торалар.
Арифметик функциялар, атап әйткәндә натураль һандар күмәклегендә билдәләнгән һәм комплекслы һандар күмәклегенән ҡиммәттәр ҡабул иткән функциялар, һандар теорияһында ҙур роль уйнайҙар. Айырым алғанда, улар араһында мультипликатив функциялар, йәғни түбәндәге үҙсәнлектәргә эйә булған , функциялары иң мөһим булып торалар: әгәр пары үҙ-ара ябай һандарҙан торһа, ошо тигеҙлек дөрөҫ
Мультипликатив функцияларҙың миҫалы булып Эйлер функцияһы тора, ул һанына количество натуральных чисел, меньших n-дан бәләкәй һәм уның менән үҙ-ара ябай натураль һандар күмәклеген һәм n һанының бүлеүселәре һанын ярашлы ҡуя. Был функцияның ябай һан дәрәжәһенән ҡиммәттәре:
Арифметик функцияларҙы, улар ябай һандар дәрәжәһе өсөн ҡабул иткән ҡиммәттәрҙе белгәндә, еңел иҫәпләп була. Ысынлап та n натураль һанының ҡабатлашыусыларға тарҡалмаһынан
булыуын табабыҙ.
һәм ошонан сығып, -ды иҫәпләү мәсьәләһенә ҡайтҡанда, -ты һәр ябай бүлеүсеһе дәрәжәһенән иҫәпләү -ты дөйөм формула буйынса иҫәпләгәндән күпкә ябайыраҡ килеп сыға.
Мәҫәлән, Эйлер функцияһының n = 450 = 2 × 3 2 × 5 2 өсөн ҡиммәтен табыу өсөн,
-ды иҫәпләү етә
Модулле арифметикала ябай һандар ҙур роль уйнайҙар: алынмалар ҡулсаһы, n ябай һан булғанда һәм тик шул саҡта ғына ялан була. Шулай уҡ ҡулсаһының алынма тамырының булыуы ябай һандарға бәйле: ул n — ябай һан булғанда ғына бар, 1, 2, 4 йәки формаһындағы һан, бында p таҡ.
Модулле арифметиканың мөһим теоремаларының береһе булып Ферманың бәләкәй теоремаһы тора. Был теорема, теләһә ниндәй р ябай һаны һәм теләһә ниндәй натураль a һаны өсөн:
тип раҫлай
йәки теләһә ниндәй р ябай һаны һәм р-ға бүленмәгән теләһә ниндәй натураль а өсөн:
дөрөҫ.
Был үҙсәнлекте һан ябай түгел икәнен тикшереү өсөн ҡулланырға мөмкин. Ысынлап та, әгәр n ниндәйҙер натураль а өсөн:
булһа,
ул саҡта n ябай була алмай. Ләкин был үҙсәнлек һанды ябайлыҡҡа тикшереү өсөн ҡулланыла алмай: Кармайкл һандары тип аталған шундай һандар бар (иң бәләкәйе — 561), улар өсөн был дөрөҫ түгел. Кармайкл һаны тип n менән үҙ-ара ябай булған һәр b нигеҙе буйынса ялған ябай һан булған ҡушма һан атала. 1994 йылда Уильям Роберт Альфорд, Эндрю Гранвиль һәм Померанс Карл бындай һандарҙың сикһеҙ күп булыуын күрһәтәләр.
Ябай һандар шулай уҡ алгебрала төп ролде уйнайҙар. Төркөмдәр теорияһында һәр элементы р ябай һанының дәрәжәһе булған төркөм P-төркөм тип атала. P-төркөм, төркөмдөң тәртибе (уның элементтарының һаны) р-ның дәрәжәһе булғанда һәм бары шул саҡта ғына сикле була. Прюферҙың p-төркөмө сикһеҙ р-төркөмдөң миҫалы булып тора. p-төркөмө тривиаль булмаған үҙәккә эйә булыуы билдәле, тимәк, ябай була алмайҙар (p элементтары булған төркөмдән башҡа); әгәр төркөм сикле булһа, бынан тыш, бөтә нормаль аҫтөркөмдәр үҙәкте тривиаль булмаған рәүештә киҫәләр. Ябай һандың модуле буйынса ҡабатлауҙың цикллы төркөмө бындай төркөмдәрҙең миҫалы булып тора.
p тәртибендәге бөтә төркөмдәр цикллы булалар һәм шуға күрә Абель төркөмө булалар; шулай уҡ һәр p 2 тәртибендәге төркөм Абель төркөмө була. Бынан тыш, һәр сикле Абель төркөмө сикле һандағы цикллы р-төркөмдәрҙең тура ҡабатландығына изоморфлы.
Коши теоремаһында, что әгәр сикле G төркөмөнөң тәртибе p ябай һанына бүленһә, G төркөмөнә p тәртибендәге элементтар инә. Был теорема Силов теоремаларында дөйөмләштерелә.
Асыҡ асҡыслы криптосистемаларҙың RSA һәм Диффи-Хеллман асҡыстары менән алмашыныу кеүек ҡайһы бер алгоритмдары, ҙур ябай һандарға (ғәҙәттә 1024—2048 бит) нигеҙләнгәндәр. RSA, ике (ҙур) x һәм y һандарын ҡабатлауҙы башҡарыу, әгәр уларҙың ҡабатландығы ғына билдәле булһа, x һәм y үҙ-ара ябай һандарын иҫәпләүгә ҡарағанда күпкә ябайыраҡ (йәғни һөҙөмтәле) тигән фаразға таяна. Диффи-Хеллман асҡыстары менән алмашыныу модуле буйынса дәрәжәгә күтәреүҙең һөҙөмтәле алгоритмдары булыуына таяна, ә кире операция — Дискретлы логарифмлау ҡатмарлы тип һанала.
Ҙур һандарҙы факторизациялау беренсе һөҙөмтәле RSA — асыҡ асҡыслы криптография ысулын эшләүгә килтерә. Был криптографик системала, шифрланған хәбәр алырға тейеш булған кеше, асҡыс генерирлай: бирелгән үлсәмдәге (ғәҙәттә, 1024- йәки 2048-битлы һандар ҡулланыла) төрлө ике һәм осраҡлы ябай һандары һайлап алына. Артабан уларҙың модуль тип аталған ҡабатландығы иҫәпләнә. Эйлер функцияһының һанынан ҡиммәте иҫәпләнә: . функцияһының ҡиммәте менән үҙ-ара ябай ( ) бөтөн һаны һайлап алына. Ғәҙәттә сифатында ҙур булмаған ябай һанды алалар (мәҫәлән, ябай Ферма һандары). һаны асыҡ экспонента(ингл. public exponent) тип атала. Серле экспонента тип аталған, e һанына модуле буйынса мультипликатив кире һанын иҫәпләйҙәр. RSA-ның асыҡ асҡысы (ингл. RSA public key) сифатында һандар пары яҙыла. пары RSA-ның бикле асҡысы (ингл. RSA private key) ролен уйнай һәм сер итеп һаҡлана.
Теоретик бикле асҡысты асыҡтан-асыҡ булған мәғлүмәттән алырға мөмкин: хәҙерге ваҡытта бының өсөн һанын факторизациялау талап ителә, әгәр ябай һандар билдәле шарттарҙы ҡәнәғәтләндерһәләр һәм «етерлек ҙур» булһалар, был һаҡланыусы хәбәрҙе ебәреүҙе хәүефһеҙ итә. Хәбәрҙең шифрын сисеү өсөн һанын факторизациялауға тура атака менән бәйле булмаған һөҙөмтәле ысулдар бармы икәне әлегә билдәһеҙ, ләкин асыҡ асҡысты насар һайлау бындай атакалар өсөн системаны йомшаҡ (ныҡлы түгел) итә.Ҡалып:Source-ref
1991 йылда RSA Security ярым ябай һандар теҙмәһен баҫтырып сығара, ысулдың хәүефһеҙлеген раҫлау һәм был өлкәлә тикшеренеүҙәрҙе дәртләндереү маҡсатында, уларҙың ҡайһы берҙәрен ҡабатлашыусыларға тарҡатыу өсөн аҡсалата приз тәҡдим итә: инициатива Challenge RSA Factoring тип атала. Күп йылдар дауамында был һандарҙың ҡайһы берҙәре ҡабатлашыусыларға тарҡатыла,ә ҡалғандары өсөн факторизация проблемаһы асыҡ ҡала; ләкин конкурс 2007 йылда тамамлана.
Төрлө ваҡыттарҙа, уға ингән үҙгәреүсәндәрҙең төрлө ҡиммәттәрендә, ҡиммәте ябай һан булған аңлатма табырға маташыуҙар була. Л. Эйлер, n = 0, 1, 2, …, 40 булғанда ябай ҡиммәттәр ҡабул иткән, күпбыуынын тәҡдим итә. Ләкин n = 41 булғанда күпбыуындың ҡиммәте ҡушма һан була. n-дың бөтә бөтөн ҡиммәттәрендә лә ҡиммәте ябай һан булған бер n үҙгәреүсәнле күпбыуын булмауын иҫбат итергә мөмкин . П. Ферма бөтә [[Ферма һандары|Ҡалып:Power + 1]] күренешендәге һандар]] ябай тип фараз итә; ләкин Эйлер был гипотезаны кире ҡаға, ул Ҡалып:Power + 1 = 4 294 967 297 һаны — ҡушма булыуын иҫбатлай.
Шулай булыуға ҡарамаҫтан, үҙгәреүсәндәрҙең тиҫкәре булмаған ҡиммәттәрендә ыңғай ҡиммәттәре күмәклеге ябай һандар күмәклеге менән тап килгән күмәклектәр бар. 26 үҙгәреүсәндән торған һәм 25 дәрәжәләге күпбыуын шулаҙың бер миҫалы булып тора
Шундай типтағы 42 үҙгәреүсәнле күпбыуындарҙың иң бәләкәй дәрәжәһе — 5; дәрәжәһе яҡынса 1,6•1045 булғанда үҙгәреүсәндәрҙең иң бәләкәй һаны — 10. Был һөҙөмтә Матиясевич Юрий Владимирович иҫбатлаған теләһә ниндәй һанап сыҡмалы күмәклектең диофантлы булыуының айырым осрағы булып тора.
Шуныһы ҡыҙыҡ, юғарыла килтерелгән ябай һандарҙы тыуҙырыусы күпбыуын үҙе ҡабатлашыусыларға тарҡала. Был күпбыуындың икенсе ҡабатлашыусыһы (фигуралы йәйә эсендә) бер минус квадраттар суммаһы күренешендә. Шулай итеп күпбыуын, (ыңғай булғанда) квадраттарҙың һәр береһе (йәғни квадрат йәйәләрҙәге һәр күпбыуын) нулгә тигеҙ булғанда ғына ыңғай ҡиммәттәр ҡабул итә ала. Был осраҡта фигуралы йәйәләрҙәге аңлатма 1-гә тигеҙ була.
Ошоға тиклем ябай һандарға ҡарата күп асыҡ мәсьәләләр бар, уларҙың иң билдәлеләрен Ландау Эдмунд 1912 йылда Бишенсе Халыҡ-ара математик конгреста һынап китә:
Шулай уҡ күп бөтөн һанлы эҙмә-эҙлектәрҙә, Мерсенн һандарын, Фибоначчи һандарын, Ферма һандарын һәм башҡаларҙы ла индереп, сикһеҙ һандағы ябай һандарҙың булыуы ла асыҡ проблема булып ҡала.
Мәҡәләнең башында ябай һан билдәләмәһе бирелгәйне: ике генә бүлеүсеһе — берәмек һәм һан үҙе булған натураль һан ябай һан тип атала. Оҡшаш төшөнсәләрҙе башҡа алгебраик структураларҙа ла индерергә мөмкин; йышыраҡ нулдең бүлеүселәренән башҡа коммутатив ҡулсалар ҡаралалар (бөтөнлөк өлкәләре). Ләкин бындай ҡулсаларҙың мультипликатив төркөм төҙөүсе берәмектең бүлеүселәре булырға мөмкин. Мәҫәлән, бөтөн һандар ҡулсаһында берәмектең ике бүлеүсеһе бар: һәм Шуға күрә берәмектең бүлеүселәренән башҡа бөтә бөтөн һандарҙыңике түгел, ә кәмендә дүрт бүлеүсеһе була; мәҫәлән, 7 һанының бүлеүселәре Был дөйөмләштерелгән ябай һан төшөнсәһе уның икенсе үҙсәнлектәренә нигеҙләнергә тейеш булыуын аңлата.
Бөтөнлөк өлкәһе өсөн килтереп булмай торған элемент ябай һандың аналогы булып тора, ул ошолай билдәләнә.
Бөтөнлөк өлкәһенең нулдән айырмалы элементы, әгәр ул берәмектең бүлеүсеһе булмаһа һәм тигеҙлегенән йәки берәмектең бүлеүсеһе була икәне килеп сыҡһа, килтереп булмай торған (ҡайһы берҙә тарҡатып булмай торған) тип атала. |
Был билдәләмә бөтөн һандар өсөн ябай натураль һандар, шулай уҡ уларға ҡапма-ҡаршы һандар килтереп булмай торған элементтар булыуын аңлата.
Билдәләмәнән, килтереп булмай торған элементының бүлеүселәре күмәклеге ике өлөштән: берәмектең бөтә бүлеүселәренән һәм -ның берәмектең бөтә бүлеүселәренә ҡабатландыҡтарынан (был ҡабатландыҡтар злементтар менән ассоциирлаштырылған тип аталалар) тороуы килеп сыға. Йәғни, килтереп булмай торған -ның бүлеүселәре һаны, әгәр ул сикле булһа, ҡулсала берәмектең бүлеүселәре һанынан ике тапҡыр күп.
Арифметиканың төп теоремаһы аналогы ҙур әһәмиәткә эйә, ул дөйөмләштерелгән рәүештә ошолай әйтелә:
Ҡулса, әгәр унда берәмектең бүлеүсеһе булмаған һәр нулдән айырмалы элемент килтереп булмай торған элементтарҙың ҡабатландығы рәүешендә күрһәтелә алһа, шуның менән бергә был күрһәтеү ҡабатлашыусыларҙың алмаштырмаһына һәм уларҙың ассоциирлаштырылғанына (берәмектең бүлеүселәренә ҡабатландығына) тиклем аныҡлыҡ менән берҙән-бер булһа, факториаль тип атала. |
Теләһә ниндәй бөтөнлөк өлкәһе лә факториаль түгел, ҡарағыҙ. контрмиҫал. Евклид ҡулсаһы һәр ваҡыт факториаль.
Ябай һан төшөнсәһенең башҡа, ябай элемент тип аталған тарыраҡ дөйөмләштереүе бар.
Бөтөнлөк өлкәһенең нулдән айырмалы элементы, әгәр ул берәмектең бүлеүсеһе булмаһа һәм ҡабатландығы -ға, йәки элементтарының береһе генә булһа ла -ға бүленгән осраҡта ғына бүленә алһа, ябай тип атала. |
Ябай элемент һәр ваҡыт килтереп булмай торған. Ысынлап та, әгәр элементы ябай һәм булһа, ябай элемент билдәләмәһе буйынса ҡабатлашыусыларҙың береһе, булһын әйҙә, -ға бүленә, йәғни Ул саҡта йәки, -ға ҡыҫҡартып (бөтөнлөк өлкәһендә нулдән айырмалы ҡабатлашыусыны ҡыҫҡартыу һәр саҡ мөмкин): йәғни берәмектең бүлеүсеһе була. Ҡалып:Шииһ
Киреһе, дөйөм алғанда, дөрөҫ түгел, килтереп булмай торған элемент, әгәр ҡулса факториаль булмаһа, ябай була алмай. Миҫал: күренешендәге һандар ҡулсаһын ҡарайыҡ, бында — бөтөн һандар. 3 һаны унда килтереп булмай торған һан, сөнки уның тик 4 бүлеүсеһе бар: . Ләкин ул ябай элемент түгел, быға ошо тигеҙлек ышандыра:
Тигеҙлектең уң яғы 3-кә бүленә, ләкин бер ҡабатлашыусы ла 3-кә бүленмәй. Был факттан ҡаралған ҡулсаның факториаль булмауы тураһында һығымта яһап була; ысынлап та, тигеҙлеге был ҡулсала килтереп булмай торған ҡабатлашыусыларға тарҡатыу берҙән бер түгел булыуын күрһәтә.
Бөтөн һандар ҡулсаһы факториаль. Унда, юғарыла телгә алынғанса, берәмектең ике бүлеүсеһе.
Гаусс һандары ҡулсаһы күренешендәге, бында — бөтөн һандар, комплекслы һандарҙан тора. Берәмектең бүлеүселәре дүртәү: Был ҡулса факториаль, ғәҙәттәге ябай һандарҙың бер өлөшө һәм «ябай гаусс һандары» килтереп булмай торған элементтар булып торалар (мәҫәлән, ). Ҡарағыҙ. Гаусс һандары ябайлығы критерийы.
Гаусс һандары ҡулсаһында ябай булмаған 2 һаны өсөн ҡабатлашыусыларға тарҡатыу миҫалы: — бында тарҡатыу берҙән бер түгел һымаҡ күренә генә, сөнки тигеҙлегенә ярашлы, менән ассоциациялана.
Эйзенштейндың бөтөн һандары ҡулсаһы түбәндәге күренештәге комплекслы һандарҙан тора:
Был ҡулсала берәмектең алты бүлеүсеһе бар: (±1, ±ω, ±ω2), ул Евклид ҡулсаһы һәм шуға күрә факториаль. Ҡулсаның килтереп булмай торған элементтары (улар шулай уҡ ябай элементтар) Эйзенштейндың ябай һандары тип аталалар.
Ябайлыҡ критерийы: Эйзенштейндың бөтөн һаны , түбәндәге бер-береһен кире ҡағыусы шарттарҙың береһе үтәлгәндә һәм шул саҡта ғына Эйзенштейндың ябай һаны була:
Бынан Эйзенштейндың теләһә ниндәй бөтөн һанының нормаһы йә ябай натураль һан, йә ябай натураль һандың квадраты була икәне килеп сыға.
Эйзенштейндың ябай һандары менән ассоциацияланған йәки комплекслы-эйәртеүле һандар, шулай уҡ Эйзенштейндың ябай һандары булалар.
Алгебрала ниндәйҙер ҡулсаһынан алынған коэффициентлы күпбыуындарҙан торған күпбыуындар ҡулсаһы ҙур әһәмиәткә эйә. Бында берәмектең бүлеүселәре булып нулдән айырмалы константалар (нуленсе дәрәжә күпбыуындар булараҡ) торалар. Күпбыуындар ҡулсаһы евклидово һәм шуға күрә факториаль. Әгәр сифатында ысын һандар яланын алғанда, бөтә 1-се дәрәжә күпбыуындар һәм ысын тамырҙары булмаған 2-се дәрәжә күпбыуындар (йәғни уларҙың дискриминанты тиҫкәре), килтереп булмай торған күпбыуындар булалар.
Ҡалып:Числа Ҡалып:Числа по характеристикам делимости
This article uses material from the Wikipedia Башҡорт article Ябай һан, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Башҡа шарт булмаһа, CC BY-SA 4.0 лицензияһына ярашлы, эстәлек менән һәр кем файҙалана ала. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Башҡорт (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.