Подільність
Матеріал з Вікіпедії — вільної енциклопедії.
Подільність — фундаментальна властивість натуральних та цілих чисел. Число a ділиться на b, відповідно, число b є дільником a, якщо частка 
— ціле число. Будь-яке натуральне число ділиться на одиницю і на себе. Якщо дане число не має інших дільників, то таке число називається простим, в іншому разі — складним. Властивості простих чисел і питання подільності займали думки науковців і філософів протягом двох з половиною тисячолітть, принаймні з часів Піфагора, і ще досі не вичерпали себе. Завдяки розвитку криптографії і розповсюдженню заснованних на теорії чисел алгоритмів, пов'язані з перевіркою на простоту і факторизацією дослідження знаходяться на передовому краю математики.
[ред.] Історія
Питання подільності натуральних чисел розглядалися уже в античні часи. Евкліду належить один з найвідоміших результатів математики, твердження, що не існує найбільшого простого числа, тобто множина простих чисел — нескінченна. Він також навів найперший в історії алгоритм, а саме алгоритм Евкліда знаходження найбільшого спільного дільника двох натуральних чисел. Цікаво відзначити, що це — не тільки найдавніший, а й один з найефективніших алгоритмів в математиці, який майже не був вдосконалений за більш ніж дві тисячі років, що минули по тому. Але набагато раніше за Евкліда, Піфагор і піфагорейці розробили теорію досконалих і дружніх чисел, які відігравали важливу роль у їх філософській системі.
Подільність чисел, більш загальних ніж цілі, було ретельно досліджено у 19 ст., починаючи з роботи Гауса про властивості гаусових цілих чисел, комплексних чисел вигляду a + bi, де 
— це звичайні цілі числа, а 
— це уявна одиниця. Гаус відкрив аналог алгоритма Евкліда і в такий спосіб довів однозначність факторизації гаусових цілих чисел. Чимало із спроб доведення великої теореми Ферма спиралося на однозначність факторизації алгебраїчних цілих чисел вигляду
де ζ—це примітивний корінь з одиниці степені n,ζn = 1, a 
— цілі числа. Однак виявилося, що у випадку загального n такі числа поводяться набагато складніше, ніж звичайні цілі, зокрема, для них не виконується однозначність факторизації на прості множники. У роботах Куммера, Кронекера і Дедекінда з теорії подільності алгебраїчних цілих чисел з'явились фундаментальні для сучасної математики поняття теорії кілець, на яких, разом з введеним Галуа поняттям групи, ґрунтується сучасна абстрактна алгебра.
