一個正整數 的互異質因數定義為
個數
, ...,
在質因數分解中
|
(1)
|
(Hardy and Wright 1979, p. 354)。
數字 的互異質因數列表可以使用 Wolfram 語言 計算,使用FactorInteger[n][[All, 1]], 並且互異質因數的數量
被實現為PrimeNu[n]。
的前幾個值,對於
, 2, ... 是 0, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2, 1, 2, ... (OEIS A001221; Abramowitz and Stegun 1972, Kac 1959)。這個序列由
的逆 莫比烏斯變換 給出,其中
是質數的特徵函式 (Sloane and Plouffe 1995, p. 22)。下表列出了前幾個正整數的質因數分解和互異質因數。
| 質因數分解 | 互異質因數 (A027748) | ||
| 1 | -- | 0 | -- |
| 2 | 2 | 1 | 2 |
| 3 | 3 | 1 | 3 |
| 4 | 1 | 2 | |
| 5 | 5 | 1 | 5 |
| 6 | 2 | 2, 3 | |
| 7 | 7 | 1 | 7 |
| 8 | 1 | 2 | |
| 9 | 1 | 3 | |
| 10 | 2 | 2, 5 | |
| 11 | 11 | 1 | 11 |
| 12 | 2 | 2, 3 | |
| 13 | 13 | 1 | 13 |
| 14 | 2 | 2, 7 | |
| 15 | 2 | 3, 5 | |
| 16 | 1 | 2 |
僅由互異質因陣列成的數字正是無平方因子數。
涉及 的和由下式給出
|
(2)
|
對於 (Hardy and Wright 1979, p. 255)。
的平均階為
|
(3)
|
(Hardy 1999, p. 51)。更精確地,
|
(4)
|
(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003, Knuth 2003),其中 是梅爾滕斯常數,
是 Stieltjes 常數。此外,方差由下式給出
|
(5)
|
其中
|
(6)
| |||
|
(7)
|
(OEIS A091588),其中
|
(8)
|
(OEIS A085548) 是質數 Zeta 函式 (Finch 2003)。係數
和
由以下和給出
|
(9)
| |||
|
(10)
| |||
|
(11)
| |||
|
(12)
| |||
|
(13)
|
(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003, Knuth 2003),其中
|
(14)
| |||
|
(15)
| |||
|
(16)
| |||
|
(17)
|
(Finch 2003)。
如果 是一個素數階乘,那麼
|
(18)
|
(Hardy and Wright 1979, p. 355)。
的求和函式由下式給出
|
(19)
|
其中 是梅爾滕斯常數 (Hardy 1999, p. 57),
項 (Hardy and Ramanujan 1917; Hardy and Wright 1979, p. 355) 已被重寫為更明確的形式,並且
和
是漸近記號。求和函式的前幾個值是 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 14, 15, 17, 19, 20, 21, ... (OEIS A013939)。此外,
|
(20)
|
(Hardy and Wright 1979, p. 357)。
前幾個數 是奇數個互異質因數的乘積 (Hardy 1999, p. 64; Ramanujan 2000, pp. xxiv and 21) 是 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 30, 31, 37, 41, 42, 43, 47, ... (OEIS A030059)。
滿足
|
(21)
|
(Hardy 1999, pp. 64-65)。此外,如果 是
的數量,其中
,那麼
|
(22)
|
(Hardy 1999, pp. 64-65)。