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: Lixin Zheng

Lixin Zheng's wiki page.

Lixin Zheng has authored 3 sequences.

A364004 Orders of simple groups PSL(2,K) with exactly 4 prime divisors.

Original entry on oeis.org

660, 1092, 4080, 3420, 6072, 7800, 9828, 14880, 32736, 25308, 51888, 58800, 74412, 194472, 265680, 456288, 612468, 1024128, 2097024, 2165292, 3594432, 7174332, 8487168, 28090752, 57750408, 96049728, 321367392
Offset: 1

Author

Lixin Zheng, Jul 03 2023

Keywords

Comments

Sequence is conjectured to be infinite, see Bugeaud et al.
All entries are divisible by 6 by order formula for PSL(2,q).

Examples

			660 has prime divisors 2,3,5,11.
		

Crossrefs

Subsequence of A352806. Elements generated from A364003.

Formula

Terms are q*(q^2-1)/gcd(2, q-1) for q in A364003.
a(n) = A033931(A364003(n)-1).

A364003 Integers K such that PSL_2(K) is a K_4-simple group, i.e., |PSL_2(K)| has 4 distinct prime divisors.

Original entry on oeis.org

11, 13, 16, 19, 23, 25, 27, 31, 32, 37, 47, 49, 53, 73, 81, 97, 107, 127, 128, 163, 193, 243, 257, 383, 487, 577, 863, 1153, 2187, 2593, 2917, 4373, 8192, 8747, 131072, 524288, 995327, 1492993, 1594323, 1990657, 5308417, 28311553, 86093443, 2147483648, 6879707137
Offset: 1

Author

Lixin Zheng, Jul 01 2023

Keywords

Comments

This sequence is conjectured to be infinite, see Bugeaud, Cao, & Mignotte.

Examples

			|PSL_2(11)| = 660 = 2^2 * 3 * 5 * 11.
		

Crossrefs

Subsequence of A000961.
Cf. A003586.

Programs

  • GAP
    is:=function(n)
    return IsPrimePowerInt(n) and Length(Unique(FactorsInt(n*(n^2-1))))=4;
    end;
    Filtered([2..1000], n -> is(n)); # Charles R Greathouse IV, Jul 03 2023; edited by Lixin Zheng, Jun 23 2024
    
  • PARI
    is(n)=isprimepower(n) && omega(lcm([n-1,n,n+1]))==4 \\ Charles R Greathouse IV, Jul 03 2023
    
  • PARI
    H(n)=isprimepower(n/2^valuation(n,2)/3^valuation(n,3))
    list(lim)=my(v=List(), N); lim\=1; for(n=1, logint(lim\2+1, 3), N=2*3^n; while(N<=lim+1, if(isprimepower(N-1) && H(N-2), listput(v, N-1)); if(isprimepower(N+1) && H(N+2) && N+1<=lim, listput(v, N+1)); N<<=1)); for(n=4,logint(N+1,2), N=2^n; if(H(N-1) && H(N+1) && N<=lim, listput(v,N)); if(isprimepower(N-1) && H(N-2), listput(v,N-1)); if(isprimepower(N+1) && H(N+2) && N+1<=lim, listput(v,N+1))); for(n=3,logint(N,3), N=3^n; if(H(N-1) && H(N+1), listput(v,N))); Set(v) \\ Charles R Greathouse IV, Jul 03 2023

Extensions

a(23) corrected by Charles R Greathouse IV, Jul 03 2023
a(36)-a(45) from Charles R Greathouse IV, Jul 03 2023

A363694 Number of edges in the prime (Gruenberg-Kegel) graph of the symmetric group, S_n, on n elements.

Original entry on oeis.org

0, 0, 0, 0, 1, 1, 2, 3, 4, 5, 5, 6, 7, 8, 9, 11, 11, 13, 14, 16, 17, 19, 19, 22, 23, 25, 25, 27, 27, 30, 31, 33, 34, 37, 37, 41, 41, 42, 43, 46, 46, 50, 51, 54, 55, 58, 58, 63, 64, 68, 68, 71, 71, 76, 77, 80, 80, 83, 83, 89, 90, 92, 93, 98, 98, 104, 104, 106, 107, 112, 112, 118, 119
Offset: 1

Author

Lixin Zheng, Jun 15 2023

Keywords

Comments

For integer n, this is the number of distinct pairs of primes p,q such that p+q <= n.
It appears that n = 30,31 are the only cases of a(n) = n.

Examples

			For n = 5, the primes dividing the order of S_5 are 2,3,5. There is an element of order 6 in S_5, so there is an edge between 2 and 3, and there are no other edges. So a(5) = 1.
		

Programs

  • Python
    # Inefficient but works
    import sympy
    m = 100
    dict1 = {}
    for n in range(1,m):
        edges = 0
        for i in sympy.primerange(n):
            for j in sympy.primerange(n):
                if i != j and i + j <= n:
                    edges += 1
        dict1[n] = int(edges/2)
    print(dict1.values())
    
  • Python
    from sympy import primepi, nextprime
    def A363694(n):
        c, m, p = 0, 1, 2
        while p<<1 < n:
            c += primepi(n-p)-m
            p = nextprime(p)
            m += 1
        return c # Chai Wah Wu, Aug 05 2023