... Кроме того, если многочлен P ( x ) с коэффициентами из поля K имеет с неприводимым многочленом Q ( x ) общий корень (не принадлежащий полю K), то P ( x ) делится на Q ( x) . ... Расширение поля. Пусть K некоторое числовое поле, P ( x ) неприводимый многочлен степени n над полем K, а корень (вообще говоря, комплексный) этого многочлена. ... Поле комплексных чисел + получается как расширение 4 (i) присоединением к полю 4 действительных чисел корня i многочлена x2 + 1. ...