Определение. Говорят, что поле Р имеет характеристику нуль, если его простое подполе Р0 изоморфно Q; Р – поле простое (или конечное) характеристики Р

Говорят, что поле Р имеет характеристику нуль, если его простое подполе Р₀ изоморфно Q; Р – поле простое (или конечное) характеристики Р, если Р₀ Z_р. Соответственно пишут Сhar P = 0 или Сhar P = р>0.

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

Отношение Р называется отношением эквивалентности (эквивалентностью), если Р рефлексивно, симметрично и транзитивно.

Обозначение Е или ~ (тильда).