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.

User: Chris Grossack

Chris Grossack's wiki page.

Chris Grossack has authored 2 sequences.

A354424 Numbers k for which the ratio A008475(k)/k reaches a record low.

Original entry on oeis.org

2, 6, 10, 12, 15, 20, 28, 30, 40, 42, 56, 60, 84, 105, 120, 140, 168, 180, 210, 252, 280, 315, 330, 360, 385, 390, 420, 616, 630, 660, 770, 780, 840, 924, 1092, 1155, 1260, 1540, 1820, 1848, 1980, 2184, 2310, 2520, 2730, 3080, 3465, 3640, 3960, 4095, 4290, 4620, 5460, 6552, 6930
Offset: 1

Author

Chris Grossack, Jul 11 2022

Keywords

Comments

Sequence gives the numbers k for which m/k reaches a record low, where m is minimal so that the symmetric group S_m has an element of order k.

Examples

			First, an element of order 2 shows up in S_2, so the smallest ratio we've seen so far is 1. This is the smallest ratio we see until we reach 6, since there's an element of order 6 in S_5. Next is 10, since there's an element of order 10 in S_7, and 7/10 is the next ratio smaller than 5/6. Then comes 12, since S_7 also has an element of order 12, and 7/12 is the next ratio less than 7/10, etc.
		

Crossrefs

Cf. A008475.

Programs

  • Mathematica
    s = {}; fm = 2; Do[If[(f = Plus @@ Power @@@ FactorInteger[n]/n) < fm, fm = f; AppendTo[s, n]], {n, 2, 7000}]; s (* Amiram Eldar, Jul 12 2022 *)
  • PARI
    b(n) = my(f=factor(n)); vecsum(vector(#f~, i, f[i, 1]^f[i, 2])); \\ A008475
    lista(nn) = my(m=oo, list=List(), x); for (n=2, nn, if ((x=b(n)/n) < m, m = x; listput(list, n););); Vec(list); \\ Michel Marcus, Jul 12 2022
  • Sage
    memo = {1: (2,1)}
    def a(n):
        if n in memo.keys(): return memo[n]
        _ = a(n-1)
        prev, prevRatio = memo[n-1]
        ratio = 1
        N = prev
        while ratio >= prevRatio:
            N += 1
            # compute m so that S_m has an element of order N
            principalDivisors = list(factor(N))
            m = sum([a^b for (a,b) in principalDivisors])
            ratio = m/N
        memo[n] = (N, ratio)
        return N
    

A344745 Numerators of generalized binomial coefficients (-1/k choose k).

Original entry on oeis.org

-1, 3, -14, 195, -924, 267995, -164604, 45886995, -519348280, 843061472253, -33644021190, 19713207603254165, -29447897812956, 7112683552535920515, -219530334327028402216, 2896662162807666940995, -59209706525969052144, 63061212713478261338180955809, -124888410979403015484540
Offset: 1

Author

Chris Grossack, May 28 2021

Keywords

Examples

			The fractions are -1, 3/8, -14/81, 195/2048, -924/15625, 267995/6718464, -164604/5764801, 45886995/2147483648, -519348280/31381059609, 843061472253/64000000000000, ...
		

Crossrefs

Cf. A344746 (denominators).

Programs

  • Mathematica
    a[n_] := Numerator @ Binomial[-1/n, n]; Array[a, 20] (* Amiram Eldar, May 28 2021 *)
  • PARI
    a(n) = numerator(binomial(-1/n, n)); \\ Michel Marcus, Jun 15 2021

Formula

a(k) = numerator of binomial(-1/k, k).
a(n) is the numerator of coefficient of x^n in expansion of (1 + x)^(-1/n). - Ilya Gutkovskiy, Aug 04 2023