如果一个数的素数分解不包含重复的因子,则称该数为无平方因子数(有时也称为 quadratfrei;Shanks 1993)。因此,所有的素数显然都是无平方因子数。按照惯例,数字 1 也被认为是无平方因子数。无平方因子数包括 1, 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, ... (OEIS A005117)。含平方因子数(即,包含至少一个平方因子的数)包括 4, 8, 9, 12, 16, 18, 20, 24, 25, ... (OEIS A013929)。
Wolfram 语言函数SquareFreeQ[n] 确定一个数是否为无平方因子数。请注意,出于技术原因,Wolfram 语言将 1 视为无平方因子数,这个惯例与当 时定义一个数为无平方因子数是一致的,其中
是莫比乌斯函数。因此,数字 1 有一个有点奇怪的特点,即它同时是完全平方数和无平方因子数。
令 其中
是无平方因子数,且
其中
包含一个或多个平方因子,使得
。那么
(1)
| |||
(2)
|
对于 ,且
是黎曼 zeta 函数(Hardy 和 Wright 1979, p. 255)。
上面绘制了前 个整数的值在一个
的网格上,其中无平方因子数值以白色显示。清晰的模式显现出来,其中数字的倍数各自共享一个或多个重复因子。
目前还没有已知的多项式时间算法来识别无平方因子整数或计算整数的无平方因子部分。事实上,这个问题可能不比整数分解的一般问题更容易(显然,如果一个整数 可以完全分解,则
是无平方因子数 当且仅当 它不包含重复的因子)。这个问题是数论中一个重要的未解决问题,因为计算代数数域的整数环可以归结为计算整数的无平方因子部分(Lenstra 1992, Pohst 和 Zassenhaus 1997)。
Sylvester 序列中小于 的所有数字都是无平方因子数,并且在该序列中尚未发现含平方因子数 (Vardi 1991)。每个卡迈克尔数都是无平方因子数。二项式系数
仅当
, 3, 4, 6, 9, 10, 12, 36, ... 时才是无平方因子数,并且在小于
的范围内没有其他值。中心二项式系数仅当
, 2, 3, 4, 5, 7, 8, 11, 17, 19, 23, 71, ... (OEIS A046098) 时才是无平方因子数,并且在小于 1500 的范围内没有其他值。
令 为小于
的正无平方因子数的数量(Hardy 和 Wright 1979, p. 251)。那么对于
, 2, ...,前几个值是 0, 1, 2, 3, 3, 4, 5, 6, 6, 6, 7, 8, 8, 9, 10, 11, 11, ... (OEIS A013928)。
的和包括
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
|
其中 是莫比乌斯函数。
无平方因子数 的渐近数量
由下式给出
(8)
|
(Landau 1974, pp. 604-609;Nagell 1951, p. 130;Hardy 和 Wright 1979, pp. 269-270;Hardy 1999, p. 65)。因此,渐近密度为 (OEIS A059956;Wells 1986, p. 28;Borwein 和 Bailey 2003, p. 139),其中
是黎曼 zeta 函数。
对于
, 100, 1000, ... 的值分别为 7, 61, 608, 6083, 60794, 607926, 6079291, 60792694, 607927124, 6079270942, ... (OEIS A071172)。
类似地,无平方因子高斯整数的渐近密度由 (OEIS A088454) 给出,其中
是卡塔兰常数(Pegg;Collins 和 Johnson 1989;Finch 2003, p. 601)。
莫比乌斯函数由下式给出
(9)
|
因此 表示
是无平方因子数。
的渐近公式等价于公式
(10)
|
(Hardy 和 Wright 1979, p. 270)
令 为满足
且
的连续数对
的数量,其中
和
都是无平方因子数。
对于
, 1, ... 的值分别为 1, 5, 33, 323, 3230, 32269, 322619, 3226343, 32263377, 322634281, 3226340896, ... (OEIS A087618)。那么
的渐近值由下式给出
(11)
| |||
(12)
|
(OEIS A065474;Carlitz 1932, Heath-Brown 1984),其中 是第
个素数,F 是 Feller-Tornier 常数。