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-7 of 7 results.

A343023 Number of cyclic cubic fields with discriminant n^2.

Original entry on oeis.org

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

Views

Author

Jianing Song, Apr 02 2021

Keywords

Comments

Equivalently, number of cubic fields with discriminant n^2. That is to say, it makes no difference if the word "cyclic" is omitted from the title.
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.
Each term is 0 or a power of 2.
The first occurrence of 2^t is 9*A121940(t) for t >= 1.

Examples

			a(7) = 1 since there is only 1 (cyclic) cubic field with discriminant 7^2 = 49 is Q[x]/(x^3 - x^2 + x + 1).
a(63) = 2 since there are 2 (cyclic) cubic fields with discriminant 63^2 = 3969: Q[x]/(x^3 - 21x - 28) and Q[x]/(x^3 - 21x - 35).
a(819) = 4 since there are 4 (cyclic) cubic fields with discriminant 819^2 = 670761: 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).
a(35) = 0 since it is not of form (p_1)*(p_2)*...*(p_t) or 9*(p_1)*(p_2)*...*(p_{t-1}) with distinct primes p_i == 1 (mod 3). Indeed, there are no (cyclic) cubic fields with discriminant 35^2 = 1225.
		

Crossrefs

Cf. A160498, A121940, A343000 (discriminants of cyclic cubic fields), A343001 (indices of positive terms).

Programs

  • PARI
    a(n) = if(n<=1, 0, 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-1))

Formula

a(n) = A160498(n)/2 for n > 1.

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.

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-7 of 7 results.