cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-8 of 8 results.

A160498 Number of cubic primitive Dirichlet characters modulo n.

Original entry on oeis.org

1, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 4, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0
Offset: 1

Views

Author

Steven Finch, May 15 2009

Keywords

Comments

Also called primitive Dirichlet characters of order 3.
Mobius transform of A060839.
C. David, J. Fearnley & H. Kisilevsky prove that Sum_{k=1..n} a(k) ~ C*n, with C = (11*sqrt(3)/(18*Pi)) * Product_{primes p == 1 (mod 3)} (1 - 2/(p*(p+1))) = 0.3170565167922841205670156...; they credit Cohen, F. Diaz y Diaz, & M. Olivier 2002 (see Proposition 5.2. and Corollary 5.3.). - Charles R Greathouse IV, Aug 26 2009 [corrected by Vaclav Kotesovec, Sep 16 2020]
a(n) is the number of primitive Dirichlet characters modulo n such that all entries are 0 or a cubic root of unity: 1, w = (-1 + sqrt(3)*i)/2 or w^2 = (-1 - sqrt(3)*i)/2. - Jianing Song, Feb 27 2019
Every term is 0 or a power of 2. - Jianing Song, Mar 02 2019
From Jianing Song, Apr 03 2021: (Start)
For n >= 2, a(n) is the number of cyclic cubic fields with discriminant n^2. See A343023 for detailed information.
The first occurrence of 2^t is 9*A121940(t-1) for t >= 2. (End)

Examples

			From _Jianing Song_, Mar 02 2019: (Start)
Let w = (-1 + sqrt(3)*i)/2 be one of the primitive 3rd root of unity.
For n = 7, the 2 cubic primitive Dirichlet characters modulo n are [0, 1, w, w^2, w^2, w, 1] and [0, 1, w^2, w, w, w^2, 1], so a(7) = 2.
For n = 9, the 2 cubic primitive Dirichlet characters modulo n are [0, 1, w, 0, w^2, w^2, 0, w, 1] and [0, 1, w^2, 0, w, w, 0, w^2, 1], so a(9) = 2. (End)
		

Crossrefs

Cf. A114643 (number of quadratic primitive Dirichlet characters modulo n), A160499 (number of quartic primitive Dirichlet characters modulo n).
Cf. A060839 (number of solutions to x^3 == 1 (mod n)).

Programs

  • Mathematica
    A060839[n_] := Sum[If[Mod[k^3 - 1, n] == 0, 1, 0], {k, 1, n}]; a[n_] := Sum[ MoebiusMu[n/d]*A060839[d], {d, Divisors[n]}]; Table[a[n], {n, 2, 81}] (* Jean-François Alcover, Jun 19 2013 *)
    f[3, 2] = 2; f[p_, e_] := If[Mod[p, 3] == 1 && e == 1, 2, 0]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Sep 16 2020 *)
  • PARI
    a(n)=sum(d=1, n, if(n%d==0, moebius(n/d)*sum(i=1, d, if((i^3-1)%d, 0, 1)), 0)) \\ Steven Finch, Jun 09 2009
    
  • PARI
    A005088(n)=my(f=factor(n)[,1]); sum(i=1,#f,f[i]%3==1)
    A060839(n)=3^((n%9==0)+A005088(n))
    a(n)=sumdiv(n,d,moebius(n/d)*A060839(d)) \\ Charles R Greathouse IV, Aug 26 2009
    
  • PARI
    a(n) = my(L=factor(n), w=omega(n)); for(i=1, w, if(!((L[i, 1]%3==1 && L[i, 2]==1) || L[i, 1]^L[i, 2] == 9), return(0))); 2^w \\ Jianing Song, Apr 03 2021

Formula

Multiplicative with a(p^e) = 2 if p^e = 9 or p == 1 (mod 3) and e = 1, otherwise 0. - Jianing Song, Mar 02 2019
a(n) = 2*A343023(n) for n >= 2. - Jianing Song, Apr 03 2021

Extensions

a(1) = 1 prepended by Jianing Song, Feb 27 2019

A343000 Discriminants of cyclic cubic fields.

Original entry on oeis.org

49, 81, 169, 361, 961, 1369, 1849, 3721, 3969, 4489, 5329, 6241, 8281, 9409, 10609, 11881, 13689, 16129, 17689, 19321, 22801, 24649, 26569, 29241, 32761, 37249, 39601, 44521, 47089, 49729, 52441, 58081, 61009, 67081, 73441, 76729, 77841, 80089, 90601, 94249, 97969
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

Square terms in A006832.
Numbers of the form k^2 where A160498(k) >= 2.
Each term k^2 is associated with A343003(k) cyclic cubic fields.
Let D be a discriminant of a cubic field F, then F is a cyclic cubic field if and only if D is a square. For D = k^2, k must be of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), in which case there are exactly 2^(t-1) = 2^(omega(k)-1) (cyclic) cubic fields with discriminant D. See Page 17, Theorem 2.7 of the Ka Lun Wong link.

Examples

			49 = 7^2 is a term since it is the discriminant of the cyclic cubic field Q[x]/(x^3 - x^2 + x + 1).
81 = 9^2 is a term since it is the discriminant of the cyclic cubic field Q[x]/(x^3 - 3x - 1).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: this sequence, A343001.
Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
At least 2 associated cyclic cubic fields: A343024, A343025.
Exactly 2 associated cyclic cubic fields: A343002, A343003.

Programs

  • PARI
    isA343000(n) = if(issquare(n)&&n>1, my(k=sqrtint(n), L=factor(k), w=omega(k)); for(i=1, w, if(!((L[i, 1]%3==1 && L[i, 2]==1) || L[i, 1]^L[i, 2] == 9), return(0))); 1)

Formula

a(n) = A343001(n)^2.

A343001 Square roots of discriminants of cyclic cubic fields.

Original entry on oeis.org

7, 9, 13, 19, 31, 37, 43, 61, 63, 67, 73, 79, 91, 97, 103, 109, 117, 127, 133, 139, 151, 157, 163, 171, 181, 193, 199, 211, 217, 223, 229, 241, 247, 259, 271, 277, 279, 283, 301, 307, 313, 331, 333, 337, 349, 367, 373, 379, 387, 397, 403, 409, 421, 427
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

Numbers k such that k^2 is in A006832.
Numbers k such that A160498(k) >= 2.
Each term k is associated with A343003(k) cyclic cubic fields.
Let D be a discriminant of a cubic field F, then F is a cyclic cubic field if and only if D is a square. For D = k^2, k must be of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), in which case there are exactly 2^(t-1) = 2^(omega(k)-1) (cyclic) cubic fields with discriminant D. See Page 17, Theorem 2.7 of the Ka Lun Wong link.

Examples

			7 is a term since 7^2 = 49 is the discriminant of the cyclic cubic field Q[x]/(x^3 - x^2 - 2*x + 1).
9 is a term since 9^2 = 81 is the discriminant of the cyclic cubic field Q[x]/(x^3 - 3*x - 1).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: A343000, this sequence.
Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
At least 2 associated cyclic cubic fields: A343024, A343025.
Exactly 2 associated cyclic cubic fields: A343002, A343003.

Programs

  • PARI
    isA343001(n) = my(L=factor(n), w=omega(n)); for(i=1, w, if(!((L[i,1]%3==1 && L[i,2]==1) || L[i,1]^L[i,2] == 9), return(0))); (n>1)

Formula

a(n) = sqrt(A343001(n)).

A343022 Discriminants with exactly 1 associated cyclic cubic field.

Original entry on oeis.org

49, 81, 169, 361, 961, 1369, 1849, 3721, 4489, 5329, 6241, 9409, 10609, 11881, 16129, 19321, 22801, 24649, 26569, 32761, 37249, 39601, 44521, 49729, 52441, 58081, 73441, 76729, 80089, 94249, 97969, 109561, 113569, 121801, 134689, 139129, 143641, 157609, 167281, 177241
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

A cubic field is cyclic if and only if its discriminant is a square. Hence all terms are squares.
Numbers of the form k^2 where A160498(k) = 2.
Numbers of the form k^2 where k is in A002476 U {9}. That is to say, numbers of the form k^2 where k = 9 or is a prime congruent to 1 modulo 3.
In general, there are exactly 2^(t-1) (cyclic) cubic fields with discriminant k^2 if and only if k is of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), See A343000 for more detailed information.

Examples

			169 is a term since the one (and only one) cyclic cubic field with that discriminant is Q[x]/(x^3 - x^2 - 4x - 1).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: A343000, A343001.
Exactly 1 associated cyclic cubic field: this sequence, A002476 U {9}.
At least 2 associated cyclic cubic fields: A343024, A343025.
Exactly 2 associated cyclic cubic fields: A343002, A343003.

Programs

  • PARI
    isA343022(n) = if(issquare(n), my(k=sqrtint(n)); k==9 || (isprime(k) && k%3==1), 0)

Formula

a(n) = A002476(n-1)^2 for n >= 3.

A343002 Discriminants with exactly 2 associated cyclic cubic fields.

Original entry on oeis.org

3969, 8281, 13689, 17689, 29241, 47089, 61009, 67081, 77841, 90601, 110889, 149769, 162409, 182329, 219961, 231361, 261121, 301401, 305809, 312481, 346921, 363609, 431649, 461041, 494209, 505521, 519841, 582169, 628849, 667489, 758641, 762129, 790321, 859329, 900601, 946729, 962361
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

A cubic field is cyclic if and only if its discriminant is a square. Hence all terms are squares.
Numbers of the form k^2 where A160498(k) = 4.
Numbers of the form k^2 where k is of the form (i) 9p, where p is a prime congruent to 1 modulo 3; (ii) pq, where p, q are distinct primes congruent to 1 modulo 3.
Products of two nonequal terms in A343022.
In general, there are exactly 2^(t-1) (cyclic) cubic fields with discriminant k^2 if and only if k is of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), See A343000 for more detailed information.

Examples

			3969 = 63^2 is a term since it is the discriminant of the 2 cyclic cubic fields Q[x]/(x^3 - 21x - 28) and Q[x]/(x^3 - 21x - 35).
8281 = 91^2 is a term since it is the discriminant of the 2 cyclic cubic fields Q[x]/(x^3 - x^2 - 30x + 64) and Q[x]/(x^3 - x^2 - 30x - 27).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: A343000, A343001.
Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
At least 2 associated cyclic cubic fields: A343024, A343025.
Exactly 2 associated cyclic cubic fields: this sequence, A343003.

Programs

  • PARI
    isA343002(n) = if(omega(n)==2, if(n==3969, 1, my(L=factor(n)); L[2,1]%3==1 && L[2,2]==2 && ((L[1,1]%3==1 && L[1,2]==2) || L[1,1]^L[1,2] == 81)), 0)

Formula

a(n) = A343003(n)^2.

A343003 Numbers k such that there are exactly 2 cyclic cubic fields with discriminant k^2.

Original entry on oeis.org

63, 91, 117, 133, 171, 217, 247, 259, 279, 301, 333, 387, 403, 427, 469, 481, 511, 549, 553, 559, 589, 603, 657, 679, 703, 711, 721, 763, 793, 817, 871, 873, 889, 927, 949, 973, 981, 1027, 1057, 1099, 1141, 1143, 1147, 1159, 1251, 1261, 1267, 1273, 1333
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

It makes no difference if the word "cyclic" is omitted from the title because a cubic field is cyclic if and only if its discriminant is a square.
Numbers k such that A160498(k) = 4.
Numbers of the form (i) 9p, where p is a prime congruent to 1 modulo 3; (ii) pq, where p, q are distinct primes congruent to 1 modulo 3.
In general, there are exactly 2^(t-1) (cyclic) cubic fields with discriminant k^2 if and only if k is of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), See A343000 for more detailed information.

Examples

			63 is a term since 63^2 = 3969 is the discriminant of the 2 cyclic cubic fields Q[x]/(x^3 - 21x - 28) and Q[x]/(x^3 - 21x - 35).
91 is a term since 91^2 = 8281 is the discriminant of the 2 cyclic cubic fields Q[x]/(x^3 - x^2 - 30x + 64) and Q[x]/(x^3 - x^2 - 30x - 27).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: A343000, A343001.
Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
At least 2 associated cyclic cubic fields: A343024, A343025.
Exactly 2 associated cyclic cubic fields: A343002, this sequence.

Programs

  • PARI
    isA343003(n) = if(omega(n)==2, if(n==63, 1, my(L=factor(n)); L[2,1]%3==1 && L[2,2]==1 && ((L[1,1]%3==1 && L[1,2]==1) || L[1,1]^L[1,2] == 9)), 0)

Formula

a(n) = sqrt(A343002(n)).

A343024 Discriminants with at least 2 associated cyclic cubic fields.

Original entry on oeis.org

3969, 8281, 13689, 17689, 29241, 47089, 61009, 67081, 77841, 90601, 110889, 149769, 162409, 182329, 219961, 231361, 261121, 301401, 305809, 312481, 346921, 363609, 431649, 461041, 494209, 505521, 519841, 582169, 628849, 667489, 670761, 758641, 762129, 790321, 859329, 900601, 946729, 962361
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

A cubic field is cyclic if and only if its discriminant is a square. Hence all terms are squares.
Numbers of the form k^2 where A160498(k) >= 4.
Terms in A343000 that are not 81 or a square of a prime.
Different from A343002 since a(31) = 819^2 = (7*9*13)^2.
In general, there are exactly 2^(t-1) (cyclic) cubic fields with discriminant k^2 if and only if k is of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3), See A343000 for more detailed information.

Examples

			8281 = 91^2 is a term since it is the discriminant of the 2 cyclic cubic fields Q[x]/(x^3 - x^2 - 30x + 64) and Q[x]/(x^3 - x^2 - 30x - 27).
670761 = 819^2 is a term since it is the discriminant of the 4 cyclic cubic fields Q[x]/(x^3 - 273x - 91), Q[x]/(x^3 - 273x - 728), Q[x]/(x^3 - 273x - 1547) and Q[x]/(x^3 - 273x - 1729).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: A343000, A343001.
Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
At least 2 associated cyclic cubic fields: this sequence, A343025.
Exactly 2 associated cyclic cubic fields: A343002, A343003.

Programs

  • PARI
    isA343024(n) = if(issquare(n), my(k=sqrtint(n), L=factor(k), w=omega(k)); if(w<2, return(0)); for(i=1, w, if(!((L[i, 1]%3==1 && L[i, 2]==1) || L[i, 1]^L[i, 2] == 9), return(0))); 1)

Formula

a(n) = A343025(n)^2.

A343025 Numbers k such that there are at least 2 cyclic cubic fields with discriminant k^2.

Original entry on oeis.org

63, 91, 117, 133, 171, 217, 247, 259, 279, 301, 333, 387, 403, 427, 469, 481, 511, 549, 553, 559, 589, 603, 657, 679, 703, 711, 721, 763, 793, 817, 819, 871, 873, 889, 927, 949, 973, 981, 1027, 1057, 1099, 1141, 1143, 1147, 1159, 1197, 1251, 1261, 1267
Offset: 1

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

It makes no difference if the word "cyclic" is omitted from the title because a cubic field is cyclic if and only if its discriminant is a square.
Numbers k such that A160498(k) >= 4.
Terms in A343001 that are not 9 or a prime.
Different from A343002 since a(31) = 819 = 7*9*13.
In general, there are exactly 2^(t-1) (cyclic) cubic fields with discriminant k^2 if and only if k is of the form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3); see A343000 for more detailed information.

Examples

			63 is a term since 63^2 = 3969 is the discriminant of the 2 cyclic cubic fields Q[x]/(x^3 - 21x - 28) and Q[x]/(x^3 - 21x - 35).
819 is a term since 819^2 = 670761 is the discriminant of the 4 cyclic cubic fields Q[x]/(x^3 - 273x - 91), Q[x]/(x^3 - 273x - 728), Q[x]/(x^3 - 273x - 1547) and Q[x]/(x^3 - 273x - 1729).
		

Crossrefs

Discriminants and their square roots of cyclic cubic fields:
At least 1 associated cyclic cubic field: A343000, A343001.
Exactly 1 associated cyclic cubic field: A343022, A002476 U {9}.
At least 2 associated cyclic cubic fields: A343024, this sequence.
Exactly 2 associated cyclic cubic fields: A343002, A343003.

Programs

  • PARI
    isA343025(n) = my(L=factor(n), w=omega(n)); if(w<2, return(0)); for(i=1, w, if(!((L[i, 1]%3==1 && L[i, 2]==1) || L[i, 1]^L[i, 2] == 9), return(0))); 1

Formula

a(n) = sqrt(A343024(n)).
Showing 1-8 of 8 results.