Русская Википедия:Число Эйзенштейна

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Файл:Eisenstein integer lattice.png

Целые Эйзенштейна как точки треугольной решетки на комплексной плоскости

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

<math>z = a + b\omega</math>

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

<math>\omega = \frac{1}{2}(-1 + i\sqrt 3) = e^{2\pi i/3}</math>

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

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

Свойства

Множество целых чисел Эйзенштейна является коммутативным кольцом. Это кольцо содержится в поле алгебраических чисел <math>\mathbf{Q}(\omega)</math> — в круговом поле третьей степени.

Число <math>\omega</math> удовлетворяет уравнению <math>\omega^2 + \omega + 1 = 0.</math> и является целым алгебраическим числом. Поэтому и все целые Эйзенштейна являются целыми алгебраическими числами.

Можно также явно выписать многочлен, корнем которого является <math>z=a+b\omega</math>,

<math>z^2 - (2a - b)z + (a^2 - ab + b^2).</math>

Произведение двух чисел Эйзенштейна <math>a+b\omega</math> и <math>c+d\omega</math> дает

<math>(a+b\omega) \cdot (c+d\omega)=(ac-bd)+(bc+ad-bd)\omega.</math>

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

<math>|a+b\omega|^2 = a^2 - ab + b^2.</math>

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

<math>4a^2-4ab+4b^2=(2a-b)^2+3b^2,</math>

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

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

<math>\left\{\pm 1, \pm \omega, \pm \omega^2 \right\}</math>

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

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

Шаблон:Main Если <math>x</math> и <math>y</math> — целые числа Эйзенштейна, мы говорим, что x делит y если существует некоторое целое число Эйзенштейна <math>z</math>, такое, что <math>y=zx</math>.

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

Можно показать, что натуральные простые числа, сравнимые с 1 по модулю 3, а также число 3, можно представить в виде <math>x^2-xy+y^2</math> (<math>x, y</math> — целые) и, поэтому, могут быть разложены <math>(x + \omega y)(x + \omega^2y)</math>, а следовательно, не являются простыми числами Эйзенштейна. Натуральные простые числа, сравнимые с 2 по основанию 3, не могут быть представлены тем же образом, так что они являются также и простыми числами Эйзенштейна.

Каждое целое число Эйзенштейна <math>a+b\omega</math>, норма которого <math>a^2-ab+b^2</math> — натуральное простое, являются простыми Эйзенштейна.

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

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

<math>N(a + b\,\omega) = a^2 - a b + b^2.</math>

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

<math>\begin{align}N(a+b\,\omega)

&=|a+b\,\omega|^2\\ &=(a+b\,\omega)(a+b\,\bar\omega)\\ &=a^2 + ab(\omega+\bar\omega) + b^2\\ &=a^2 - ab + b^2\end{align}</math>

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

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

См. также

• Гауссовы целые числа
• Кольцо Куммера
• Кубический закон взаимности
• Кватернион Гурвица
• Квадратные числа
• Круговое поле

Ссылки

• Eisenstein Integer--from MathWorld