Endliche Körpererweiterung von Q/Minimalpolynom aus konjugierten Elementen/Fakt
Es sei eine endliche Körpererweiterung und ein Element. Es seien
die verschiedenen komplexen Einbettungen und es sei die Menge der verschiedenen Werte . Dann gilt in für das Minimalpolynom von die Gleichung