Введём для
функцию Мёбиуса следующим образом: еслиесли
для некоторого простого p и некоторогоесли n раскладывается в произведение r различных простых чисел
Если n делится на квадрат простого числа, то
Если f – мультипликативная функция, а функция F определена соотношением
, то F – также мультипликативная функция.Доказательство: Пусть числа m и n – взаимно простые. Тогда каждый делитель d числа
может быть представлен в виде произведения взаимно простых , таких что и . ПоэтомуТеперь ещё небольшой факт:
Если
, то .Доказательство: Функция
является мультипликативной, если e=0 и в то же время , если . Если n делится на простое число, то , из этого всего и следует это утверждение.Формула обращения Мёбиуса. Для любой функции f, определённой на множестве натуральных чисел (не обязательно мультипликативной), если
для каждого , то .Доказательство: Положим
. Тогда суммы очевидно равны. По определению F .Теперь изменим порядок суммирования и воспользуемся тем, что если
, то далее следует .В последней сумме коэффициент при
равен 0, кроме случаев или . Эта сумма сводится к единственному члену .Теорема. Число всех нормированных неприводимых полиномов степени n над
задаётся формулой .Доказательство: Возьмём
, , подставим в предидущую формулу.Теперь можно перейти к тестам неприводимости полиномов в
.Тест1. Полином
степени n>1 неприводим в тогда и только тогда когда для .Причём если полином приводим то тест сработает достаточно быстро. Для неприводимых полиномов этот тест становится медлительным из-за вычислений НОД в
. Для исправления этого созданТест2. Полином
степени n>1 неприводим в тогда и только тогда когда и для всех , - простые делители n.Алгоритм Берлекампа разложения на множители над конечными полями. Идея Берлекампа основана на китайской теореме об остатках для полиномов:
Пусть
- полиномы из , причём взаимно прост с при . Пусть - произвольные полиномы из . Тогда существует единственный полином , такой что и . Это же можно сформулировать на языке отображений:Отображение, ставящее в соответствие полиному
вектор , где , является биекцией между и .Доказательство: Проводится расширенным алгоритмом Евклида. То есть определяются полиномы
, такие что . Полагаем . Тогда , . Если бы нашёля такой , который бы был решением этих сравнений, то полином должен делиться на все . Поэтому .Теорема. В поле GF(p) – поле Галуа (конечное поле, содержащее p (простое число) элементов) имеет место разложение:
.
Доказательство: В поле Галуа
(а также по малой теореме Ферма) . Значит s является корнем полинома , то есть (x-s) является делителем . А так как это выполнено для всех то . Также следует заметить, что и это два нормированных полинома, из этого всего и следует их равенство.