本原元素

給定代數數 , ..., 總是可以找到一個單獨的 代數數 ，使得 , ..., 中的每一個都可以表示為 的有理係數多項式。數字 然後被稱為 擴張域 的本原元素。換句話說，代數數 是 的本原元素，當且僅當 當且僅當 。本原元素在 Wolfram 語言 6 之前的版本中實現為PrimitiveElement[z, a1, ..., an] (在載入包後NumberTheory`PrimitiveElement`.

例如， 的本原元素由 給出，其中

			(1)
			(2)