数学において、自然数 a が b の単約数（英: unitary divisor, Hall divisor）であるとは a が b の約数で a と ${\displaystyle {\tfrac {b}{a}}}$ が1より大きい公約数を持たず互いに素であるということを意味する。同様に、b の約数 a は、a のすべての素因数が b と同じ重複度を持つ場合にのみ, 単約数である。

単約数の概念は、R. Vaidyanathaswamy (1931) が導入し^[1]、彼はそれを block divisor と呼んでいた。

具体例

5は60の単約数である。というのも、5と ${\displaystyle {\tfrac {60}{5}}=12}$ の公約数は1のみだからだ。

一方、6は60の約数だが単約数ではない。なぜなら6と ${\displaystyle {\tfrac {60}{6}}=10}$ は1以外の公約数2を持つからだ。

単約数の和

単約数関数はギリシャ文字のシグマを用いてσ*(n)と表される. 単約数の k 乗和はσ*_k(n)と表され以下のようになる:

${\displaystyle \sigma _{k}^{*}(n)=\sum _{d\,\mid \,n \atop \gcd(d,\,n/d)=1}\!\!d^{k}.}$

ある数の真の単約数の和がその数が一致する場合, その数は単完全数であるという.

性質

1は全自然数の単約数.

ある数 n の単約数の個数は2^k個である. ここで k は n の異なる素因数の個数である. これは, 各整数 N > 1 が異なる素数 p の正のべき乗 p^r_p の積なので, N のすべての単約数は N の素因数 {p} の与えられた部分集合 S 上で, p ∈ Sの素因数 p^r_p の積であることと S の部分集合がちょうど 2^k 個あることから示すことができる.

n の単約数の和は n が２の冪乗(1を含む)なら奇数, そうでないなら偶数.

n の単約数の個数を返す関数, 和を返す関数は乗法的関数であるが完全乗法的関数ではない. ディリクレ級数は

${\displaystyle {\frac {\zeta (s)\zeta (s-k)}{\zeta (2s-k)}}=\sum _{n\geq 1}{\frac {\sigma _{k}^{*}(n)}{n^{s}}}.}$

全ての n の約数が単約数であることと n が無平方であることは同値.

奇単約数

奇数の単約数の k 乗和は

${\displaystyle \sigma _{k}^{(o)*}(n)=\sum _{{d\,\mid \,n \atop d\equiv 1{\pmod {2}}} \atop \gcd(d,n/d)=1}\!\!d^{k}.}$

これも乗法的である. ディリクレ級数は

${\displaystyle {\frac {\zeta (s)\zeta (s-k)(1-2^{k-s})}{\zeta (2s-k)(1-2^{k-2s})}}=\sum _{n\geq 1}{\frac {\sigma _{k}^{(o)*}(n)}{n^{s}}}.}$

重単約数

n の約数 d が二重単約数であるとは d と n/d の最大単約数が1であるということである. このコンセプトは D. Suryanarayana (1972). [The number of bi-unitary divisors of an integer, in The Theory of Arithmetic Functions, Lecture Notes in Mathematics 251: 273–282, New York, Springer–Verlag] が初出である.

n の二重単約数の個数を返す関数は平均オーダー ${\displaystyle A\log x}$ の乗法的関数である.^[2] ここで, A は

${\displaystyle A=\prod _{p}\left({1-{\frac {p-1}{p^{2}(p+1)}}}\right)\ .}$

二重単約完全数はそれ自身を除く二重単約数の和がそれ自身と等しい数のことである. そのような数は6, 60, 90のみである.

また約数(零重単約数), 単約数(一重単約数), 二重単約数の考えを一般化して, k 重単約数を次のように定義できる:

n の約数 d がk重単約数であるとは d と n/d の最大(k-1)単約数が1であるということである. ^[3][4]

さらに一般化して無限重単約数も定義できる:

n の約数 d が無限重単約数であるとはd, nを次のように素因数分解したとき, 任意のiに対し${\displaystyle {p_{i}}^{x_{i}}}$が${\displaystyle {p_{i}}^{y_{i}}}$のy-1重単約数となっているということである（ここで素数 p について${\displaystyle {p}^{x}}$が${\displaystyle {p}^{y}}$のy-1重単約数であることと任意の k (≧y-1≧0)に対し${\displaystyle {p}^{x}}$が${\displaystyle {p}^{y}}$のk重単約数となることは同値である）. ^[4]

${\displaystyle d=\prod _{i=1}^{k}{p_{i}}^{x_{i}},n=\prod _{i=1}^{k}{p_{i}}^{y_{i}}}$

OEISに登録されている数列

関連項目

• 約数
• 約数関数
• 最大公約数
• 互いに素

参考文献

• Richard K. Guy (2004). Unsolved Problems in Number Theory. Springer-Verlag. p. 84. ISBN 0-387-20860-7  Section B3.
• Paulo Ribenboim (2000). My Numbers, My Friends: Popular Lectures on Number Theory. Springer-Verlag. p. 352. ISBN 0-387-98911-0 
• Cohen, Eckford (1959). “A class of residue systems (mod r) and related arithmetical functions. I. A generalization of Möbius inversion”. Pacific J. Math. 9 (1): 13–23. doi:10.2140/pjm.1959.9.13. MR0109806. 
• Cohen, Eckford (1960). “Arithmetical functions associated with the unitary divisors of an integer”. Mathematische Zeitschrift 74: 66–80. doi:10.1007/BF01180473. MR0112861. 
• Cohen, Eckford (1960). “The number of unitary divisors of an integer”. American Mathematical Monthly 67 (9): 879–880. doi:10.2307/2309455. JSTOR 2309455. MR0122790. 
• Cohen, Graeme L. (1990). “On an integers' infinitary divisors”. Math. Comp. 54 (189): 395–411. Bibcode: 1990MaCom..54..395C. doi:10.1090/S0025-5718-1990-0993927-5. MR0993927. 
• Cohen, Graeme L. (1993). “Arithmetic functions associated with infinitary divisors of an integer”. Int. J. Math. Math. Sci. 16 (2): 373–383. doi:10.1155/S0161171293000456. 
• Finch (2004年). “Unitarism and Infinitarism”. 2024年11月10日閲覧。
• Ivić, Aleksandar (1985). The Riemann zeta-function. The theory of the Riemann zeta-function with applications. A Wiley-Interscience Publication. New York etc.: John Wiley & Sons. p. 395. ISBN 0-471-80634-X. Zbl 0556.10026 
• Mathar, R. J. "Survey of Dirichlet series of multiplicative arithmetic functions". arXiv:1106.4038 [math.NT]。 Section 4.2
• Sándor, József; Mitrinović, Dragoslav S.; Crstici, Borislav, eds (2006). Handbook of number theory I. Dordrecht: Springer-Verlag. ISBN 1-4020-4215-9. Zbl 1151.11300 
• Toth, L. (2009). “On the bi-unitary analogues of Euler's arithmetical function and the gcd-sum function”. J. Int. Seq. 12. https://cs.uwaterloo.ca/journals/JIS/VOL12/Toth2/toth5.html. 

外部リンク

• Weisstein, Eric W. "Unitary Divisor". mathworld.wolfram.com (英語).
• Mathoverflow | Boolean ring of unitary divisors

表 話 編 歴 被整除性に基づいた整数の集合
概要	素因数分解 約数 単約数 約数関数 素因数 算術の基本定理
因数分解による分類	素数 合成数 半素数 矩形数 楔数 平方因子をもたない整数 多冪数 累乗数 アキレス数 滑らかな数（英語版） ハミング数（英語版） 粗い数（英語版） 異常数（英語版）
約数和による分類	完全数 概完全数 準完全数 倍積完全数 Hemiperfect number（英語版） ハイパー完全数 超完全数 単完全数（英語版） 擬似完全数 プラクティカル数 エルデシュ・ニコラス数（英語版）
約数が多いもの	過剰数 原始過剰数（英語版） 高度過剰数 超過剰数 巨大過剰数 高度合成数 優高度合成数（英語版） 不思議数
アリコット数列関連	アンタッチャブル数（英語版） 友愛数 (友愛三数（英語版）) 社交数 婚約数
位取り記法に基づくもの	Equidigital number（英語版） Extravagant number（英語版） Frugal number（英語版） ハーシャッド数 Polydivisible number（英語版） スミス数
その他	Arithmetic number（英語版） 不足数 Friendly number（英語版） Solitary（英語版） サブライム数 調和数 デカルト数（英語版） タウ数 超完全数