text: Если задано расширение E ⊃ K {\displaystyle E\supset K} и элемент α ∈ E {\displaystyle \alpha \in E} , алгебраический над K {\displaystyle K} , то минимальное подполе E {\displaystyle E} , содержащее K {\displaystyle K} и α {\displaystyle \alpha } , изоморфно факторкольцу K / ( f ( x ) ) {\displaystyle K/(f(x))} , где K {\displaystyle K} — кольцо многочленов с коэффициентами в K {\displaystyle K} , а ( f ( x ) ) {\displaystyle (f(x))} — главный идеал, порождённый минимальным многочленом α {\displaystyle \alpha } .