在域 (域 的扩张域)中的两个元素 , 被称为在 上共轭的,如果它们在 上都是代数的,并且具有相同的最小多项式。
两个复共轭 和 () 在更抽象的意义上也是共轭的,因为它们是以下首一多项式的根
(1)
|
具有实系数,由于其判别式 为负数,该多项式是不可约的,因此是它们在实数域 上的公共最小多项式。
所有本原 次单位根在 上都是共轭的,因为它们以分圆多项式 作为它们的公共最小多项式。例如,本原五次单位根
(2)
| |||
(3)
| |||
(4)
| |||
(5)
|
在 上都是共轭的。这表明在较大的域 () 上不共轭的元素 (例如 和 ) 可能在较小的域上共轭。
代数元素在 上的共轭数小于或等于其在 上的最小多项式 的次数,当且仅当 在其分裂域中没有重根时等号成立(对于 或 总是这种情况)。例如, 在 上的最小多项式是
(6)
|
它在分裂域 中有 4 个单根
(7)
|
这些是 在 上的共轭元素。
这种共轭关系是域 的给定扩张 中代数元素集合上的等价关系。域扩张 的伽罗瓦群的每个元素将每个共轭类映射到自身,并置换其元素。