Определение:

Суммой и произведением целых р-адических чисел определяемых последовательностями и, называются целые р-адические числа, определяемые соответственно последовательностями и.

Чтобы быть уверенным в корректности этого определения,мы должны доказать,что последовательности и определяют некоторые целые - адические числа и что эти числа зависят только от, а не от выбора определяющих их последовательностей. Оба эти свойства доказываются путем очевидной проверки.

Очевидно,что при данном нам определении действий над целыми - адическими числами они образуют коммуникативное кольцо, содержащее кольцо целых рациональных чисел в качестве подкольца.

Делимость целых - адических чисел определяется так же,как и в любом другом кольце: , если существует такое целое - адическое число, что

Для исследования свойств деления важно знать, каковы те целые - адические числа,для которых существуют обратные целые - адические числа. Такие числа называют делителями единицы или единицами. Мы их будем называть - адическими единицами.

Теорема 1 :

Целое - адическое число,определяемое последовательностью, тогда и только тогда является единицей, когда.

Доказательство :

Пусть является единицей, тогда существует такое целое - адическое число, что. Если определяется последовательностью то условие означает,что. В частности, а значит, Обратно, пусть Из условия легко следует, что, так что. Следовательно, для любого n можно найти такое, что будет справедливо сравнение. Так как и, то. Это значит, что последовательность определяет некоторое целое - адическое число Сравнения показывают, что, т.е. что является единицей.

Из доказанной теоремы следует, что целое рациональное число. Будучи рассмотрено как элемент кольца, тогда и только тогда является единицей, когда. Если это условие выполнено,то содержится в. Отсюда следует, что любое целое рациональное b делитсяна такое a в,т.е. что любое рациональное число вида b/a, где a и b целые и, содержится в Рациональные числа такого вида называются -целыми. Они образуют очевидным образом кольцо. Полученный нами результат можно теперь сформулировать так:

Следствие:

Кольцо целых - адических чисел содержит подкольцо, изоморфное кольцу - целых рациональных чисел.

Дробные p-адические числа

Определение :

Дробь вида, k >= 0 определяет дробное p -адическое число или просто p -адическое число. Две дроби, и, определяют одно и тоже p -адическое число, если в.

Совокупность всех p -адических чисел обозначается p . Легко проверить, что операции сложения и умножения продолжаются с p на p и превращают p в поле.

2.9. Теорема. Всякое p -адическое число единственным образом представляется в виде

где m -- целое число, а -- единица кольца p .

2.10. Теорема. Всякое отличное от нуля p -адическое число однозначно представляется в виде

Свойства: Поле p-адических чисел содержит в себе поле рациональных чисел. Нетрудно доказать, что любое целое p-адическое число некратное p обратимо в кольце p , а кратное p однозначно записывается в виде, где x не кратно p и поэтому обратимо, а. Поэтому любой ненулевой элемент поля p может быть записан в виде, где x не кратно p, а m любое; если m отрицательно, то, исходя из представления целых p-адических чисел в виде последовательности цифр в p-ичной системе счисления, мы можем записать такое p-адическое число в виде последовательности, то есть, формально представить в виде p-ичной дроби с конечным числом цифр после запятой и, возможно, бесконечным числом ненулевых цифр до запятой. Деление таких чисел можно также производить аналогично «школьному» правилу, но начиная с младших, а не старших разрядов числа.

Федеральное агентство по образованию

Государственное образовательное учреждение высшего профессионального образования

Вятский государственный гуманитарный университет

Математический факультет

Кафедра математического анализа и методики
преподавания математики

Выпускная квалификационная работа

на тему: Кольцо целых чисел Гаусса.

Выполнил:

студент V курса

математического факультета

Гнусов В.В.

___________________________

Научный руководитель:

старший преподаватель кафедры

алгебры и геометрии

Семенов А.Н..

___________________________

Рецензент:

кандидат физ.-мат. наук, доцент

кафедры алгебры и геометрии

Ковязина Е.М.

___________________________

Допущена к защите в ГАК

Зав. кафедрой________________ Вечтомов Е.М.

« »________________

Декан факультета___________________ Варанкина В.И.

Введение.

Кольцо целых комплексных чисел

было открыто Карлом Гауссом и названо в его честь гауссовым.

К. Гаусс пришел к мысли о возможности и необходимости расширения понятия целого числа в связи с поиском алгоритмов решения сравнений второй степени. Он перенес понятие целого числа на числа вида

, где - произвольные целые числа, а - является корнем уравнения На данном множестве К. Гаусс впервые построил теорию делимости, аналогичную теории делимости целых чисел. Он обосновал справедливость основных свойств делимости; показал, что в кольце комплексных чисел существует только четыре обратимых элемента: ; доказал справедливость теоремы о делении с остатком, теоремы о единственности разложения на простые множители; показал какие простые натуральные числа останутся простыми и в кольце ; выяснил природу простых целых комплексных чисел.

Развитая К. Гауссом теория, описанная в его труде «Арифметические исследования», явилась фундаментальным открытием для теории чисел и алгебры.

В выпускной работе были поставлены следующие цели:

1. Развить теорию делимости в кольце чисел Гаусса.

2. Выяснить природу простых гауссовых чисел.

3. Показать применение гауссовых чисел при решении обычных диофантовых задач.

ГЛАВА 1. ДЕЛИМОСТЬ В КОЛЬЦЕ ЧИСЕЛ ГАУССА.

Рассмотрим множество комплексных чисел. По аналогии с множеством действительных чисел в нем можно выделить некоторое подмножество целых чисел. Множество чисел вида

, где назовем целыми комплексными числами или гауссовыми числами. Нетрудно проверить, что для этого множества выполняются аксиомы кольца. Таким образом, это множество комплексных чисел является кольцом и называется кольцом целых чисел Гаусса . Обозначим его как , так как оно является расширением кольца элементом: .

Поскольку кольцо гауссовых чисел является подмножеством комплексных чисел, то для него справедливы некоторые определения и свойства комплексных чисел. Так, например, каждому гауссовому числу

соответствует вектор с началом в точке и с концом в . Следовательно, модуль гауссова числа есть . Заметим, что в рассматриваемом множестве, подмодульное выражение всегда есть число неотрицательное целое. Поэтому в некоторых случаях удобнее пользоваться нормой , то есть квадратом модуля. Таким образом . Можно выделить следующие свойства нормы. Для любых гауссовых чисел справедливо: (1) (2) (3) (4) (5) - множество натуральных чисел, то есть целых положительных чисел.

Справедливость данных свойств тривиальным образом проверяется с помощью модуля. Попутно заметим, что (2), (3), (5) справедливы и для любых комплексных чисел.

Кольцо гауссовых чисел - это коммутативное кольцо без делителей 0, так как оно является подкольцом поля комплексных чисел. Отсюда следует мультипликативная сократимость кольца

, то есть (6)

1.1 ОБРАТИМЫЕ И СОЮЗНЫЕ ЭЛЕМЕНТЫ.

Посмотрим, какие гауссовы числа будут обратимыми. Нейтральным по умножению является

. Если гауссово число обратимо , то, по определению, существует такое, что . Переходя к нормам, согласно свойству 3, получим . Но эти нормы натуральны, следовательно . Значит, по свойству 4, . Обратно, все элементы данного множества обратимы, поскольку . Следовательно, обратимыми будут числа с нормой равной единице, то есть , .

Как видно не все гауссовы числа будут обратимы. Поэтому интересно рассмотреть вопрос делимости. Как обычно, мы говорим, что

делится на , если существует такое, что .Для любых гауссовых чисел , а также обратимых справедливы свойства. (7) (8) (9) (10) , где (11) (12)

Легко проверяются (8), (9), (11), (12). Справедливость (7) следует из (2), а (10) следует из (6). В силу свойства (9), элементы множества

Как уже отмечалось, кольцо имеет перед полукольцом то преимущество, что в кольце однозначно разрешимо уравнение а + х = Ь для любых элементов кольца а и Ь. Это, в частности, и отличает кольцо целых чисел от полукольца натуральных чисел. Возможность всегда однозначно решить такое уравнение позволяет определить в кольце новую операцию - вычитание.

3.1.5. Определение. Пусть дано кольцо (К, +, ?). Для любых а,ЬеК определим b-а как решение уравнения а + х = Ь. Отображение КхК -»К , сопоставляющее всякой упорядоченной паре элементов (Ь>а) элемент b-а , называется вычитанием , а элемент b-а называется разностью элементов baa.

Непосредственной проверкой убеждаемся, что элемент Ь + (-а) является решением уравнения а + х = Ь, а из единственности решения получаем b-a = b + (-а).

Используя понятие разности элементов кольца, установим еще одну характеризацию системы целых чисел, которую также можно взять в качестве ее определения.

3.1.6. Теорема. Система (К, +, ) есть система целых чисел тогда и только тогда , когда она является кольцом, содержащим полукольцо натуральных чисел {N 9 +, ), причем всякий элемент из К представим в виде разности натуральных чисел, то есть для любого а е К существуют пн п е N такие, что а = т - н .

Доказательство. (=>) Пусть К, +, ) есть система целых чисел мае К. Докажем, что элемент а представим в виде

разности натуральных чисел. По условию 2) из определения 3.1.2, К = Z = N^j{0}kj-N. EcnuaeN, то a = (a + 1)-1; если й g{0}, то а = п-п, где п е N ; если же а е -N , то а = -п и а = 1 - (п +1).

(К, +, ) содержит полукольцо натуральных чисел (N, +, ) и всякий элемент из К представим в виде

разности натуральных чисел. Докажем, что К = ;Vu{0}u-;V = Z. По условию, для любого аеК существуют т,п е N такие, что а = т -п. Но для натуральных чисел т и п имеет место одно и только одно из соотношений: либо т = п + к при некотором к е N , либо т = п , либо п = т + 1 при некотором / е N . В первом случае получаем а = т-п = к е N, во втором а = т - п = 0 € {0}, а в третьем а = т - п = -le -N. ?

Упражнения

• 1. Приведите примеры полуколец, в которых уравнение вида а + .v = h не всегда разрешимо.
• 2. Докажите, что в кольце уравнение а+х - b имеет единственное решение.
• 3. Приведите примеры колец: коммутативных и не коммутативных, с единицей и без единицы, конечных и бесконечных.
• 4. Во всяком ли кольце сложение обладает свойством сократимости (т.е. из а + с = Ь + с следует а -Ь)1 А умножение (всегда ли из ас = Ьс и с* 0 следует а = ЬУ>
• 5. Докажите, что изоморфный образ кольца целых чисел есть кольцо целых чисел.
• 6. Говорят, что кольцо (К, +, ) с единицей е имеет характеристику 0, если для любого п € Л" имеет место неравенство не * 0. Докажите, что в кольце характеристики 0 подмножество {не |« е Z J является подкольцом, изоморфным кольцу целых чисел. Отсюда получаем еще одно краткое по форме определение системы целых чисел: кольцо целых чисел ? это минимальное кольцо характеристики 0.
• 7. Пусть дано кольцо (К, +, > с единицей е. Элемент аеК называется обратимым , если для него существует обратный элемент а~" такой, что а а~ [ = а "а=е. Докажите, что множество обратимых элементов кольца замкнуто относительно умножения, ему принадлежит единица и для всякого элемента этого множества в нем существует обратный элемент. В силу этих свойств это множество называется мультипликативной группой кольца и обозначается К*. Найдите мультипликативные группы колец (Z, +, > и (?Л+, ).
• 8. Докажите, что пересечение двух подколец есть подкольцо. Найдите пересечения подколец 2Z и 3Z, 6Z и 15Z, kZ и mZ.
• 9. Подкольцо // коммутативного кольца (К, +, > называется идеалом, если оно выдерживает умножение на любой элемент кольца, т.е. если для любых h е Н

и к еК произведения kh и hk принадлежат Н . Докажите, что для любых элементов а,а 2 *...»е ЛГ, множество Н = {ka + k 2 (i 2 + -- + k n a n } является идеалом кольца (К, +, ), который обозначается через (д,а 2 »-»я я > (читается: идеал, порожденный элементами Л|,а 2 , а„). При;; = 1 такой идеал называется главным и обозначается (а,). Покажите, что mZ является главным идеалом кольца целых чисел (Z, +, >.

10. Докажите, что в кольце целых чисел всякий идеал является главным. (Указа- н и е. Если Н - ненулевой идеал кольца (Z, +, >, то Н = (т) , где т - наименьшее натуральное число в Я.)

Из курса программирования известно, что целое число может быть представлено в памяти компьютера разными способами, в частности, это представление зависит от того, как оно описано: как величина типа integer , или real , или string . При этом в большинстве языков программирования под целыми числами понимаются числа из весьма ограниченного диапазона: типичный случай - от -2 15 = -32768 до 2 15 - 1 = 32767 . Системы компьютерной алгебры имеют дело с большими целыми числами, в частности, любая такая система умеет вычислять и выводить в десятичной записи числа вида 1000 ! (более тысячи знаков).

В данном курсе мы будем рассматривать представление целых чисел в символьном виде и не вдаваться в подробности, какая память отводится для записи одного символа (бит, байт или другая). Наиболее распространенным является представление целых чисел в позиционных системах счисления . Такая система определяется выбором основания счисления, например, 10 . Множество десятичных целых чисел обычно описывается следующим образом:

Выписанное определение целых чисел дает однозначность представления каждого такого числа, и аналогичное определение (только, может быть, с другим основанием) используется в большинстве систем компьютерной алгебры . Пользуясь таким представлением, удобно реализовать арифметические операции над целыми числами. При этом сложение и вычитание являются относительно "дешевыми" операциями, а умножение и деление - "дорогими" . При оценке сложности арифметических операций следует учитывать как стоимость элементарной операции (одноразрядной), так и количество одноразрядных операций для выполнения какого-либо действия над многозначными числами. Сложность умножения и деления обусловлена, в первую очередь, тем, что с ростом длины числа (его записи в какой-либо системе счисления) количество элементарных операций увеличивается по квадратичному закону, в отличие от линейного для сложения и вычитания. К тому же, то, что мы обычно называем алгоритмом деления многозначных чисел, в действительности основано на переборе (часто весьма значительном) возможной очередной цифры частного, и при этом недостаточно просто воспользоваться правилами деления однозначных чисел. При большом основании системы счисления (часто оно может иметь порядок 2 30 ) этот способ малоэффективен.

Пусть - натуральное число (записанное в десятичной системе). Чтобы получить его запись в -ичной системе счисления, можно воспользоваться следующим алгоритмом ( обозначает целую часть числа ):

Дано: A-натуральное число в десятичной системе счисления k > 1-натуральное число Надо: A-запись числа A в k-ичной системе счисления Начало i:= 0 цикл пока A > 0 bi:= A (mod k) A:= i:= i + 1 конец цикла dA:= i - 1 Конец

Для восстановления десятичного числа по последовательности его k -ичной записи используется следующий алгоритм:

Дано: k > 1-натуральное число последовательность цифр, представляющих число A в k-ичной системе Надо: A-запись числа A в десятичной системе счисления Начало A:= 0 цикл пока не конец последовательности b:= очередной элемент последовательности A:= A * k + b конец цикла Конец

1.2. УПРАЖНЕНИЕ. Объясните, почему для перевода числа из десятичной системы в k -ичную используется деление, а для перевода из k -ичной системы в десятичную - умножение.

Перемножая "столбиком" два двузначных числа в десятичной системе счисления, мы выполняем следующие операции:

(10a + b)(10c + d) = 100ac + 10(ad + bc) + bd,

т. е. 4 операции умножения одноразрядных чисел, 3 операции сложения и 2 операции умножения на степень основания счисления, которые сводятся к сдвигу. При оценке сложности можно учитывать все элементарные операции, не разделяя их по весам (в данном примере мы имеем 9 элементарных операций). Задача оптимизации алгоритма сводится при данном подходе к минимизации общего числа элементарных операций. Можно, однако, считать, что умножение является более "дорогой" операцией, чем сложение, которое, в свою очередь, "дороже" сдвига. Учитывая только наиболее дорогие операции, мы получаем, что мультипликативная сложность умножения двузначных чисел "столбиком" равна 4.

В параграфе 5 рассматриваются алгоритмы вычисления наибольших общих делителей и оценивается их сложность.

Рассмотренное представление не является единственным каноническим представлением целых чисел. Как уже отмечалось, для выбора канонического представления можно воспользоваться единственностью разложения натурального числа на простые множители. Такое представление целого числа может быть применено в тех задачах, где используются только операции умножения и деления, так как они становятся очень "дешевыми" , однако несоизмеримо возрастает стоимость операций сложения и вычитания, что препятствует использованию подобного представления. В некоторых задачах отказ от канонического представления дает значительный выигрыш в быстродействии, в частности, может использоваться частичное разложение числа на множители. Особенно полезен аналогичный метод при работе не с числами, а с многочленами.

Если известно, что при работе программы все встречающиеся в вычислениях целые числа ограничены по абсолютной величине некоторой заданной константой, то можно использовать для задания таких чисел их систему вычетов по модулям некоторых взаимно простых чисел, произведение которых превосходит упомянутую константу. Вычисления с классами вычетов выполняются, как правило, быстрее, чем арифметика многократной точности. А арифметикой многократной точности при таком подходе нужно пользоваться только при вводе или выводе информации.

Отметим, что наряду с каноническими представлениями в системах компьютерной алгебры используются и другие представления. В частности, желательно, чтобы наличие или отсутствие знака "+" перед целым числом не влияло на восприятие его компьютером. Таким образом, для положительных чисел получается неоднозначное представление, хотя форма отрицательных чисел определена однозначно.

Другое требование - на восприятие числа не должно влиять наличие нулей перед первой значащей цифрой.

1.3. УПРАЖНЕНИЯ.

1. Оценить количество одноразрядных умножений, используемых при умножении столбиком m -значного числа на n - значное.
2. Показать, что два двузначных числа можно перемножить, используя только 3 умножения однозначных чисел и увеличив число сложений.
3. Найти алгоритм деления длинных чисел, не требующий большого перебора при нахождении первой цифры частного.
4. Описать алгоритм перевода натуральных чисел из m -ичной системы счисления в n -ичную.
5. В римской нумерации для записи чисел используются следующие символы: I - единица, V - пять, X - десять, L - пятьдесят, C - сто, D - пятьсот, M - тысяча. Символ считается отрицательным, если правее него найдется символ большего числа, и положительным в противном случае. Например, число 1948 в этой системе запишется так: MCMXLVIII . Сформулировать алгоритм перевода числа из римской записи в десятичную и обратно. Реализовать полученный алгоритм на одном из алгоритмических языков (например, C ). Ограничения на исходные данные: 1 <= N < 3700 , в записи результата ни один символ не должен появляться больше 3 раз.
6. Сформулировать алгоритм и написать программу сложения натуральных чисел в римской нумерации.
7. Будем говорить, что мы имеем дело с системой счисления со смешанным или векторным основанием , если нам задан вектор из n натуральных чисел M = (m 1 , . . . ,m n) (осно вание счисления) и запись K = (k 0 , k 1 , . . . , k n) обозначает число k = k 0 +m 1 (k 1 +m 2 (k 2 +· · ·+m n ·k n) . . .)) . Написать программу, которая по данным (день недели, часы, минуты, секунды) определяет, сколько секунд прошло с начала недели (понедельник, 0, 0, 0) = 0 , и выполняет обратное преобразование.

Опр. Кольцо K называется кольцом целых чисел, если аддитивная группа кольца K является аддитивной группой целых чисел и умножение в кольце K коммутативно и продолжает умножение натуральных чисел (в системе N натуральных чисел).

Т1. Пусть - аддитивная группа целых чисел, есть естественное умножение в ней и 1 – единица системы N натуральных чисел. Тогда алгебра Z=является кольцом целых чисел.

Док-во. Покажем, что алгебра Z есть коммутативное кольцо. По условию, алгебра - аддитивная группа кольца – есть абелева группа, как аддитивная группа целых чисел.

Пусть a, b, c – произвольные элементы множества Z. Их можно представить в виде радости натуральных чисел. Пусть (1) a=m-n, b=p-q, c=r-s (m, n, p, q, r, s N).

Естественное умножение в Z определяется формулой (2) a*b=(m-n)*(p-q)=(mp+nq)-(mq+np).

Естественное умножение коммутативно, так как b*a= (p-q)*(m-n)=(pm+qn)-(pn+qm), и коммутативно сложение и умножение натуральных чисел.

Естественное умножение ассоциативно. В самом деле, в силу (1) и (2) имеем:

a*(b*c)=(m-n)[(p-q)(r-s)]=(m-n)[(pr+qs)-(ps-qr)]=(mpr+mqs+nps+nqr)-(mps+mqr+npr+nqs);

(a*b)*c=[(m-n)(p-q)](r-s)=[(mp+nq)-(mq+np)](r-s)=(mpr+nqr+mqs+nps)-(mps+nqs+mqr+npr).

Следовательно, в силу коммутативности сложения натуральных чисел a*(b*c)= (a*b)*c.

Элемент 1 является нейтральным относительно естественного умножения. В самом деле, для любого a из 2 имеем a*1=(m-n)(1-0)=m*1-n*1=m-n=a.

Следовательно, алгебра является коммутативным моноидом.

Опр. Если для целых чисел aи bсуществует такое натуральное число k, что a+k=bи k 0,то говорят, что «a меньше или b», и пишут ab тогда и только тогда, когда b

Т2. Пусть Z=кольцо целых чисел. Тогда: 1) для любых целых чисел a и b выполняется одно и только одно из трех услоий: a

2) для любого целого числа a выполняется одно и только одно из трех условий: a<0, a=0, 0

3) отношение < монотонно относительно сложения, т.е. для любых целых a, bи c

a

4) отношение <монотонно относительно умножения, т.е. для любых целых a, bи с

если a0, то ac

Т. о делении с остатком. Пусть a – целое число и b – натуральное число, отличное от нуля. Разделить число a и b с остатком – значит представить его в виде a=bq+r, где 0 r

Деление с остатком всегда выполнимо, а неполное частное и остаток однозначно определяются делимым и делителем.

Т. Для любых целых чисел a, bпри b>0существует единственная пара целых чисел qи r, удовлетворяющая условиям: (1) a=bq+rи 0 r

Док-во. Докажем, что существует хотя бы одна пара чисел q, r удовлетворяющая условиям (1). Вначале рассмотрим случай, когда a – натуральное число. Фиксируем b и индукцией по a докажем, что (2) существует пара целых чисел q, r, удовлетворяющая (1).

Для a=0 утверждение (2) верно, так как 0=b*0+0. Предположим, что (2) верно для a=n, т.е. существуют целые q, rтакие, что (3) n=bq+rи 0 r

Наибольший общий делитель. Целое число c называется общим делителем целых чисел a 1 , …, a n , если cесть делитель каждого из этих чисел.

Опр. Наибольшим общим делителем целых чисел a 1 , …, a n называется такой их общий делитель, который делится на любой общий делитель этих чисел.

Целые числа a 1 , …, a n называется взаимно простыми, если их наибольший общий делитель чисел равен единице.

НОД чисел a 1 , …, a n обозначается НОД(a 1 , …, a n), положительный НОД этих чисел обозначается нод(a 1 , …, a n).

След-ие 1. Если d есть НОД целых чисел a 1 , …, a n , то множество всех общих делителей этих чисел совпадает с множеством всех делителей числа d.

След-ие 2. Любые два НОД целых чисел a 1 , …, a n ассоциированы, т.е. могут отличаться только знаком. Если d есть НОД чисел a 1 , …, a n , то число (-d) также есть НОД этих чисел.

Алгоритм Евклида. Способ нахождения НОД двух целых чисел.

Предложение. Пусть aи b–два целых числа, b≠0 и (1) a=bq+r (0 r<|b|).

Тогда нод(a,b)=нод(b,r).

Док-во. Из (1) следует, что любой общий делитель чисел aи bесть делитель числа r=a-bqи любой общий делитель чисел bи rесть делитель числа a. Поэтому множество всех общих делителей чисел aи bсовпадает с множеством всех общих делителей чисел bи r. Отсюда следует, что положительный общий делитель чисел aи bсовпадает с положительным общим делителем чисел bи r, т.е. нод(a,b)=нод(b,r).

Если b|a, где b≥1, то очевидно, нод(a,b)=b. Для нахождения нод двух целых чисел применяют способ «последовательного деления», называемый алгоритмом Евклида. Сущность этого способа состоит в том, что в силу доказанного выше предложения задача нахождения нод чисел a и bсводится к более простой задаче нахождения нод чисел bи r, где 0≤r<|b|. Если r=0, то нод(a,b)=b. Если же r≠0, то рассуждения повторяем, отправляясь от bи r. В результате получим цепочку равенств.

Если a=0, то b=0*c=0 и теорема верна. Если же a≠0, то из (1) следует cd=1. По теореме, из равенства cd=1 следует, что d= 1. Кроме того, a=bd; следовательно, a= b. Доказано.

Наименьшее общее кратное. Целое число cназывается общим кратным целых чисел a 1 , …, a n , если оно делится на каждое из этих чисел.

Опр. Наименьшим общим кратным целых чисел a 1 , …, a n называется такое их общее кратное, которое делит любое общее кратное этих чисел. Об-ие: НОК(a 1 , …, a n). Положительное наименьшее общее кратное чисел a 1 , …, a n , отличных от нуля, об-ся через .

Сл-ие. Любые два наименьших общих кратных целых чисел a 1 , …, a n ассоциированы в Z, т.е. могут отличаться только знаком. Если число mесть НОК(a 1 , …, a n), то и число (-m) есть НОК(a 1 , …, a n).

Сл-ие. Если m – наименьшее общее кратное чисел a 1 , …, a n , то множество всех общих кратных этих чисел совпадает с множеством всех кратных числа m.