Основная теорема арифметики
В математике фундаментальная теорема арифметики , также называемая теоремой об уникальной факторизации и теоремой о факторизации простых чисел , утверждает, что каждое целое число больше 1 может быть однозначно представлено как произведение простых чисел с точностью до порядка множителей. [3] [4] [5] Например,
Теорема говорит об этом примере две вещи: во-первых, что 1200 можно представить в виде произведения простых чисел, и, во-вторых, как бы это ни было сделано, всегда будет ровно четыре двойки, одна тройка, две пятерки и никаких других. штрихи в продукте.
Требование, чтобы множители были простыми, необходимо: факторизации, содержащие составные числа, могут быть неуникальны. (например, ).
Эта теорема является одной из основных причин, почему 1 не считается простым числом : если бы 1 было простым, то разложение на простые числа не было бы уникальным; например,
Теорема обобщается на другие алгебраические структуры , которые называются уникальными областями факторизации и включают области главных идеалов , евклидовы области и кольца многочленов над полем . Однако теорема не справедлива для целых алгебраических чисел . [6] Эта неудача однозначной факторизации является одной из причин сложности доказательства Великой теоремы Ферма . Неявное использование уникальной факторизации в кольцах целых алгебраических чисел лежит в основе ошибок многих из многочисленных ложных доказательств, которые были написаны в течение 358 лет между утверждением Ферма и доказательством Уайлса .
История [ править ]
Фундаментальную теорему можно вывести из книги VII, предложений 30, 31 и 32, и книги IX, предложения 14 « Евклида Начал » .
Если два числа путем умножения друг на друга составляют некоторое число, а любое простое число измеряет произведение, оно будет также измерьте одно из исходных чисел.
- Евклид, Книга VII «Начала» , предложение 30.
(В современной терминологии: если простое число p делит произведение ab , то p делит либо a , либо b , либо оба.) Предложение 30 называется леммой Евклида и является ключевым в доказательстве основной теоремы арифметики.
Любое составное число измеряется некоторым простым числом.
- Евклид, Книга VII «Начала» , предложение 31.
(В современной терминологии: каждое целое число больше единицы делится без остатка на некоторое простое число.) Предложение 31 доказывается непосредственно бесконечным спуском .
Любое число либо является простым, либо измеряется некоторым простым числом.
- Евклид, Книга VII «Начала» , предложение 32.
Предложение 32 выводится из предложения 31 и доказывает, что разложение возможно.
Если число является наименьшим из всего, что измеряется простыми числами, оно не будет измеряться никакими числами. другое простое число, кроме тех, которые первоначально его измеряли.
- Евклид, Книга IX «Начала» , предложение 14.
(В современной терминологии: наименьшее общее кратное нескольких простых чисел не кратно любому другому простому числу.) Предложение 14 книги IX выведено из предложения 30 книги VII и частично доказывает, что разложение уникально, что является критически важным моментом. отметил Андре Вейль . [7] Действительно, в этом предложении все показатели степени равны единице, поэтому для общего случая ничего не сказано.
В то время как Евклид сделал первый шаг на пути к существованию факторизации простых чисел, Камаль ад-Дин аль-Фариси сделал последний шаг. [8] и впервые сформулировал основную теорему арифметики. [9]
Статья 16 Гаусса » « Disquisitiones Arithmeticae представляет собой раннее современное утверждение и доказательство, использующее модульную арифметику . [1]
Приложения [ править ]
Каноническое представление положительного целого числа [ править ]
Каждое положительное целое число n > 1 можно представить ровно одним способом в виде произведения простых степеней.
где p 1 < p 2 < ... < p k — простые числа, а n i — целые положительные числа. Это представление обычно распространяется на все положительные целые числа, включая 1, согласно соглашению, что пустое произведение равно 1 (пустое произведение соответствует k = 0 ).
Это представление называется каноническим представлением. [10] n или стандартная форма [11] [12] из н . Например,
- 999 = 3 3 ×37,
- 1000 = 2 3 ×5 3 ,
- 1001 = 7×11×13.
Факторы р 0 = 1 можно вставить без изменения значения n (например, 1000 = 2 3 ×3 0 ×5 3 ). Фактически, любое положительное целое число можно однозначно представить как бесконечное произведение всех положительных простых чисел, как
где конечное число n i являются целыми положительными числами, а остальные равны нулю.
Разрешение отрицательных показателей обеспечивает каноническую форму для положительных рациональных чисел .
Арифметические операции [ править ]
Канонические представления произведения, наибольшего общего делителя (НОД) и наименьшего общего кратного (НОК) двух чисел a и b могут быть просто выражены через канонические представления самих чисел a и b :
Однако факторизация целых чисел , особенно больших чисел, намного сложнее, чем вычислительные произведения, НОД или НОК. Поэтому эти формулы имеют ограниченное применение на практике.
Арифметические функции [ править ]
Многие арифметические функции определяются с использованием канонического представления. В частности, значения аддитивных и мультипликативных функций определяются их значениями на степенях простых чисел.
Доказательство [ править ]
В доказательстве используется лемма Евклида ( Начала VII, 30): Если простое число делит произведение двух целых чисел, то оно должно делить хотя бы одно из этих целых чисел.
Существование [ править ]
Необходимо доказать, что каждое целое число больше 1 является либо простым, либо произведением простых чисел. Во-первых, 2 — простое число. Затем по сильной индукции предположим, что это верно для всех чисел больше 1 и меньше n . Если n простое, доказывать больше нечего. В противном случае существуют целые числа a и b , где n = ab и 1 < a ≤ b < n . По предположению индукции a = p 1 p 2 ⋅⋅⋅ p j и b = q 1 q 2 ⋅⋅⋅ q k являются произведениями простых чисел. Но тогда n = ab = p 1 p 2 ⋅⋅⋅ p j q 1 q 2 ⋅⋅⋅ q k является произведением простых чисел.
Уникальность [ править ]
Предположим, наоборот, что существует целое число, которое имеет две различные простые факторизации. Пусть n — наименьшее такое целое число, и запишите = p 1 p 2 ... p j = q 1 q 2 ... q k , где каждый pi n и q i — простые числа. Мы видим, что p 1 делит q 1 q 2 ... q k , поэтому p 1 делит некоторое q i по лемме Евклида . Без ограничения общности, скажем, p 1 делит q 1 . Поскольку p1 , и q1 оба отсюда следует p1 что = q1 . простые , Возвращаясь к нашей факторизации n , мы можем отменить эти два фактора и заключить, что p 2 ... p j = q 2 ... q k . Теперь у нас есть две различные простые факторизации некоторого целого числа, строго меньшего n , что противоречит минимальности n .
Евклида леммы Единственность без
Основную теорему арифметики можно доказать и без использования леммы Евклида. [13] Следующее доказательство основано на оригинальной версии алгоритма Евклида Евклида .
Предположим, что — наименьшее целое положительное число, которое является произведением простых чисел двумя разными способами. Это, кстати, означает, что , если оно существует, должно быть составным числом, большим, чем . Сейчас скажи
Каждый должно отличаться от любого В противном случае, если сказать тогда существовало бы некоторое положительное целое число который меньше s и имеет две различные простые факторизации. Можно также предположить, что путем замены двух факторизаций, если это необходимо.
Параметр и надо Кроме того, поскольку надо Отсюда следует, что
что положительные целые числа меньше s имеют уникальную факторизацию простых чисел, Поскольку предполагалось, должно произойти при факторизации любого или К. Последний случай невозможен, поскольку Q , меньшее, чем s , должно иметь уникальную простую факторизацию, и отличается от каждого Первый случай также невозможен, так как, если бы является делителем оно также должно быть делителем что невозможно, так как и являются различными простыми числами.
Следовательно, не может существовать наименьшее целое число с более чем одной различной простой факторизацией. Каждое положительное целое число должно быть либо само простым числом, которое будет однозначно факторизоваться, либо составным числом, которое также однозначно факторизуется в простые числа, или, в случае целого числа, , не учитывается ни в одном простом числе.
Обобщения [ править ]
Это раздел нуждается в дополнительных ссылок для проверки . ( январь 2024 г. ) |
Первое обобщение теоремы можно найти во второй монографии Гаусса (1832 г.) о биквадратичной взаимности . В этой статье было представлено то, что сейчас называется кольцом гауссовских целых чисел , набор всех комплексных чисел a + bi , где a и b — целые числа. Теперь это обозначается Он показал, что это кольцо имеет четыре единицы ±1 и ± i , что ненулевые и неединичные числа делятся на два класса: простые и составные, и что (за исключением порядка) составные числа имеют уникальную факторизацию как произведение простых чисел ( с точностью до порядка и умножения на единицы). [14]
Точно так же в 1844 году, работая над кубической взаимностью , Эйзенштейн ввел кольцо , где является кубическим корнем из единицы . Это кольцо целых чисел Эйзенштейна , и он доказал, что оно состоит из шести единиц. и что он имеет уникальную факторизацию.
Однако было также обнаружено, что уникальная факторизация не всегда выполняется. Пример дан . В этом кольце есть [15]
Подобные примеры привели к изменению понятия «простое число». В можно доказать, что если любой из вышеуказанных факторов можно представить в виде произведения, например, 2 = ab , то один из a или b должен быть единицей. Это традиционное определение слова «простой». Можно также доказать, что ни один из этих факторов не подчиняется лемме Евклида; например, 2 не делит ни (1 + √ −5 ), ни (1 − √ −5 ), хотя делит их произведение 6. В теории алгебраических чисел 2 называется неприводимой в (делится только на себя или на единицу), но не является простым числом (если он делит продукт, он должен разделить один из факторов). Упоминание о требуется, поскольку 2 простое и неприводимое в Используя эти определения, можно доказать, что в любой области целостности простое число должно быть неприводимым. Классическую лемму Евклида можно перефразировать так: «В кольце целых чисел каждая неприводимая является простой». Это верно и в и но не в
Кольца, в которых факторизация на неприводимые существенно единственна, называются уникальными областями факторизации . Важными примерами являются кольца многочленов над целыми числами или над полем , евклидовы области и области главных идеалов .
В 1843 году Куммер понятие идеального числа , которое было развито далее Дедекиндом ввёл в современную теорию идеалов , особых подмножеств колец, (1876). Для идеалов определено умножение, а кольца, в которых они имеют единственную факторизацию, называются областями Дедекинда .
Существует версия уникальной факторизации для ординалов , однако она требует некоторых дополнительных условий для обеспечения уникальности.
Любой коммутативный моноид Мёбиуса удовлетворяет единственной теореме факторизации и, таким образом, обладает арифметическими свойствами, аналогичными свойствам мультипликативной полугруппы натуральных чисел. Фундаментальная теорема арифметики по сути является частным случаем единственной теоремы факторизации в коммутативных моноидах Мёбиуса.
См. также [ править ]
- Целочисленная факторизация - разложение числа на произведение.
- Простая подпись - мультимножество простых показателей в простой факторизации.
Примечания [ править ]
- ^ Перейти обратно: а б Гаусс (1986 , ст. 16)
- ^ Гаусс (1986 , ст. 131)
- ^ Лонг (1972 , стр. 44)
- ^ Петтофреззо и Биркит (1970 , стр. 53)
- ^ Харди и Райт (2008 , часть 2)
- ^ В кольце целых алгебраических чисел факторизация на простые элементы может быть неоднозначной, но можно восстановить уникальную факторизацию, если разложить на идеалы .
- ^ Вейль (2007 , стр. 5): «Даже у Евклида мы не можем найти общего утверждения о единственности факторизации целого числа на простые числа; конечно, он мог знать об этом, но все, что у него есть, это утверждение (Евкл.IX.I4) о НЦМ любого числа данных простых чисел».
- ^ А. Гоксель Агаргун и Э. Мехмет Озкан. «Исторический обзор основной теоремы арифметики» (PDF) . Historia Mathematica : 209.
Можно сказать, что Евклид делает первый шаг на пути к существованию факторизации простых чисел, а аль-Фаризи делает последний шаг, фактически доказывая существование конечной факторизации простых чисел в своем первом предложении.
- ^ Рашид, Рошди (11 сентября 2002 г.). Энциклопедия истории арабской науки . Рутледж. п. 385. ИСБН 9781134977246 .
Знаменитый физик и математик Камаль ад-Дин аль-Фариси составил статью, в которой намеренно намеревался доказать теорему Ибн Курры алгебраическим способом. Это заставило его понять первые арифметические функции и провести полную подготовку, которая позволила ему впервые сформулировать основную теорему арифметики.
- ^ Лонг (1972 , стр. 45)
- ^ Петтофреззо и Биркит (1970 , стр. 55)
- ^ Харди и Райт (2008 , § 1.2)
- ^ Доусон, Джон В. (2015), Зачем доказывать это еще раз? Альтернативные доказательства в математической практике. , Спрингер, с. 45, ISBN 9783319173689
- ^ Гаусс, BQ, §§ 31–34
- ^ Харди и Райт (2008 , § 14.6)
Ссылки [ править ]
Disquisitiones Arithmeticae переведена с латыни на английский и немецкий языки. Немецкое издание включает все его статьи по теории чисел: все доказательства квадратичной взаимности, определение знака суммы Гаусса, исследования биквадратичной взаимности и неопубликованные заметки.
- Гаусс, Карл Фридрих (1986), Disquisitiones Arithemeticae (второе, исправленное издание) , перевод Кларка, Артура А., Нью-Йорк: Springer , ISBN 978-0-387-96254-2
- Гаусс, Карл Фридрих (1965), Лекции по высшей арифметике (второе издание) (на немецком языке), перевод Мазера Х., Нью-Йорк: Челси, ISBN 0-8284-0191-8
Две монографии Гаусса, опубликованные по биквадратичной взаимности, имеют последовательную нумерацию разделов: первая содержит §§ 1–23, вторая – §§ 24–76. Сноски, ссылающиеся на них, имеют форму «Gauss, BQ, § n ». Сноски, относящиеся к Disquisitiones Arithmeticae, имеют форму «Gauss, DA, Art. n ».
- Гаусс, Карл Фридрих (1828), Теория биквадратных вычетов, Первый комментарий , Геттинген: Комментарий. Соц. королевская наука, Геттинген 6
- Гаусс, Карл Фридрих (1832), Теория биквадратных вычетов, Второй комментарий , Геттинген: Комментарий. Соц. королевская наука, Геттинген 7
Гаусса Они находятся в Werke , том II, стр. 65–92 и 93–148; Немецкие переводы — стр. 511–533 и 534–586 немецкого издания Disquisitiones .
- Евклид (1956), Тринадцать книг Элементов , т. 2 (Книги III-IX), перевод Томаса Литтла Хита (второе издание, полное издание), Нью-Йорк: Дувр , ISBN 978-0-486-60089-5
- Харди, штат Джорджия ; Райт, Э.М. (2008) [1938], Введение в теорию чисел , отредактированное Д. Р. Хит-Брауном и Дж. Х. Сильверманом . Предисловие Эндрю Уайлса . (6-е изд.), Оксфорд: Oxford University Press , ISBN 978-0-19-921986-5 , МР 2445243 , Збл 1159.11001
- Лонг, Кэлвин Т. (1972), Элементарное введение в теорию чисел (2-е изд.), Лексингтон: DC Heath and Company , LCCN 77-171950 .
- Петтофреззо, Энтони Дж.; Биркит, Дональд Р. (1970), Элементы теории чисел , Энглвуд Клиффс: Прентис Холл , LCCN 77-81766 .
- Ризель, Ганс (1994), Простые числа и компьютерные методы факторизации (второе издание) , Бостон: Birkhäuser, ISBN 0-8176-3743-5
- Вейль, Андре (2007) [1984], Теория чисел: подход через историю от Хаммурапи до Лежандра , Modern Birkhäuser Classics, Бостон, Массачусетс: Birkhäuser, ISBN 978-0-817-64565-6
Внешние ссылки [ править ]
- Почему основная теорема арифметики не очевидна?
- НОД и основная теорема арифметики при разрубании узла .
- PlanetMath: доказательство фундаментальной теоремы арифметики
- Блог «Великая теорема Ферма: Уникальная факторизация» — блог, в котором освещается история Великой теоремы Ферма от Диофанта Александрийского до доказательства Эндрю Уайлса .
- «Фундаментальная теорема арифметики» Гектора Зенила, Демонстрационный проект Wolfram , 2007.
- Грайм, Джеймс, «1 и простые числа» , Numberphile , Брэйди Харан , заархивировано из оригинала 11 декабря 2021 г.