Гауссовы целые числа (гауссовы числа, целые комплексные числа) — это комплексные числа, у которых как вещественная, так и мнимая часть — целые числа. Введены Гауссом в 1825 году.
Содержание |
Формальное определение:
Относительно обычных для комплексных чисел операций сложения и умножения гауссовы целые числа образуют область целостности, которую обозначают Z[i]. Расширить её до упорядоченного кольца невозможно.
Каждое гауссово число удовлетворяет квадратному уравнению:
Поэтому гауссово число есть целое алгебраическое число.
Определим норму для гауссова числа a + bi как квадрат его модуля:
Очевидно, норма равна нулю только для нуля. В остальных случаях норма — положительное число.
Норма, как и модуль, обладает важным свойством мультипликативности:
Отсюда сразу следует, что обратимыми элементами кольца (делителями единицы) являются те элементы, у которых норма равна 1, то есть { 1; −1; i; −i }.
Два гауссовых числа называются ассоциированными, если одно получается из другого умножением на делитель единицы. Ясно, что ассоциированность — отношение эквивалентности.
Понятия деления нацело, делителя и частного от деления определяются обычным образом. Все гауссовы числа делятся на делители единицы, поэтому любое гауссово число, отличное от делителей единицы, имеет как минимум 8 делителей: 4 делителя единицы и 4 их произведения на само это число. Эти делители называются тривиальными.
Простое гауссово число — это число, не имеющее других делителей, кроме тривиальных. Число, не являющееся простым, называется составным. При этом делители единицы, подобно натуральной единице, не считаются ни простыми, ни составными числами.
Несколько простых свойств деления в Z[i]:
Имеет место аналог основной теоремы арифметики: каждое гауссово число, не являющееся нулём или делителем единицы, разлагается на простые множители, причём это разложение однозначно с точностью до порядка и ассоциированности множителей.
Однако натуральное простое число может не быть гауссовым простым числом. Например, числа 2 и 5 в Z[i] уже не простые:
Критерий Гаусса. Гауссово число является простым тогда и только тогда, когда:
Отсюда видно, что никакое простое натуральное число вида не может быть простым гауссовым числом. Простые натуральные числа вида являются и простыми гауссовыми числами. Из критерия Гаусса видно, что норма простого гауссова числа является либо простым натуральным числом, либо квадратом простого натурального числа.
Приведём ещё несколько теорем о делимости гауссовых чисел.
В кольце Z[i] можно определить деление с остатком (на любое ненулевое гауссово число), потребовав, чтобы норма остатка была меньше нормы делителя. Несложно показать, что в качестве частного от деления с остатком можно взять гауссово число, ближайшее к частному от обычного деления комплексных чисел. Кольцо гауссовых чисел является евклидовым, и в нём всегда можно определить наибольший общий делитель.
Понятие сравнения по модулю определяется аналогично тому, как это делается для целых чисел. Кольцо вычетов по модулю a + bi имеет элементов, то есть его порядок совпадает с нормой порождающего числа.
Любое гауссово число сравнимо по любому модулю с некоторым натуральным числом.
Необходимо отметить, что условие «норма остатка меньше нормы делителя» недостаточно для того, чтобы гарантировать однозначность остатка от деления нацело. В Z[i], в отличие от Z, остаток неоднозначен. Разделим, например, 7 + 2i на 3 - i:
Можно гарантировать только то, что все остатки попадают в один класс вычетов по модулю делителя.
Все обратимые целые гауссовы числа, гауссовы целые числа.
Ленинская улица, Фроде Эстил, Синдром Марфана, Участник:Andre russia.