Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Алгебра и теория чисел. Часть 1. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
09.08.2026
Размер:
425 Кб
Скачать

ГЛАВА IV. СРАВНЕНИЯ ПО МОДУЛЮ pk И p-АДИЧЕСКИЕ ЧИСЛА

§ 18. Решение сравнений по модулю pk

 

Рассмотрим сравнение

 

k 1, p – простое число. Обозна-

a xn a

xn 1 ... a x a 0 mod pk ,

n

n 1

 

1

0

 

 

 

 

 

чим

f (x) a xn a

xn 1 ... a x a .

 

 

 

 

 

 

n

n 1

1

0

 

 

 

 

 

Лемма 3. 1.

f (a) 0 mod pk f (a

)

 

в /pk ;

 

0

 

 

2.

если а удовлетворяет сравнению f (a) 0 mod pk , то

все числа из класса a a pk также удовлетворяют этому сравне-

нию (a ). Доказательство.

1.f (a) 0 mod pk anan an 1an 1 ... a1a a0 0

anan an 1an 1 ... a1a a0 0, гдеai / pk , f (a) 0.

2.

f (a) 0 mod pk a

 

a

n a

 

a

n 1

... a

a

a

 

 

 

,

следователь-

 

 

 

0

 

n

 

 

n 1

 

 

1

0

 

 

 

 

но, все числа из a

a pk

удовлетворяют

сравнению

f (x) 0 mod pk .

Лемма доказана.

Теорема (аналог леммы Гензеля в алгебраической теории

чисел). Пусть f (x) an xn a

 

xn 1 ... a x a [x], f (a) 0mod pk ,

n 1

 

1

0

 

k , f (a) 0mod pk. Тогда

среди

чисел

класса

вычетов a pk

сравнению f (x) 0 mod pk 1

удовлетворяют все

числа некоторого

единственного класса вычетов по модулю pk+1. Доказательство.

a pk разбивается на p классов вычетов по модулю pk+1: (a 0 pk pk 1 ) (a 1 pk pk 1 ) (a 2 pk pk 1 )

... (a ( p 1) pk pk 1 ).

Все указанные классы различны, так как их представители не сравнимы с нулем по модулю pk+1. Требуется доказать, что из этих p классов только один удовлетворяет сравнению f (x) 0 mod pk .

Рассмотрим число a pkt и используем формулу Тейлора: f (a pkt) f (a) f 1!(a)( pkt) f 2!(a)( pkt)2 ... f (nn)!(a)( pkt)n .

41

Все

члены

 

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

на pk+1.

Тогда

f (a pkt) 0 mod pk 1 f (a) f (a) pkt 0 mod pk 1 .

Так как

f (a) 0 mod pk , то

 

f (a)

 

– целое число, следовательно, имеем сравне-

 

pk

 

 

f (a)

 

 

 

 

 

 

ние f (a)t

 

 

 

 

 

 

0mod p, то t определяется

pk

0 mod p . Так как f (a)

однозначно по модулю p.

 

 

Теорема доказана.

f (a) 0 mod p, f

(a) 0 mod p. Тогда суще-

Следствие.

Пусть

 

 

 

 

 

 

 

 

 

 

ствует единственная бесконечная последовательность классов выче-

тов

по

модулю

 

p, p2,…, pk,…:

x

a

в / p ,

x

в / p2 ,...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

x

в / pk

,...,

для которой x

x mod pk

для любого k 1, и xk удо-

k

 

 

 

 

 

 

 

 

 

 

k 1

k

 

 

 

 

 

 

 

 

 

 

влетворяет сравнению f (x) 0 mod pk.

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть a

 

x

. Из теоремы следует, что в / p2 существует

x

,

 

 

 

 

 

 

1

 

 

 

 

f (x) 0 mod p2, x

 

2

удовлетворяющий сравнению

x mod p. Для

x

находим

 

x

 

 

 

 

 

 

 

/ p3 ,

 

 

2

1

2

 

 

 

 

 

 

в

 

удовлетворяющий

 

сравнению

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) 0 mod p3, x

x

 

mod p2 и т. д.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие доказано.

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 1. Решить сравнение x2 2x 4 0mod 74.

 

 

 

 

 

 

 

Рассмотрим сравнение x2 2x 4 0mod 7 в

/7 . Подбором

находим числа x1 = 1, x2 = 4, удовлетворяющие этому сравнению.

 

 

 

 

 

 

 

 

 

 

f (x1) 4 0 в / 7 , f (x2) 3 0 в / 7 .

 

 

f (x) 2x 2 ,

 

 

 

1) Поднимаем x1 на высоту 2, т. е. находим решение x2сравне-

ния

f (x) 0mod72

 

такое, что x x mod7.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (1)

 

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(1)t

 

 

0mod 7; 4t 1 0mod 7; t 2 по модулю 7.

 

 

7

 

 

 

Тогда 1 7( 2) 13 a p1t – решение сравнения

f (x) 0 mod72.

 

 

2) Поднимаем (–13) на высоту 3, т. е. находим решение x3срав-

нения f (x) 0mod73

такое, при котором x x mod49.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

2

 

 

 

 

 

 

 

 

f ( 13) 147 (должно делиться на 72).

 

 

 

 

 

 

 

 

f (1)t f ( 13) 0mod 7; 4t 3 0mod 7; t 1 по модулю 7. 49

42

Тогда

a p2t 13 49 1 36

решение

сравнения

f (x) 0 mod73.

 

 

 

f (36) 1296 72 4 1372 343 4.

 

 

 

3) Поднимаем 36 на высоту 4:

 

 

 

 

f (36)

 

 

 

f (1)t

 

0mod 7; 4t 4 0mod 7; t

1 по модулю 7.

343

Тогда

a p3t 36 343 ( 1) 307

решение

сравнения

f (x) 0mod74.

x1 307 2401z, z .

Аналогично для x2 = 4.

4) f (4)t f 7(4) 0mod 7; 3t 4 0mod 7; t 1 по модулю 7.

a pt 4 7 1 11– решение сравнения f (x) 0 mod72. f (11) 121 22 4 147.

 

f (11)

 

 

 

 

5) f (4)t

 

0mod 7; 3t 3 0mod 7;

 

 

49

 

 

t 1 по модулю 7.

 

 

 

 

a p2t 11 49( 1) 38 – решение сравнения

f (x) 0 mod73.

f ( 38) 1444 76 4 1372 343 4 .

 

 

 

 

f ( 38)

 

 

 

 

6) f (4)t

 

0mod 7; 3t 4 0mod 7;

 

 

343

 

 

t 1 по модулю 7.

 

 

 

 

a p3t 38 343 1 305 – решение сравнения

f (x) 0 mod74.

x2 305 2401z, z .

 

 

 

 

Ответ: x1 307 2401z , x2 305 2401z, z .

 

 

Пример 2. Извлечь корни 4-й степени из (–1) в /289 .

Решение.

Заметим

сначала, что

289 = 172,

и обозначим

f (x) x4 1. Тогда f (x) 4x3.

 

 

x4 1 0mod17 :

Подбором

находим

два решения

сравнения

x 2. Чтобы найти остальные решения, поделим x4 1 уголком на

1,2

 

 

 

(x x )(x x ) x2 4 в /17 . Получим

x4 1 (x2 4)(x2 4) . Также

1

2

 

 

подбором находим два решения сравнения x2 4 0mod17 : x

8.

 

 

1,2

 

43

Поднимаем решение x1 = 2 исходного сравнения на высоту 2 т. е.

найдем

решение

x

сравнения x4

1 0mod289

такое что

 

 

 

 

 

2

 

 

 

 

f (2)

 

 

 

 

 

 

 

 

 

 

x2 x1 mod17 . Для этого решим сравнение

f

(2)t

 

 

0mod17, т. е.

17

 

2t 1 0mod17. Находим подбором t =

9.

Поэтому

2 17 9 155

решение сравнения

x4 1 0mod289. Тогда ясно, что (–155) – также

решение этого сравнения.

 

 

 

 

 

 

 

Поднимем теперь решение x3 = 8 исходного сравнения на вы-

 

 

 

 

 

 

 

 

 

 

f (8)

 

соту 2.

Для этого

решаем сравнение

f (8)t

 

 

0mod17, т. е.

 

17

8t 241 0mod17 или

8t 3 0mod17. Находим подбором t = 6. Следо-

вательно, 8 17 6 110

– решение сравнения x4 1 0mod289. Тогда и

(–110) – тоже решение этого сравнения.

 

 

 

 

 

 

 

Ответ:

155,

110

– корни 4-й степени из (–1) в /289 .

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

Решить сравнения:

1)3x2 4x 3 0mod 74 ; 2) 2x2 3x 1 0mod 54 ;

3)x2 3x 3 0mod 74.

Ответы: 1) x1 2068 74 z , x2 1132 74 z, z ;

2)x1 1 54 z , x2 312 54 z, z ;

3)x1 1352 74 z , x2 1046 74 z, z .

§19. p-адические числа

Определение 18. Целым p-адическим числом называется бесконечная последовательность ...αn, αn 1, ..., α1 , где n αn / pn , при-

чем n 2 αn αn 1 mod pn 1, т. е. αn pn 1 αn 1 pn 1 .

Примеры.

1)...,65 73 ,16 72 , 2 7 .

2)...,43 25 ,11 24 ,11 23 , 3 22 ,1 2 .

Множество всех целых p-адических чисел обозначается как Z p . Если все αn – канонические представители соответствующих классов вычетов, т. е. 0 αn pn n , то из определения 18 следует,

44

что 0 α1 p, α2 α1 γ2 p , где 0 γ2 p ; α3 α2 γ3 p2 , где 0 γ3 p2

и т. д. Следовательно, p-адическое число ... αn, αn 1, ..., α1 можно за-

писать в позиционной записи ... γn,

γ

 

, ..., γ , где n 0 γn pn,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

pn 1

 

 

n 1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

или более наглядно в виде ... γ

n

...

γ

2

p γ , где γ α .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1 1

 

 

Определение 19.

 

и β ...

 

 

 

 

 

 

 

 

 

 

 

– два

p-ади-

 

Если

α ...

α

n ,

α

n 1, ...

α

 

 

 

n ,

 

 

 

n 1, ...

 

1

 

1

 

β

β

β

ческих

 

числа,

 

то

 

 

α + β ...

α

n

 

n,

α

n 1

 

n 1, ...,

α

1

 

1;

α β

 

 

 

 

β

β

β

...

 

,

 

 

, ...,

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α β

α

β

αβ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

n

 

 

n 1 n 1

1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 26.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) p

является коммутативным ассоциативным кольцом отно-

сительно вышеопределенных операций сложения и умножения с кольцевой единицей в позиционной записи …0…01 и кольцевым ну-

лем …00…0.

2) Мультипликативная группа *p данного кольца состоит из всех p-адических чисел ...αn αn 1...α1 , где α1 1mod p .

Доказательство следует из покомпонентности сложения и умножения p-адических чисел.

Если ...γnn 1,...,γ1 позиционная запись p-адического числа α, то

α ...

 

 

 

 

 

,

 

 

 

,...,γ , откуда следует, что

γ

n

pn 1 γ

n 1

pn 2 ... γ

γ

n 1

pn 2 ... γ

 

 

 

1

 

1

1

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

...54321 Пример. В кольце 7 ...65142 .

...152463

Здесь при сложении чисел в четвертой позиции получилось число 9 = 1·7 + 2, поэтому в этой позиции в сумме пишем 2, а единицу, стоящую перед 7, переносим налево, т. е. при сложении чисел в пятой позиции имеем 5 + 6 = 11 = 1·7 + 4, но в сумме вместо 4 пишем в пятой позиции 5, учитывая единицу переноса из 4-й позиции.

Далее ясно, что отображение φ: p такое, при которомz φ(z) ...,z,...,z , где справа в каждой позиции стоит z , является изоморфным вложением в p , так что можно считать p .

45

Однако заметим, что если позиционная запись натурального числа имеет конечный вид γn γn 1...,γ1, то позиционная запись отрица-

тельного целого числа имеет бесконечный вид, например, −1 в 7 ра-

вен …6…666 (6 в периоде).

На языке p-адических чисел рассмотренная нами теория в предыдущем параграфе говорит о том, что если а – решение уравнения f(x) = 0 в / p , где f(x) – многочлен с целыми коэффициентами,

причем

 

 

 

решение

a

поднимается до решения

f

(a) 0mod p, то

...a

n,...,a

2

,a

1

, где a1 a2

, уравнения f (x) 0

в p .

 

Закончим этот параграф формулировкой знаменитой теоремы

Хассе−Минковского.

 

 

 

 

 

Определение 20.

Поле

дробей

кольца p называется полем

p-адических чисел. Оно обозначается p . Из теоремы 26 следует, что каждое ненулевое число из p имеет вид xpm , где m , x *p .

Теорема Хассе−Минковского. Невырожденная квадратичная форма с рациональными коэффициентами представляет 0 в

(т. е. обращается в ноль при некоторых значениях переменных, причем не все эти значения равны 0) тогда и только тогда, когда эта форма представляет 0 в p для любого простого р.

Очень нетривиально здесь доказательство достаточности, которое можно найти, например в книге [4].

Пример 1. Решить сравнение 221x 289mod73 .

Представляем числа 221 и 289 как 7-адические числа в позиционной записи:

289 = 5·49 + 6·7 + 2·70 = …00562, 221 = 4·49 + 3·7 + 4·70 = …00434.

В 7 равенство x 562434 эквивалентно равенству 562 = 434·х.

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

434

...354

2402

3136

1635

00562

46

Здесь x ...354 находится по первому множителю 434 и по результату 562 умножения 434 на х. Для решения сравнения по модулю 73 достаточно найти первые три цифры в позиционной записи х в 7 .

И, наконец, переводим 7-адическое число 354 в десятичную запись: 354 = 3·49 + 5·7 + 4 = 147 + 39 = 186.

Ответ: x 186 343 .

Пример 2. Решить сравнения

991x 878mod74 ,

991x

878mod75 , 991x 878mod76 :

 

 

878 = 2·343 + 3·49 + 6·7 + 3·70 = 23637,

 

991 = 2·343 + 6·49 + 1·7 + 4·70 = 26147.

 

 

x 2363; 2363=2614·х.

 

 

2614

 

 

 

 

2614

 

 

 

 

40016

 

 

 

 

 

 

 

 

23223

 

 

 

2614

 

 

 

 

000

 

 

 

 

00

 

 

 

 

14362

 

 

 

 

 

0

 

 

 

 

02363

 

 

 

0167 = 7 + 6 = 1310, тогда x 13 74 .

 

40016 = 4·2401 + 7 + 6 = 9617,

 

 

 

x 9617 75 , x 9617 76 .

 

 

Ответ: x 13 74 , x 9617 75 ,

x 9617 76 .

 

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

Решить сравнения:

1)57 x 119mod27 ; 2) 1278x 2279mod54 ;

3)1278x 2279mod56 ; 4) 1278x 2279mod74 ;

5)1278x 2279mod76 .

Ответы: 1) x 47 27 z, z ; 2) x 193 54 z, z ;

3)x 2086 56 z, z ; 4) x 680 74 z, z ;

5)x 48700 76 z, z .

47

СПИСОК ЛИТЕРАТУРЫ

1.Бухштаб А. А. Теория чисел / А. А. Бухштаб. – М.: Просвещение, 1966.

2.Виноградов И. М. Основы теории чисел / И. М. Виноградов. – М.:

Наука, 1972.

3.Дэвенпорт Г. Высшая арифметика / Г. Дэвенпорт. – М.: Наука, 1965.

4.Серр Ж.-П. Курс арифметики / Ж.-П. Серр. – М. : Мир, 1972.

5.Кострикин А. И. Введение в алгебру / А. И. Кострикин. – М.:

Наука, 1977.

6.Боревич З. И. Теория чисел / З. И. Боревич, И. Р. Шафаревич. – М.:

Наука, 1972.

7.Кудреватов Г. А. Сборник задач по теории чисел / Г. А. Кудреватов. – М.: Просвещение, 1970.

8. Александров В. А. Задачник-практикум по теории чисел / В. А. Александров, С. М. Горшенин. – М.: Просвещение, 1972.

48

Учебное пособие

Веретенников Борис Михайлович Михалева Марина Михайловна

Алгебра и теория чисел

Часть I

Редактор О. С. Смирнова

Компьютерный набор М. М. Михалевой Компьютерная верстка Т. С. Кринициной

Подписано в печать 30.05.2014. Формат 60×90 1/16. Бумага писчая. Плоская печать. Усл. печ. л. 3,25. Уч.-изд. л. 3,1. Тираж 100 экз. Заказ № 1164.

Издательство Уральского университета Редакционно-издательский отдел ИПЦ УрФУ 620049, Екатеринбург, ул. С. Ковалевской, 5

Тел.: 8 (343) 375-48-25, 375-46-85, 374-19-41 E-mail: rio@urfu.ru

Отпечатано в Издательско-полиграфическом центре УрФУ 620075, Екатеринбург, ул. Тургенева, 4

Тел.: 8 (343) 350-56-64, 350-90-13 Факс: 8 (343) 358-93-06

E-mail: press-urfu@mail.ru

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]