2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Задача по Теории Чисел из Ireland
Сообщение05.03.2023, 17:26 


28/08/22
52
В книге "Классическое введение в современную ТЧ" есть задача 9 из Главы 4. Звучит так:
Цитата:
Показать, что произведение все примитивных корней по модулю $p$ сравнимо с $(-1)^{\varphi(p-1)}$ по модулю $p$.

Дайте, пожалуйста, какую-нибудь слабую подсказку как это доказать. Мне кажется, что тут все должно быть не сильно сложно, просто пока туплю.
$p$ в задаче, насколько я понимаю, любое целое, не обязательно простое.

 Профиль  
                  
 
 Re: Задача по Теории Чисел из Ireland
Сообщение05.03.2023, 18:39 


21/04/22
356
ohart
Обозначим один из примитивных корней $u$. Как выражаются через степени числа $u$ все остальные примитивные корни?

 Профиль  
                  
 
 Re: Задача по Теории Чисел из Ireland
Сообщение05.03.2023, 20:35 
Заслуженный участник


12/08/10
1713
Если $u$ -примитивный, то и $u^{-1}$ - примитивный. Все пары сокращаются кроме редкого случая $u^2=1$.

 Профиль  
                  
 
 Re: Задача по Теории Чисел из Ireland
Сообщение05.03.2023, 20:42 


28/08/22
52
mathematician123 в сообщении #1584455 писал(а):
ohart
Обозначим один из примитивных корней $u$. Как выражаются через степени числа $u$ все остальные примитивные корни?

Подсказку понял, спасибо! Степени будут всегда взаимно просты с $\varphi(p)$

-- 05.03.2023, 20:45 --

Null в сообщении #1584475 писал(а):
Если $u$ -примитивный, то и $u^{-1}$ - примитивный. Все пары сокращаются кроме редкого случая $u^2=1$.

Ну да, совсем просто, спасибо

 Профиль  
                  
 
 Re: Задача по Теории Чисел из Ireland
Сообщение06.03.2023, 02:49 
Заслуженный участник


13/12/05
4660
ohart в сообщении #1584476 писал(а):
Подсказку понял, спасибо! Степени будут всегда взаимно просты с $\varphi(p)$

А я подсказку не понял. И степенями будут числа, взаимно простые с $p-1$.
Null в сообщении #1584475 писал(а):
Если $u$ -примитивный, то и $u^{-1}$ - примитивный. Все пары сокращаются кроме редкого случая $u^2=1$.

Действительно, перемудрили с формулировкой. Функция Эйлера всегда чётная, кроме $\varphi (2) =1$.
Я из- за такой формулировки про круговой многочлен вспомнил: если $u_i$ -- все первообразные корни, то $\prod_{i=1}^{\varphi(p-1)}(x-u_i) =\Phi_{p-1}(x)$. А свободный член у кругового многочлена равен $1$. Но это рассуждение только для простого $p$ подходит, когда остатки образуют поле. А Ваше док-во проще и подходит для любого $p$, для которого существует первобразный корень.

 Профиль  
                  
 
 Re: Задача по Теории Чисел из Ireland
Сообщение06.03.2023, 09:40 


28/08/22
52
Padawan в сообщении #1584520 писал(а):
ohart в сообщении #1584476 писал(а):
Подсказку понял, спасибо! Степени будут всегда взаимно просты с $\varphi(p)$
А я подсказку не понял. И степенями будут числа, взаимно простые с $p-1$.

Все-таки наверное c $\varphi(p)$, поскольку в задаче $p$ - не обязательно простое.

Когда я это писал, я еще не видел второго комментария с очень простым решением. Но сама подсказка понятная, она приводит к тому же простому решению, только чуть более сложным путем.
Выберем произвольный примитивный корень $g$. Тогда, с учетом подсказки, произведение всех корней равно $g^t$, где $$t=\sum\limits_{\left(\alpha,\varphi(p)\right)=1}\alpha$$
Замечаем, что если $(\alpha,\varphi(p))=1$, то и $(\varphi(p)-\alpha,\varphi(p))=1$. Следовательно в этой сумме все сократится всегда, кроме единственного случая, когда примитивный корень один.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 6 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: ihq.pl


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group