Характеристика поля

Теорема 3.

Кольцо классов вычетов Z_m является полем тогда и только тогда, когда m=р простое число.

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

Поле не обладающее никаким собственным подполем называется простым.

Теорема 4.

В каждом поле Р содержится одно и только одно простое поле Р₀ это простое поле изоморфно либо Q либо Z_р для некоторого простого р (простое число р).