Покажем, что в рассматриваемом кольце числа являются простыми. Действительно, пусть — одно из них и . Тогда имеем: Так как в этом кольце нет чисел с нормой 2, то или . Обратимыми элементами будут числа с единичной нормой и только они. Значит, в произвольном разложении на множители найдется обратимый множитель, следовательно, просто.

ГЛАВА 2. ПРОСТЫЕ ЧИСЛА ГАУССА.

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

Теорема 8.

Каждое простое гауссово является делителем ровно одного простого натурального.

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

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

Покажем сейчас, что простое Гауссово не может делить два различных простых натуральных. Действительно, пусть и различные простые натуральные, делящиеся на . Поскольку НОД()=1, то по теореме о представлении НОД в целых числах существуют и — целые числа такие, что . Отсюда , что противоречит простоте .

Ч.Т.Д.

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

Следующая теорема показывает, что каждого простого натурального «получается» не более двух простых гауссовых.

Теорема 9.

Если простое натуральное разложено в произведение трех простых гауссовых, то хотя бы один из множителей обратим.

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

Пусть — простое натуральное такое, что . Перейдя к нормам, получим:

.

Из этого равенства в натуральных числах следует, что хотя бы одна из норм равна 1. Следовательно, хотя бы одно из чисел — обратимо.

Ч.Т.Д.

Лемма 10.

Если гауссово число делится на простое натуральное , то и .

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

Пусть , то есть . Тогда , , то есть , .

Ч.Т.Д.

Лемма 11.

Для простого натурального числа вида , существует натуральное такое, что .

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

Теорема Вильсона гласит, что целое число является простым тогда и только тогда, когда . Но , отсюда . Раскроем и преобразуем факториал:

.

Отсюда получаем, что , т.е. .

Таким образом, мы получили, что , где =.

Ч.Т.Д.

Сейчас мы готовы описать все простые гауссовы числа.