設 為具有
個實嵌入和
個虛嵌入的 數域,並設
。則
的單位
的乘法群具有以下形式
|
(1)
|
其中 是本原
次單位根,對於最大
,使得
中存在本原
次單位根。每當
是二次域時,
(除非
,在這種情況下
,或者
,在這種情況下
)。因此,
同構於群
。
個生成元
,對於
,被稱為
的基本單位。實二次數域和虛三次數域只有一個基本單位,而虛二次數域沒有基本單位。觀察到
是
的撓子群的階,並且
的確定取決於
-基的變化以及乘以單位根的倍數。
由 代數數 生成的域
的基本單位可以在 Wolfram 語言 中使用以下命令計算NumberFieldFundamentalUnits[a]。
在 實二次域 中,存在一個特殊的 單位 ,稱為基本單位,使得所有單位
由
給出,對於
、
、
、.... 符號
有時用於代替
(Zucker and Robertson 1976)。實二次域
的基本單位可以從 佩爾方程 的基本解計算得出
|
(2)
|
其中符號的選擇使得解 具有最小的可能正
(LeVeque 1977; Cohn 1980, p. 101; Hua 1982; Borwein and Borwein 1987, p. 294)。如果取正號,則一個解簡單地由
給出,其中
是 佩爾方程 的解
|
(3)
|
然而,這不一定是最小解。例如,佩爾方程的解
|
(4)
|
是 ,因此
,但
是最小解。
對於非平方正整數,最小的 s 由 2, 4, 1, 10, 16, 2, 6, 20, 4, 3, 30, 8, 8, 34, 340, 4, 5, ... (OEIS A048941) 給出,而最小的
s 由 2, 2, 1, 4, 6, 1, 2, 6, 1, 1, 8, 2, 2, 8, 78, 1, 1, 84, ... (OEIS A048942) 給出。給定一個最小的
,基本單位由下式給出
|
(5)
|
(Cohn 1980, p. 101)。
下表給出了小 的基本單位。
| 2 | 54 | ||
| 3 | 55 | ||
| 5 | 56 | ||
| 6 | 57 | ||
| 7 | 58 | ||
| 8 | 59 | ||
| 10 | 60 | ||
| 11 | 61 | ||
| 12 | 62 | ||
| 13 | 63 | ||
| 14 | 65 | ||
| 15 | 66 | ||
| 17 | 67 | ||
| 18 | 68 | ||
| 19 | 69 | ||
| 20 | 70 | ||
| 21 | 71 | ||
| 22 | 72 | ||
| 23 | 73 | ||
| 24 | 74 | ||
| 26 | 75 | ||
| 27 | 76 | ||
| 28 | 77 | ||
| 29 | 78 | ||
| 30 | 79 | ||
| 31 | 80 | ||
| 32 | 82 | ||
| 33 | 83 | ||
| 34 | 84 | ||
| 35 | 85 | ||
| 37 | 86 | ||
| 38 | 87 | ||
| 39 | 88 | ||
| 40 | 89 | ||
| 41 | 90 | ||
| 42 | 91 | ||
| 43 | 92 | ||
| 44 | 93 | ||
| 45 | 94 | ||
| 46 | 95 | ||
| 47 | 96 | ||
| 48 | 97 | ||
| 50 | 98 | ||
| 51 | 99 | ||
| 52 | 101 | ||
| 53 | 102 |
下表給出了平方自由數 ,對於這些數,
的分母是
,對於
或 2。這些序列與艾森斯坦問題相關:對於大的
,沒有已知的快速計算方法 (Finch)。