Knowledge (XXG)

Möbius function

Source 📝

2942: 2486: 954: 1311: 2937:{\displaystyle {\begin{aligned}0&=\sum _{d|mn}\mu (d)\\&=\mu (mn)+\sum _{d|mn;d<mn}\mu (d)\\&{\stackrel {\text{induction}}{=}}\mu (mn)-\mu (m)\mu (n)+\sum _{d|m;d'|n}\mu (d)\mu (d')\\&=\mu (mn)-\mu (m)\mu (n)+\sum _{d|m}\mu (d)\sum _{d'|n}\mu (d')\\&=\mu (mn)-\mu (m)\mu (n)+0\end{aligned}}} 3826: 1120: 5050:
has been translated from Latin into English and German. The German edition includes all of his papers on number theory: all the proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished
1971: 3071: 3542: 1434: 4067: 3222: 4599: 4749:. One distinguished member of this algebra is that poset's "Möbius function". The classical Möbius function treated in this article is essentially equal to the Möbius function of the set of all positive integers partially ordered by 1675: 1106: 3319: 3411: 2144: 3939: 1584: 1803: 4883: 4695: 385: 3628: 1306:{\displaystyle {\frac {1}{\zeta (s)}}=\prod _{p{\text{ prime}}}{\left(1-{\frac {1}{p^{s}}}\right)}=\left(1-{\frac {1}{2^{s}}}\right)\left(1-{\frac {1}{3^{s}}}\right)\left(1-{\frac {1}{5^{s}}}\right)\cdots } 1503: 2491: 4448: 1831: 2968: 2449: 3439: 4212:, and therefore, by the induction hypothesis, has an equal number of odd- and even-cardinality subsets. These subsets in turn correspond bijectively to the even- and odd-cardinality 3581: 1322: 3601: 2481: 3956: 3111: 2332: 1695: 4489: 491: 2384: 2355: 1590: 1018: 2235: 4355:
2310, 2730, 3570, 3990, 4290, 4830, 5610, 6006, 6090, 6270, 6510, 6630, 7410, 7590, 7770, 7854, 8610, 8778, 8970, 9030, 9282, 9570, 9690, ... (sequence
3255: 4362: 4344: 4288: 102: 3330: 4236: 2055: 3842: 1509: 5447: 5402: 5222: 4995:
occurs implicitly in the works of Euler as early as 1748, but Möbius, in 1832, was the first to investigate its properties systematically". (
1715: 4796: 4610: 4193:. There is an obvious bijection between these two subclasses, pairing those subsets that have the same complement relative to the subset 3821:{\displaystyle 1*\mu (p^{k})=\sum _{d\mid p^{k}}\mu (d)=\mu (1)+\mu (p)+\sum _{1<m<=k}\mu (p^{m})=1-1+\sum 0=0=\varepsilon (p^{k})} 312: 4132:. The asserted result follows from the fact that every non-empty finite set has an equal number of odd- and even-cardinality subsets. 4936: 5623: 5570: 5540: 5369: 5344: 5323: 5361: 1440: 4227:
A related result is that the binomial coefficients exhibit alternating entries of odd and even power which sum symmetrically.
5311: 116:
Möbius (or Moebius) function mu(n). mu(1) = 1; mu(n) = (-1)^k if n is the product of k different primes; otherwise mu(n) = 0.
3246:. (However, the computational complexity of this definition is at least the same as that of the Euler product definition.) 5467: 3099: 5462: 5046: 5010: 207: 3077: 2150: 160: 4095:
However it is also possible to prove this identity from first principles. First note that it is trivially true when
1966:{\displaystyle \sum _{n=1}^{\infty }{\frac {\mu (\alpha n)q^{n}}{q^{n}-1}}=\sum _{n\geq 0}q^{\alpha ^{n}},|q|<1.} 5474: 3105:
There is a formula for calculating the Möbius function without directly knowing the factorization of its argument:
167:
in the 1960s, generalizations of the Möbius function were introduced into combinatorics, and are similarly denoted
148: 76: 58: 3066:{\displaystyle \sum _{d\mid n}\mu (d)={\begin{cases}1&{\text{if }}n=1,\\0&{\text{if }}n>1.\end{cases}}} 4920: 4388: 3537:{\displaystyle \sum _{d\mid n}\mu (d)={\begin{cases}1&{\text{if }}n=1,\\0&{\text{if }}n>1\end{cases}}} 3417:
The first of these is a classical result while the second was published in 2020. Similar identities hold for the
2234:
The free Riemann gas has a number of other interesting connections to number theory, including the fact that the
2211: 3611: 2389: 43: 5500: 4337:
30, 42, 66, 70, 78, 102, 105, 110, 114, 130, 138, 154, 165, 170, 174, 182, 186, 190, 195, 222, ... (sequence
5394: 5249:"Hecke Algebras, Type III factors and phase transitions with spontaneous symmetry breaking in number theory" 2259: 1986: 140: 4281:
4, 8, 9, 12, 16, 18, 20, 24, 25, 27, 28, 32, 36, 40, 44, 45, 48, 49, 50, 52, 54, 56, 60, 63, ... (sequence
3614:
is again multiplicative. Thus it suffices to prove the formula for powers of primes. Indeed, for any prime
953: 156: 3554: 5337:
Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory)
4787: 4742: 4458: 3604: 3548: 2239: 1429:{\displaystyle \sum \limits _{n=1}^{\infty }{\frac {|\mu (n)|}{n^{s}}}={\frac {\zeta (s)}{\zeta (2s)}};} 1005: 452: 219: 5040:) but he didn't make further use of the function. In particular, he didn't use Möbius inversion in the 30:
This article is about the number-theoretic Möbius function. For the combinatorial Möbius function, see
5457: 5353: 5332: 5015: 4240: 434: 415: 257: 3479: 3008: 5483: 5478: 4375: 2181: 1698: 1001: 253: 3586: 2454: 2195:. This follows from the fact that the factorization of the natural numbers into primes is unique. 5300: 5268: 4949: 4915: 4477: 4462: 4062:{\displaystyle \mu (n)=\sum _{\stackrel {1\leq k\leq n}{\gcd(k,\,n)=1}}e^{2\pi i{\frac {k}{n}}},} 3217:{\displaystyle \mu (n)=\sum _{\stackrel {1\leq k\leq n}{\gcd(k,\,n)=1}}e^{2\pi i{\frac {k}{n}}},} 2247: 410: 4959: 4594:{\displaystyle \mu (n)=\sum _{\stackrel {1\leq k\leq n}{\gcd(k,n)=1}}e^{2\pi i{\frac {k}{n}}},} 5596: 5566: 5536: 5443: 5416: 5398: 5365: 5340: 5319: 5218: 4754: 4746: 456: 35: 31: 2311: 1680: 5576: 5546: 5408: 5292: 5260: 5236: 4954: 4379: 3418: 2166: 997: 461: 5524: 5232: 5580: 5562: 5550: 5520: 5435: 5240: 5228: 2360: 395: 164: 4925: 2337: 5210: 4964: 4721: 4710: 4330: 4271: 3243: 1706: 39: 975: 5617: 5599: 5387: 5272: 4738: 2170: 1670:{\displaystyle \sum \limits _{n=1}^{\infty }{\frac {\mu (n)\ln ^{2}n}{n}}=-2\gamma ,} 1112: 1101:{\displaystyle \sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}={\frac {1}{\zeta (s)}}.} 144: 4790:
of the Möbius function with itself. It is thus again a multiplicative function with
5382: 5296: 4757:
for the precise definition and several examples of these general Möbius functions.
3610:
One way of proving this formula is by noting that the Dirichlet convolution of two
2243: 2220:
that distinguishes fermions and bosons is then none other than the Möbius function
2019: 229: 5304: 5280: 3314:{\displaystyle \sum _{k\leq n}\left\lfloor {\frac {n}{k}}\right\rfloor \mu (k)=1} 5496: 5378: 4277:
is divisible by the square of a prime. The first numbers with this property are
4185:
into two subclasses depending on whether they contain or not some fixed element
17: 4931: 4239:
of the Möbius function is zero. This statement is, in fact, equivalent to the
3406:{\displaystyle \sum _{jk\leq n}\sin \left({\frac {\pi jk}{2}}\right)\mu (k)=1} 2199: 2162: 5217:, Undergraduate Texts in Mathematics, New York; Heidelberg: Springer-Verlag, 5604: 5360:, Arthur A. Clarke (English translator) (corrected 2nd ed.), New York: 2139:{\displaystyle N(q,n)={\frac {1}{n}}\sum _{d\mid n}\mu (d)q^{\frac {n}{d}}.} 5511:
Popovici, Constantin P. (1963), "A generalization of the Möbius function",
4201:. Also, one of these two subclasses consists of all the subsets of the set 5557:
Sándor, József; Mitrinović, Dragoslav S.; Crstici, Borislav, eds. (2006),
3934:{\displaystyle 1*\mu (1)=\sum _{d\mid 1}\mu (d)=\mu (1)=1=\varepsilon (1)} 3084:
is of relevance in the theory of multiplicative and arithmetic functions.
1579:{\displaystyle \sum \limits _{n=1}^{\infty }{\frac {\mu (n)\ln n}{n}}=-1;} 5264: 4750: 2298: 2216: 2207: 2173:. In this theory, the fundamental particles or "primons" have energies 1798:{\displaystyle \sum _{n=1}^{\infty }{\frac {\mu (n)q^{n}}{1-q^{n}}}=q,} 980: 187: 4457:. This function is closely linked with the positions of zeroes of the 279:
is a square-free positive integer with an odd number of prime factors.
5248: 4878:{\displaystyle \mu _{k}\left(p^{a}\right)=(-1)^{a}{\binom {k}{a}}\ } 4690:{\displaystyle M(n)=-1+\sum _{a\in {\mathcal {F}}_{n}}e^{2\pi ia},} 4135:
This last fact can be shown easily by induction on the cardinality
5339:, H. Maser (German translator) (2nd ed.), New York: Chelsea, 2203: 380:{\displaystyle \mu (n)=\delta _{\omega (n)\Omega (n)}\lambda (n),} 4224:. The inductive step follows directly from these two bijections. 2184:, multiparticle excitations are considered; these are given by 2198:
In the free Riemann gas, any natural number can occur, if the
4351:
and the first such numbers with 5 distinct prime factors are
4072:
The formula above is then a consequence of the fact that the
3950:
Another way of proving this formula is by using the identity
2947:
The sum of the Möbius function over all positive divisors of
4652: 4329:. The first such numbers with three distinct prime factors ( 1498:{\displaystyle \sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}=0;} 952: 4357: 4339: 4283: 3530: 3059: 1004:
the Möbius function is the (multiplicative) inverse of the
5069: 5067: 4765:
Constantin Popovici defined a generalised Möbius function
3249:
Other identities satisfied by the Möbius function include
1012:
is a complex number with real part larger than 1 we have
4167:
itself, and exactly one even-cardinality subset, namely
3102:
in combinatorial groups and combinatorial enumerations.
306:
The Möbius function can alternatively be represented as
950:
The first 50 values of the function are plotted below:
4888:
where the binomial coefficient is taken to be zero if
4799: 4613: 4492: 4391: 3959: 3845: 3631: 3589: 3557: 3442: 3333: 3258: 3114: 2971: 2489: 2457: 2392: 2363: 2340: 2314: 2058: 1834: 1718: 1683: 1593: 1512: 1443: 1325: 1123: 1021: 464: 315: 111: 4310:, but the converse is not true. The first non prime 4128:and the subsets of the set of all prime factors of 3098:in combinatorics are connected with the use of the 159:and most often appears as part of its namesake the 101: 93: 82: 72: 64: 54: 5479:"Über eine besondere Art von Umkehrung der Reihen" 5386: 4877: 4689: 4593: 4465:for more information about the connection between 4442: 4061: 3933: 3820: 3595: 3575: 3536: 3405: 3313: 3216: 3065: 2936: 2475: 2443: 2378: 2349: 2326: 2138: 1965: 1797: 1689: 1669: 1578: 1497: 1428: 1305: 1100: 485: 379: 5417:"Unital Sums of the Möbius and Mertens Functions" 4866: 4853: 4604:it follows that the Mertens function is given by 4159:, there is exactly one odd-cardinality subset of 5281:"Computing the summation of the Möbius function" 5037: 4516: 4109:. Then there is a bijection between the factors 3983: 3138: 5484:Journal für die reine und angewandte Mathematik 2030:is necessarily a prime power), then the number 5501:"The Möbius function (and squarefree numbers)" 4378:closely related to the Möbius function is the 155:) in 1832. It is ubiquitous in elementary and 5193: 8: 5018:showed that the sum of the primitive roots ( 4898:. The definition may be extended to complex 426:is the number of distinct prime divisors of 49: 5121: 4996: 4984:Hardy & Wright, Notes on ch. XVI: "... 4902:by reading the binomial as a polynomial in 4443:{\displaystyle M(n)=\sum _{k=1}^{n}\mu (k)} 4237:mean value (in the sense of average orders) 2034:of monic irreducible polynomials of degree 5531:Sándor, Jozsef; Crstici, Borislav (2004), 5109: 3076:The equality above leads to the important 48: 5318:, Mineola, New York: Dover Publications, 4865: 4852: 4850: 4844: 4818: 4804: 4798: 4720:This formula is used in the proof of the 4669: 4657: 4651: 4650: 4642: 4612: 4576: 4566: 4541: 4515: 4513: 4512: 4491: 4422: 4411: 4390: 4084:th root of unity for exactly one divisor 4044: 4034: 4009: 3995: 3982: 3980: 3979: 3958: 3871: 3844: 3809: 3760: 3732: 3675: 3664: 3648: 3630: 3588: 3556: 3513: 3487: 3474: 3447: 3441: 3363: 3338: 3332: 3279: 3263: 3257: 3199: 3189: 3164: 3150: 3137: 3135: 3134: 3113: 3042: 3016: 3003: 2976: 2970: 2845: 2836: 2810: 2806: 2708: 2689: 2685: 2628: 2623: 2621: 2620: 2573: 2569: 2512: 2508: 2490: 2488: 2456: 2444:{\displaystyle \mu (mn)=1=\mu (m)\mu (n)} 2391: 2362: 2339: 2313: 2122: 2094: 2080: 2057: 1952: 1944: 1933: 1928: 1912: 1890: 1878: 1856: 1850: 1839: 1833: 1777: 1759: 1740: 1734: 1723: 1717: 1682: 1634: 1615: 1609: 1598: 1592: 1534: 1528: 1517: 1511: 1465: 1459: 1448: 1442: 1388: 1377: 1367: 1350: 1347: 1341: 1330: 1324: 1287: 1278: 1254: 1245: 1221: 1212: 1184: 1175: 1163: 1156: 1152: 1124: 1122: 1074: 1063: 1043: 1037: 1026: 1020: 463: 335: 314: 5389:An Introduction to the Theory of Numbers 5181: 5097: 862: 775: 688: 601: 514: 27:Multiplicative function in number theory 5169: 5157: 5133: 5063: 4977: 4928:C++, Python3, Java, C#, PHP, Javascript 4076:th roots of unity sum to 0, since each 2161:The Möbius function also arises in the 147:introduced by the German mathematician 5215:Introduction to analytic number theory 5085: 512:for the first 50 positive numbers are 5279:Deléglise, Marc; Rivat, Joël (1996), 5145: 5073: 1981:Gauss proved that for a prime number 7: 5442:(2nd ed.), Dover Publications, 3425:Proof of the formula for the sum of 5247:Bost, J.-B.; Connes, Alain (1995), 3576:{\displaystyle 1*\mu =\varepsilon } 1595: 1514: 1327: 4857: 2955:itself and 1) is zero except when 1851: 1735: 1610: 1529: 1460: 1342: 1038: 971:Larger values can be checked in: 442:is the number of prime factors of 348: 25: 4080:th root of unity is a primitive 97:1, −1, −1, 0, −1, 1, −1, 0, 0, 1 2214:excludes squares. The operator 2149:Möbius function is used in the 5535:, Dordrecht: Kluwer Academic, 5513:Studii şi Cercetări Matematice 5297:10.1080/10586458.1996.10504594 4841: 4831: 4623: 4617: 4531: 4519: 4502: 4496: 4437: 4431: 4401: 4395: 3999: 3986: 3969: 3963: 3928: 3922: 3907: 3901: 3892: 3886: 3861: 3855: 3815: 3802: 3766: 3753: 3722: 3716: 3707: 3701: 3692: 3686: 3654: 3641: 3605:identity under the convolution 3468: 3462: 3394: 3388: 3302: 3296: 3154: 3141: 3124: 3118: 2997: 2991: 2921: 2915: 2909: 2903: 2894: 2885: 2869: 2858: 2846: 2829: 2823: 2811: 2796: 2790: 2784: 2778: 2769: 2760: 2744: 2733: 2727: 2721: 2709: 2690: 2675: 2669: 2663: 2657: 2648: 2639: 2610: 2604: 2574: 2559: 2550: 2534: 2528: 2513: 2438: 2432: 2426: 2420: 2405: 2396: 2115: 2109: 2074: 2062: 1953: 1945: 1871: 1862: 1752: 1746: 1627: 1621: 1546: 1540: 1477: 1471: 1417: 1408: 1400: 1394: 1368: 1364: 1358: 1351: 1139: 1133: 1089: 1083: 1055: 1049: 474: 468: 451:It can also be defined as the 371: 365: 357: 351: 345: 339: 325: 319: 83: 1: 4181:, then divide the subsets of 448:, counted with multiplicity. 5533:Handbook of number theory II 5424:Journal of Integer Sequences 5358:Disquisitiones Arithemeticae 5038:#Properties and applications 3596:{\displaystyle \varepsilon } 3238:is the sum of the primitive 2476:{\displaystyle m>n\geq 1} 2308:: Given two coprime numbers 5559:Handbook of number theory I 5463:Encyclopedia of Mathematics 5047:Disquisitiones Arithmeticae 5011:Disquisitiones Arithmeticae 3080:and is the main reason why 1709:for the Möbius function is 302:has a squared prime factor. 5640: 4145:of a non-empty finite set 2246:'s attempted proof of the 1111:This may be seen from its 29: 5194:Sándor & Crstici 2004 4461:. See the article on the 4453:for every natural number 4374:In number theory another 3100:Pólya enumeration theorem 2212:Pauli exclusion principle 256:positive integer with an 5624:Multiplicative functions 5393:(5th ed.), Oxford: 5285:Experimental Mathematics 4760: 3612:multiplicative functions 3078:Möbius inversion formula 2151:Möbius inversion formula 260:number of prime factors. 161:Möbius inversion formula 5456:Klimov, N. I. (2001) , 5415:Kline, Jeffery (2020), 5395:Oxford University Press 5316:Riemann's Zeta Function 5122:Hardy & Wright 1980 4997:Hardy & Wright 1980 4745:(poset) is assigned an 4741:, every locally finite 4220:-containing subsets of 2327:{\displaystyle m\geq n} 2258:The Möbius function is 2206:. If they are taken as 2191:for any natural number 1977:Algebraic number theory 1690:{\displaystyle \gamma } 957:The 50 first values of 149:August Ferdinand Möbius 141:multiplicative function 77:August Ferdinand Möbius 59:August Ferdinand Möbius 5110:Bost & Connes 1995 4879: 4691: 4595: 4444: 4427: 4063: 3935: 3822: 3597: 3577: 3538: 3407: 3315: 3218: 3087:Other applications of 3067: 2945: 2938: 2477: 2445: 2380: 2351: 2328: 2242:. This idea underlies 2140: 1967: 1855: 1799: 1739: 1691: 1671: 1614: 1580: 1533: 1499: 1464: 1430: 1346: 1307: 1102: 1042: 968: 487: 486:{\displaystyle f(n)=1} 381: 157:analytic number theory 5354:Gauss, Carl Friedrich 5333:Gauss, Carl Friedrich 4880: 4788:Dirichlet convolution 4753:. See the article on 4743:partially ordered set 4722:Franel–Landau theorem 4692: 4596: 4459:Riemann zeta function 4445: 4407: 4064: 3936: 3823: 3598: 3578: 3549:Dirichlet convolution 3547:Can be written using 3539: 3408: 3316: 3219: 3068: 2939: 2478: 2446: 2381: 2352: 2329: 2303: 2240:Riemann zeta function 2141: 1968: 1835: 1800: 1719: 1692: 1672: 1594: 1581: 1513: 1500: 1444: 1431: 1326: 1308: 1103: 1022: 1006:Riemann zeta function 956: 488: 453:Dirichlet convolution 382: 151:(also transliterated 73:Author of publication 44:Möbius transformation 5565:, pp. 187–226, 5505:Ed Pegg's Math Games 5016:Carl Friedrich Gauss 4797: 4611: 4490: 4389: 4241:prime number theorem 4102:. Suppose then that 3957: 3843: 3629: 3587: 3555: 3440: 3331: 3256: 3112: 2969: 2487: 2455: 2390: 2379:{\displaystyle mn=1} 2361: 2338: 2312: 2056: 1832: 1808:which converges for 1716: 1681: 1591: 1510: 1441: 1323: 1121: 1019: 462: 313: 163:. Following work of 5253:Selecta Mathematica 5184:, pp. 493–499. 5124:, (16.6.4), p. 239. 5112:, pp. 411–457. 5088:, pp. 105–123. 4999:, Notes on ch. XVI) 4761:Popovici's function 4376:arithmetic function 2182:second quantization 992:Mathematical series 214:. It has values in 51: 5597:Weisstein, Eric W. 5265:10.1007/BF01589495 4950:Liouville function 4875: 4755:incidence algebras 4733:Incidence algebras 4687: 4664: 4591: 4561: 4478:Riemann hypothesis 4463:Mertens conjecture 4440: 4059: 4029: 3931: 3882: 3818: 3749: 3682: 3593: 3573: 3534: 3529: 3458: 3403: 3352: 3311: 3274: 3214: 3184: 3063: 3058: 2987: 2934: 2932: 2854: 2819: 2717: 2600: 2524: 2473: 2441: 2376: 2350:{\displaystyle mn} 2347: 2324: 2248:Riemann hypothesis 2236:partition function 2136: 2105: 1963: 1923: 1795: 1687: 1667: 1576: 1495: 1426: 1303: 1162: 1098: 981:the b-file of OEIS 969: 483: 411:Liouville function 377: 206:as the sum of the 36:rational functions 5600:"Möbius function" 5458:"Möbius function" 5449:978-0-486-47189-1 5404:978-0-19-853171-5 5224:978-0-387-90163-3 4874: 4864: 4747:incidence algebra 4638: 4584: 4558: 4508: 4483:From the formula 4052: 4026: 3975: 3867: 3728: 3660: 3516: 3490: 3443: 3379: 3334: 3287: 3259: 3207: 3181: 3130: 3045: 3019: 2972: 2832: 2802: 2681: 2633: 2631: 2565: 2504: 2130: 2090: 2088: 1908: 1903: 1784: 1650: 1562: 1484: 1421: 1383: 1293: 1260: 1227: 1190: 1159: 1148: 1143: 1093: 1069: 948: 947: 861: 860: 774: 773: 687: 686: 600: 599: 457:constant function 218:depending on the 212:th roots of unity 186:For any positive 123: 122: 32:incidence algebra 16:(Redirected from 5631: 5610: 5609: 5583: 5553: 5527: 5507: 5492: 5470: 5452: 5436:Jacobson, Nathan 5431: 5421: 5411: 5409:Internet Archive 5392: 5374: 5349: 5328: 5307: 5275: 5243: 5197: 5191: 5185: 5179: 5173: 5167: 5161: 5155: 5149: 5143: 5137: 5131: 5125: 5119: 5113: 5107: 5101: 5095: 5089: 5083: 5077: 5071: 5052: 5035: 5024: 5006: 5000: 4994: 4982: 4955:Mertens function 4905: 4901: 4897: 4884: 4882: 4881: 4876: 4872: 4871: 4870: 4869: 4856: 4849: 4848: 4827: 4823: 4822: 4809: 4808: 4785: 4781: 4716: 4707: 4703: 4696: 4694: 4693: 4688: 4683: 4682: 4663: 4662: 4661: 4656: 4655: 4600: 4598: 4597: 4592: 4587: 4586: 4585: 4577: 4560: 4559: 4557: 4540: 4514: 4475: 4456: 4449: 4447: 4446: 4441: 4426: 4421: 4380:Mertens function 4370:Mertens function 4360: 4342: 4328: 4324: 4313: 4309: 4298: 4286: 4276: 4270: 4256: 4223: 4219: 4211: 4200: 4192: 4188: 4184: 4180: 4178: 4170: 4166: 4162: 4158: 4156: 4148: 4144: 4142: 4131: 4127: 4116: 4112: 4108: 4101: 4091: 4087: 4083: 4079: 4075: 4068: 4066: 4065: 4060: 4055: 4054: 4053: 4045: 4028: 4027: 4025: 4008: 3981: 3940: 3938: 3937: 3932: 3881: 3827: 3825: 3824: 3819: 3814: 3813: 3765: 3764: 3748: 3681: 3680: 3679: 3653: 3652: 3602: 3600: 3599: 3594: 3582: 3580: 3579: 3574: 3543: 3541: 3540: 3535: 3533: 3532: 3517: 3514: 3491: 3488: 3457: 3419:Mertens function 3412: 3410: 3409: 3404: 3384: 3380: 3375: 3364: 3351: 3320: 3318: 3317: 3312: 3292: 3288: 3280: 3273: 3241: 3237: 3223: 3221: 3220: 3215: 3210: 3209: 3208: 3200: 3183: 3182: 3180: 3163: 3136: 3097: 3083: 3072: 3070: 3069: 3064: 3062: 3061: 3046: 3043: 3020: 3017: 2986: 2961: 2954: 2950: 2943: 2941: 2940: 2935: 2933: 2875: 2868: 2853: 2849: 2844: 2818: 2814: 2750: 2743: 2716: 2712: 2707: 2693: 2635: 2634: 2632: 2629: 2627: 2622: 2616: 2599: 2577: 2540: 2523: 2516: 2482: 2480: 2479: 2474: 2450: 2448: 2447: 2442: 2385: 2383: 2382: 2377: 2356: 2354: 2353: 2348: 2333: 2331: 2330: 2325: 2296: 2292: 2288: 2230: 2219: 2194: 2190: 2179: 2167:free Riemann gas 2145: 2143: 2142: 2137: 2132: 2131: 2123: 2104: 2089: 2081: 2048: 2037: 2033: 2029: 2025: 2017: 2003: 1989:is congruent to 1984: 1972: 1970: 1969: 1964: 1956: 1948: 1940: 1939: 1938: 1937: 1922: 1904: 1902: 1895: 1894: 1884: 1883: 1882: 1857: 1854: 1849: 1824: 1817: 1815: 1804: 1802: 1801: 1796: 1785: 1783: 1782: 1781: 1765: 1764: 1763: 1741: 1738: 1733: 1699:Euler's constant 1696: 1694: 1693: 1688: 1676: 1674: 1673: 1668: 1651: 1646: 1639: 1638: 1616: 1613: 1608: 1585: 1583: 1582: 1577: 1563: 1558: 1535: 1532: 1527: 1504: 1502: 1501: 1496: 1485: 1480: 1466: 1463: 1458: 1435: 1433: 1432: 1427: 1422: 1420: 1403: 1389: 1384: 1382: 1381: 1372: 1371: 1354: 1348: 1345: 1340: 1312: 1310: 1309: 1304: 1299: 1295: 1294: 1292: 1291: 1279: 1266: 1262: 1261: 1259: 1258: 1246: 1233: 1229: 1228: 1226: 1225: 1213: 1197: 1196: 1192: 1191: 1189: 1188: 1176: 1161: 1160: 1157: 1144: 1142: 1125: 1107: 1105: 1104: 1099: 1094: 1092: 1075: 1070: 1068: 1067: 1058: 1044: 1041: 1036: 1011: 998:Dirichlet series 967: 914: 870: 863: 827: 783: 776: 740: 696: 689: 653: 609: 602: 566: 522: 515: 511: 492: 490: 489: 484: 447: 441: 431: 425: 408: 393: 386: 384: 383: 378: 361: 360: 301: 295: 293: 278: 272: 251: 245: 227: 217: 216:{−1, 0, 1} 211: 205: 194: 177: 137: 127:Möbius function 85: 65:Publication year 52: 21: 18:Moebius function 5639: 5638: 5634: 5633: 5632: 5630: 5629: 5628: 5614: 5613: 5595: 5594: 5591: 5586: 5573: 5563:Springer-Verlag 5556: 5543: 5530: 5510: 5495: 5473: 5455: 5450: 5440:Basic algebra I 5434: 5419: 5414: 5405: 5377: 5372: 5352: 5347: 5331: 5326: 5312:Edwards, Harold 5310: 5278: 5246: 5225: 5211:Apostol, Tom M. 5209: 5205: 5200: 5192: 5188: 5180: 5176: 5168: 5164: 5156: 5152: 5144: 5140: 5132: 5128: 5120: 5116: 5108: 5104: 5096: 5092: 5084: 5080: 5072: 5065: 5061: 5056: 5055: 5026: 5019: 5007: 5003: 4985: 4983: 4979: 4974: 4969: 4960:Ramanujan's sum 4945: 4912: 4910:Implementations 4903: 4899: 4889: 4851: 4840: 4814: 4810: 4800: 4795: 4794: 4783: 4771: 4766: 4763: 4735: 4730: 4728:Generalizations 4714: 4708: 4705: 4701: 4665: 4649: 4609: 4608: 4562: 4488: 4487: 4466: 4454: 4387: 4386: 4372: 4356: 4338: 4331:sphenic numbers 4326: 4315: 4311: 4300: 4299:is prime, then 4296: 4282: 4274: 4261: 4259: 4247: 4233: 4221: 4213: 4202: 4194: 4190: 4186: 4182: 4174: 4172: 4168: 4164: 4160: 4152: 4150: 4146: 4138: 4136: 4129: 4118: 4114: 4110: 4103: 4096: 4089: 4085: 4081: 4077: 4073: 4030: 3955: 3954: 3948: 3841: 3840: 3805: 3756: 3671: 3644: 3627: 3626: 3585: 3584: 3553: 3552: 3528: 3527: 3511: 3505: 3504: 3485: 3475: 3438: 3437: 3431: 3365: 3359: 3329: 3328: 3275: 3254: 3253: 3239: 3228: 3185: 3110: 3109: 3088: 3081: 3057: 3056: 3040: 3034: 3033: 3014: 3004: 2967: 2966: 2956: 2952: 2948: 2931: 2930: 2873: 2872: 2861: 2837: 2748: 2747: 2736: 2700: 2614: 2613: 2538: 2537: 2497: 2485: 2484: 2453: 2452: 2388: 2387: 2359: 2358: 2336: 2335: 2334:, we induct on 2310: 2309: 2294: 2290: 2263: 2256: 2221: 2215: 2192: 2185: 2174: 2159: 2118: 2054: 2053: 2047: 2039: 2035: 2031: 2027: 2023: 2016: 2008: 1990: 1987:primitive roots 1985:the sum of its 1982: 1979: 1929: 1924: 1886: 1885: 1874: 1858: 1830: 1829: 1825:, we also have 1819: 1811: 1809: 1773: 1766: 1755: 1742: 1714: 1713: 1679: 1678: 1630: 1617: 1589: 1588: 1536: 1508: 1507: 1467: 1439: 1438: 1404: 1390: 1373: 1349: 1321: 1320: 1283: 1271: 1267: 1250: 1238: 1234: 1217: 1205: 1201: 1180: 1168: 1164: 1129: 1119: 1118: 1079: 1059: 1045: 1017: 1016: 1009: 994: 989: 958: 905: 866: 818: 779: 731: 692: 644: 605: 557: 518: 502: 499: 460: 459: 455:inverse of the 443: 433: 427: 414: 399: 396:Kronecker delta 391: 331: 311: 310: 297: 291: 282: 274: 263: 247: 236: 223: 215: 209: 196: 190: 184: 168: 165:Gian-Carlo Rota 128: 119: 50:Möbius function 47: 40:complex numbers 38:defined on the 28: 23: 22: 15: 12: 11: 5: 5637: 5635: 5627: 5626: 5616: 5615: 5612: 5611: 5590: 5589:External links 5587: 5585: 5584: 5571: 5554: 5541: 5528: 5508: 5493: 5471: 5453: 5448: 5432: 5412: 5403: 5375: 5370: 5350: 5345: 5329: 5324: 5308: 5291:(4): 291–295, 5276: 5259:(3): 411–457, 5255:, New Series, 5244: 5223: 5206: 5204: 5201: 5199: 5198: 5196:, p. 107. 5186: 5174: 5162: 5150: 5138: 5126: 5114: 5102: 5090: 5078: 5062: 5060: 5057: 5054: 5053: 5042:Disquisitiones 5001: 4976: 4975: 4973: 4970: 4968: 4967: 4965:Sphenic number 4962: 4957: 4952: 4946: 4944: 4941: 4940: 4939: 4934: 4929: 4923: 4918: 4911: 4908: 4886: 4885: 4868: 4863: 4860: 4855: 4847: 4843: 4839: 4836: 4833: 4830: 4826: 4821: 4817: 4813: 4807: 4803: 4769: 4762: 4759: 4734: 4731: 4729: 4726: 4711:Farey sequence 4704: 4698: 4697: 4686: 4681: 4678: 4675: 4672: 4668: 4660: 4654: 4648: 4645: 4641: 4637: 4634: 4631: 4628: 4625: 4622: 4619: 4616: 4602: 4601: 4590: 4583: 4580: 4575: 4572: 4569: 4565: 4556: 4553: 4550: 4547: 4544: 4539: 4536: 4533: 4530: 4527: 4524: 4521: 4518: 4511: 4507: 4504: 4501: 4498: 4495: 4451: 4450: 4439: 4436: 4433: 4430: 4425: 4420: 4417: 4414: 4410: 4406: 4403: 4400: 4397: 4394: 4371: 4368: 4367: 4366: 4349: 4348: 4327:30 = 2 × 3 × 5 4293: 4292: 4272:if and only if 4258: 4245: 4232: 4229: 4070: 4069: 4058: 4051: 4048: 4043: 4040: 4037: 4033: 4024: 4021: 4018: 4015: 4012: 4007: 4004: 4001: 3998: 3994: 3991: 3988: 3985: 3978: 3974: 3971: 3968: 3965: 3962: 3947: 3944: 3943: 3942: 3930: 3927: 3924: 3921: 3918: 3915: 3912: 3909: 3906: 3903: 3900: 3897: 3894: 3891: 3888: 3885: 3880: 3877: 3874: 3870: 3866: 3863: 3860: 3857: 3854: 3851: 3848: 3830: 3829: 3817: 3812: 3808: 3804: 3801: 3798: 3795: 3792: 3789: 3786: 3783: 3780: 3777: 3774: 3771: 3768: 3763: 3759: 3755: 3752: 3747: 3744: 3741: 3738: 3735: 3731: 3727: 3724: 3721: 3718: 3715: 3712: 3709: 3706: 3703: 3700: 3697: 3694: 3691: 3688: 3685: 3678: 3674: 3670: 3667: 3663: 3659: 3656: 3651: 3647: 3643: 3640: 3637: 3634: 3592: 3572: 3569: 3566: 3563: 3560: 3545: 3544: 3531: 3526: 3523: 3520: 3512: 3510: 3507: 3506: 3503: 3500: 3497: 3494: 3486: 3484: 3481: 3480: 3478: 3473: 3470: 3467: 3464: 3461: 3456: 3453: 3450: 3446: 3430: 3423: 3415: 3414: 3402: 3399: 3396: 3393: 3390: 3387: 3383: 3378: 3374: 3371: 3368: 3362: 3358: 3355: 3350: 3347: 3344: 3341: 3337: 3322: 3321: 3310: 3307: 3304: 3301: 3298: 3295: 3291: 3286: 3283: 3278: 3272: 3269: 3266: 3262: 3244:roots of unity 3225: 3224: 3213: 3206: 3203: 3198: 3195: 3192: 3188: 3179: 3176: 3173: 3170: 3167: 3162: 3159: 3156: 3153: 3149: 3146: 3143: 3140: 3133: 3129: 3126: 3123: 3120: 3117: 3074: 3073: 3060: 3055: 3052: 3049: 3041: 3039: 3036: 3035: 3032: 3029: 3026: 3023: 3015: 3013: 3010: 3009: 3007: 3002: 2999: 2996: 2993: 2990: 2985: 2982: 2979: 2975: 2929: 2926: 2923: 2920: 2917: 2914: 2911: 2908: 2905: 2902: 2899: 2896: 2893: 2890: 2887: 2884: 2881: 2878: 2876: 2874: 2871: 2867: 2864: 2860: 2857: 2852: 2848: 2843: 2840: 2835: 2831: 2828: 2825: 2822: 2817: 2813: 2809: 2805: 2801: 2798: 2795: 2792: 2789: 2786: 2783: 2780: 2777: 2774: 2771: 2768: 2765: 2762: 2759: 2756: 2753: 2751: 2749: 2746: 2742: 2739: 2735: 2732: 2729: 2726: 2723: 2720: 2715: 2711: 2706: 2703: 2699: 2696: 2692: 2688: 2684: 2680: 2677: 2674: 2671: 2668: 2665: 2662: 2659: 2656: 2653: 2650: 2647: 2644: 2641: 2638: 2626: 2619: 2617: 2615: 2612: 2609: 2606: 2603: 2598: 2595: 2592: 2589: 2586: 2583: 2580: 2576: 2572: 2568: 2564: 2561: 2558: 2555: 2552: 2549: 2546: 2543: 2541: 2539: 2536: 2533: 2530: 2527: 2522: 2519: 2515: 2511: 2507: 2503: 2500: 2498: 2496: 2493: 2492: 2472: 2469: 2466: 2463: 2460: 2440: 2437: 2434: 2431: 2428: 2425: 2422: 2419: 2416: 2413: 2410: 2407: 2404: 2401: 2398: 2395: 2375: 2372: 2369: 2366: 2346: 2343: 2323: 2320: 2317: 2260:multiplicative 2255: 2252: 2158: 2155: 2147: 2146: 2135: 2129: 2126: 2121: 2117: 2114: 2111: 2108: 2103: 2100: 2097: 2093: 2087: 2084: 2079: 2076: 2073: 2070: 2067: 2064: 2061: 2043: 2012: 1978: 1975: 1974: 1973: 1962: 1959: 1955: 1951: 1947: 1943: 1936: 1932: 1927: 1921: 1918: 1915: 1911: 1907: 1901: 1898: 1893: 1889: 1881: 1877: 1873: 1870: 1867: 1864: 1861: 1853: 1848: 1845: 1842: 1838: 1806: 1805: 1794: 1791: 1788: 1780: 1776: 1772: 1769: 1762: 1758: 1754: 1751: 1748: 1745: 1737: 1732: 1729: 1726: 1722: 1707:Lambert series 1703: 1702: 1686: 1666: 1663: 1660: 1657: 1654: 1649: 1645: 1642: 1637: 1633: 1629: 1626: 1623: 1620: 1612: 1607: 1604: 1601: 1597: 1586: 1575: 1572: 1569: 1566: 1561: 1557: 1554: 1551: 1548: 1545: 1542: 1539: 1531: 1526: 1523: 1520: 1516: 1505: 1494: 1491: 1488: 1483: 1479: 1476: 1473: 1470: 1462: 1457: 1454: 1451: 1447: 1436: 1425: 1419: 1416: 1413: 1410: 1407: 1402: 1399: 1396: 1393: 1387: 1380: 1376: 1370: 1366: 1363: 1360: 1357: 1353: 1344: 1339: 1336: 1333: 1329: 1314: 1313: 1302: 1298: 1290: 1286: 1282: 1277: 1274: 1270: 1265: 1257: 1253: 1249: 1244: 1241: 1237: 1232: 1224: 1220: 1216: 1211: 1208: 1204: 1200: 1195: 1187: 1183: 1179: 1174: 1171: 1167: 1155: 1151: 1147: 1141: 1138: 1135: 1132: 1128: 1109: 1108: 1097: 1091: 1088: 1085: 1082: 1078: 1073: 1066: 1062: 1057: 1054: 1051: 1048: 1040: 1035: 1032: 1029: 1025: 993: 990: 988: 985: 984: 983: 978: 946: 945: 942: 939: 936: 933: 930: 927: 924: 921: 918: 915: 902: 901: 898: 895: 892: 889: 886: 883: 880: 877: 874: 871: 859: 858: 855: 852: 849: 846: 843: 840: 837: 834: 831: 828: 815: 814: 811: 808: 805: 802: 799: 796: 793: 790: 787: 784: 772: 771: 768: 765: 762: 759: 756: 753: 750: 747: 744: 741: 728: 727: 724: 721: 718: 715: 712: 709: 706: 703: 700: 697: 685: 684: 681: 678: 675: 672: 669: 666: 663: 660: 657: 654: 641: 640: 637: 634: 631: 628: 625: 622: 619: 616: 613: 610: 598: 597: 594: 591: 588: 585: 582: 579: 576: 573: 570: 567: 554: 553: 550: 547: 544: 541: 538: 535: 532: 529: 526: 523: 501:The values of 498: 495: 482: 479: 476: 473: 470: 467: 388: 387: 376: 373: 370: 367: 364: 359: 356: 353: 350: 347: 344: 341: 338: 334: 330: 327: 324: 321: 318: 304: 303: 280: 261: 183: 180: 121: 120: 118: 117: 114: 108: 106: 99: 98: 95: 91: 90: 87: 86:of known terms 80: 79: 74: 70: 69: 66: 62: 61: 56: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 5636: 5625: 5622: 5621: 5619: 5607: 5606: 5601: 5598: 5593: 5592: 5588: 5582: 5578: 5574: 5572:1-4020-4215-9 5568: 5564: 5561:, Dordrecht: 5560: 5555: 5552: 5548: 5544: 5542:1-4020-2546-7 5538: 5534: 5529: 5526: 5522: 5518: 5514: 5509: 5506: 5502: 5498: 5494: 5490: 5486: 5485: 5480: 5476: 5475:Möbius, A. F. 5472: 5469: 5465: 5464: 5459: 5454: 5451: 5445: 5441: 5437: 5433: 5429: 5425: 5418: 5413: 5410: 5406: 5400: 5396: 5391: 5390: 5384: 5383:Wright, E. M. 5380: 5376: 5373: 5371:0-387-96254-9 5367: 5363: 5359: 5355: 5351: 5348: 5346:0-8284-0191-8 5342: 5338: 5334: 5330: 5327: 5325:0-486-41740-9 5321: 5317: 5313: 5309: 5306: 5302: 5298: 5294: 5290: 5286: 5282: 5277: 5274: 5270: 5266: 5262: 5258: 5254: 5250: 5245: 5242: 5238: 5234: 5230: 5226: 5220: 5216: 5212: 5208: 5207: 5202: 5195: 5190: 5187: 5183: 5182:Popovici 1963 5178: 5175: 5171: 5166: 5163: 5159: 5154: 5151: 5147: 5142: 5139: 5135: 5130: 5127: 5123: 5118: 5115: 5111: 5106: 5103: 5099: 5098:Jacobson 2009 5094: 5091: 5087: 5082: 5079: 5075: 5070: 5068: 5064: 5058: 5049: 5048: 5043: 5039: 5033: 5029: 5023: 5017: 5013: 5012: 5005: 5002: 4998: 4992: 4988: 4981: 4978: 4971: 4966: 4963: 4961: 4958: 4956: 4953: 4951: 4948: 4947: 4942: 4938: 4935: 4933: 4930: 4927: 4926:geeksforgeeks 4924: 4922: 4919: 4917: 4914: 4913: 4909: 4907: 4896: 4892: 4861: 4858: 4845: 4837: 4834: 4828: 4824: 4819: 4815: 4811: 4805: 4801: 4793: 4792: 4791: 4789: 4780: 4776: 4772: 4758: 4756: 4752: 4748: 4744: 4740: 4739:combinatorics 4732: 4727: 4725: 4723: 4718: 4712: 4684: 4679: 4676: 4673: 4670: 4666: 4658: 4646: 4643: 4639: 4635: 4632: 4629: 4626: 4620: 4614: 4607: 4606: 4605: 4588: 4581: 4578: 4573: 4570: 4567: 4563: 4554: 4551: 4548: 4545: 4542: 4537: 4534: 4528: 4525: 4522: 4509: 4505: 4499: 4493: 4486: 4485: 4484: 4481: 4479: 4473: 4469: 4464: 4460: 4434: 4428: 4423: 4418: 4415: 4412: 4408: 4404: 4398: 4392: 4385: 4384: 4383: 4382:, defined by 4381: 4377: 4369: 4364: 4359: 4354: 4353: 4352: 4346: 4341: 4336: 4335: 4334: 4332: 4322: 4318: 4307: 4303: 4290: 4285: 4280: 4279: 4278: 4273: 4268: 4264: 4254: 4250: 4246: 4244: 4242: 4238: 4231:Average order 4230: 4228: 4225: 4217: 4209: 4205: 4198: 4179:| > 1 4177: 4155: 4141: 4133: 4125: 4121: 4106: 4099: 4093: 4056: 4049: 4046: 4041: 4038: 4035: 4031: 4022: 4019: 4016: 4013: 4010: 4005: 4002: 3996: 3992: 3989: 3976: 3972: 3966: 3960: 3953: 3952: 3951: 3945: 3925: 3919: 3916: 3913: 3910: 3904: 3898: 3895: 3889: 3883: 3878: 3875: 3872: 3868: 3864: 3858: 3852: 3849: 3846: 3839: 3838: 3837: 3835: 3810: 3806: 3799: 3796: 3793: 3790: 3787: 3784: 3781: 3778: 3775: 3772: 3769: 3761: 3757: 3750: 3745: 3742: 3739: 3736: 3733: 3729: 3725: 3719: 3713: 3710: 3704: 3698: 3695: 3689: 3683: 3676: 3672: 3668: 3665: 3661: 3657: 3649: 3645: 3638: 3635: 3632: 3625: 3624: 3623: 3621: 3617: 3613: 3608: 3606: 3590: 3570: 3567: 3564: 3561: 3558: 3550: 3524: 3521: 3518: 3508: 3501: 3498: 3495: 3492: 3482: 3476: 3471: 3465: 3459: 3454: 3451: 3448: 3444: 3436: 3435: 3434: 3429:over divisors 3428: 3424: 3422: 3420: 3400: 3397: 3391: 3385: 3381: 3376: 3372: 3369: 3366: 3360: 3356: 3353: 3348: 3345: 3342: 3339: 3335: 3327: 3326: 3325: 3308: 3305: 3299: 3293: 3289: 3284: 3281: 3276: 3270: 3267: 3264: 3260: 3252: 3251: 3250: 3247: 3245: 3235: 3231: 3211: 3204: 3201: 3196: 3193: 3190: 3186: 3177: 3174: 3171: 3168: 3165: 3160: 3157: 3151: 3147: 3144: 3131: 3127: 3121: 3115: 3108: 3107: 3106: 3103: 3101: 3095: 3091: 3085: 3079: 3053: 3050: 3047: 3037: 3030: 3027: 3024: 3021: 3011: 3005: 3000: 2994: 2988: 2983: 2980: 2977: 2973: 2965: 2964: 2963: 2959: 2944: 2927: 2924: 2918: 2912: 2906: 2900: 2897: 2891: 2888: 2882: 2879: 2877: 2865: 2862: 2855: 2850: 2841: 2838: 2833: 2826: 2820: 2815: 2807: 2803: 2799: 2793: 2787: 2781: 2775: 2772: 2766: 2763: 2757: 2754: 2752: 2740: 2737: 2730: 2724: 2718: 2713: 2704: 2701: 2697: 2694: 2686: 2682: 2678: 2672: 2666: 2660: 2654: 2651: 2645: 2642: 2636: 2624: 2618: 2607: 2601: 2596: 2593: 2590: 2587: 2584: 2581: 2578: 2570: 2566: 2562: 2556: 2553: 2547: 2544: 2542: 2531: 2525: 2520: 2517: 2509: 2505: 2501: 2499: 2494: 2470: 2467: 2464: 2461: 2458: 2451:. Otherwise, 2435: 2429: 2423: 2417: 2414: 2411: 2408: 2402: 2399: 2393: 2373: 2370: 2367: 2364: 2344: 2341: 2321: 2318: 2315: 2307: 2302: 2300: 2286: 2282: 2278: 2274: 2270: 2266: 2261: 2253: 2251: 2249: 2245: 2241: 2237: 2232: 2228: 2224: 2218: 2213: 2209: 2205: 2202:are taken as 2201: 2196: 2189: 2183: 2178: 2172: 2171:supersymmetry 2168: 2164: 2156: 2154: 2152: 2133: 2127: 2124: 2119: 2112: 2106: 2101: 2098: 2095: 2091: 2085: 2082: 2077: 2071: 2068: 2065: 2059: 2052: 2051: 2050: 2046: 2042: 2021: 2015: 2011: 2005: 2001: 1997: 1993: 1988: 1976: 1960: 1957: 1949: 1941: 1934: 1930: 1925: 1919: 1916: 1913: 1909: 1905: 1899: 1896: 1891: 1887: 1879: 1875: 1868: 1865: 1859: 1846: 1843: 1840: 1836: 1828: 1827: 1826: 1822: 1816:| < 1 1814: 1792: 1789: 1786: 1778: 1774: 1770: 1767: 1760: 1756: 1749: 1743: 1730: 1727: 1724: 1720: 1712: 1711: 1710: 1708: 1700: 1684: 1664: 1661: 1658: 1655: 1652: 1647: 1643: 1640: 1635: 1631: 1624: 1618: 1605: 1602: 1599: 1587: 1573: 1570: 1567: 1564: 1559: 1555: 1552: 1549: 1543: 1537: 1524: 1521: 1518: 1506: 1492: 1489: 1486: 1481: 1474: 1468: 1455: 1452: 1449: 1445: 1437: 1423: 1414: 1411: 1405: 1397: 1391: 1385: 1378: 1374: 1361: 1355: 1337: 1334: 1331: 1319: 1318: 1317: 1300: 1296: 1288: 1284: 1280: 1275: 1272: 1268: 1263: 1255: 1251: 1247: 1242: 1239: 1235: 1230: 1222: 1218: 1214: 1209: 1206: 1202: 1198: 1193: 1185: 1181: 1177: 1172: 1169: 1165: 1153: 1149: 1145: 1136: 1130: 1126: 1117: 1116: 1115: 1114: 1113:Euler product 1095: 1086: 1080: 1076: 1071: 1064: 1060: 1052: 1046: 1033: 1030: 1027: 1023: 1015: 1014: 1013: 1007: 1003: 999: 991: 986: 982: 979: 977: 974: 973: 972: 965: 961: 955: 951: 943: 940: 937: 934: 931: 928: 925: 922: 919: 916: 912: 908: 904: 903: 899: 896: 893: 890: 887: 884: 881: 878: 875: 872: 869: 865: 864: 856: 853: 850: 847: 844: 841: 838: 835: 832: 829: 825: 821: 817: 816: 812: 809: 806: 803: 800: 797: 794: 791: 788: 785: 782: 778: 777: 769: 766: 763: 760: 757: 754: 751: 748: 745: 742: 738: 734: 730: 729: 725: 722: 719: 716: 713: 710: 707: 704: 701: 698: 695: 691: 690: 682: 679: 676: 673: 670: 667: 664: 661: 658: 655: 651: 647: 643: 642: 638: 635: 632: 629: 626: 623: 620: 617: 614: 611: 608: 604: 603: 595: 592: 589: 586: 583: 580: 577: 574: 571: 568: 564: 560: 556: 555: 551: 548: 545: 542: 539: 536: 533: 530: 527: 524: 521: 517: 516: 513: 509: 505: 496: 494: 480: 477: 471: 465: 458: 454: 449: 446: 440: 438: 430: 424: 422: 418: 412: 406: 402: 397: 374: 368: 362: 354: 342: 336: 332: 328: 322: 316: 309: 308: 307: 300: 289: 285: 281: 277: 270: 266: 262: 259: 255: 250: 243: 239: 235: 234: 233: 231: 230:prime factors 226: 221: 220:factorization 213: 203: 199: 193: 189: 181: 179: 175: 171: 166: 162: 158: 154: 150: 146: 145:number theory 142: 138: 135: 131: 115: 113: 110: 109: 107: 104: 100: 96: 92: 88: 81: 78: 75: 71: 67: 63: 60: 57: 53: 45: 41: 37: 33: 19: 5603: 5558: 5532: 5516: 5512: 5504: 5488: 5482: 5461: 5439: 5427: 5423: 5407:– via 5388: 5379:Hardy, G. H. 5357: 5336: 5315: 5288: 5284: 5256: 5252: 5214: 5189: 5177: 5170:Edwards 1974 5165: 5158:Apostol 1976 5153: 5141: 5134:Apostol 1976 5129: 5117: 5105: 5093: 5081: 5045: 5041: 5031: 5027: 5021: 5009: 5004: 4990: 4986: 4980: 4932:Rosetta Code 4894: 4890: 4887: 4778: 4774: 4767: 4764: 4751:divisibility 4736: 4719: 4699: 4603: 4482: 4471: 4467: 4452: 4373: 4350: 4320: 4316: 4305: 4301: 4294: 4266: 4262: 4260: 4252: 4248: 4234: 4226: 4215: 4207: 4203: 4196: 4175: 4153: 4149:. First, if 4139: 4134: 4123: 4119: 4104: 4097: 4094: 4071: 3949: 3946:Other proofs 3833: 3831: 3619: 3618:and for any 3615: 3609: 3546: 3433:The formula 3432: 3426: 3416: 3323: 3248: 3233: 3229: 3226: 3104: 3093: 3089: 3086: 3075: 2957: 2946: 2305: 2304: 2284: 2280: 2276: 2272: 2268: 2264: 2257: 2244:Alain Connes 2233: 2226: 2222: 2197: 2187: 2176: 2160: 2148: 2049:is given by 2044: 2040: 2020:finite field 2018:denotes the 2013: 2009: 2006: 1999: 1995: 1991: 1980: 1820: 1818:. For prime 1812: 1807: 1704: 1315: 1110: 995: 987:Applications 976:Wolframalpha 970: 963: 959: 949: 910: 906: 867: 823: 819: 780: 736: 732: 693: 649: 645: 606: 562: 558: 519: 507: 503: 500: 450: 444: 436: 428: 420: 416: 404: 400: 389: 305: 298: 287: 283: 275: 268: 264: 248: 241: 237: 224: 201: 197: 191: 185: 173: 169: 152: 133: 129: 126: 124: 5519:: 493–499, 5497:Pegg, Ed Jr 5172:, Ch. 12.2. 5086:Möbius 1832 4916:Mathematica 4171:. Next, if 2951:(including 2289:) whenever 2210:, then the 1158: prime 254:square-free 94:First terms 55:Named after 5581:1151.11300 5551:1079.11001 5241:0335.10001 5146:Kline 2020 5076:, Art. 81. 5074:Gauss 1986 4782:to be the 4314:for which 4157:| = 1 4117:for which 3832:while for 2254:Properties 2163:primon gas 1998:− 1) (mod 208:primitive 182:Definition 34:. For the 5605:MathWorld 5491:: 105–123 5468:EMS Press 5438:(2009) , 5430:(8): 1–17 5385:(1980) , 5273:116418599 5059:Citations 4835:− 4802:μ 4713:of order 4674:π 4647:∈ 4640:∑ 4630:− 4571:π 4552:≤ 4546:≤ 4510:∑ 4494:μ 4429:μ 4409:∑ 4163:, namely 4039:π 4020:≤ 4014:≤ 3977:∑ 3961:μ 3920:ε 3899:μ 3884:μ 3876:∣ 3869:∑ 3853:μ 3850:∗ 3800:ε 3785:∑ 3776:− 3751:μ 3730:∑ 3714:μ 3699:μ 3684:μ 3669:∣ 3662:∑ 3639:μ 3636:∗ 3591:ε 3571:ε 3565:μ 3562:∗ 3460:μ 3452:∣ 3445:∑ 3386:μ 3367:π 3357:⁡ 3346:≤ 3336:∑ 3294:μ 3268:≤ 3261:∑ 3194:π 3175:≤ 3169:≤ 3132:∑ 3116:μ 2989:μ 2981:∣ 2974:∑ 2913:μ 2901:μ 2898:− 2883:μ 2856:μ 2834:∑ 2821:μ 2804:∑ 2788:μ 2776:μ 2773:− 2758:μ 2731:μ 2719:μ 2683:∑ 2667:μ 2655:μ 2652:− 2637:μ 2630:induction 2602:μ 2567:∑ 2548:μ 2526:μ 2506:∑ 2468:≥ 2430:μ 2418:μ 2394:μ 2319:≥ 2169:model of 2107:μ 2099:∣ 2092:∑ 2022:of order 1931:α 1917:≥ 1910:∑ 1897:− 1866:α 1860:μ 1852:∞ 1837:∑ 1771:− 1744:μ 1736:∞ 1721:∑ 1685:γ 1662:γ 1656:− 1641:⁡ 1619:μ 1611:∞ 1596:∑ 1568:− 1553:⁡ 1538:μ 1530:∞ 1515:∑ 1469:μ 1461:∞ 1446:∑ 1406:ζ 1392:ζ 1356:μ 1343:∞ 1328:∑ 1301:⋯ 1276:− 1243:− 1210:− 1173:− 1150:∏ 1131:ζ 1081:ζ 1047:μ 1039:∞ 1024:∑ 1002:generates 363:λ 349:Ω 337:ω 333:δ 317:μ 195:, define 5618:Category 5499:(2003), 5477:(1832), 5362:Springer 5356:(1986), 5335:(1965), 5314:(1974), 5213:(1976), 5100:, §4.13. 4943:See also 4777:∗ ... ∗ 4476:and the 4257:sections 3515:if  3489:if  3290:⌋ 3277:⌊ 3044:if  3018:if  2866:′ 2842:′ 2741:′ 2705:′ 2208:fermions 2180:. Under 89:infinite 5525:0181602 5233:0434929 5203:Sources 5160:, §3.9. 5036:, (see 5014:(1801) 5008:In the 4709:is the 4361:in the 4358:A046387 4343:in the 4340:A007304 4287:in the 4284:A013929 3603:is the 2386:, then 2299:coprime 2262:(i.e., 2238:is the 2200:primons 2157:Physics 2026:(where 409:is the 394:is the 188:integer 153:Moebius 112:A008683 5579:  5569:  5549:  5539:  5523:  5446:  5401:  5368:  5343:  5322:  5305:574146 5303:  5271:  5239:  5231:  5221:  5051:notes. 5044:. The 4921:Maxima 4873:  4786:-fold 4700:where 4333:) are 4323:) = −1 4308:) = −1 4173:| 4151:| 4143:| 4137:| 4107:> 1 3622:>0 3583:where 2204:bosons 1810:| 1677:where 1316:Also: 497:Values 432:, and 390:where 271:) = −1 244:) = +1 42:, see 5420:(PDF) 5301:S2CID 5269:S2CID 5025:) is 4972:Notes 4893:> 4269:) = 0 4126:) ≠ 0 3743:<= 3227:i.e. 2357:. If 2306:Proof 2038:over 1008:; if 1000:that 252:is a 228:into 139:is a 105:index 5567:ISBN 5537:ISBN 5444:ISBN 5399:ISBN 5366:ISBN 5341:ISBN 5320:ISBN 5219:ISBN 5034:− 1) 5020:mod 4937:Sage 4363:OEIS 4345:OEIS 4289:OEIS 4235:The 3737:< 3551:as: 3522:> 3324:and 3242:-th 3051:> 2591:< 2483:, so 2462:> 2297:are 2293:and 2271:) = 2217:(−1) 2186:log 2175:log 1958:< 1705:The 996:The 290:) = 258:even 125:The 103:OEIS 68:1832 5577:Zbl 5547:Zbl 5293:doi 5261:doi 5237:Zbl 4737:In 4517:gcd 4325:is 4295:If 4206:\ { 4189:in 4113:of 4100:= 1 4088:of 3984:gcd 3836:=1 3354:sin 3139:gcd 2960:= 1 2165:or 2007:If 1823:≥ 2 1697:is 935:−1 923:−1 920:−1 917:−1 900:50 897:49 894:48 891:47 888:46 885:45 882:44 879:43 876:42 873:41 848:−1 830:−1 813:40 810:39 807:38 804:37 801:36 798:35 795:34 792:33 789:32 786:31 770:−1 767:−1 749:−1 726:30 723:29 720:28 717:27 714:26 711:25 708:24 705:23 702:22 699:21 680:−1 674:−1 662:−1 656:−1 639:20 636:19 633:18 630:17 627:16 624:15 621:14 618:13 615:12 612:11 587:−1 581:−1 575:−1 572:−1 552:10 296:if 273:if 246:if 222:of 143:in 84:No. 5620:: 5602:. 5575:, 5545:, 5521:MR 5517:14 5515:, 5503:, 5487:, 5481:, 5466:, 5460:, 5428:23 5426:, 5422:, 5397:, 5381:; 5364:, 5299:, 5287:, 5283:, 5267:, 5251:, 5235:, 5229:MR 5227:, 5066:^ 4906:. 4773:= 4724:. 4717:. 4480:. 4365:). 4347:). 4291:). 4243:. 4092:. 3607:. 3421:. 3054:1. 2962:: 2279:) 2269:ab 2250:. 2231:. 2153:. 2004:. 1961:1. 1632:ln 1550:ln 944:0 941:0 938:0 932:1 929:0 926:0 857:0 854:1 851:1 845:0 842:1 839:1 836:1 833:0 764:0 761:0 758:1 755:0 752:0 746:1 743:1 683:0 677:0 671:0 668:1 665:1 659:0 596:1 593:0 590:0 584:1 578:0 569:1 549:9 546:8 543:7 540:6 537:5 534:4 531:3 528:2 525:1 493:. 435:Ω( 413:, 398:, 232:: 178:. 5608:. 5489:9 5295:: 5289:5 5263:: 5257:1 5148:. 5136:. 5032:p 5030:( 5028:μ 5022:p 4993:) 4991:n 4989:( 4987:μ 4904:k 4900:k 4895:k 4891:a 4867:) 4862:a 4859:k 4854:( 4846:a 4842:) 4838:1 4832:( 4829:= 4825:) 4820:a 4816:p 4812:( 4806:k 4784:k 4779:μ 4775:μ 4770:k 4768:μ 4715:n 4706:n 4702:F 4685:, 4680:a 4677:i 4671:2 4667:e 4659:n 4653:F 4644:a 4636:+ 4633:1 4627:= 4624:) 4621:n 4618:( 4615:M 4589:, 4582:n 4579:k 4574:i 4568:2 4564:e 4555:n 4549:k 4543:1 4538:1 4535:= 4532:) 4529:n 4526:, 4523:k 4520:( 4506:= 4503:) 4500:n 4497:( 4474:) 4472:n 4470:( 4468:M 4455:n 4438:) 4435:k 4432:( 4424:n 4419:1 4416:= 4413:k 4405:= 4402:) 4399:n 4396:( 4393:M 4321:n 4319:( 4317:μ 4312:n 4306:n 4304:( 4302:μ 4297:n 4275:n 4267:n 4265:( 4263:μ 4255:) 4253:n 4251:( 4249:μ 4222:S 4218:} 4216:x 4214:{ 4210:} 4208:x 4204:S 4199:} 4197:x 4195:{ 4191:S 4187:x 4183:S 4176:S 4169:∅ 4165:S 4161:S 4154:S 4147:S 4140:S 4130:n 4124:d 4122:( 4120:μ 4115:n 4111:d 4105:n 4098:n 4090:n 4086:d 4082:d 4078:n 4074:n 4057:, 4050:n 4047:k 4042:i 4036:2 4032:e 4023:n 4017:k 4011:1 4006:1 4003:= 4000:) 3997:n 3993:, 3990:k 3987:( 3973:= 3970:) 3967:n 3964:( 3941:. 3929:) 3926:1 3923:( 3917:= 3914:1 3911:= 3908:) 3905:1 3902:( 3896:= 3893:) 3890:d 3887:( 3879:1 3873:d 3865:= 3862:) 3859:1 3856:( 3847:1 3834:n 3828:, 3816:) 3811:k 3807:p 3803:( 3797:= 3794:0 3791:= 3788:0 3782:+ 3779:1 3773:1 3770:= 3767:) 3762:m 3758:p 3754:( 3746:k 3740:m 3734:1 3726:+ 3723:) 3720:p 3717:( 3711:+ 3708:) 3705:1 3702:( 3696:= 3693:) 3690:d 3687:( 3677:k 3673:p 3666:d 3658:= 3655:) 3650:k 3646:p 3642:( 3633:1 3620:k 3616:p 3568:= 3559:1 3525:1 3519:n 3509:0 3502:, 3499:1 3496:= 3493:n 3483:1 3477:{ 3472:= 3469:) 3466:d 3463:( 3455:n 3449:d 3427:μ 3413:. 3401:1 3398:= 3395:) 3392:k 3389:( 3382:) 3377:2 3373:k 3370:j 3361:( 3349:n 3343:k 3340:j 3309:1 3306:= 3303:) 3300:k 3297:( 3285:k 3282:n 3271:n 3265:k 3240:n 3236:) 3234:n 3232:( 3230:μ 3212:, 3205:n 3202:k 3197:i 3191:2 3187:e 3178:n 3172:k 3166:1 3161:1 3158:= 3155:) 3152:n 3148:, 3145:k 3142:( 3128:= 3125:) 3122:n 3119:( 3096:) 3094:n 3092:( 3090:μ 3082:μ 3048:n 3038:0 3031:, 3028:1 3025:= 3022:n 3012:1 3006:{ 3001:= 2998:) 2995:d 2992:( 2984:n 2978:d 2958:n 2953:n 2949:n 2928:0 2925:+ 2922:) 2919:n 2916:( 2910:) 2907:m 2904:( 2895:) 2892:n 2889:m 2886:( 2880:= 2870:) 2863:d 2859:( 2851:n 2847:| 2839:d 2830:) 2827:d 2824:( 2816:m 2812:| 2808:d 2800:+ 2797:) 2794:n 2791:( 2785:) 2782:m 2779:( 2770:) 2767:n 2764:m 2761:( 2755:= 2745:) 2738:d 2734:( 2728:) 2725:d 2722:( 2714:n 2710:| 2702:d 2698:; 2695:m 2691:| 2687:d 2679:+ 2676:) 2673:n 2670:( 2664:) 2661:m 2658:( 2649:) 2646:n 2643:m 2640:( 2625:= 2611:) 2608:d 2605:( 2597:n 2594:m 2588:d 2585:; 2582:n 2579:m 2575:| 2571:d 2563:+ 2560:) 2557:n 2554:m 2551:( 2545:= 2535:) 2532:d 2529:( 2521:n 2518:m 2514:| 2510:d 2502:= 2495:0 2471:1 2465:n 2459:m 2439:) 2436:n 2433:( 2427:) 2424:m 2421:( 2415:= 2412:1 2409:= 2406:) 2403:n 2400:m 2397:( 2374:1 2371:= 2368:n 2365:m 2345:n 2342:m 2322:n 2316:m 2301:. 2295:b 2291:a 2287:) 2285:b 2283:( 2281:μ 2277:a 2275:( 2273:μ 2267:( 2265:μ 2229:) 2227:n 2225:( 2223:μ 2193:n 2188:n 2177:p 2134:. 2128:d 2125:n 2120:q 2116:) 2113:d 2110:( 2102:n 2096:d 2086:n 2083:1 2078:= 2075:) 2072:n 2069:, 2066:q 2063:( 2060:N 2045:q 2041:F 2036:n 2032:N 2028:q 2024:q 2014:q 2010:F 2002:) 2000:p 1996:p 1994:( 1992:μ 1983:p 1954:| 1950:q 1946:| 1942:, 1935:n 1926:q 1920:0 1914:n 1906:= 1900:1 1892:n 1888:q 1880:n 1876:q 1872:) 1869:n 1863:( 1847:1 1844:= 1841:n 1821:α 1813:q 1793:, 1790:q 1787:= 1779:n 1775:q 1768:1 1761:n 1757:q 1753:) 1750:n 1747:( 1731:1 1728:= 1725:n 1701:. 1665:, 1659:2 1653:= 1648:n 1644:n 1636:2 1628:) 1625:n 1622:( 1606:1 1603:= 1600:n 1574:; 1571:1 1565:= 1560:n 1556:n 1547:) 1544:n 1541:( 1525:1 1522:= 1519:n 1493:; 1490:0 1487:= 1482:n 1478:) 1475:n 1472:( 1456:1 1453:= 1450:n 1424:; 1418:) 1415:s 1412:2 1409:( 1401:) 1398:s 1395:( 1386:= 1379:s 1375:n 1369:| 1365:) 1362:n 1359:( 1352:| 1338:1 1335:= 1332:n 1297:) 1289:s 1285:5 1281:1 1273:1 1269:( 1264:) 1256:s 1252:3 1248:1 1240:1 1236:( 1231:) 1223:s 1219:2 1215:1 1207:1 1203:( 1199:= 1194:) 1186:s 1182:p 1178:1 1170:1 1166:( 1154:p 1146:= 1140:) 1137:s 1134:( 1127:1 1096:. 1090:) 1087:s 1084:( 1077:1 1072:= 1065:s 1061:n 1056:) 1053:n 1050:( 1034:1 1031:= 1028:n 1010:s 966:) 964:n 962:( 960:μ 913:) 911:n 909:( 907:μ 868:n 826:) 824:n 822:( 820:μ 781:n 739:) 737:n 735:( 733:μ 694:n 652:) 650:n 648:( 646:μ 607:n 565:) 563:n 561:( 559:μ 520:n 510:) 508:n 506:( 504:μ 481:1 478:= 475:) 472:n 469:( 466:f 445:n 439:) 437:n 429:n 423:) 421:n 419:( 417:ω 407:) 405:n 403:( 401:λ 392:δ 375:, 372:) 369:n 366:( 358:) 355:n 352:( 346:) 343:n 340:( 329:= 326:) 323:n 320:( 299:n 294:0 292:− 288:n 286:( 284:μ 276:n 269:n 267:( 265:μ 249:n 242:n 240:( 238:μ 225:n 210:n 204:) 202:n 200:( 198:μ 192:n 176:) 174:x 172:( 170:μ 136:) 134:n 132:( 130:μ 46:. 20:)

Index

Moebius function
incidence algebra
rational functions
complex numbers
Möbius transformation
August Ferdinand Möbius
August Ferdinand Möbius
OEIS
A008683
multiplicative function
number theory
August Ferdinand Möbius
analytic number theory
Möbius inversion formula
Gian-Carlo Rota
integer
primitive nth roots of unity
factorization
prime factors
square-free
even
Kronecker delta
Liouville function
ω(n)
Ω(n)
Dirichlet convolution
constant function
The 50 first values of μ(n)
Wolframalpha
the b-file of OEIS

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.