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

A370067 Square array read by ascending antidiagonals: T(n,k) is the size of the group Q_p*/(Q_p*)^k, where p = prime(n), and Q_p is the field of p-adic numbers.

Original entry on oeis.org

1, 1, 8, 1, 4, 3, 1, 4, 9, 32, 1, 4, 3, 8, 5, 1, 4, 9, 16, 5, 24, 1, 4, 3, 8, 25, 36, 7, 1, 4, 9, 8, 5, 12, 7, 128, 1, 4, 3, 16, 25, 36, 7, 16, 9, 1, 4, 9, 16, 5, 12, 49, 32, 81, 40, 1, 4, 3, 8, 5, 36, 7, 16, 9, 20, 11, 1, 4, 3, 8, 5, 12, 7, 16, 27, 100, 11, 96, 1, 4, 9, 16, 5, 36, 7, 32, 9, 20, 11, 72, 13
Offset: 1

Views

Author

Jianing Song, Apr 30 2024

Keywords

Comments

We have Q_p* = p^Z X Z_p*, so Q_p*/(Q_p*)^k = (p^Z/p^(kZ)) X (Z_p*/(Z_p*)^k). Note that p^Z/p^(kZ) is a cyclic group of order k. For the group structure of (Z_p*/(Z_p*)^k), see A370050.
Each row is multiplicative.

Examples

			Table reads
  1, 8, 3, 32, 5, 24, 7, 128, 9, 40
  1, 4, 9, 8, 5, 36, 7, 16, 81, 20
  1, 4, 3, 16, 25, 12, 7, 32, 9, 100
  1, 4, 9, 8, 5, 36, 49, 16, 27, 20
  1, 4, 3, 8, 25, 12, 7, 16, 9, 100
  1, 4, 9, 16, 5, 36, 7, 32, 27, 20
  1, 4, 3, 16, 5, 12, 7, 64, 9, 20
  1, 4, 9, 8, 5, 36, 7, 16, 81, 20
  1, 4, 3, 8, 5, 12, 7, 16, 9, 20
  1, 4, 3, 16, 5, 12, 49, 32, 9, 20
		

Crossrefs

Programs

  • PARI
    T(n, k) = my(p = prime(n), e = valuation(k, p)); k * p^e*gcd(p-1, k/p^e) * if(p==2 && e>=1, 2, 1)

Formula

T(n,k) = k * A370050(n,k).
Write k = p^e * k' with k' not being divisible by p, and p = prime(n). If p is odd, then T(n,k) = k * p^e * gcd(p-1,k'). If p = 2 and k is odd, then T(n,k) = k. If p = 2 and k is even, then T(n,k) = k * 2^(e+1).

A370565 Size of the group Q_3*/(Q_3*)^n, where Q_3 is the field of 3-adic numbers.

Original entry on oeis.org

1, 4, 9, 8, 5, 36, 7, 16, 81, 20, 11, 72, 13, 28, 45, 32, 17, 324, 19, 40, 63, 44, 23, 144, 25, 52, 729, 56, 29, 180, 31, 64, 99, 68, 35, 648, 37, 76, 117, 80, 41, 252, 43, 88, 405, 92, 47, 288, 49, 100, 153, 104, 53, 2916, 55, 112, 171, 116, 59, 360, 61, 124, 567, 128
Offset: 1

Views

Author

Jianing Song, Apr 30 2024

Keywords

Comments

We have Q_3* = 3^Z X Z_3*, so Q_3*/(Q_3*)^k = (3^Z/3^(kZ)) X (Z_p*/(Z_3*)^k). Note that 3^Z/3^(kZ) is a cyclic group of order k. For the group structure of (Z_3*/(Z_3*)^k), see A370050.

Crossrefs

Programs

  • Mathematica
    a[n_] := Module[{e2 = IntegerExponent[n, 2], e3 = IntegerExponent[n, 3]}, 2^Min[e2, 1] * 3^e3 * n]; Array[a, 100] (* Amiram Eldar, May 20 2024 *)
  • PARI
    a(n, {p=3}) = my(e = valuation(n, p)); n * p^e*gcd(p-1, n/p^e)

Formula

Write n = 3^e * n' with k' not being divisible by 3, then a(n) = n * 3^e * gcd(2,n').
Multiplicative with a(3^e) = 3^(2*e), a(2^e) = 2^(e+1) and a(p^e) = p^e for primes p != 2, 3.
a(n) = n * A370180(n).
From Amiram Eldar, May 20 2024: (Start)
Dirichlet g.f.: ((1 + 1/2^(s-1)) * (1 - 1/3^(s-1))/(1 - 1/3^(s-2))) * zeta(s-1).
Sum_{k=1..n} a(k) ~ (n^2/(2*log(3))) * (log(n) + gamma - 1/2 + log(3) - log(2)/3), where gamma is Euler's constant (A001620). (End)

A370566 Size of the group Q_5*/(Q_5*)^n, where Q_5 is the field of 5-adic numbers.

Original entry on oeis.org

1, 4, 3, 16, 25, 12, 7, 32, 9, 100, 11, 48, 13, 28, 75, 64, 17, 36, 19, 400, 21, 44, 23, 96, 625, 52, 27, 112, 29, 300, 31, 128, 33, 68, 175, 144, 37, 76, 39, 800, 41, 84, 43, 176, 225, 92, 47, 192, 49, 2500, 51, 208, 53, 108, 275, 224, 57, 116, 59, 1200, 61, 124, 63, 256
Offset: 1

Views

Author

Jianing Song, Apr 30 2024

Keywords

Comments

We have Q_5* = 5^Z X Z_5*, so Q_5*/(Q_5*)^k = (5^Z/5^(kZ)) X (Z_p*/(Z_5*)^k). Note that 5^Z/5^(kZ) is a cyclic group of order k. For the group structure of (Z_5*/(Z_5*)^k), see A370050.

Crossrefs

Programs

  • Mathematica
    a[n_] := Module[{e2 = IntegerExponent[n, 2], e5 = IntegerExponent[n, 5]}, 2^Min[e2, 2] * 5^e5 * n]; Array[a, 100] (* Amiram Eldar, May 20 2024 *)
  • PARI
    a(n, {p=5}) = my(e = valuation(n, p)); n * p^e*gcd(p-1, n/p^e)

Formula

Write n = 5^e * n' with k' not being divisible by 5, then a(n) = n * 5^e * gcd(4,n').
Multiplicative with a(5^e) = 5^(2*e), a(2) = 4, a(2^e) = 2^(e+2) for e >= 2 and a(p^e) = p^e for primes p != 2, 5.
a(n) = n * A370181(n).
From Amiram Eldar, May 20 2024: (Start)
Dirichlet g.f.: ((1 + 1/2^(s-1) + 1/2^(2*s-3)) * (1 - 1/5^(s-1))/(1 - 1/5^(s-2))) * zeta(s-1).
Sum_{k=1..n} a(k) ~ (4*n^2/(5*log(5))) * (log(n) + gamma - 1/2 + 3*log(5/2)/4), where gamma is Euler's constant (A001620). (End)

A370567 Size of the group Q_7*/(Q_7*)^n, where Q_7 is the field of 7-adic numbers.

Original entry on oeis.org

1, 4, 9, 8, 5, 36, 49, 16, 27, 20, 11, 72, 13, 196, 45, 32, 17, 108, 19, 40, 441, 44, 23, 144, 25, 52, 81, 392, 29, 180, 31, 64, 99, 68, 245, 216, 37, 76, 117, 80, 41, 1764, 43, 88, 135, 92, 47, 288, 2401, 100, 153, 104, 53, 324, 55, 784, 171, 116, 59, 360, 61, 124, 1323, 128
Offset: 1

Views

Author

Jianing Song, Apr 30 2024

Keywords

Comments

We have Q_7* = 7^Z X Z_7*, so Q_7*/(Q_7*)^k = (7^Z/7^(kZ)) X (Z_p*/(Z_7*)^k). Note that 7^Z/7^(kZ) is a cyclic group of order k. For the group structure of (Z_7*/(Z_7*)^k), see A370050.

Crossrefs

Programs

  • Mathematica
    a[n_] := Module[{e2 = IntegerExponent[n, 2], e3 = IntegerExponent[n, 3], e7 = IntegerExponent[n, 7]}, 2^Min[e2, 1] * 3^Min[e3, 1] * 7^e7 * n]; Array[a, 100] (* Amiram Eldar, May 20 2024 *)
  • PARI
    a(n, {p=7}) = my(e = valuation(n, p)); n * p^e*gcd(p-1, n/p^e)

Formula

Write n = 7^e * n' with k' not being divisible by 7, then a(n) = n * 7^e * gcd(6,n').
Multiplicative with a(7^e) = 7^(2*e), a(2^e) = 2^(e+1), a(3^e) = 3^(e+1) and a(p^e) = p^e for primes p != 2, 3, 7.
a(n) = n * A370182(n).
From Amiram Eldar, May 20 2024: (Start)
Dirichlet g.f.: ((1 + 1/2^(s-1)) * (1 + 2/3^(s-1)) * (1 - 1/7^(s-1))/(1 - 1/7^(s-2))) * zeta(s-1).
Sum_{k=1..n} a(k) ~ (15*n^2/(14*log(7))) * (log(n) + gamma - 1/2 + 2*log(7)/3 - 2*log(3)/5 - log(2)/3), where gamma is Euler's constant (A001620). (End)
Showing 1-4 of 4 results.