Число Эйзенштейна

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Целые числа Эйзенштейна»)
Перейти к навигации Перейти к поиску
Целые Эйзенштейна как точки треугольной решетки на комплексной плоскости

Число Эйзенштейна (число Эйлера[1]) — комплексное число вида:

где a и b — целые и

— кубический невещественный корень из единицы. Целые Эйзенштейна формируют треугольную решетку на комплексной плоскости. (Аналогично тому, как гауссовы целые числа образуют квадратную решетку.)

Систематически исследованы немецким математиком Фердинандом Эйзенштейном.

Множество целых чисел Эйзенштейна является коммутативным кольцом с единицей. Это кольцо содержится в поле алгебраических чисел  — в круговом поле третьей степени.

Число удовлетворяет уравнению и является целым алгебраическим числом. Поэтому и все целые Эйзенштейна являются целыми алгебраическими числами.

Можно также явно выписать многочлен, корнем которого является ,

Произведение двух чисел Эйзенштейна и дает

Норма целого числа Эйзенштейна есть квадрат абсолютной величины

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

норма целого числа Эйзенштейна, не равного нулю, всегда положительна.

Группа единиц кольца чисел Эйзенштейна является циклической группой, сформированной шестью корнями из единицы на комплексной плоскости. А именно

А это и есть целые числа Эйзенштейна единичной нормы.

Простые числа Эйзенштейна

[править | править код]

Если и — целые числа Эйзенштейна, мы говорим, что x делит y если существует некоторое целое число Эйзенштейна , такое, что .

Это расширяет понятие делимости натуральных целых чисел. Мы также можем расширить понятие простого числа; Говорят, что отличное от единицы целое число Эйзенштейна x является простым числом Эйзенштейна, если все его делители имеют вид , где  — любая из шести единиц.

Можно показать, что натуральные простые числа, сравнимые с 1 по модулю 3, а также число 3, можно представить в виде ( — целые) и, поэтому, могут быть разложены , а следовательно, не являются простыми числами Эйзенштейна. Натуральные простые числа, сравнимые с 2 по основанию 3, не могут быть представлены тем же образом, так что они являются также и простыми числами Эйзенштейна.

Каждое целое число Эйзенштейна , норма которого  — натуральное простое, являются простыми Эйзенштейна.

Евклидово кольцо

[править | править код]

Кольцо чисел Эйзенштейна образуют евклидово кольцо, в котором норма N задается формой

Это может быть выведено следующим образом:

Факторгруппа C по целым Эйзенштейна

[править | править код]

Факторгруппа комплексной плоскости C по решётке, содержащей все целые числа Эйзенштейна, является комплексным тором действительной размерности 2, который выделяется наибольшей группой симметрий среди всех комплексных торов действительной размерности 2.

Примечания

[править | править код]
  1. Surányi, László. Algebra (неопр.). — TYPOTEX, 1997. — С. 73. и Szalay, Mihály. Számelmélet (неопр.). — Tankönyvkiadó, 1991. — С. 75. обе называют эти числа “Euler-egészek”, то есть, числами Эйлера.