平方因子をもたない整数
数学において、無平方数（むへいほうすう、）または平方因子を持たない整数 (integer without square factors) とは、平方因子を持たない数、すなわち より大きい完全平方で割り切れないような整数（通例として正の整数）をいう。与えられた整数が無平方数であるとき、その整数は無平方 (square-free, ) であるともいう。例えば、10 は無平方だが、18 は 9 = 3 で割り切れるので無平方数でない。無平方な正整数は小さい順に
任意の正整数 "n" は、互いに素である多冪数 "a" と無平方数 "b" の積で一意的に表すことができる。実際
と素因数分解したとき、"b" は formula_2 となるような素数 formula_3 すべての積である。
任意の正整数 "n" は、また正整数 "m" と無平方数 "k" によって
の形に一意的に表せる。実際上記の素因数分解に対して、formula_5 とおくと
である。つまり "k" は formula_7 が奇数となるような素数 formula_3 すべての積（下記のformula_9）である。
正整数 "n" が無平方であることと、"n" の素因数分解においてどの素数も 1 回よりも多く現れることがないことは同値である。別の言い方をすれば、"n" の各素因数 "p" に対して、素数 "p" は  "n" / "p" を割らない。また別の言い方をすれば、"n" が無平方であることと、すべての分解 "n" = "ab" に対して因数 "a" と "b" が互いに素であることは同値である。この定義から直ちに、任意の素数は無平方である。
正整数 "n" が無平方であることと、μ("n") ≠ 0 は同値である。ただし μ はメビウス関数を表す。
正整数 "n" が無平方であることと、 "n" を正整数 "m" と無平方数 "k" によって
の形に表したとき formula_11 となることは同値である。このこととメビウス関数の性質から、正整数 "n" が無平方であることと
は同値である。この和は formula_13 に一致するからである。
正整数 "n" が無平方であることと、位数 "n" のすべてのアーベル群が同型であることは同値であり、それらがすべて巡回群であることとも同値である。このことは有限生成アーベル群の分類から従う。
正整数 "n" が無平方であることと、剰余環  （合同算術を参照）が体の積であることは同値である。このことは中国の剰余定理と の形の環が体であることと "k" が素数であることが同値であることから従う。
すべての正整数 "n" に対して、"n" のすべての正の約数からなる集合は、整除性で順序を入れることによって半順序集合になる。この半順序集合はつねにである。それがブール代数であることと "n" が無平方であることは同値である。
は常に無平方である。整数が自身の根基に等しければ無平方である。
無平方数のディリクレ母関数は
（ここで ζ("s") はリーマンゼータ関数）で与えられる。このことはオイラー積
から容易に確かめられる。
"Q"("x") を "x" を超えない無平方数の個数とする。大きい "n" に対して、"n" より小さい正の整数の 3/4 は 4 で割り切れない、8/9 は 9 で割り切れない、など。これらの事象は独立であるから、次の近似を得る。
この議論は厳密に行うことができる。非常に初等的な評価によって
（円周率とランダウの記号を参照）が得られる。というのは上記の特徴づけ (*) から
となるが、最後に現れる和の中の項は formula_20 のとき 0 になるから
となるからである。
、、 によるリーマンゼータ関数の最大の知られている零点のない領域を利用することによって、誤差項の最大サイズは によって減らされていて、ある正の定数 "c" に対して
である。リーマン予想を仮定すれば誤差項はさらに減らせて、
"n" 以下の無平方数の個数と round("n"/ζ(2)) のレースを で参照。
したがって無平方数の漸近密度あるいはは
ただし ζ はリーマンゼータ関数であり 1/ζ(2) は約 0.6079 である（整数の 3/5 以上は無平方である）。
同様に、"Q"("x","n") で 1 から "x" までの "n"-free な整数（例えば 3-free な整数とは無立方 (cube-free) な整数のこと）の個数を表せば、以下を示すことができる。
4 の倍数は平方因子 4 = 2 をもつから、4 つ連続する整数がすべて無平方であることはありえない。一方、 4"n" +1, 4"n" +2, 4"n" +3 が 3 つとも無平方となる "n" は無数に存在する。というのは十分大きな "n" に対して4"n" +1, 4"n" +2, 4"n" +3 の少なくとも 1 つが平方因子をもつなら、4 の倍数と合わせて、平方因子をもつ整数は整数全体の少なくともほぼ半数を占めることになり、
となるが、これは上記の漸近密度と矛盾するからである。
また、平方因子をもつ、任意の長さの連続した整数が存在する。というのは formula_27 を相異なる素数とし "n" を連立合同式
の解とすると formula_29 はそれぞれ "p" で割り切れるからである。しかし、
よりある定数 "c" に対して "x" と formula_31 の間には必ず無平方数が存在することが分かる。さらに、初等的な議論によりある定数 "c" に対して "x" と formula_32 の間には必ず無平方数が存在することが知られている。一方、ABC予想を仮定すれば任意の ε > 0 に対し、十分大きな "x" と formula_33 の間には必ず無平方数が存在する。
無平方数を無限積
として表現すれば、それらの formula_35 をとってそれらを二進数のビットとして使うことができる。すなわち
例えば、無平方数 42 は分解 2 × 3 × 7 をもち、無限積として表すと 2 · 3  · 5 · 7 · 11 · 13 · ...。したがって数 42 は二進列 ...001011 あるいは十進で11としてエンコードできる（二進数の桁は無限積の順番から逆になっていることに注意）。
すべての数の素因数分解は一意なので、無平方数のすべての二進エンコーディングも一意である。
逆もまた正しい。すべての正の整数は一意的な二進表現をもつので、このエンコーディングを逆にして一意的な無平方数にデコードすることができる。
再び例えば数 42 で、今回は単に正の整数として、始めれば、その二進表現は 101010 である。これをデコードすると2 · 3 · 5 · 7 · 11 · 13 = 3 × 7 × 13 = 273。
したがって無平方数を順番にエンコードするとすべての整数の集合の置換になる。
OEIS の , , を参照。
ポール・エルデシュは、
が "n" > 4 に対して無平方でないと予想した。このことは1985年に によって十分大きいすべての整数に対して証明され、1996年にオリヴィエ・ラマレと によってすべての整数に対して証明された。
乗法的関数 formula_38 は、素数の指数を "t" を法として見ることによって、正整数 "n" を "t"-free な数に写すことで定義される。
とくに、formula_40 の値域の集合は無平方数全体である。それらのディリクレの生成関数は
である。OEIS では例えば ("t"=2), ("t"=3), ("t"=4)。