|
Search: id:A121380
|
|
|
| A121380 |
|
Sums of primitive roots for n (or 0 if n has no primitive roots). |
|
+0
1
|
|
| 0, 1, 2, 3, 5, 5, 8, 0, 7, 10, 23, 0, 26, 8, 0, 0, 68, 16, 57, 0, 0, 56, 139, 0, 100, 52, 75, 0, 174, 0, 123, 0, 0, 136, 0, 0, 222, 114, 0, 0, 328, 0, 257, 0, 0, 208, 612, 0, 300, 200, 0, 0, 636, 156, 0, 0, 0, 348, 886, 0, 488, 216, 0, 0, 0, 0, 669, 0, 0, 0, 1064, 0, 876, 444, 0, 0, 0
(list; graph; listen)
|
|
|
OFFSET
|
1,3
|
|
|
COMMENT
|
In Article 81 of his Disquisitiones Arithmeticae (1801), Gauss proves that the sum of all primitive roots (A001918) of a prime p, mod p, equals MoebiusMu[p-1] (A008683). "The sum of all primitive roots is either = 0 (mod p) (when p-1 is divisible by a square), or = +-1 (mod p) (when p-1 is the product of unequal prime numbers; if the number of these is even the sign is positive but if the number is odd, the sign is negative)."
|
|
REFERENCES
|
J. C. F. Gauss, Disquisitiones Arithmeticae, 1801.
|
|
LINKS
|
E. Weisstein, Primitive Roots.
|
|
FORMULA
|
Sum[PrimitiveRoots[n]]
|
|
EXAMPLE
|
The primitive roots of 13 are 2, 6, 7, 11. Their sum is 26, or 0 (mod 13). By Gauss, 13-1=12 is thus divisible by a square number.
|
|
MATHEMATICA
|
Table[Sum[PrimitiveRoots[n]], {n, 1, 1000}]
|
|
CROSSREFS
|
Cf. A001918, A008683.
Sequence in context: A067364 A090547 A087308 this_sequence A019759 A019965 A053148
Adjacent sequences: A121377 A121378 A121379 this_sequence A121381 A121382 A121383
|
|
KEYWORD
|
nice,nonn
|
|
AUTHOR
|
Ed Pegg Jr (ed(AT)mathpuzzle.com), Jul 25 2006
|
|
|
Search completed in 0.002 seconds
|
