25:
5642:
5272:
5637:{\displaystyle f^{-1}(n)=\sum _{k=1}^{\Omega (n)}\left\{\sum _{{\lambda _{1}+2\lambda _{2}+\cdots +k\lambda _{k}=n} \atop {\lambda _{1},\lambda _{2},\ldots ,\lambda _{k}|n}}{\frac {(\lambda _{1}+\lambda _{2}+\cdots +\lambda _{k})!}{1!2!\cdots k!}}(-1)^{k}f(\lambda _{1})f(\lambda _{2})^{2}\cdots f(\lambda _{k})^{k}\right\}.}
594:
1145:
is again multiplicative, and every not constantly zero multiplicative function has a
Dirichlet inverse which is also multiplicative. In other words, multiplicative functions form a subgroup of the group of invertible elements of the Dirichlet ring. Beware however that the sum of two multiplicative
3251:
6326:
or infinitary divisors defines similar commutative operations which share many features with the
Dirichlet convolution (existence of a Möbius inversion, persistence of multiplicativity, definitions of totients, Euler-type product formulas over associated primes, etc.).
347:
4616:
396:
5778:
5240:
4336:
3119:
6185:
2621:
6746:
1492:
4076:
3843:
1229:), so the subset of multiplicative functions is not a subring of the Dirichlet ring. The article on multiplicative functions lists several convolution relations among important multiplicative functions.
2811:
3585:
3103:
3047:
3004:
4723:
2242:
157:
6000:
4447:
4875:
2083:
2512:
193:
6289:
6062:
4485:
1227:
5834:
2921:
2680:
2560:
2294:
1897:
2729:
2401:
5127:
4800:
4160:
3927:
2130:
1674:
1108:
5030:
2469:
2435:
2362:
1936:
5872:
5161:
1442:
2844:
1811:
1372:
977:
793:
5931:
1842:
864:
945:
589:{\displaystyle \left(\sum _{n\geq 1}{\frac {f(n)}{n^{s}}}\right)\left(\sum _{n\geq 1}{\frac {g(n)}{n^{s}}}\right)\ =\ \left(\sum _{n\geq 1}{\frac {(f*g)(n)}{n^{s}}}\right).}
2327:
1407:
4989:
3639:
1770:
4910:
2950:
1720:
1036:
2176:
5075:
3380:
2864:
2030:
3307:
912:
6298:
for which both series of the left hand side converge, one of them at least converging absolutely (note that simple convergence of both series of the left hand side
4930:
4477:
3694:
3464:
1746:
1613:
1549:
1066:
1998:
1646:
6753:
3438:
3409:
3283:
5656:
4190:
3957:
3724:
3493:
5896:
3659:
3344:
1956:
1589:
1569:
1514:
1307:
1287:
1136:
1001:
6198:
for which the series converges (if there are any). The multiplication of
Dirichlet series is compatible with Dirichlet convolution in the following sense:
3309:
is the distinct prime factor counting function from above. This expansion follows from the identity for the sums over
Dirichlet convolutions given on the
6393:
6798:
5167:
5255:
6412:
This identity is a little special something I call "croutons". It follows from several chapters worth of exercises in
Apostol's classic book.
3246:{\displaystyle \pi (x)=\sum _{n\leq x}(\omega \ast \mu )(n)=\sum _{d=1}^{x}\omega (d)M\left(\left\lfloor {\frac {x}{d}}\right\rfloor \right)}
4198:
1963:
6521:
Cohen, Eckford (1959). "A class of residue systems (mod r) and related arithmetical functions. I. A generalization of Möbius inversion".
6100:
2567:
6689:
1447:
3965:
3732:
6739:
6499:
1374:. The convolution of two completely multiplicative functions is multiplicative, but not necessarily completely multiplicative.
6511:
6485:
6451:
2739:
3501:
3052:
6788:
3011:
2968:
1267:
5647:
The following formula provides a compact way of expressing the
Dirichlet inverse of an invertible arithmetic function
4654:
2199:
120:
2365:
342:{\displaystyle (f*g)(n)\ =\ \sum _{d\,\mid \,n}f(d)\,g\!\left({\frac {n}{d}}\right)\ =\ \sum _{ab\,=\,n}\!f(a)\,g(b)}
68:
46:
6072:
positive integers must include a 1, so the series on the right hand side converges for every fixed positive integer
5936:
4343:
39:
4816:
4611:{\displaystyle g(n)\ =\ {\frac {-1}{f(1)}}\mathop {\sum _{d\,\mid \,n}} _{d<n}f\left({\frac {n}{d}}\right)g(d).}
2040:
2475:
6495:
6204:
6005:
1149:
6762:
5785:
2874:
2627:
106:
2526:
2265:
1851:
6834:
6724:
6571:
2686:
2372:
6714:
5081:
4739:
4083:
3850:
2732:
2101:
1651:
1071:
4995:
6719:
5055:
2440:
2408:
2333:
1909:
6506:. Cambridge tracts in advanced mathematics. Vol. 97. Cambridge: Cambridge Univ. Press. p. 38.
6364:
5839:
2033:
6342:
5139:
1412:
4651:
The
Dirichlet inverse of a Dirichlet convolution is the convolution of the inverses of each function:
2817:
1779:
1592:
1312:
950:
733:
6540:
5901:
4810:
4733:
1818:
807:
6538:
Cohen, Eckford (1960). "Arithmetical functions associated with the unitary divisors of an integer".
924:
33:
2300:
1392:
6345:
computes the summation of a convolution in terms of its functions and their summation functions.
5036:
4967:
4645:
3592:
3110:
2519:
1753:
1142:
4880:
2926:
1683:
1006:
6839:
6773:
6359:
3310:
2149:
50:
5060:
3349:
2849:
2003:
6335:
3292:
2867:
1616:
1383:
879:
387:
6667:
Sandor, Jozsef; Berge, Antal (2003). "The Möbius function: generalizations and extensions".
5773:{\displaystyle f^{-1}=\sum _{k=0}^{+\infty }{\frac {(f(1)\varepsilon -f)^{*k}}{f(1)^{k+1}}}}
4915:
4456:
3664:
3443:
1725:
1598:
1519:
1041:
6696:
6680:
6615:
6580:
6561:
6530:
6461:
2953:
1971:
1624:
6469:
3414:
3385:
3259:
390:. It describes the multiplication of two Dirichlet series in terms of their coefficients:
8:
6778:
6354:
6303:
6091:
5248:
4169:
3936:
3703:
3472:
160:
98:
6813:
6323:
5881:
3644:
3329:
1941:
1677:
1574:
1554:
1499:
1292:
1272:
1121:
986:
706:
617:
6606:
6589:
4955:
1959:
6808:
6783:
6651:
6507:
6481:
6447:
6331:
6307:
6793:
6636:
6601:
6549:
6465:
6088:
5259:
3286:
2086:
605:
383:
94:
6330:
Dirichlet convolution is a special case of the convolution multiplication for the
6731:
6676:
6611:
6576:
6557:
6526:
6457:
6319:
5134:
6439:
6191:
798:
168:
6641:
6624:
6828:
870:
724:
663:
102:
6446:, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag,
5235:{\displaystyle \sum _{d|n}d^{\alpha }\mu (d)\mu \left({\frac {n}{d}}\right)}
174:
82:
6625:"Arithmetic functions associated with infinitary divisors of an integer"
6421:
Again see
Apostol Chapter 2 and the exercises at the end of the chapter.
1232:
Another operation on arithmetic functions is pointwise multiplication:
6569:
Cohen, Eckford (1960). "The number of unitary divisors of an integer".
6553:
6338:, in this case the poset of positive integers ordered by divisibility.
4331:{\displaystyle (f*g)(4)=f(1)g(4)+f(2)g(2)+f(4)g(1)=\varepsilon (4)=0}
6480:. Monographs in Number Theory. World Scientific Publishing Company.
6494:
6180:{\displaystyle DG(f;s)=\sum _{n=1}^{\infty }{\frac {f(n)}{n^{s}}}}
2616:{\displaystyle {\text{Id}}_{k}*({\text{Id}}_{k}\mu )=\varepsilon }
6652:"Expressions for the Dirichlet inverse of arithmetical functions"
6394:
Completely multiplicative function#Proof of distributive property
5247:
An exact, non-recursive formula for the
Dirichlet inverse of any
353:
164:
6302:
imply convergence of the right hand side!). This is akin to the
709:(invertible elements) of this ring are the arithmetic functions
662:, and Dirichlet convolution. The multiplicative identity is the
1487:{\displaystyle \varepsilon (n)=\lfloor {\tfrac {1}{n}}\rfloor }
4071:{\displaystyle (f*g)(3)=f(1)g(3)+f(3)g(1)=\varepsilon (3)=0}
3838:{\displaystyle (f*g)(2)=f(1)g(2)+f(2)g(1)=\varepsilon (2)=0}
4626:
The following properties of the
Dirichlet inverse hold:
6318:
The restriction of the divisors in the convolution to
1938:, the Dirichlet inverse of the constant function
1470:
6207:
6103:
6008:
5939:
5904:
5884:
5842:
5788:
5659:
5275:
5170:
5142:
5084:
5063:
4998:
4970:
4918:
4883:
4819:
4742:
4657:
4488:
4459:
4346:
4201:
4172:
4086:
3968:
3939:
3853:
3735:
3706:
3667:
3647:
3595:
3504:
3475:
3446:
3417:
3388:
3352:
3332:
3295:
3262:
3122:
3055:
3014:
2971:
2929:
2877:
2852:
2820:
2742:
2689:
2630:
2570:
2562: where Sq = {1, 4, 9, ...} is the set of squares
2529:
2478:
2443:
2411:
2375:
2336:
2303:
2268:
2202:
2152:
2104:
2043:
2006:
1974:
1944:
1912:
1854:
1821:
1782:
1756:
1728:
1686:
1654:
1627:
1601:
1577:
1557:
1522:
1502:
1450:
1415:
1395:
1315:
1295:
1275:
1152:
1124:
1074:
1044:
1009:
989:
953:
927:
882:
810:
736:
399:
196:
123:
2806:{\displaystyle ({\text{Id}}_{s}J_{r})*J_{s}=J_{s+r}}
3580:{\displaystyle (f*g)(1)=f(1)g(1)=\varepsilon (1)=1}
6761:
6283:
6179:
6056:
5994:
5925:
5890:
5866:
5828:
5772:
5636:
5234:
5155:
5121:
5069:
5024:
4983:
4924:
4904:
4869:
4794:
4717:
4610:
4471:
4441:
4330:
4184:
4154:
4070:
3951:
3921:
3837:
3718:
3688:
3653:
3633:
3579:
3487:
3458:
3432:
3403:
3374:
3338:
3301:
3277:
3245:
3098:{\displaystyle 1_{\mathbb {P} }(n)\mapsto \{0,1\}}
3097:
3041:
3006:, the characteristic function of the prime powers.
2998:
2944:
2915:
2858:
2838:
2805:
2723:
2674:
2615:
2554:
2506:
2463:
2429:
2395:
2356:
2321:
2288:
2236:
2170:
2124:
2077:
2024:
1992:
1950:
1930:
1891:
1836:
1805:
1764:
1740:
1714:
1668:
1640:
1607:
1583:
1563:
1543:
1508:
1486:
1436:
1401:
1366:
1301:
1281:
1221:
1130:
1102:
1060:
1030:
995:
971:
939:
906:
858:
787:
588:
341:
151:
5878:times. Notice that, for a fixed positive integer
3042:{\displaystyle \omega \ast \mu =1_{\mathbb {P} }}
2999:{\displaystyle \Omega \ast \mu =1_{\mathcal {P}}}
313:
264:
6826:
6504:Multiplicative number theory I. Classical theory
6408:Apostol's Introduction to Analytic Number Theory
4718:{\displaystyle (f\ast g)^{-1}=f^{-1}\ast g^{-1}}
2244:, by Möbius inversion of the formulas for
2237:{\displaystyle {\text{Id}}_{k}=\sigma _{k}*\mu }
152:{\displaystyle f,g:\mathbb {N} \to \mathbb {C} }
16:Mathematical operation on arithmetical functions
6656:Notes on Number Theory and Discrete Mathematics
6475:
1615:because the associated Dirichlet series is the
6799:Dirichlet's theorem on arithmetic progressions
6575:. Vol. 67, no. 9. pp. 879–880.
5995:{\displaystyle (f(1)\varepsilon -f)^{*k}(n)=0}
4932:denotes pointwise multiplication of functions.
4442:{\displaystyle g(4)=-(f(4)g(1)+f(2)g(2))/f(1)}
382:This product occurs naturally in the study of
6747:
4870:{\displaystyle (f\cdot g)^{-1}=f\cdot g^{-1}}
3105:is the characteristic function of the primes.
2078:{\displaystyle \sigma _{k}={\text{Id}}_{k}*1}
3382:may be calculated recursively: the value of
3092:
3080:
2507:{\displaystyle \lambda *|\mu |=\varepsilon }
1481:
1466:
6666:
6525:. Vol. 9, no. 1. pp. 13–23.
2437: , from convolving 1 on both sides of
6754:
6740:
6284:{\displaystyle DG(f;s)DG(g;s)=DG(f*g;s)\,}
6057:{\displaystyle f(1)\varepsilon (1)-f(1)=0}
1377:
1222:{\displaystyle (f+g)(1)=f(1)+g(1)=2\neq 1}
363:, or equivalently over all distinct pairs
6649:
6640:
6605:
6478:Analytic Number Theory for Undergraduates
6280:
5829:{\displaystyle (f(1)\varepsilon -f)^{*k}}
5106:
5011:
4550:
4546:
3062:
3033:
2916:{\displaystyle |\mu |\ast 1=2^{\omega },}
2675:{\displaystyle \tau ^{3}*1=(\tau *1)^{2}}
1662:
326:
307:
303:
260:
242:
238:
187:is a new arithmetic function defined by:
145:
137:
69:Learn how and when to remove this message
5262:expression for the Dirichlet inverse of
5044:Absolute value of Möbius function |
3313:page (a standard trick for these sums).
2555:{\displaystyle \lambda *1=1_{\text{Sq}}}
2289:{\displaystyle {\text{Id}}=\sigma *\mu }
1892:{\displaystyle {\text{Id}}_{k}(n)=n^{k}}
1516:is the constant function with value 1:
1382:In these formulas, we use the following
1309:distributes over Dirichlet convolution:
604:The set of arithmetic functions forms a
352:where the sum extends over all positive
32:This article includes a list of general
6438:
6306:if one thinks of Dirichlet series as a
4634:has a Dirichlet inverse if and only if
2724:{\displaystyle J_{k}*1={\text{Id}}_{k}}
1146:functions is not multiplicative (since
723:Specifically, Dirichlet convolution is
6827:
6669:Adv. Stud. Contemp. Math. (Kyungshang)
6444:Introduction to analytic number theory
2396:{\displaystyle \phi ={\text{Id}}*\mu }
1038:, there exists an arithmetic function
375:of positive integers whose product is
6735:
6687:
6622:
6590:"On an integers' infinitary divisors"
6587:
6568:
6537:
6520:
5122:{\displaystyle \sum _{d|n}d\,\mu (d)}
4795:{\displaystyle f^{-1}(n)=\mu (n)f(n)}
4155:{\displaystyle g(3)=-(f(3)g(1))/f(1)}
3922:{\displaystyle g(2)=-(f(2)g(1))/f(1)}
3661:does not have a Dirichlet inverse if
2125:{\displaystyle \sigma ={\text{Id}}*1}
1669:{\displaystyle C\subset \mathbb {N} }
1103:{\displaystyle f*f^{-1}=\varepsilon }
5135:generalized sum-of-divisors function
5025:{\displaystyle \mu (n)\,n^{\alpha }}
3316:
3113:is given by the summatory function
1772:is the identity function with value
18:
6405:
6313:
6078:
5836:stands for the arithmetic function
2464:{\displaystyle \phi *1={\text{Id}}}
2430:{\displaystyle \sigma =\phi *\tau }
2357:{\displaystyle \phi *1={\text{Id}}}
1931:{\displaystyle 1*\mu =\varepsilon }
1591:is not the identity. (Some authors
13:
6789:Dirichlet-multinomial distribution
6144:
5911:
5867:{\displaystyle f(1)\varepsilon -f}
5695:
5341:
5317:
3109:This last identity shows that the
2990:
2972:
2853:
2821:
2178:, the number-of-divisors function
2087:kth-power-of-divisors sum function
1268:completely multiplicative function
38:it lacks sufficient corresponding
14:
6851:
6707:
6607:10.1090/S0025-5718-1990-0993927-5
5156:{\displaystyle \sigma _{\alpha }}
4936:
1437:{\displaystyle \varepsilon (1)=1}
1141:The Dirichlet convolution of two
2839:{\displaystyle \Lambda *1=\log }
1806:{\displaystyle {\text{Id}}(n)=n}
1409:is the multiplicative identity:
1367:{\displaystyle (f*g)h=(fh)*(gh)}
972:{\displaystyle \varepsilon *f=f}
788:{\displaystyle (f*g)*h=f*(g*h),}
23:
6087:is an arithmetic function, the
5926:{\displaystyle k>\Omega (n)}
4621:
2132:, the sum-of-divisors function
1837:{\displaystyle {\text{Id}}_{k}}
859:{\displaystyle f*(g+h)=f*g+f*h}
6763:Peter Gustav Lejeune Dirichlet
6424:
6415:
6399:
6386:
6377:
6277:
6259:
6247:
6235:
6226:
6214:
6161:
6155:
6122:
6110:
6045:
6039:
6030:
6024:
6018:
6012:
5983:
5977:
5965:
5952:
5946:
5940:
5920:
5914:
5852:
5846:
5814:
5801:
5795:
5789:
5752:
5745:
5728:
5715:
5709:
5703:
5617:
5603:
5588:
5574:
5568:
5555:
5543:
5533:
5501:
5456:
5442:
5326:
5320:
5295:
5289:
5208:
5202:
5180:
5116:
5110:
5094:
5008:
5002:
4952:Constant function with value 1
4893:
4887:
4833:
4820:
4789:
4783:
4777:
4771:
4762:
4756:
4671:
4658:
4602:
4596:
4530:
4524:
4498:
4492:
4436:
4430:
4419:
4416:
4410:
4404:
4398:
4389:
4383:
4377:
4371:
4365:
4356:
4350:
4319:
4313:
4304:
4298:
4292:
4286:
4277:
4271:
4265:
4259:
4250:
4244:
4238:
4232:
4223:
4217:
4214:
4202:
4149:
4143:
4132:
4129:
4123:
4117:
4111:
4105:
4096:
4090:
4059:
4053:
4044:
4038:
4032:
4026:
4017:
4011:
4005:
3999:
3990:
3984:
3981:
3969:
3916:
3910:
3899:
3896:
3890:
3884:
3878:
3872:
3863:
3857:
3826:
3820:
3811:
3805:
3799:
3793:
3784:
3778:
3772:
3766:
3757:
3751:
3748:
3736:
3677:
3671:
3628:
3622:
3605:
3599:
3568:
3562:
3553:
3547:
3541:
3535:
3526:
3520:
3517:
3505:
3427:
3421:
3398:
3392:
3272:
3266:
3211:
3205:
3175:
3169:
3166:
3154:
3132:
3126:
3077:
3074:
3068:
2939:
2933:
2887:
2879:
2768:
2743:
2663:
2650:
2604:
2586:
2494:
2486:
1903:The following relations hold:
1873:
1867:
1794:
1788:
1703:
1697:
1532:
1526:
1460:
1454:
1425:
1419:
1361:
1352:
1346:
1337:
1328:
1316:
1289:, pointwise multiplication by
1204:
1198:
1189:
1183:
1174:
1168:
1165:
1153:
1019:
1013:
940:{\displaystyle f*\varepsilon }
829:
817:
779:
767:
749:
737:
562:
556:
553:
541:
487:
481:
433:
427:
336:
330:
323:
317:
257:
251:
218:
212:
209:
197:
141:
107:Peter Gustav Lejeune Dirichlet
1:
6572:American Mathematical Monthly
6370:
3326:Given an arithmetic function
918:and has an identity element,
599:
112:
6690:"Unitarism and Infinitarism"
6064:and every way of expressing
2322:{\displaystyle 1=\tau *\mu }
1402:{\displaystyle \varepsilon }
7:
6720:Encyclopedia of Mathematics
6348:
4984:{\displaystyle n^{\alpha }}
4940:
4644:The Dirichlet inverse of a
3634:{\displaystyle g(1)=1/f(1)}
3321:
1765:{\displaystyle {\text{Id}}}
10:
6856:
6650:Haukkanen, Pentti (2000).
6392:A proof is in the article
6343:Dirichlet hyperbola method
4905:{\displaystyle g(1)\neq 0}
4728:A multiplicative function
2945:{\displaystyle \omega (n)}
1715:{\displaystyle 1_{C}(n)=1}
1031:{\displaystyle f(1)\neq 0}
6769:
6642:10.1155/S0161171293000456
6623:Cohen, Graeme L. (1993).
6588:Cohen, Graeme L. (1990).
6541:Mathematische Zeitschrift
6383:Proofs are in Chan, ch. 2
4811:completely multiplicative
4734:completely multiplicative
2733:Jordan's totient function
2171:{\displaystyle \tau =1*1}
6476:Chan, Heng Huat (2009).
6365:Möbius inversion formula
5070:{\displaystyle \varphi }
5056:Euler's totient function
4648:is again multiplicative.
3375:{\displaystyle g=f^{-1}}
2859:{\displaystyle \Lambda }
2366:Euler's totient function
2034:Möbius inversion formula
2025:{\displaystyle f=g*\mu }
1143:multiplicative functions
6715:"Dirichlet convolution"
6629:Int. J. Math. Math. Sci
5874:convoluted with itself
4646:multiplicative function
3302:{\displaystyle \omega }
3111:prime-counting function
2868:von Mangoldt's function
1378:Properties and Examples
907:{\displaystyle f*g=g*f}
53:more precise citations.
6774:Dirichlet distribution
6688:Finch, Steven (2004).
6430:See Apostol Chapter 2.
6360:Divisor sum identities
6285:
6181:
6148:
6058:
5996:
5927:
5892:
5868:
5830:
5774:
5699:
5638:
5330:
5256:Divisor sum identities
5236:
5157:
5123:
5071:
5026:
4985:
4926:
4925:{\displaystyle \cdot }
4906:
4871:
4796:
4719:
4612:
4473:
4472:{\displaystyle n>1}
4443:
4332:
4186:
4156:
4072:
3953:
3923:
3839:
3720:
3690:
3689:{\displaystyle f(1)=0}
3655:
3635:
3581:
3489:
3460:
3459:{\displaystyle m<n}
3434:
3405:
3376:
3346:its Dirichlet inverse
3340:
3311:divisor sum identities
3303:
3279:
3247:
3201:
3099:
3043:
3000:
2946:
2917:
2860:
2840:
2807:
2725:
2676:
2617:
2556:
2508:
2465:
2431:
2397:
2358:
2323:
2290:
2238:
2172:
2126:
2079:
2026:
1994:
1952:
1932:
1893:
1838:
1807:
1766:
1742:
1741:{\displaystyle n\in C}
1716:
1670:
1642:
1609:
1608:{\displaystyle \zeta }
1585:
1565:
1545:
1544:{\displaystyle 1(n)=1}
1510:
1488:
1438:
1403:
1384:arithmetical functions
1368:
1303:
1283:
1223:
1132:
1104:
1062:
1061:{\displaystyle f^{-1}}
1032:
997:
983:Furthermore, for each
973:
941:
908:
860:
789:
590:
343:
153:
105:. It was developed by
6804:Dirichlet convolution
6286:
6182:
6128:
6059:
5997:
5928:
5893:
5869:
5831:
5782:where the expression
5775:
5676:
5639:
5301:
5237:
5158:
5124:
5072:
5027:
4986:
4927:
4907:
4872:
4797:
4720:
4613:
4474:
4444:
4333:
4187:
4157:
4073:
3954:
3924:
3840:
3721:
3691:
3656:
3636:
3582:
3490:
3461:
3435:
3406:
3377:
3341:
3304:
3280:
3248:
3181:
3100:
3044:
3001:
2947:
2918:
2861:
2841:
2808:
2726:
2677:
2618:
2557:
2509:
2466:
2432:
2403:, by Möbius inversion
2398:
2359:
2324:
2291:
2239:
2173:
2127:
2080:
2027:
1995:
1993:{\displaystyle g=f*1}
1953:
1933:
1894:
1839:
1808:
1767:
1743:
1717:
1671:
1643:
1641:{\displaystyle 1_{C}}
1617:Riemann zeta function
1610:
1586:
1566:
1546:
1511:
1489:
1439:
1404:
1369:
1304:
1284:
1224:
1133:
1105:
1063:
1033:
998:
974:
942:
909:
861:
790:
591:
388:Riemann zeta function
344:
154:
101:; it is important in
87:Dirichlet convolution
6835:Arithmetic functions
6205:
6101:
6006:
5937:
5902:
5882:
5840:
5786:
5657:
5273:
5168:
5140:
5082:
5061:
5037:Liouville's function
4996:
4968:
4916:
4881:
4817:
4740:
4655:
4486:
4457:
4344:
4199:
4170:
4084:
3966:
3937:
3851:
3733:
3704:
3665:
3645:
3641:. This implies that
3593:
3502:
3473:
3444:
3433:{\displaystyle g(m)}
3415:
3404:{\displaystyle g(n)}
3386:
3350:
3330:
3293:
3278:{\displaystyle M(x)}
3260:
3120:
3053:
3012:
2969:
2954:prime omega function
2927:
2875:
2850:
2818:
2740:
2687:
2628:
2568:
2527:
2520:Liouville's function
2476:
2441:
2409:
2373:
2334:
2301:
2266:
2200:
2150:
2102:
2041:
2004:
1972:
1942:
1910:
1852:
1848:th power function:
1819:
1780:
1754:
1726:
1684:
1652:
1625:
1599:
1575:
1571:. Keep in mind that
1555:
1520:
1500:
1448:
1413:
1393:
1313:
1293:
1273:
1150:
1122:
1072:
1042:
1007:
987:
951:
925:
880:
808:
734:
397:
194:
161:arithmetic functions
121:
99:arithmetic functions
6779:Dirichlet character
6355:Arithmetic function
6304:convolution theorem
6092:generating function
5260:partition theoretic
5249:arithmetic function
4947:Dirichlet inverse:
4944:Arithmetic function
4453:and in general for
4185:{\displaystyle n=4}
3952:{\displaystyle n=3}
3719:{\displaystyle n=2}
3488:{\displaystyle n=1}
91:divisor convolution
6814:Dirichlet integral
6554:10.1007/BF01180473
6496:Hugh L. Montgomery
6281:
6177:
6054:
6002:, this is because
5992:
5923:
5888:
5864:
5826:
5770:
5634:
5452:
5232:
5188:
5153:
5119:
5102:
5067:
5022:
4981:
4922:
4902:
4867:
4792:
4715:
4608:
4568:
4555:
4469:
4439:
4328:
4182:
4152:
4068:
3949:
3919:
3835:
3716:
3686:
3651:
3631:
3577:
3485:
3456:
3430:
3401:
3372:
3336:
3299:
3275:
3243:
3153:
3095:
3039:
2996:
2942:
2913:
2856:
2836:
2803:
2721:
2672:
2613:
2552:
2504:
2461:
2427:
2393:
2354:
2319:
2286:
2234:
2168:
2122:
2075:
2022:
1990:
1948:
1928:
1889:
1834:
1803:
1762:
1738:
1712:
1678:indicator function
1666:
1638:
1605:
1581:
1561:
1541:
1506:
1484:
1479:
1434:
1399:
1364:
1299:
1279:
1219:
1128:
1100:
1058:
1028:
993:
969:
937:
904:
856:
785:
618:pointwise addition
586:
537:
474:
420:
339:
312:
247:
163:from the positive
149:
6822:
6821:
6809:Dirichlet problem
6784:Dirichlet process
6513:978-0-521-84903-6
6500:Robert C. Vaughan
6487:978-981-4271-36-3
6453:978-0-387-90163-3
6332:incidence algebra
6308:Fourier transform
6175:
5891:{\displaystyle n}
5768:
5531:
5450:
5336:
5245:
5244:
5226:
5171:
5085:
4587:
4538:
4536:
4534:
4509:
4503:
3654:{\displaystyle f}
3339:{\displaystyle f}
3317:Dirichlet inverse
3233:
3138:
2960:prime factors of
2750:
2713:
2593:
2575:
2549:
2459:
2385:
2352:
2272:
2207:
2114:
2061:
1951:{\displaystyle 1}
1859:
1826:
1786:
1760:
1584:{\displaystyle 1}
1564:{\displaystyle n}
1509:{\displaystyle 1}
1478:
1302:{\displaystyle h}
1282:{\displaystyle h}
1131:{\displaystyle f}
1114:Dirichlet inverse
996:{\displaystyle f}
576:
522:
516:
510:
501:
459:
447:
405:
292:
291:
285:
277:
230:
229:
223:
79:
78:
71:
6847:
6794:Dirichlet series
6756:
6749:
6742:
6733:
6732:
6728:
6703:
6701:
6695:. Archived from
6694:
6684:
6663:
6646:
6644:
6619:
6609:
6600:(189): 395–411.
6584:
6565:
6534:
6517:
6491:
6472:
6431:
6428:
6422:
6419:
6413:
6411:
6406:Schmidt, Maxie.
6403:
6397:
6390:
6384:
6381:
6314:Related concepts
6290:
6288:
6287:
6282:
6186:
6184:
6183:
6178:
6176:
6174:
6173:
6164:
6150:
6147:
6142:
6089:Dirichlet series
6079:Dirichlet series
6068:as a product of
6063:
6061:
6060:
6055:
6001:
5999:
5998:
5993:
5976:
5975:
5932:
5930:
5929:
5924:
5897:
5895:
5894:
5889:
5873:
5871:
5870:
5865:
5835:
5833:
5832:
5827:
5825:
5824:
5779:
5777:
5776:
5771:
5769:
5767:
5766:
5765:
5740:
5739:
5738:
5701:
5698:
5690:
5672:
5671:
5643:
5641:
5640:
5635:
5630:
5626:
5625:
5624:
5615:
5614:
5596:
5595:
5586:
5585:
5567:
5566:
5551:
5550:
5532:
5530:
5507:
5500:
5499:
5481:
5480:
5468:
5467:
5454:
5451:
5449:
5445:
5440:
5439:
5421:
5420:
5408:
5407:
5397:
5390:
5389:
5368:
5367:
5352:
5351:
5329:
5315:
5288:
5287:
5241:
5239:
5238:
5233:
5231:
5227:
5219:
5198:
5197:
5187:
5183:
5162:
5160:
5159:
5154:
5152:
5151:
5128:
5126:
5125:
5120:
5101:
5097:
5076:
5074:
5073:
5068:
5049:
5031:
5029:
5028:
5023:
5021:
5020:
4990:
4988:
4987:
4982:
4980:
4979:
4941:
4931:
4929:
4928:
4923:
4911:
4909:
4908:
4903:
4876:
4874:
4873:
4868:
4866:
4865:
4844:
4843:
4801:
4799:
4798:
4793:
4755:
4754:
4724:
4722:
4721:
4716:
4714:
4713:
4698:
4697:
4682:
4681:
4640:
4617:
4615:
4614:
4609:
4592:
4588:
4580:
4567:
4556:
4554:
4535:
4533:
4519:
4511:
4507:
4501:
4478:
4476:
4475:
4470:
4448:
4446:
4445:
4440:
4426:
4337:
4335:
4334:
4329:
4191:
4189:
4188:
4183:
4161:
4159:
4158:
4153:
4139:
4077:
4075:
4074:
4069:
3958:
3956:
3955:
3950:
3928:
3926:
3925:
3920:
3906:
3844:
3842:
3841:
3836:
3725:
3723:
3722:
3717:
3695:
3693:
3692:
3687:
3660:
3658:
3657:
3652:
3640:
3638:
3637:
3632:
3618:
3586:
3584:
3583:
3578:
3494:
3492:
3491:
3486:
3465:
3463:
3462:
3457:
3439:
3437:
3436:
3431:
3410:
3408:
3407:
3402:
3381:
3379:
3378:
3373:
3371:
3370:
3345:
3343:
3342:
3337:
3308:
3306:
3305:
3300:
3287:Mertens function
3284:
3282:
3281:
3276:
3252:
3250:
3249:
3244:
3242:
3238:
3234:
3226:
3200:
3195:
3152:
3104:
3102:
3101:
3096:
3067:
3066:
3065:
3048:
3046:
3045:
3040:
3038:
3037:
3036:
3005:
3003:
3002:
2997:
2995:
2994:
2993:
2951:
2949:
2948:
2943:
2922:
2920:
2919:
2914:
2909:
2908:
2890:
2882:
2865:
2863:
2862:
2857:
2845:
2843:
2842:
2837:
2812:
2810:
2809:
2804:
2802:
2801:
2783:
2782:
2767:
2766:
2757:
2756:
2751:
2748:
2730:
2728:
2727:
2722:
2720:
2719:
2714:
2711:
2699:
2698:
2681:
2679:
2678:
2673:
2671:
2670:
2640:
2639:
2622:
2620:
2619:
2614:
2600:
2599:
2594:
2591:
2582:
2581:
2576:
2573:
2561:
2559:
2558:
2553:
2551:
2550:
2547:
2513:
2511:
2510:
2505:
2497:
2489:
2470:
2468:
2467:
2462:
2460:
2457:
2436:
2434:
2433:
2428:
2402:
2400:
2399:
2394:
2386:
2383:
2363:
2361:
2360:
2355:
2353:
2350:
2328:
2326:
2325:
2320:
2295:
2293:
2292:
2287:
2273:
2270:
2243:
2241:
2240:
2235:
2227:
2226:
2214:
2213:
2208:
2205:
2194:
2177:
2175:
2174:
2169:
2144:
2131:
2129:
2128:
2123:
2115:
2112:
2084:
2082:
2081:
2076:
2068:
2067:
2062:
2059:
2053:
2052:
2031:
2029:
2028:
2023:
2000:if and only if
1999:
1997:
1996:
1991:
1957:
1955:
1954:
1949:
1937:
1935:
1934:
1929:
1898:
1896:
1895:
1890:
1888:
1887:
1866:
1865:
1860:
1857:
1843:
1841:
1840:
1835:
1833:
1832:
1827:
1824:
1812:
1810:
1809:
1804:
1787:
1784:
1771:
1769:
1768:
1763:
1761:
1758:
1747:
1745:
1744:
1739:
1721:
1719:
1718:
1713:
1696:
1695:
1675:
1673:
1672:
1667:
1665:
1647:
1645:
1644:
1639:
1637:
1636:
1614:
1612:
1611:
1606:
1590:
1588:
1587:
1582:
1570:
1568:
1567:
1562:
1550:
1548:
1547:
1542:
1515:
1513:
1512:
1507:
1493:
1491:
1490:
1485:
1480:
1471:
1443:
1441:
1440:
1435:
1408:
1406:
1405:
1400:
1373:
1371:
1370:
1365:
1308:
1306:
1305:
1300:
1288:
1286:
1285:
1280:
1265:
1237:
1228:
1226:
1225:
1220:
1137:
1135:
1134:
1129:
1116:
1115:
1109:
1107:
1106:
1101:
1093:
1092:
1067:
1065:
1064:
1059:
1057:
1056:
1037:
1035:
1034:
1029:
1002:
1000:
999:
994:
978:
976:
975:
970:
946:
944:
943:
938:
913:
911:
910:
905:
865:
863:
862:
857:
794:
792:
791:
786:
719:
704:
697:
686:
679:
661:
629:
614:
613:
606:commutative ring
595:
593:
592:
587:
582:
578:
577:
575:
574:
565:
539:
536:
514:
508:
507:
503:
502:
500:
499:
490:
476:
473:
453:
449:
448:
446:
445:
436:
422:
419:
384:Dirichlet series
374:
348:
346:
345:
340:
311:
289:
283:
282:
278:
270:
246:
227:
221:
186:
158:
156:
155:
150:
148:
140:
95:binary operation
74:
67:
63:
60:
54:
49:this article by
40:inline citations
27:
26:
19:
6855:
6854:
6850:
6849:
6848:
6846:
6845:
6844:
6825:
6824:
6823:
6818:
6765:
6760:
6713:
6710:
6699:
6692:
6523:Pacific J. Math
6514:
6488:
6454:
6440:Apostol, Tom M.
6435:
6434:
6429:
6425:
6420:
6416:
6404:
6400:
6391:
6387:
6382:
6378:
6373:
6351:
6316:
6206:
6203:
6202:
6169:
6165:
6151:
6149:
6143:
6132:
6102:
6099:
6098:
6081:
6007:
6004:
6003:
5968:
5964:
5938:
5935:
5934:
5903:
5900:
5899:
5883:
5880:
5879:
5841:
5838:
5837:
5817:
5813:
5787:
5784:
5783:
5755:
5751:
5741:
5731:
5727:
5702:
5700:
5691:
5680:
5664:
5660:
5658:
5655:
5654:
5620:
5616:
5610:
5606:
5591:
5587:
5581:
5577:
5562:
5558:
5546:
5542:
5508:
5495:
5491:
5476:
5472:
5463:
5459:
5455:
5453:
5441:
5435:
5431:
5416:
5412:
5403:
5399:
5398:
5385:
5381:
5363:
5359:
5347:
5343:
5342:
5340:
5335:
5331:
5316:
5305:
5280:
5276:
5274:
5271:
5270:
5218:
5214:
5193:
5189:
5179:
5175:
5169:
5166:
5165:
5147:
5143:
5141:
5138:
5137:
5093:
5089:
5083:
5080:
5079:
5062:
5059:
5058:
5045:
5016:
5012:
4997:
4994:
4993:
4975:
4971:
4969:
4966:
4965:
4956:Möbius function
4939:
4917:
4914:
4913:
4882:
4879:
4878:
4858:
4854:
4836:
4832:
4818:
4815:
4814:
4747:
4743:
4741:
4738:
4737:
4736:if and only if
4706:
4702:
4690:
4686:
4674:
4670:
4656:
4653:
4652:
4635:
4624:
4579:
4575:
4557:
4542:
4537:
4520:
4512:
4510:
4487:
4484:
4483:
4458:
4455:
4454:
4422:
4345:
4342:
4341:
4200:
4197:
4196:
4171:
4168:
4167:
4135:
4085:
4082:
4081:
3967:
3964:
3963:
3938:
3935:
3934:
3902:
3852:
3849:
3848:
3734:
3731:
3730:
3705:
3702:
3701:
3666:
3663:
3662:
3646:
3643:
3642:
3614:
3594:
3591:
3590:
3503:
3500:
3499:
3474:
3471:
3470:
3445:
3442:
3441:
3416:
3413:
3412:
3411:is in terms of
3387:
3384:
3383:
3363:
3359:
3351:
3348:
3347:
3331:
3328:
3327:
3324:
3319:
3294:
3291:
3290:
3261:
3258:
3257:
3225:
3221:
3217:
3196:
3185:
3142:
3121:
3118:
3117:
3061:
3060:
3056:
3054:
3051:
3050:
3032:
3031:
3027:
3013:
3010:
3009:
2989:
2988:
2984:
2970:
2967:
2966:
2928:
2925:
2924:
2904:
2900:
2886:
2878:
2876:
2873:
2872:
2851:
2848:
2847:
2819:
2816:
2815:
2791:
2787:
2778:
2774:
2762:
2758:
2752:
2747:
2746:
2741:
2738:
2737:
2715:
2710:
2709:
2694:
2690:
2688:
2685:
2684:
2666:
2662:
2635:
2631:
2629:
2626:
2625:
2595:
2590:
2589:
2577:
2572:
2571:
2569:
2566:
2565:
2546:
2542:
2528:
2525:
2524:
2493:
2485:
2477:
2474:
2473:
2456:
2442:
2439:
2438:
2410:
2407:
2406:
2382:
2374:
2371:
2370:
2364:, proved under
2349:
2335:
2332:
2331:
2302:
2299:
2298:
2269:
2267:
2264:
2263:
2252:
2222:
2218:
2209:
2204:
2203:
2201:
2198:
2197:
2193:
2179:
2151:
2148:
2147:
2143:
2133:
2111:
2103:
2100:
2099:
2096:
2063:
2058:
2057:
2048:
2044:
2042:
2039:
2038:
2005:
2002:
2001:
1973:
1970:
1969:
1960:Möbius function
1943:
1940:
1939:
1911:
1908:
1907:
1883:
1879:
1861:
1856:
1855:
1853:
1850:
1849:
1828:
1823:
1822:
1820:
1817:
1816:
1783:
1781:
1778:
1777:
1757:
1755:
1752:
1751:
1727:
1724:
1723:
1691:
1687:
1685:
1682:
1681:
1661:
1653:
1650:
1649:
1632:
1628:
1626:
1623:
1622:
1600:
1597:
1596:
1576:
1573:
1572:
1556:
1553:
1552:
1521:
1518:
1517:
1501:
1498:
1497:
1469:
1449:
1446:
1445:
1444:, otherwise 0 (
1414:
1411:
1410:
1394:
1391:
1390:
1380:
1314:
1311:
1310:
1294:
1291:
1290:
1274:
1271:
1270:
1239:
1233:
1151:
1148:
1147:
1123:
1120:
1119:
1113:
1112:
1085:
1081:
1073:
1070:
1069:
1049:
1045:
1043:
1040:
1039:
1008:
1005:
1004:
988:
985:
984:
952:
949:
948:
926:
923:
922:
881:
878:
877:
809:
806:
805:
735:
732:
731:
714:
699:
688:
681:
670:
631:
621:
611:
610:
602:
570:
566:
540:
538:
526:
521:
517:
495:
491:
477:
475:
463:
458:
454:
441:
437:
423:
421:
409:
404:
400:
398:
395:
394:
364:
296:
269:
265:
234:
195:
192:
191:
178:
169:complex numbers
144:
136:
122:
119:
118:
115:
75:
64:
58:
55:
45:Please help to
44:
28:
24:
17:
12:
11:
5:
6853:
6843:
6842:
6837:
6820:
6819:
6817:
6816:
6811:
6806:
6801:
6796:
6791:
6786:
6781:
6776:
6770:
6767:
6766:
6759:
6758:
6751:
6744:
6736:
6730:
6729:
6709:
6708:External links
6706:
6705:
6704:
6702:on 2015-02-22.
6685:
6664:
6647:
6635:(2): 373–383.
6620:
6585:
6566:
6535:
6518:
6512:
6492:
6486:
6473:
6452:
6433:
6432:
6423:
6414:
6398:
6385:
6375:
6374:
6372:
6369:
6368:
6367:
6362:
6357:
6350:
6347:
6315:
6312:
6292:
6291:
6279:
6276:
6273:
6270:
6267:
6264:
6261:
6258:
6255:
6252:
6249:
6246:
6243:
6240:
6237:
6234:
6231:
6228:
6225:
6222:
6219:
6216:
6213:
6210:
6188:
6187:
6172:
6168:
6163:
6160:
6157:
6154:
6146:
6141:
6138:
6135:
6131:
6127:
6124:
6121:
6118:
6115:
6112:
6109:
6106:
6094:is defined by
6080:
6077:
6053:
6050:
6047:
6044:
6041:
6038:
6035:
6032:
6029:
6026:
6023:
6020:
6017:
6014:
6011:
5991:
5988:
5985:
5982:
5979:
5974:
5971:
5967:
5963:
5960:
5957:
5954:
5951:
5948:
5945:
5942:
5922:
5919:
5916:
5913:
5910:
5907:
5887:
5863:
5860:
5857:
5854:
5851:
5848:
5845:
5823:
5820:
5816:
5812:
5809:
5806:
5803:
5800:
5797:
5794:
5791:
5764:
5761:
5758:
5754:
5750:
5747:
5744:
5737:
5734:
5730:
5726:
5723:
5720:
5717:
5714:
5711:
5708:
5705:
5697:
5694:
5689:
5686:
5683:
5679:
5675:
5670:
5667:
5663:
5645:
5644:
5633:
5629:
5623:
5619:
5613:
5609:
5605:
5602:
5599:
5594:
5590:
5584:
5580:
5576:
5573:
5570:
5565:
5561:
5557:
5554:
5549:
5545:
5541:
5538:
5535:
5529:
5526:
5523:
5520:
5517:
5514:
5511:
5506:
5503:
5498:
5494:
5490:
5487:
5484:
5479:
5475:
5471:
5466:
5462:
5458:
5448:
5444:
5438:
5434:
5430:
5427:
5424:
5419:
5415:
5411:
5406:
5402:
5396:
5393:
5388:
5384:
5380:
5377:
5374:
5371:
5366:
5362:
5358:
5355:
5350:
5346:
5339:
5334:
5328:
5325:
5322:
5319:
5314:
5311:
5308:
5304:
5300:
5297:
5294:
5291:
5286:
5283:
5279:
5243:
5242:
5230:
5225:
5222:
5217:
5213:
5210:
5207:
5204:
5201:
5196:
5192:
5186:
5182:
5178:
5174:
5163:
5150:
5146:
5130:
5129:
5118:
5115:
5112:
5109:
5105:
5100:
5096:
5092:
5088:
5077:
5066:
5052:
5051:
5042:
5033:
5032:
5019:
5015:
5010:
5007:
5004:
5001:
4991:
4978:
4974:
4962:
4961:
4953:
4949:
4948:
4945:
4938:
4937:Other formulas
4935:
4934:
4933:
4921:
4901:
4898:
4895:
4892:
4889:
4886:
4864:
4861:
4857:
4853:
4850:
4847:
4842:
4839:
4835:
4831:
4828:
4825:
4822:
4803:
4791:
4788:
4785:
4782:
4779:
4776:
4773:
4770:
4767:
4764:
4761:
4758:
4753:
4750:
4746:
4726:
4712:
4709:
4705:
4701:
4696:
4693:
4689:
4685:
4680:
4677:
4673:
4669:
4666:
4663:
4660:
4649:
4642:
4623:
4620:
4619:
4618:
4607:
4604:
4601:
4598:
4595:
4591:
4586:
4583:
4578:
4574:
4571:
4566:
4563:
4560:
4553:
4549:
4545:
4541:
4532:
4529:
4526:
4523:
4518:
4515:
4506:
4500:
4497:
4494:
4491:
4468:
4465:
4462:
4451:
4450:
4438:
4435:
4432:
4429:
4425:
4421:
4418:
4415:
4412:
4409:
4406:
4403:
4400:
4397:
4394:
4391:
4388:
4385:
4382:
4379:
4376:
4373:
4370:
4367:
4364:
4361:
4358:
4355:
4352:
4349:
4339:
4327:
4324:
4321:
4318:
4315:
4312:
4309:
4306:
4303:
4300:
4297:
4294:
4291:
4288:
4285:
4282:
4279:
4276:
4273:
4270:
4267:
4264:
4261:
4258:
4255:
4252:
4249:
4246:
4243:
4240:
4237:
4234:
4231:
4228:
4225:
4222:
4219:
4216:
4213:
4210:
4207:
4204:
4181:
4178:
4175:
4164:
4163:
4151:
4148:
4145:
4142:
4138:
4134:
4131:
4128:
4125:
4122:
4119:
4116:
4113:
4110:
4107:
4104:
4101:
4098:
4095:
4092:
4089:
4079:
4067:
4064:
4061:
4058:
4055:
4052:
4049:
4046:
4043:
4040:
4037:
4034:
4031:
4028:
4025:
4022:
4019:
4016:
4013:
4010:
4007:
4004:
4001:
3998:
3995:
3992:
3989:
3986:
3983:
3980:
3977:
3974:
3971:
3948:
3945:
3942:
3931:
3930:
3918:
3915:
3912:
3909:
3905:
3901:
3898:
3895:
3892:
3889:
3886:
3883:
3880:
3877:
3874:
3871:
3868:
3865:
3862:
3859:
3856:
3846:
3834:
3831:
3828:
3825:
3822:
3819:
3816:
3813:
3810:
3807:
3804:
3801:
3798:
3795:
3792:
3789:
3786:
3783:
3780:
3777:
3774:
3771:
3768:
3765:
3762:
3759:
3756:
3753:
3750:
3747:
3744:
3741:
3738:
3715:
3712:
3709:
3698:
3697:
3685:
3682:
3679:
3676:
3673:
3670:
3650:
3630:
3627:
3624:
3621:
3617:
3613:
3610:
3607:
3604:
3601:
3598:
3588:
3576:
3573:
3570:
3567:
3564:
3561:
3558:
3555:
3552:
3549:
3546:
3543:
3540:
3537:
3534:
3531:
3528:
3525:
3522:
3519:
3516:
3513:
3510:
3507:
3484:
3481:
3478:
3455:
3452:
3449:
3429:
3426:
3423:
3420:
3400:
3397:
3394:
3391:
3369:
3366:
3362:
3358:
3355:
3335:
3323:
3320:
3318:
3315:
3298:
3274:
3271:
3268:
3265:
3254:
3253:
3241:
3237:
3232:
3229:
3224:
3220:
3216:
3213:
3210:
3207:
3204:
3199:
3194:
3191:
3188:
3184:
3180:
3177:
3174:
3171:
3168:
3165:
3162:
3159:
3156:
3151:
3148:
3145:
3141:
3137:
3134:
3131:
3128:
3125:
3107:
3106:
3094:
3091:
3088:
3085:
3082:
3079:
3076:
3073:
3070:
3064:
3059:
3035:
3030:
3026:
3023:
3020:
3017:
3007:
2992:
2987:
2983:
2980:
2977:
2974:
2964:
2941:
2938:
2935:
2932:
2912:
2907:
2903:
2899:
2896:
2893:
2889:
2885:
2881:
2870:
2855:
2835:
2832:
2829:
2826:
2823:
2813:
2800:
2797:
2794:
2790:
2786:
2781:
2777:
2773:
2770:
2765:
2761:
2755:
2745:
2735:
2718:
2708:
2705:
2702:
2697:
2693:
2682:
2669:
2665:
2661:
2658:
2655:
2652:
2649:
2646:
2643:
2638:
2634:
2623:
2612:
2609:
2606:
2603:
2598:
2588:
2585:
2580:
2563:
2545:
2541:
2538:
2535:
2532:
2522:
2503:
2500:
2496:
2492:
2488:
2484:
2481:
2471:
2455:
2452:
2449:
2446:
2426:
2423:
2420:
2417:
2414:
2404:
2392:
2389:
2381:
2378:
2368:
2348:
2345:
2342:
2339:
2329:
2318:
2315:
2312:
2309:
2306:
2296:
2285:
2282:
2279:
2276:
2261:
2248:
2233:
2230:
2225:
2221:
2217:
2212:
2195:
2191:
2167:
2164:
2161:
2158:
2155:
2145:
2141:
2121:
2118:
2110:
2107:
2097:
2092:
2074:
2071:
2066:
2056:
2051:
2047:
2036:
2021:
2018:
2015:
2012:
2009:
1989:
1986:
1983:
1980:
1977:
1967:
1947:
1927:
1924:
1921:
1918:
1915:
1901:
1900:
1886:
1882:
1878:
1875:
1872:
1869:
1864:
1831:
1814:
1802:
1799:
1796:
1793:
1790:
1749:
1748:, otherwise 0.
1737:
1734:
1731:
1711:
1708:
1705:
1702:
1699:
1694:
1690:
1664:
1660:
1657:
1635:
1631:
1620:
1604:
1580:
1560:
1540:
1537:
1534:
1531:
1528:
1525:
1505:
1495:
1483:
1477:
1474:
1468:
1465:
1462:
1459:
1456:
1453:
1433:
1430:
1427:
1424:
1421:
1418:
1398:
1379:
1376:
1363:
1360:
1357:
1354:
1351:
1348:
1345:
1342:
1339:
1336:
1333:
1330:
1327:
1324:
1321:
1318:
1298:
1278:
1238:is defined by
1218:
1215:
1212:
1209:
1206:
1203:
1200:
1197:
1194:
1191:
1188:
1185:
1182:
1179:
1176:
1173:
1170:
1167:
1164:
1161:
1158:
1155:
1127:
1099:
1096:
1091:
1088:
1084:
1080:
1077:
1055:
1052:
1048:
1027:
1024:
1021:
1018:
1015:
1012:
992:
981:
980:
968:
965:
962:
959:
956:
936:
933:
930:
916:
915:
903:
900:
897:
894:
891:
888:
885:
868:
867:
855:
852:
849:
846:
843:
840:
837:
834:
831:
828:
825:
822:
819:
816:
813:
801:over addition
796:
795:
784:
781:
778:
775:
772:
769:
766:
763:
760:
757:
754:
751:
748:
745:
742:
739:
630:is defined by
612:Dirichlet ring
601:
598:
597:
596:
585:
581:
573:
569:
564:
561:
558:
555:
552:
549:
546:
543:
535:
532:
529:
525:
520:
513:
506:
498:
494:
489:
486:
483:
480:
472:
469:
466:
462:
457:
452:
444:
440:
435:
432:
429:
426:
418:
415:
412:
408:
403:
350:
349:
338:
335:
332:
329:
325:
322:
319:
316:
310:
306:
302:
299:
295:
288:
281:
276:
273:
268:
263:
259:
256:
253:
250:
245:
241:
237:
233:
226:
220:
217:
214:
211:
208:
205:
202:
199:
147:
143:
139:
135:
132:
129:
126:
114:
111:
77:
76:
31:
29:
22:
15:
9:
6:
4:
3:
2:
6852:
6841:
6840:Bilinear maps
6838:
6836:
6833:
6832:
6830:
6815:
6812:
6810:
6807:
6805:
6802:
6800:
6797:
6795:
6792:
6790:
6787:
6785:
6782:
6780:
6777:
6775:
6772:
6771:
6768:
6764:
6757:
6752:
6750:
6745:
6743:
6738:
6737:
6734:
6726:
6722:
6721:
6716:
6712:
6711:
6698:
6691:
6686:
6682:
6678:
6675:(2): 77–128.
6674:
6670:
6665:
6662:(4): 118–124.
6661:
6657:
6653:
6648:
6643:
6638:
6634:
6630:
6626:
6621:
6617:
6613:
6608:
6603:
6599:
6595:
6591:
6586:
6582:
6578:
6574:
6573:
6567:
6563:
6559:
6555:
6551:
6547:
6543:
6542:
6536:
6532:
6528:
6524:
6519:
6515:
6509:
6505:
6501:
6497:
6493:
6489:
6483:
6479:
6474:
6471:
6467:
6463:
6459:
6455:
6449:
6445:
6441:
6437:
6436:
6427:
6418:
6409:
6402:
6395:
6389:
6380:
6376:
6366:
6363:
6361:
6358:
6356:
6353:
6352:
6346:
6344:
6339:
6337:
6333:
6328:
6325:
6321:
6311:
6309:
6305:
6301:
6297:
6274:
6271:
6268:
6265:
6262:
6256:
6253:
6250:
6244:
6241:
6238:
6232:
6229:
6223:
6220:
6217:
6211:
6208:
6201:
6200:
6199:
6197:
6193:
6170:
6166:
6158:
6152:
6139:
6136:
6133:
6129:
6125:
6119:
6116:
6113:
6107:
6104:
6097:
6096:
6095:
6093:
6090:
6086:
6076:
6075:
6071:
6067:
6051:
6048:
6042:
6036:
6033:
6027:
6021:
6015:
6009:
5989:
5986:
5980:
5972:
5969:
5961:
5958:
5955:
5949:
5943:
5917:
5908:
5905:
5885:
5877:
5861:
5858:
5855:
5849:
5843:
5821:
5818:
5810:
5807:
5804:
5798:
5792:
5780:
5762:
5759:
5756:
5748:
5742:
5735:
5732:
5724:
5721:
5718:
5712:
5706:
5692:
5687:
5684:
5681:
5677:
5673:
5668:
5665:
5661:
5652:
5650:
5631:
5627:
5621:
5611:
5607:
5600:
5597:
5592:
5582:
5578:
5571:
5563:
5559:
5552:
5547:
5539:
5536:
5527:
5524:
5521:
5518:
5515:
5512:
5509:
5504:
5496:
5492:
5488:
5485:
5482:
5477:
5473:
5469:
5464:
5460:
5446:
5436:
5432:
5428:
5425:
5422:
5417:
5413:
5409:
5404:
5400:
5394:
5391:
5386:
5382:
5378:
5375:
5372:
5369:
5364:
5360:
5356:
5353:
5348:
5344:
5337:
5332:
5323:
5312:
5309:
5306:
5302:
5298:
5292:
5284:
5281:
5277:
5269:
5268:
5267:
5266:is given by
5265:
5261:
5257:
5253:
5250:
5228:
5223:
5220:
5215:
5211:
5205:
5199:
5194:
5190:
5184:
5176:
5172:
5164:
5148:
5144:
5136:
5132:
5131:
5113:
5107:
5103:
5098:
5090:
5086:
5078:
5064:
5057:
5054:
5053:
5048:
5043:
5041:
5038:
5035:
5034:
5017:
5013:
5005:
4999:
4992:
4976:
4972:
4964:
4963:
4960:
4957:
4954:
4951:
4950:
4946:
4943:
4942:
4919:
4899:
4896:
4890:
4884:
4862:
4859:
4855:
4851:
4848:
4845:
4840:
4837:
4829:
4826:
4823:
4812:
4808:
4804:
4786:
4780:
4774:
4768:
4765:
4759:
4751:
4748:
4744:
4735:
4731:
4727:
4710:
4707:
4703:
4699:
4694:
4691:
4687:
4683:
4678:
4675:
4667:
4664:
4661:
4650:
4647:
4643:
4638:
4633:
4630:The function
4629:
4628:
4627:
4605:
4599:
4593:
4589:
4584:
4581:
4576:
4572:
4569:
4564:
4561:
4558:
4551:
4547:
4543:
4539:
4527:
4521:
4516:
4513:
4504:
4495:
4489:
4482:
4481:
4480:
4466:
4463:
4460:
4433:
4427:
4423:
4413:
4407:
4401:
4395:
4392:
4386:
4380:
4374:
4368:
4362:
4359:
4353:
4347:
4340:
4325:
4322:
4316:
4310:
4307:
4301:
4295:
4289:
4283:
4280:
4274:
4268:
4262:
4256:
4253:
4247:
4241:
4235:
4229:
4226:
4220:
4211:
4208:
4205:
4195:
4194:
4193:
4179:
4176:
4173:
4146:
4140:
4136:
4126:
4120:
4114:
4108:
4102:
4099:
4093:
4087:
4080:
4065:
4062:
4056:
4050:
4047:
4041:
4035:
4029:
4023:
4020:
4014:
4008:
4002:
3996:
3993:
3987:
3978:
3975:
3972:
3962:
3961:
3960:
3946:
3943:
3940:
3913:
3907:
3903:
3893:
3887:
3881:
3875:
3869:
3866:
3860:
3854:
3847:
3832:
3829:
3823:
3817:
3814:
3808:
3802:
3796:
3790:
3787:
3781:
3775:
3769:
3763:
3760:
3754:
3745:
3742:
3739:
3729:
3728:
3727:
3713:
3710:
3707:
3683:
3680:
3674:
3668:
3648:
3625:
3619:
3615:
3611:
3608:
3602:
3596:
3589:
3574:
3571:
3565:
3559:
3556:
3550:
3544:
3538:
3532:
3529:
3523:
3514:
3511:
3508:
3498:
3497:
3496:
3482:
3479:
3476:
3467:
3453:
3450:
3447:
3424:
3418:
3395:
3389:
3367:
3364:
3360:
3356:
3353:
3333:
3314:
3312:
3296:
3288:
3269:
3263:
3239:
3235:
3230:
3227:
3222:
3218:
3214:
3208:
3202:
3197:
3192:
3189:
3186:
3182:
3178:
3172:
3163:
3160:
3157:
3149:
3146:
3143:
3139:
3135:
3129:
3123:
3116:
3115:
3114:
3112:
3089:
3086:
3083:
3071:
3057:
3028:
3024:
3021:
3018:
3015:
3008:
2985:
2981:
2978:
2975:
2965:
2963:
2959:
2955:
2936:
2930:
2910:
2905:
2901:
2897:
2894:
2891:
2883:
2871:
2869:
2833:
2830:
2827:
2824:
2814:
2798:
2795:
2792:
2788:
2784:
2779:
2775:
2771:
2763:
2759:
2753:
2736:
2734:
2716:
2706:
2703:
2700:
2695:
2691:
2683:
2667:
2659:
2656:
2653:
2647:
2644:
2641:
2636:
2632:
2624:
2610:
2607:
2601:
2596:
2583:
2578:
2564:
2543:
2539:
2536:
2533:
2530:
2523:
2521:
2517:
2501:
2498:
2490:
2482:
2479:
2472:
2453:
2450:
2447:
2444:
2424:
2421:
2418:
2415:
2412:
2405:
2390:
2387:
2379:
2376:
2369:
2367:
2346:
2343:
2340:
2337:
2330:
2316:
2313:
2310:
2307:
2304:
2297:
2283:
2280:
2277:
2274:
2262:
2260:
2256:
2251:
2247:
2231:
2228:
2223:
2219:
2215:
2210:
2196:
2190:
2186:
2182:
2165:
2162:
2159:
2156:
2153:
2146:
2140:
2136:
2119:
2116:
2108:
2105:
2098:
2095:
2091:
2088:
2072:
2069:
2064:
2054:
2049:
2045:
2037:
2035:
2019:
2016:
2013:
2010:
2007:
1987:
1984:
1981:
1978:
1975:
1968:
1965:
1961:
1945:
1925:
1922:
1919:
1916:
1913:
1906:
1905:
1904:
1884:
1880:
1876:
1870:
1862:
1847:
1829:
1815:
1800:
1797:
1791:
1775:
1750:
1735:
1732:
1729:
1709:
1706:
1700:
1692:
1688:
1679:
1658:
1655:
1633:
1629:
1621:
1618:
1602:
1594:
1578:
1558:
1538:
1535:
1529:
1523:
1503:
1496:
1475:
1472:
1463:
1457:
1451:
1431:
1428:
1422:
1416:
1396:
1389:
1388:
1387:
1385:
1375:
1358:
1355:
1349:
1343:
1340:
1334:
1331:
1325:
1322:
1319:
1296:
1276:
1269:
1263:
1259:
1255:
1251:
1247:
1243:
1236:
1230:
1216:
1213:
1210:
1207:
1201:
1195:
1192:
1186:
1180:
1177:
1171:
1162:
1159:
1156:
1144:
1139:
1125:
1117:
1110:, called the
1097:
1094:
1089:
1086:
1082:
1078:
1075:
1053:
1050:
1046:
1025:
1022:
1016:
1010:
990:
966:
963:
960:
957:
954:
934:
931:
928:
921:
920:
919:
901:
898:
895:
892:
889:
886:
883:
876:
875:
874:
872:
853:
850:
847:
844:
841:
838:
835:
832:
826:
823:
820:
814:
811:
804:
803:
802:
800:
782:
776:
773:
770:
764:
761:
758:
755:
752:
746:
743:
740:
730:
729:
728:
726:
721:
717:
712:
708:
702:
695:
691:
684:
677:
673:
668:
665:
664:unit function
659:
655:
651:
647:
643:
639:
635:
628:
624:
619:
615:
607:
583:
579:
571:
567:
559:
550:
547:
544:
533:
530:
527:
523:
518:
511:
504:
496:
492:
484:
478:
470:
467:
464:
460:
455:
450:
442:
438:
430:
424:
416:
413:
410:
406:
401:
393:
392:
391:
389:
385:
380:
378:
372:
368:
362:
358:
355:
333:
327:
320:
314:
308:
304:
300:
297:
293:
286:
279:
274:
271:
266:
261:
254:
248:
243:
239:
235:
231:
224:
215:
206:
203:
200:
190:
189:
188:
185:
181:
177:
176:
170:
166:
162:
133:
130:
127:
124:
110:
108:
104:
103:number theory
100:
96:
92:
88:
84:
73:
70:
62:
52:
48:
42:
41:
35:
30:
21:
20:
6803:
6718:
6697:the original
6672:
6668:
6659:
6655:
6632:
6628:
6597:
6593:
6570:
6545:
6539:
6522:
6503:
6477:
6443:
6426:
6417:
6407:
6401:
6388:
6379:
6340:
6329:
6317:
6299:
6295:
6293:
6195:
6189:
6084:
6082:
6073:
6069:
6065:
5875:
5781:
5653:
5648:
5646:
5263:
5254:is given in
5251:
5246:
5046:
5039:
4958:
4806:
4729:
4636:
4631:
4625:
4452:
4165:
3932:
3699:
3468:
3325:
3255:
3108:
2961:
2957:
2515:
2514: where
2258:
2254:
2249:
2245:
2188:
2184:
2180:
2138:
2134:
2093:
2089:
1902:
1845:
1773:
1381:
1261:
1257:
1253:
1249:
1245:
1241:
1234:
1231:
1140:
1111:
982:
917:
869:
799:distributive
797:
722:
715:
710:
700:
693:
689:
682:
675:
671:
666:
657:
653:
649:
645:
641:
637:
633:
626:
622:
609:
603:
386:such as the
381:
376:
370:
366:
360:
356:
351:
183:
179:
172:
116:
97:defined for
90:
86:
80:
65:
56:
37:
1593:denote this
871:commutative
725:associative
669:defined by
175:convolution
83:mathematics
51:introducing
6829:Categories
6594:Math. Comp
6470:0335.10001
6371:References
6324:bi-unitary
6194:arguments
6190:for those
4912:and where
4622:Properties
1266:. Given a
600:Properties
173:Dirichlet
113:Definition
34:references
6725:EMS Press
6548:: 66–80.
6266:∗
6145:∞
6130:∑
6034:−
6022:ε
5970:∗
5959:−
5956:ε
5912:Ω
5859:−
5856:ε
5819:∗
5808:−
5805:ε
5733:∗
5722:−
5719:ε
5696:∞
5678:∑
5666:−
5608:λ
5598:⋯
5579:λ
5560:λ
5537:−
5522:⋯
5493:λ
5486:⋯
5474:λ
5461:λ
5433:λ
5426:…
5414:λ
5401:λ
5383:λ
5373:⋯
5361:λ
5345:λ
5338:∑
5318:Ω
5303:∑
5282:−
5258:. A more
5212:μ
5200:μ
5195:α
5173:∑
5149:α
5145:σ
5108:μ
5087:∑
5065:φ
5018:α
5000:μ
4977:α
4920:⋅
4897:≠
4877:whenever
4860:−
4852:⋅
4838:−
4827:⋅
4769:μ
4749:−
4708:−
4700:∗
4692:−
4676:−
4665:∗
4570:
4548:∣
4540:∑
4514:−
4363:−
4311:ε
4209:∗
4103:−
4051:ε
3976:∗
3870:−
3818:ε
3743:∗
3560:ε
3512:∗
3365:−
3297:ω
3203:ω
3183:∑
3164:μ
3161:∗
3158:ω
3147:≤
3140:∑
3124:π
3078:↦
3022:μ
3019:∗
3016:ω
2979:μ
2976:∗
2973:Ω
2956:counting
2931:ω
2906:ω
2892:∗
2884:μ
2854:Λ
2825:∗
2822:Λ
2772:∗
2701:∗
2657:∗
2654:τ
2642:∗
2633:τ
2611:ε
2602:μ
2584:∗
2534:∗
2531:λ
2502:ε
2491:μ
2483:∗
2480:λ
2448:∗
2445:ϕ
2425:τ
2422:∗
2419:ϕ
2413:σ
2391:μ
2388:∗
2377:ϕ
2341:∗
2338:ϕ
2317:μ
2314:∗
2311:τ
2284:μ
2281:∗
2278:σ
2232:μ
2229:∗
2220:σ
2163:∗
2154:τ
2117:∗
2106:σ
2070:∗
2046:σ
2020:μ
2017:∗
1985:∗
1966:). Hence:
1926:ε
1920:μ
1917:∗
1733:∈
1676:is a set
1659:⊂
1603:ζ
1482:⌋
1467:⌊
1452:ε
1417:ε
1397:ε
1350:∗
1323:∗
1214:≠
1098:ε
1087:−
1079:∗
1051:−
1023:≠
958:∗
955:ε
935:ε
932:∗
899:∗
887:∗
851:∗
839:∗
815:∗
774:∗
765:∗
753:∗
744:∗
548:∗
531:≥
524:∑
468:≥
461:∑
414:≥
407:∑
294:∑
240:∣
232:∑
204:∗
142:→
59:June 2018
6502:(2007).
6442:(1976),
6349:See also
6300:does not
6294:for all
5651: :
3322:Examples
3236:⌋
3223:⌊
2958:distinct
2846:, where
1551:for all
620:, where
616:, under
359:of
354:divisors
165:integers
159:are two
6727:, 2001
6681:1962765
6616:0993927
6581:0122790
6562:0112861
6531:0109806
6462:0434929
6320:unitary
6192:complex
5050:|
4639:(1) ≠ 0
3285:is the
2952:is the
1958:is the
1844:is the
1003:having
718:(1) ≠ 0
167:to the
93:) is a
47:improve
6679:
6614:
6579:
6560:
6529:
6510:
6484:
6468:
6460:
6450:
6334:of a
4508:
4502:
3256:where
3049:where
2923:where
2257:, and
2085:, the
2032:, the
705:. The
703:> 1
608:, the
515:
509:
290:
284:
228:
222:
171:, the
85:, the
36:, but
6700:(PDF)
6693:(PDF)
6336:poset
5933:then
5898:, if
4813:then
3587:, so
1964:proof
1962:(see
1068:with
713:with
707:units
696:) = 0
678:) = 1
6508:ISBN
6482:ISBN
6448:ISBN
6341:The
5909:>
5133:The
4562:<
4464:>
4166:For
3933:For
3700:For
3469:For
3451:<
3440:for
3289:and
2187:) =
1722:iff
1648:for
1248:) =
687:and
652:) +
644:) =
89:(or
6637:doi
6602:doi
6550:doi
6466:Zbl
6083:If
4809:is
4805:If
4732:is
2866:is
2834:log
2731:,
2518:is
1776::
1680::
1595:as
1118:of
698:if
685:= 1
680:if
117:If
81:In
6831::
6723:,
6717:,
6677:MR
6671:.
6658:.
6654:.
6633:16
6631:.
6627:.
6612:MR
6610:.
6598:54
6596:.
6592:.
6577:MR
6558:MR
6556:.
6546:74
6544:.
6527:MR
6498:;
6464:,
6458:MR
6456:,
6322:,
6310:.
6074:n.
4479:,
4192::
3959::
3726::
3495::
3466:.
2749:Id
2712:Id
2592:Id
2574:Id
2548:Sq
2458:Id
2384:Id
2351:Id
2271:Id
2253:,
2206:Id
2137:=
2113:Id
2060:Id
1858:Id
1825:Id
1785:Id
1759:Id
1619:.)
1494:).
1386::
1256:)
1244:)(
1242:fg
1235:fg
1138:.
947:=
873:,
727:,
720:.
640:)(
636:+
625:+
379:.
369:,
182:∗
109:.
6755:e
6748:t
6741:v
6683:.
6673:6
6660:6
6645:.
6639::
6618:.
6604::
6583:.
6564:.
6552::
6533:.
6516:.
6490:.
6410:.
6396:.
6296:s
6278:)
6275:s
6272:;
6269:g
6263:f
6260:(
6257:G
6254:D
6251:=
6248:)
6245:s
6242:;
6239:g
6236:(
6233:G
6230:D
6227:)
6224:s
6221:;
6218:f
6215:(
6212:G
6209:D
6196:s
6171:s
6167:n
6162:)
6159:n
6156:(
6153:f
6140:1
6137:=
6134:n
6126:=
6123:)
6120:s
6117:;
6114:f
6111:(
6108:G
6105:D
6085:f
6070:k
6066:n
6052:0
6049:=
6046:)
6043:1
6040:(
6037:f
6031:)
6028:1
6025:(
6019:)
6016:1
6013:(
6010:f
5990:0
5987:=
5984:)
5981:n
5978:(
5973:k
5966:)
5962:f
5953:)
5950:1
5947:(
5944:f
5941:(
5921:)
5918:n
5915:(
5906:k
5886:n
5876:k
5862:f
5853:)
5850:1
5847:(
5844:f
5822:k
5815:)
5811:f
5802:)
5799:1
5796:(
5793:f
5790:(
5763:1
5760:+
5757:k
5753:)
5749:1
5746:(
5743:f
5736:k
5729:)
5725:f
5716:)
5713:1
5710:(
5707:f
5704:(
5693:+
5688:0
5685:=
5682:k
5674:=
5669:1
5662:f
5649:f
5632:.
5628:}
5622:k
5618:)
5612:k
5604:(
5601:f
5593:2
5589:)
5583:2
5575:(
5572:f
5569:)
5564:1
5556:(
5553:f
5548:k
5544:)
5540:1
5534:(
5528:!
5525:k
5519:!
5516:2
5513:!
5510:1
5505:!
5502:)
5497:k
5489:+
5483:+
5478:2
5470:+
5465:1
5457:(
5447:n
5443:|
5437:k
5429:,
5423:,
5418:2
5410:,
5405:1
5395:n
5392:=
5387:k
5379:k
5376:+
5370:+
5365:2
5357:2
5354:+
5349:1
5333:{
5327:)
5324:n
5321:(
5313:1
5310:=
5307:k
5299:=
5296:)
5293:n
5290:(
5285:1
5278:f
5264:f
5252:f
5229:)
5224:d
5221:n
5216:(
5209:)
5206:d
5203:(
5191:d
5185:n
5181:|
5177:d
5117:)
5114:d
5111:(
5104:d
5099:n
5095:|
5091:d
5047:μ
5040:λ
5014:n
5009:)
5006:n
5003:(
4973:n
4959:μ
4900:0
4894:)
4891:1
4888:(
4885:g
4863:1
4856:g
4849:f
4846:=
4841:1
4834:)
4830:g
4824:f
4821:(
4807:f
4802:.
4790:)
4787:n
4784:(
4781:f
4778:)
4775:n
4772:(
4766:=
4763:)
4760:n
4757:(
4752:1
4745:f
4730:f
4725:.
4711:1
4704:g
4695:1
4688:f
4684:=
4679:1
4672:)
4668:g
4662:f
4659:(
4641:.
4637:f
4632:f
4606:.
4603:)
4600:d
4597:(
4594:g
4590:)
4585:d
4582:n
4577:(
4573:f
4565:n
4559:d
4552:n
4544:d
4531:)
4528:1
4525:(
4522:f
4517:1
4505:=
4499:)
4496:n
4493:(
4490:g
4467:1
4461:n
4449:,
4437:)
4434:1
4431:(
4428:f
4424:/
4420:)
4417:)
4414:2
4411:(
4408:g
4405:)
4402:2
4399:(
4396:f
4393:+
4390:)
4387:1
4384:(
4381:g
4378:)
4375:4
4372:(
4369:f
4366:(
4360:=
4357:)
4354:4
4351:(
4348:g
4338:,
4326:0
4323:=
4320:)
4317:4
4314:(
4308:=
4305:)
4302:1
4299:(
4296:g
4293:)
4290:4
4287:(
4284:f
4281:+
4278:)
4275:2
4272:(
4269:g
4266:)
4263:2
4260:(
4257:f
4254:+
4251:)
4248:4
4245:(
4242:g
4239:)
4236:1
4233:(
4230:f
4227:=
4224:)
4221:4
4218:(
4215:)
4212:g
4206:f
4203:(
4180:4
4177:=
4174:n
4162:,
4150:)
4147:1
4144:(
4141:f
4137:/
4133:)
4130:)
4127:1
4124:(
4121:g
4118:)
4115:3
4112:(
4109:f
4106:(
4100:=
4097:)
4094:3
4091:(
4088:g
4078:,
4066:0
4063:=
4060:)
4057:3
4054:(
4048:=
4045:)
4042:1
4039:(
4036:g
4033:)
4030:3
4027:(
4024:f
4021:+
4018:)
4015:3
4012:(
4009:g
4006:)
4003:1
4000:(
3997:f
3994:=
3991:)
3988:3
3985:(
3982:)
3979:g
3973:f
3970:(
3947:3
3944:=
3941:n
3929:,
3917:)
3914:1
3911:(
3908:f
3904:/
3900:)
3897:)
3894:1
3891:(
3888:g
3885:)
3882:2
3879:(
3876:f
3873:(
3867:=
3864:)
3861:2
3858:(
3855:g
3845:,
3833:0
3830:=
3827:)
3824:2
3821:(
3815:=
3812:)
3809:1
3806:(
3803:g
3800:)
3797:2
3794:(
3791:f
3788:+
3785:)
3782:2
3779:(
3776:g
3773:)
3770:1
3767:(
3764:f
3761:=
3758:)
3755:2
3752:(
3749:)
3746:g
3740:f
3737:(
3714:2
3711:=
3708:n
3696:.
3684:0
3681:=
3678:)
3675:1
3672:(
3669:f
3649:f
3629:)
3626:1
3623:(
3620:f
3616:/
3612:1
3609:=
3606:)
3603:1
3600:(
3597:g
3575:1
3572:=
3569:)
3566:1
3563:(
3557:=
3554:)
3551:1
3548:(
3545:g
3542:)
3539:1
3536:(
3533:f
3530:=
3527:)
3524:1
3521:(
3518:)
3515:g
3509:f
3506:(
3483:1
3480:=
3477:n
3454:n
3448:m
3428:)
3425:m
3422:(
3419:g
3399:)
3396:n
3393:(
3390:g
3368:1
3361:f
3357:=
3354:g
3334:f
3273:)
3270:x
3267:(
3264:M
3240:)
3231:d
3228:x
3219:(
3215:M
3212:)
3209:d
3206:(
3198:x
3193:1
3190:=
3187:d
3179:=
3176:)
3173:n
3170:(
3167:)
3155:(
3150:x
3144:n
3136:=
3133:)
3130:x
3127:(
3093:}
3090:1
3087:,
3084:0
3081:{
3075:)
3072:n
3069:(
3063:P
3058:1
3034:P
3029:1
3025:=
2991:P
2986:1
2982:=
2962:n
2940:)
2937:n
2934:(
2911:,
2902:2
2898:=
2895:1
2888:|
2880:|
2831:=
2828:1
2799:r
2796:+
2793:s
2789:J
2785:=
2780:s
2776:J
2769:)
2764:r
2760:J
2754:s
2744:(
2717:k
2707:=
2704:1
2696:k
2692:J
2668:2
2664:)
2660:1
2651:(
2648:=
2645:1
2637:3
2608:=
2605:)
2597:k
2587:(
2579:k
2544:1
2540:=
2537:1
2516:λ
2499:=
2495:|
2487:|
2454:=
2451:1
2416:=
2380:=
2347:=
2344:1
2308:=
2305:1
2275:=
2259:τ
2255:σ
2250:k
2246:σ
2224:k
2216:=
2211:k
2192:0
2189:σ
2185:n
2183:(
2181:τ
2166:1
2160:1
2157:=
2142:1
2139:σ
2135:σ
2120:1
2109:=
2094:k
2090:σ
2073:1
2065:k
2055:=
2050:k
2014:g
2011:=
2008:f
1988:1
1982:f
1979:=
1976:g
1946:1
1923:=
1914:1
1899:.
1885:k
1881:n
1877:=
1874:)
1871:n
1868:(
1863:k
1846:k
1830:k
1813:.
1801:n
1798:=
1795:)
1792:n
1789:(
1774:n
1736:C
1730:n
1710:1
1707:=
1704:)
1701:n
1698:(
1693:C
1689:1
1663:N
1656:C
1634:C
1630:1
1579:1
1559:n
1539:1
1536:=
1533:)
1530:n
1527:(
1524:1
1504:1
1476:n
1473:1
1464:=
1461:)
1458:n
1455:(
1432:1
1429:=
1426:)
1423:1
1420:(
1362:)
1359:h
1356:g
1353:(
1347:)
1344:h
1341:f
1338:(
1335:=
1332:h
1329:)
1326:g
1320:f
1317:(
1297:h
1277:h
1264:)
1262:n
1260:(
1258:g
1254:n
1252:(
1250:f
1246:n
1240:(
1217:1
1211:2
1208:=
1205:)
1202:1
1199:(
1196:g
1193:+
1190:)
1187:1
1184:(
1181:f
1178:=
1175:)
1172:1
1169:(
1166:)
1163:g
1160:+
1157:f
1154:(
1126:f
1095:=
1090:1
1083:f
1076:f
1054:1
1047:f
1026:0
1020:)
1017:1
1014:(
1011:f
991:f
979:.
967:f
964:=
961:f
929:f
914:,
902:f
896:g
893:=
890:g
884:f
866:,
854:h
848:f
845:+
842:g
836:f
833:=
830:)
827:h
824:+
821:g
818:(
812:f
783:,
780:)
777:h
771:g
768:(
762:f
759:=
756:h
750:)
747:g
741:f
738:(
716:f
711:f
701:n
694:n
692:(
690:ε
683:n
676:n
674:(
672:ε
667:ε
660:)
658:n
656:(
654:g
650:n
648:(
646:f
642:n
638:g
634:f
632:(
627:g
623:f
584:.
580:)
572:s
568:n
563:)
560:n
557:(
554:)
551:g
545:f
542:(
534:1
528:n
519:(
512:=
505:)
497:s
493:n
488:)
485:n
482:(
479:g
471:1
465:n
456:(
451:)
443:s
439:n
434:)
431:n
428:(
425:f
417:1
411:n
402:(
377:n
373:)
371:b
367:a
365:(
361:n
357:d
337:)
334:b
331:(
328:g
324:)
321:a
318:(
315:f
309:n
305:=
301:b
298:a
287:=
280:)
275:d
272:n
267:(
262:g
258:)
255:d
252:(
249:f
244:n
236:d
225:=
219:)
216:n
213:(
210:)
207:g
201:f
198:(
184:g
180:f
146:C
138:N
134::
131:g
128:,
125:f
72:)
66:(
61:)
57:(
43:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.