Кольцо целых чисел и его свойства. Проблема представления данных. Выпускная квалификационная работа

Натуральные числа не являются кольцом, так как 0 не является натуральным числом, а также для натуральных чисел нет натуральных противоположных им. Структура, образуемая натуральными числами, называется полукольцом. Более точно,

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

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

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

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

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

Теорема 1 . Определения 1 и 2 эквивалентны.

Доказательство : Обозначим через Z 1 кольцо целых чисел в смысле определения 1, а через Z 2 – кольцо целых чисел в смысле определения 2. В начале докажем, что Z 2 включается в Z 1 . Действительно, все элементы Z 2 это либо натуральные числа (они принадлежат Z 1 , так как Z 1 содержит в себе полукольцо натуральных чисел), либо им противоположные (они тоже принадлежат Z 1 , так как Z 1 кольцо, а значит для каждого элемента этого кольца существует противоположный, и для каждого натурального n Î Z 1 , –n также принадлежит Z 1), либо 0 (0 Î Z 1 , так как Z 1 кольцо, а в любом кольце имеется 0), таким образом, любой элемент из Z 2 принадлежит также и Z 1 , а значит Z 2 Í Z 1 . С другой стороны, Z 2 содержит в себе полукольцо натуральных чисел, а Z 1 является минимальным кольцом, содержащим в себе натуральные числа, то есть не может содержать в себе никакого другого кольца, удовлетворяющего этому условию. Но мы показали, что оно содержит в себе Z 2 , а значит Z 1 = Z 2 . Теорема доказана.

Определение 3. Кольцом целых чисел называется кольцо, элементами которого являются все возможные элементы, представимые в виде разности b – а (все возможные решения уравнения a + x = b), где а и b – произвольные натуральные числа.

Теорема 2 . Определение 3 эквивалентно двум предыдущим.

Доказательство : Обозначим через Z 3 кольцо целых чисел в смысле определения 3, а через Z 1 = Z 2 , как и раньше, – кольцо целых чисел в смысле определения 1 и 2 (их равенство уже установлено). Сначала докажем, что Z 3 включается в Z 2 . Действительно, все элементы Z 3 можно представить в виде некоторых разностей натуральных чисел b – а. Для любых двух натуральных чисел по теореме о трихотомии возможно три варианта:



В этом случае разность b – а также является числом натуральным и потому принадлежит Z 2 .

В этом случае разность двух равных между собой элементов обозначим символом 0. Докажем, что это действительно нуль кольца, то есть нейтральный элемент относительно сложения. Для этого воспользуемся определением разности a – a = x ó a = a + x и докажем, что b + x = b для любого натурального b. Для доказательства достаточно прибавить к правой и левой части равенства a = a + x элемент b, а затем воспользоваться законом сокращения (все эти действия можно выполнять исходя из известных свойств колец). Нуль же принадлежит Z 2 .

В этом случае разность a – b есть число натуральное, обозначим

b – a = – (a – b). Докажем, что элементы a – b и b – a действительно являются противоположными, то есть в сумме дают нуль. В самом деле, если обозначить a – b = х, b – a = у, то получим, что a = b + х, b = у + a. Складывая почленно полученные равенства и сокращая b, получим a = х + у + a, то есть х + у = а – а = 0. Таким образом a – b = – (b – a) является числом противоположным натуральному, то есть вновь принадлежит Z 2 . Таким образом, Z 3 Í Z 2 .

С другой стороны Z 3 содержит в себе полукольцо натуральных чисел, так как любое натуральное число n всегда можно представить как

n = n / – 1 Î Z 3 ,

а значит Z 1 Í Z 3 , так как Z 1 является минимальным кольцом, содержащим в себе натуральные числа. Пользуясь уже доказанным фактом, что Z 2 = Z 1 , получаем Z 1 = Z 2 = Z 3 . Теорема доказана.

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

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

Согласно определению 3, каждое целое число представимо в виде разности двух натуральных z = b – а. Сопоставим каждому целому числу z соответствующую пару . Недостатком данного соответствия является его неоднозначность. В частности, числу 2 соответствуют и пара <3, 1 >, и пара <4, 2>, а также множество других. Числу 0 соответствуют и пара <1, 1>, и пара <2,2>, и пара <3, 3>, и так далее. Избежать этой проблемы помогает понятие эквивалентности пар . Будем говорить, что пара эквивалентна паре , если a +d = b + c (обозначение: @ ).

Введённое отношение является рефлексивным, симметричным и транзитивным (доказательство предоставляется читателю).

Как и всякое отношение эквивалентности, данное отношение порождает разбиение множества всевозможных пар натуральных чисел на классы эквивалентности, которые мы будем обозначать как [] (каждый класс состоит из всех пар эквивалентных паре ). Теперь можно каждому целому числу поставить в соответствие вполне определённый класс эквивалентных между собой пар натуральных чисел. Множество таких классов пар натуральных чисел и можно использовать в качестве модели целых чисел. Докажем, что все аксиомы кольца выполняются в этой модели. Для этого необходимо ввести понятия сложения и умножения классов пар. Сделаем это по следующим правилам:

1) [] + [] = [];

2) [] × [] = [].

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

Доказательство : Применим определение эквивалентности пар:

@ ó а + b 1 = b + a 1 (1),

@ ó с + d 1 = d + c 1 (2).

Почленно сложив равенства (1) и (2), получим:

а + b 1 + с + d 1 = b + a 1 + d + c 1 .

Все слагаемые в последнем равенстве – натуральные числа, поэтому мы в праве применить коммутативный и ассоциативный законы сложения, что приводит нас к равенству

(а + с) + (b 1 + d 1)= (b + d) + (a 1 + c 1),

которое равносильно условию @ .

Для доказательства корректности умножения, равенство (1) умножим на с, получим:

ас + b 1 с= bс + a 1 с.

Затем перепишем равенство (1) в виде b + a 1 = а + b 1 и умножим на d:

bd + a 1 d = аd + b 1 d.

Почленно сложим полученные равенства:

ас + bd + a 1 d + b 1 с = bс + аd + b 1 d + a 1 с,

что означает, что @ (иными словами, здесь мы доказали, что × @ ).

Затем ту же процедуру проделаем с равенством (2), только умножать его будем на а 1 и b 1 . Получим:

а 1 с + а 1 d 1 = а 1 d + а 1 c 1

b 1 d + b 1 c 1 = b 1 с + b 1 d 1 ,

а 1 с + b 1 d + b 1 c 1 + а 1 d 1 = а 1 d + b 1 d + b 1 c 1 + а 1 c 1 ó

ó @

(здесь мы доказали, что × @ ). Пользуясь свойством транзитивности отношения эквивалентности пар, приходим к требуемому равенству @ равносильному условию

× @ .

Таким образом, корректность введённых определений доказана.

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

+ ( +) = + = .

Так как все компоненты пар числа натуральные

= <(a + c) +m), (b + d) +n)> =

= <(a + c), (b + d)> + = ( + ) +.

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

Необходимо также доказать наличие нейтрального элемента по сложению. Им может служить класс пар вида [<с, с>]. Действительно,

[] + [] = [] @ [], так как

а + c + b = b + c + a (справедливо для любых натуральных чисел).

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

[] + [] = [] = [] @ [].

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

[] / = [].

Проверим, пользуясь данным правилом, справедливость условий С1 и С2 (из определения сложения натуральных чисел). Условие С1 (а + 1 = а /) в данном случае перепишется в виде:

[] + [] =[] / = []. Действительно,

[] + [] = [] = [], так как

a + c / +b = a + b + 1 + c = b + c + a +1 = b + с + a /

(ещё раз напомним, что все компоненты натуральные).

Условие С2 будет иметь вид:

[] + [] / = ([] + []) / .

Преобразуем отдельно левую и правую части данного равенства:

[] + [] / = [] + [] = [] / .

([] + []) / = [] / =[<(a + c) / , b + d>] =[].

Таким образом, мы видим, что левые и правые части равны, значит условие С2 справедливо. Доказательство условия У1 предоставляется читателю. условие У2 является следствием дистрибутивного закона.

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

Свойства операций над целыми числами :

2) а×(–b) = –a×b = –(ab)

3) – (– a) = a

4) (–a)×(–b) = ab

5) a×(–1) = – a

6) a – b = – b + a = – (b – a)

7) – a – b = – (a +b)

8) (a – b) ×c = ac – bc

9) (a – b) – c = a – (b + c)

10) a – (b – c) = a – b + c.

Доказательства всех свойств повторяют доказательства соответствующих свойств для колец.

1) а + а×0 = а×1 + а×0 = a ×(1 + 0) = a×1 = а, то есть а×0 является нейтральным элементом по сложению.

2) а×(–b) + ab = a(–b + b) = a×0 = 0, то есть элемент а×(–b) является противоположным к элементу а×b.

3) (– a) + a = 0 (по определению противоположного элемента). Аналогично (– a) +(– (– a)) = 0. Приравнивая левые части равенств и применяя закон сокращения, получим – (– a) = а.

4) (–a)×(–b) = –(a×(–b)) = –(–(а×b)) = ab.

5) a×(–1) + а = a×(–1) + a×1 = a×(–1 + 1) = a×0 = 0

a×(–1) + а = 0

a×(–1) = –а.

6) По определению разности a – b есть такое число х, что а = х + b. Прибавляя к правой и левой части равенства –b слева и пользуясь коммутативным законом, получаем первое равенство.

– b + a + b – a = –b + b + а – a = 0 + 0 = 0, что доказывает второе равенство.

7) – a – b = – 1×a – 1×b = –1×(a +b) = – (a +b).

8) (a – b) ×c = (a +(–1)× b) ×c = ac +(–1)×bc = ac – bc

9) (a – b) – c = х,

a – b = х + c,

a – (b + c) = х, то есть

(a – b) – c = a – (b + c).

10) a – (b – c) = a + (– 1)×(b – c) = a + (– 1×b) + (–1)× (– c) = a – 1×b + 1×c = = a – b + c.

Задания для самостоятельного решения

№ 2.1. В правом столбце таблицы найти пары эквивалентные парам, приведённым в левом столбце таблицы.

а) <7, 5> 1) <5, 7>
б) <2, 3> 2) <1, 10>
в) <10, 10> 3) <5, 4>
г) <6, 2> 4) <15, 5>
5) <1, 5>
6) <9, 9>

Для каждой пары указать ей противоположную.

№ 2.2. Вычислить

а) [<1, 5>] + [ <3, 2>]; б)[<3, 8>] + [<4, 7>];

в) [<7, 4>] – [<8, 3>]; г) [<1, 5>] – [ <3, 2>];

д) [<1, 5>] × [ <2, 2>]; е) [<2, 10>]× [<10, 2>].

№ 2.3. Для модели целых чисел, описанной в данном разделе, проверить коммутативный закон сложения, ассоциативный и коммутативный законы умножения, дистрибутивные законы.

Примеры

a + b i {\displaystyle a+bi} где a {\displaystyle a} и b {\displaystyle b} рациональные числа, i {\displaystyle i} - мнимая единица . Такие выражения можно складывать и перемножать по обычным правилам действий с комплексными числами , и у каждого ненулевого элемента существует обратный, как это видно из равенства (a + b i) (a a 2 + b 2 − b a 2 + b 2 i) = (a + b i) (a − b i) a 2 + b 2 = 1. {\displaystyle (a+bi)\left({\frac {a}{a^{2}+b^{2}}}-{\frac {b}{a^{2}+b^{2}}}i\right)={\frac {(a+bi)(a-bi)}{a^{2}+b^{2}}}=1.} Из этого следует, что рациональные гауссовы числа образуют поле, являющееся двумерным пространством над (то есть квадратичным полем).
  • Более общо, для любого свободного от квадратов целого числа d {\displaystyle d} Q (d) {\displaystyle \mathbb {Q} ({\sqrt {d}})} будет квадратичным расширением поля Q {\displaystyle \mathbb {Q} } .
  • Круговое поле Q (ζ n) {\displaystyle \mathbb {Q} (\zeta _{n})} получается добавлением в Q {\displaystyle \mathbb {Q} } примитивного корня n -й степени из единицы. Поле должно содержать и все его степени (то есть все корни n -й степени из единицы), его размерность над Q {\displaystyle \mathbb {Q} } равняется функции Эйлера φ (n) {\displaystyle \varphi (n)} .
  • Действительные и комплексные числа имеют бесконечную степень над рациональными, поэтому они не являются числовыми полями. Это следует из несчетности: любое числовое поле является счётным .
  • Поле всех алгебраических чисел A {\displaystyle \mathbb {A} } не является числовым. Хотя расширение A ⊃ Q {\displaystyle \mathbb {A} \supset \mathbb {Q} } алгебраично, оно не является конечным.

Кольцо целых числового поля

Поскольку числовое поле является алгебраическим расширением поля Q {\displaystyle \mathbb {Q} } , любой его элемент является корнем некоторого многочлена с рациональными коэффициентами (то есть является алгебраическим). Более того, каждый элемент является корнем многочлена с целыми коэффициентами, так как можно домножить все рациональные коэффициенты на произведение знаменателей. Если же данный элемент является корнем некоторого унитарного многочлена с целыми коэффициентами, он называется целым элементом (или алгебраическим целым числом). Не все элементы числового поля целые: например, легко показать что единственные целые элементы Q {\displaystyle \mathbb {Q} } - это обычные целые числа .

Можно доказать, что сумма и произведение двух алгебраических целых чисел - снова алгебраическое целое число, поэтому целые элементы образуют подкольцо числового поля K {\displaystyle K} , называемое кольцом целых поля K {\displaystyle K} и обозначаемое . Поле не содержит делителей нуля и это свойство наследуется при переходе к подкольцу, поэтому кольцо целых целостно ; поле частных кольца O K {\displaystyle {\mathcal {O}}_{K}} - это само поле K {\displaystyle K} . Кольцо целых любого числового поля обладает следующими тремя свойствами: оно целозамкнуто , нётерово и одномерно . Коммутативное кольцо с такими свойствами называется дедекиндовым в честь Рихарда Дедекинда .

Разложение на простые и группа классов

В произвольном дедекиндовом кольце существует и единственно разложение ненулевых идеалов в произведение простых . Однако не любое кольцо целых удовлетворяет свойству факториальности : уже для кольца целых квадратичного поля O Q (− 5) = Z [ − 5 ] {\displaystyle {\mathcal {O}}_{\mathbb {Q} ({\sqrt {-5}})}=\mathbb {Z} [{\sqrt {-5}}]} разложение не единственно:

6 = 2 ⋅ 3 = (1 + − 5) (1 − − 5) {\displaystyle 6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})}

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

Степень нарушения свойства факториальности измеряют при помощи группы классов идеалов , эта группа для кольца целых всегда конечна и её порядок называют числом классов.

Базисы числового поля

Целый базис

Целый базис числового поля F степени n - это множество

B = {b 1 , …, b n }

из n элементов кольца целых поля F , такое что любой элемент кольца целых O F поля F можно единственным способом записать как Z -линейную комбинацию элементов B ; то есть для любого x из O F существует и единственно разложение

x = m 1 b 1 + … + m n b n ,

где m i - обычные целые числа. В этом случае любой элемент F можно записать как

m 1 b 1 + … + m n b n ,

где m i - рациональные числа. После это целые элементы F выделяются тем свойством, что это в точности те элементы, для которых все m i целые.

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

Степенной базис

Пусть F - числовое поле степени n . Среди всех возможных базисов F (как Q -векторного пространства), существуют степенные базисы, то есть базисы вида

B x = {1, x , x 2 , …, x n −1 }

для некоторого x F . Согласно теореме о примитивном элементе , такой x всегда существует, его называют примитивным элементом данного расширения.

Норма и след

Алгебраическое числовое поле является конечномерным векторным пространством над Q {\displaystyle \mathbb {Q} } (обозначим его размерность за n {\displaystyle n} ), и умножение на произвольный элемент поля является линейным преобразованием этого пространства. Пусть e 1 , e 2 , … e n {\displaystyle e_{1},e_{2},\ldots e_{n}} - какой-нибудь базис F , тогда преобразованию x ↦ α x {\displaystyle x\mapsto \alpha x} соответствует матрица A = (a i j) {\displaystyle A=(a_{ij})} , определяемая условием

α e i = ∑ j = 1 n a i j e j , a i j ∈ Q . {\displaystyle \alpha e_{i}=\sum _{j=1}^{n}a_{ij}e_{j},\quad a_{ij}\in \mathbf {Q} .}

Элементы этой матрицы зависят от выбора базиса, однако от него не зависят все инварианты матрицы, такие как определитель и след . В контексте алгебраических расширений, определитель матрицы умножения на элемент называется нормой этого элемента (обозначается N (x) {\displaystyle N(x)} ); след матрицы - следом элемента (обозначается Tr (x) {\displaystyle {\text{Tr}}(x)} ).

След элемента является линейным функционалом на F :

Tr (x + y) = Tr (x) + Tr (y) {\displaystyle {\text{Tr}}(x+y)={\text{Tr}}(x)+{\text{Tr}}(y)} и Tr (λ x) = λ Tr (x) , λ ∈ Q {\displaystyle {\text{Tr}}(\lambda x)=\lambda {\text{Tr}}(x),\lambda \in \mathbb {Q} } .

Норма является мультипликативной и однородной функцией:

N (x y) = N (x) ⋅ N (y) {\displaystyle N(xy)=N(x)\cdot N(y)} и N (λ x) = λ n N (x) , λ ∈ Q {\displaystyle N(\lambda x)=\lambda ^{n}N(x),\lambda \in \mathbb {Q} } .

В качестве исходного базиса можно выбрать целый базис , умножению на целое алгебраическое число (то есть на элемент кольца целых ) в этом базисе будет соответствовать матрица с целыми элементами. Следовательно, след и норма любого элемента кольца целых являются целыми числами.

Пример использования нормы

Пусть d {\displaystyle d} - - целый элемент, так как он является корнем приведенного многочлена x 2 − d {\displaystyle x^{2}-d} ). В этом базисе умножению на a + b d {\displaystyle a+b{\sqrt {d}}} соответствует матрица

(a d b b a) {\displaystyle {\begin{pmatrix}a&db\\b&a\end{pmatrix}}}

Следовательно, N (a + b d) = a 2 − d b 2 {\displaystyle N(a+b{\sqrt {d}})=a^{2}-db^{2}} . На элементах кольца эта норма принимает целые значения. Норма является гомоморфизмом мультипликативной группы Z [ d ] {\displaystyle \mathbb {Z} [{\sqrt {d}}]} на мультипликативную группу Z {\displaystyle \mathbb {Z} } , поэтому норма обратимых элементов кольца может быть равна только 1 {\displaystyle 1} или − 1 {\displaystyle -1} . Для того, чтобы решить уравнение Пелля a 2 − d b 2 = 1 {\displaystyle a^{2}-db^{2}=1} , достаточно найти все обратимые элементы кольца целых (также называемые единицами кольца ) и выделить среди них имеющие норму 1 {\displaystyle 1} . Согласно теореме Дирихле о единицах , все обратимые элементы данного кольца являются степенями одного элемента (с точностью до умножения на − 1 {\displaystyle -1} ), поэтому для нахождения всех решений уравнения Пелля достаточно найти одно фундаментальное решение.

См. также

Литература

  • Х. Кох. Алгебраическая теория чисел . - М. : ВИНИТИ , 1990. - Т. 62. - 301 с. - (Итоги науки и техники. Серия «Современные проблемы математики. Фундаментальные направления».).
  • Чеботарев Н.Г. Основы теории Галуа. Часть 2. - М. : Едиториал УРСС, 2004.
  • Вейль Г. Алгебраическая теория чисел. Пер. с англ.. - М. : Едиториал УРСС, 2011.
  • Serge Lang , Algebraic Number Theory, second edition, Springer, 2000

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

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

Если же ограничиться многочленами с целыми коэффициентами, то разложение (1) не имеет смысла и мы должны считать многочлен неразложимым на множители.

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

Поставим вопрос: каковы «хорошие» множества коэффициентов? Когда сумма, разность, произведение многочленов с коэффициентами данного типа имеют коэффициенты того же типа? Для ответа на этот вопрос введем понятие числового кольца.

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

1) Множество целых чисел является числовым кольцом: сумма, разность и произведение целых чисел - целые числа. Множество же натуральных чисел числовым кольцом не является, так как разность натуральных чисел может быть отрицательной.

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

3) Образует числовое кольцо и множество всех действительных чисел.

4) Числа вида а где а и целые, образуют числовое кольцо. Это следует из соотношений:

5) Множество нечетных чисел не является числовым кольцом, так как сумма нечетных чисел четна. Множество же четных чисел - числовое кольцо.

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

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

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

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

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

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

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

Выполнил:

студент 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), элементы множества

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

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

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

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

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

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

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

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

Выполнил:

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

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

Гнусов В.В.

___________________________

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

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

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

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

___________________________

Рецензент:

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

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

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

___________________________

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

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

« »________________

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

« »________________

Киров 2005

  • Введение. 2
  • 3
    • 4
    • 1.2 ДЕЛЕНИЕ С ОСТАТКОМ. 5
    • 1.3 НОД. АЛГОРИТМ ЕВКЛИДА. 6
    • 9
  • 12
  • 17
  • Заключение. 23

Введение.

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

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

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

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

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

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

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

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

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

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

(1)

(2)

(3)

(4)

(5)

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

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

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

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

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

(7)

(8)

(9)

(10)

, где (11)

(12)

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

1.2 ДЕЛЕНИЕ С ОСТАТКОМ.

Пусть надо поделить на, но невозможно произвести деление нацело. Мы должны получить, и при этом должно быть «мало». Тогда покажем, чту брать в качестве неполного частного при делении с остатком во множестве гауссовых чисел.

Лемма 1. О делении с остатком.

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

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

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

.

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

Ч.Т.Д.

1.3 НОД. АЛГОРИТМ ЕВКЛИДА.

Мы пользуемся обычным для колец определением наибольшего общего делителя. НОД"ом двух гауссовых чисел называется такой их общий делитель, который делится на любой другой их общий делитель.

Как и во множестве целых чисел, во множестве гауссовых чисел для нахождения НОД пользуются алгоритмом Евклида.

Пусть и данные гауссовы числа, причем. Разделим с остатком на. Если остаток будет отличен от 0, то разделим на этот остаток, и будем продолжать последовательное деление остатков до тех пор, пока оно будет возможно. Получим цепочку равенств:

, где

, где

, где

……………………….

, где

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

Теорема 2. О существовании НОД.

В алгоритме Евклида, примененному к числам Гаусса и последний ненулевой остаток есть НОД( ).

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

Докажем, что в алгоритме Евклида действительно получаем НОД.

1.Рассмотрим равенства снизу вверх.

Из последнего равенства видно, что.Следовательно, как сумма чисел делящихся на. Так как и, то следующая строчка даст. И так далее. Таким образом, видно, что и. То есть это общий делитель чисел и.

Покажем, что это наибольший общий делитель, то есть делится на любой другой их общий делитель.

2. Рассмотрим равенства сверху вниз.

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

Ч.Т.Д.

Лемма 3. О представлении НОД.

Если НОД( , )= , то существуют такие целые гауссовы числа и , что .

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

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

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

Утверждение 4.

При умножении простого гауссова числа на обратимое снова получается простое гауссово число.

Утверждение 5.

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

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

Пусть такой делитель является составным числом. Тогда, где и необратимые гауссовы числа. Перейдем к нормам, и согласно (3) получим, что. Так как эти нормы натуральны, то имеем, что, а в силу (12), является необратимым делителем данного числа Гаусса, что противоречит выбору.

Утверждение 6.

Если не делится на простое гауссово число , то НОД( , )=1.

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

Действительно, простое число делится только на числа союзные с 1 или с . А так как не делится на , то на союзные с тоже не делится. Значит, их общими делителями будут только обратимые числа.

Лемма 7. Лемма Евклида.

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

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

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

Пусть не делится на , тогда НОД(, )=1. Следовательно, существуют такие гауссовы числа и, что. Умножим обе части равенства на , получим, что, отсюда следует, что, как сумма чисел делящихся на .

1.4 ОСНОВНАЯ ТЕОРЕМА АРИФМЕТИКИ.

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

Замечание 1.

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

Замечание 2.

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

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

Доказательство проведем индукцией по норме.

База. Для числа с единичной нормой утверждение очевидно.

Пусть сейчас -- ненулевое необратимое гауссово число, и для всех чисел Гаусса с нормой меньшей утверждение доказано.

Покажем возможность разложения на простые множители. Для этого обозначим через необратимый делитель, имеющий наименьшую норму. Этот делитель должен быть простым числом по утверждению 5. Тогда. Таким образом, мы имеем и по индуктивному предположению представимо в виде произведения простых чисел. Значит, раскладывается в произведение этих простых и.

Покажем единственность разложения на простые множители. Для этого возьмем два произвольных таких разложения:

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

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

Пример однопорожденного кольца над без ОТА.

Рассмотрим. Элементами этого кольца являются числа вида, где и произвольные целые числа. Покажем, что в нем не выполняется основная теорема арифметики. Определим в этом кольце норму числа следующим образом: . Это действительно является нормой, так как нетрудно проверить, что. Пусть и. Тогда

Заметим, что.

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

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

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

Теорема 8.

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

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

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

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

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

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

Теорема 9.

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

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

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

.

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

Лемма 10.

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

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

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

Ч.Т.Д.

Лемма 11.

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

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

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

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

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

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

Теорема 12.

Все простые гауссовы можно разбить на три группы:

1). Простые натуральные вида, являются простыми гауссовыми;

2). Двойка союзна с квадратом простого гауссова числа;

3). Простые натуральные вида, раскладываются в произведение двух простых сопряженных гауссовых.

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

1). Предположим, что простое натуральное вида не является простым гауссовым. Тогда , причем и . Перейдем к нормам: . Учитывая указанные неравенства, получим , то есть -- сумма квадратов двух целых чисел. Но сумма квадратов целых чисел не может давать остаток 3 при делении на 4.

2). Заметим, что

.

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

3). Пусть простое натуральное вида , тогда по лемме 11 существует целое число такое, что . Пусть -- простое гауссово. Так как , то по лемме Евклида на делится хотя бы один из множителей. Пусть , тогда существует гауссово число такое, что . Приравнивая коэффициенты мнимых частей получим, что . Следовательно, , что противоречит нашему предположению о простоте . Значит -- составное гауссово, представимое в виде произведения двух простых сопряженных гауссовых.

Ч.Т.Д.

Утверждение.

Гауссово число, сопряженное к простому, само является простым.

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

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

Утверждение.

Гауссово число, норма которого есть простое натуральное число, является простым гауссовым числом.

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

Пусть составное число, тогда. Рассмотрим нормы.

То есть получили, что норма составное число, а по условию есть простое число. Следовательно, наше предположение не верно, и есть простое число.

Утверждение.

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

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

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

Возможно два случая:

1). , то есть представили в виде суммы двух квадратов.

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

ГЛАВА 3. ПРИМЕНЕНИЕ ЧИСЕЛ ГАУССА.

Утверждение.

Произведение чисел представимых в виде суммы двух квадратов также представимо в виде суммы двух квадратов.

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

Докажем этот факт двумя способами, с помощью чисел Гаусса, и не используя гауссовы числа.

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

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

Утверждение.

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

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

Из условия следует, что и при этом -- простое гауссово. Тогда по лемме Евклида на делится один из множителей. Пусть, тогда по лемме 10 имеем, что и.

Опишем общий вид натуральных чисел представимых в виде суммы двух квадратов.

Рождественская теорема Ферма или теорема Ферма -- Эйлера .

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

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

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

Задача 1.

Посмотрим применение данной теории на примере решения диафантова уравнения.

Решить в целых числах.

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

То есть. Пусть делится на некоторое простое гауссово число, и на него делится и сопряженное, то есть. Если рассмотреть разность этих гауссовых чисел, которая должна делиться на, то получим, что должно делить 4. Но, то есть союзно с.

Все простые множители в разложении числа входят в степени кратной трем, а множители вида, в степени кратной шести, так как простое гауссово число получается из разложения на простые гауссовы 2, но, поэтому. Сколько раз встречается в разложении на простые множители числа, столько же раз и встречается в разложении на простые множители числа. В силу того, что делится на тогда и только тогда, когда делится на. Но союзно с. То есть они распределятся поровну, значит, будут входить в разложения этих чисел в степенях кратной трем. Все остальные простые множители, входящие в разложение числа, будут входить только либо в разложение числа, либо числа. Значит, в разложении на простые гауссовы множители числа все множители будут входить в степени кратной трем. Следовательно число есть куб. Таким образом имеем, что. Отсюда получаем, что, то есть должно быть делителем 2. Значит, или. Откуда получаем четыре удовлетворяющие нам варианта.

1. , . Откуда находим, что, .

2. , . Отсюда, .

3. , . Отсюда, .

4. , . Отсюда, .

Задача 2.

Решить в целых числах.

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

Задача 3.

Количество представлений натурального числа в виде суммы двух квадратов.

Задача равносильна задаче о представлении данного натурального числа в виде нормы некоторого числа Гаусса. Пусть -- число Гаусса, норма которого равна. Разложим на простые натуральные множители.

Где -- простые числа вида, а -- простые числа вида. Тогда, чтобы было представимо в виде суммы двух квадратов, необходимо, чтобы все были четными. Разложим на простые гауссовы множители число, тогда

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

Сравнение нормы с числом приводит к следующим соотношениям, необходимым и достаточным для того, чтобы:

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

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

При этом подсчете различными считаются все решения уравнения. Однако некоторые решения можно рассматривать, как определяющие одно и то же представление в виде суммы двух квадратов. Так, если -- решения уравнения, то можно указать еще семь решений, определяющих то же самое представление числа в виде суммы двух квадратов: .

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

Таким образом, имеем следующие формулы:

Если не все четные и

Если все четные.

Заключение.

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

В третей главе рассмотрены применения чисел Гаусса к решению известных классических задач, таких как:

· Вопрос о возможности представления натурального числа в виде суммы двух квадратов;

· Задача нахождения количества представлений натурального числа в виде суммы двух квадратов;

· Нахождение общих решений неопределенного уравнения Пифагора;

а также к решению диафантова уравнения.

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

Подобные документы

    Свойства делимости целых чисел в алгебре. Особенности деления с остатком. Основные свойства простых и составных чисел. Признаки делимости на ряд чисел. Понятия и способы вычисления наибольшего общего делителя (НОД) и наименьшего общего кратного (НОК).

    лекция , добавлен 07.05.2013

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

    контрольная работа , добавлен 16.12.2015

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

    курсовая работа , добавлен 22.06.2015

    Понятие матрицы. Метод Гаусса. Виды матриц. Метод Крамера решения линейных систем. Действия над матрицами: сложение, умножение. Решение систем линейных уравнений методом Гаусса. Элементарные пребразования систем. Математические перобразования.

    лекция , добавлен 02.06.2008

    Закон сохранения количества чисел Джойнт ряда в натуральном ряду чисел как принцип обратной связи чисел в математике. Структура натурального ряда чисел. Изоморфные свойства рядов четных и нечетных чисел. Фрактальная природа распределения простых чисел.

    монография , добавлен 28.03.2012

    Иоганн Карл Фридрих Гаусс - величайший математик всех времен. Интерполяционные формулы Гаусса, дающие приближенное выражение функции y=f(x) при помощи интерполяции. Области применение формул Гаусса. Основные недостатки интерполяционных формул Ньютона.

    контрольная работа , добавлен 06.12.2014

    Расширенный алгоритм Евклида, его использование для нахождения наибольшего общего делителя натуральных чисел посредством остатков от деления. Математическая проблема календаря. Евклидовы кольца - аналоги чисел Фибоначчи в кольце многочленов, их свойства.

    реферат , добавлен 25.09.2009

    Вивчення властивостей натуральних чисел. Нескінченість множини простих чисел. Решето Ератосфена. Дослідження основної теореми арифметики. Асимптотичний закон розподілу простих чисел. Характеристика алгоритму пошуку кількості простих чисел на проміжку.

    курсовая работа , добавлен 27.07.2015

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

    контрольная работа , добавлен 12.11.2012

    Теоретико-числовая база построения СОК. Теорема о делении с остатком. Алгоритм Евклида. Китайская теорема об остатках и её роль в представлении чисел в СОК. Модели модулярного представления и параллельной обработки информации. Модульные операции.