Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Китайська теорема про остачі




Конгруенції з одним невідомим.

Доведення теореми Эйлера.

Теореми Ейлера і Ферма.

При первісні корені завжди існують.

Число називається первісним коренем (первісним елементом) за модулем, якщо його порядок по модулі дорівнює.

Відомо, що в кожному скінченному полі також існує первісний елемент (генератор поля). Степені первісного елемента представляють усі ненульові елементи поля.

Зокрема, якщо первісний елемент поля, те порівняння розв'язне для ненульових лишків за модулем.

Показник у цьому порівнянні називається дискретним логарифмом числа за основою. Дискретні логарифми часто називають індексами і позначають або.

 

Теорема Ейлера. Якщо, то.

З теореми Ейлера випливає мала теорема Ферма:, де - простої,.

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

Як наслідок, з теореми Ейлера випливає, що елемент є первісним коренем за модулем тоді і тільки тоді, коли виконуються співвідношення:, де.

Зауважимо, що в кожному скінченному полі, при,, виконується співвідношення. Це зв'язано з тим, що число є порядком мультиплікативної групи поля.

Щоб врахувати значення, помножимо обидві частини зазначеного співвідношення на. Одержимо, що для будь-якого елемента кінцевого поля вірне співвідношення.

Нагадаємо, що розширення скінченного поля може бути представлене як кільце лишків многочленів за модулем незвідного многочлена, над простим полем:.

Для деяких незвідних многочленів послідовність пробігає всі можливі лишкі, тобто всі елементи поля. Такі многочлени називаються примітивними.

 

Нехай - всі різні числа, які взаємно прості з і не перевищують. Очевидно,.

Оскільки,, у послідовності будь-які два члени з різними індексами непорівнянні за модулем.

Тому послідовності і співпадають, з точністю до перестановки членів.

Отже, добуток всіх членів однієї послідовності і добуток всіх членів іншої послідовності порівнянні за модулем, звідки, після скорочення на, одержуємо.

 

 

 

Нехай числа попарно взаємно прості і. Тоді існує єдиний за модулем розв’язок системи порівнянь,.

При цьому,, де,.

Дійсно, у зазначеному вирзі для, один доданок порівнянний з за модулем, а всі інші порівнянні з нулем.

Коефіцієнти можна обчислити заздалегідь і розв’язувати кілька систем, підставляючи їхні праві частини в лінійну форму.

Китайська теорема про остачі показує, що розв’язок порівняння можна знайти, якщо знати розв’язки цього порівнянняза модулями, рівним степеням простих, що входять у канонічний розклад числа на співмножники.

 




Поделиться с друзьями:


Дата добавления: 2014-10-15; Просмотров: 1631; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.012 сек.