Задача: найти кол-во элементов в поле разложения многочлена

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

. Так как

приводим над полем из 4 элементов, нам достаточно добавить к полю корни 2-ого многочлена. Сначала добавим вещественный, а потом комплексный корень, значит число элементов станет

. Верны ли эти рассуждения?
Поначалу да.
А потом... Про "вещественные" и "комплексные" корни Вам уже написали.
Но главное - простое алгебраическое расширение конечного поля всегда приводит к полю разложения того многочлена, с помощью которого оно получено.
Иными словами, присоединяя один корень неприводимого полинома, вы в качестве бонуса получаете и все остальные. (В Вашем случае они будут циклически получатся друг из друга возведением в 4-ю степень.)