Малая теорема Ферма, кольца вычетов.

№1 Кольца и поля вычетов

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

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

Действительно: 1) коммутативность.

2) ассоциативность.

3) особая роль нуля.

4) докажем что существует: Пусть и , тогда и , так как для определённого выше , то утверждение очевидно.

5)

6)

7)

8)

Докажем, что есть поле, тогда и только тогда, когда простое число.

Необходимость: Поведём от противного, пусть , тогда , если - поле все элементы обратимы, а значит что противоречат условию.

Достаточность: Пусть простое число и докажем что

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

Важно отметить, что в поле имеет место, следующее равенство:

Число называют характеристикой поля , обозначают .

Очевидно, что в поле для .

№2 Малая теорема Ферма

Лемма: В поле для , справедливо соотношение .

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

Теорема(Ферма): В поле для справедливо равенство: ( )

Доказательство: Из леммы очевидна следующая цепочка равенств:

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