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.

A351546 a(n) is the largest unitary divisor of sigma(n) coprime with A003961(n), where A003961 is fully multiplicative with a(p) = nextprime(p), and sigma is the sum of divisors function.

Original entry on oeis.org

1, 1, 4, 7, 6, 4, 8, 5, 13, 2, 12, 28, 14, 8, 24, 31, 18, 13, 20, 2, 32, 4, 24, 4, 31, 14, 8, 56, 30, 8, 32, 7, 48, 2, 48, 91, 38, 20, 56, 10, 42, 32, 44, 28, 78, 8, 48, 124, 57, 31, 72, 98, 54, 8, 72, 40, 16, 10, 60, 8, 62, 32, 104, 127, 12, 16, 68, 14, 96, 16, 72, 13, 74, 38, 124, 140, 96, 56, 80, 62, 121, 14, 84
Offset: 1

Views

Author

Antti Karttunen, Feb 16 2022

Keywords

Examples

			For n = 672 = 2^5 * 3^1 * 7^1, and the largest unitary divisor of the sigma(672) [= 2^5 * 3^2 * 7^1] coprime with A003961(672) = 13365 = 3^5 * 5^1 * 11^1 is 2^5 * 7^1 = 224, therefore a(672) = 224.
		

Crossrefs

Programs

  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); };
    A351546(n) = { my(f=factor(sigma(n)),u=A003961(n)); prod(k=1,#f~,f[k,1]^((0!=(u%f[k,1]))*f[k,2])); };

Formula

a(n) = Product_{p^e || A000203(n)} p^(e*[p does not divide A003961(n)]), where [ ] is the Iverson bracket, returning 0 if p is a divisor of A003961(n), and 1 otherwise. Here p^e is the largest power of each prime p dividing sigma(n).
a(n) = A000203(n) / A351544(n).
a(n) = A353666(n) * A353668(n) = A351547(n) / A354997(n). - Antti Karttunen, Jul 09 2022

A351551 Numbers k such that the largest unitary divisor of sigma(k) that is coprime with A003961(k) is also a unitary divisor of k.

Original entry on oeis.org

1, 2, 10, 34, 106, 120, 216, 260, 340, 408, 440, 580, 672, 696, 820, 1060, 1272, 1666, 1780, 1940, 2136, 2340, 2464, 3320, 3576, 3960, 4280, 4536, 5280, 5380, 5860, 6456, 6960, 7520, 8746, 8840, 9120, 9632, 10040, 10776, 12528, 12640, 13464, 14560, 16180, 16660, 17400, 17620, 19040, 19416, 19992, 21320, 22176, 22968
Offset: 1

Views

Author

Antti Karttunen, Feb 16 2022

Keywords

Comments

Numbers k for which A351546(k) is a unitary divisor of k.
The condition guarantees that A351555(k) = 0, therefore this is a subsequence of A351554.
The condition is also a necessary condition for A349745, therefore it is a subsequence of this sequence.
All six known 3-perfect numbers (A005820) are included in this sequence.
All 65 known 5-multiperfects (A046060) are included in this sequence.
Not all multiperfects (A007691) are present (only 587 of the first 1600 are), but all 23 known terms of A323653 are terms, while none of the (even) terms of A046061 or A336702 are.

Examples

			For n = 672 = 2^5 * 3^1 * 7^1, and the largest unitary divisor of the sigma(672) [= 2^5 * 3^2 * 7^1] coprime with A003961(672) [= 13365 = 3^5 * 5^1 * 11^1] is 2^5 * 7^1 = 224, therefore A351546(672) is a unitary divisor of 672, and 672 is included in this sequence.
		

Crossrefs

Cf. A000203, A000396, A003961, A007691, A046061, A065997, A336702, A351546, A351555, A353633 (characteristic function).
Subsequence of A351552 and of A351554.
Cf. A349745, A351550 (subsequences), A005820, A046060, A323653 (very likely subsequences).

Programs

  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); };
    A351546(n) = { my(f=factor(sigma(n)),u=A003961(n)); prod(k=1,#f~,f[k,1]^((0!=(u%f[k,1]))*f[k,2])); };
    isA351551(n) =  { my(u=A351546(n)); (!(n%u) && 1==gcd(u,n/u)); };

A353668 a(n) = A351546(n) / gcd(n, A351546(n)).

Original entry on oeis.org

1, 1, 4, 7, 6, 2, 8, 5, 13, 1, 12, 7, 14, 4, 8, 31, 18, 13, 20, 1, 32, 2, 24, 1, 31, 7, 8, 2, 30, 4, 32, 7, 16, 1, 48, 91, 38, 10, 56, 1, 42, 16, 44, 7, 26, 4, 48, 31, 57, 31, 24, 49, 54, 4, 72, 5, 16, 5, 60, 2, 62, 16, 104, 127, 12, 8, 68, 7, 32, 8, 72, 13, 74, 19, 124, 35, 96, 28, 80, 31, 121, 7, 84, 8, 108, 22, 8
Offset: 1

Views

Author

Antti Karttunen, May 04 2022

Keywords

Crossrefs

Cf. A351552 (positions of 1's).

Programs

  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); };
    A351546(n) = { my(f=factor(sigma(n)), u=A003961(n)); prod(k=1, #f~, f[k, 1]^((0!=(u%f[k, 1]))*f[k, 2])); };
    A353668(n) = { my(u=A351546(n)); (u / gcd(n, u)); };

A351553 Even numbers k such that there are no odd prime factors p of sigma(k) such that p does not divide A003961(k) and the valuation(k, p) is different from valuation(sigma(k), p), where A003961 is fully multiplicative with a(p) = nextprime(p), and sigma is the sum of divisors function.

Original entry on oeis.org

2, 6, 10, 14, 20, 22, 24, 28, 30, 34, 40, 42, 46, 54, 60, 62, 66, 70, 84, 94, 102, 106, 110, 114, 120, 130, 138, 140, 142, 154, 160, 168, 170, 174, 182, 186, 190, 198, 210, 214, 216, 220, 224, 230, 238, 254, 260, 264, 270, 280, 282, 290, 308, 310, 318, 322, 330, 340, 354, 374, 378, 380, 382, 390, 408, 410, 420, 426
Offset: 1

Views

Author

Antti Karttunen, Feb 16 2022

Keywords

Comments

Even numbers k for which A351555(k) = 0.

Crossrefs

Even terms in A351554, positions of zeros at even indices in A351555.
Cf. A351543 (complement among even numbers), A386430.

Programs

  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); }; A351555(n) = { my(s=sigma(n),f=factor(s),u=A003961(n)); sum(k=1,#f~,if((f[k,1]%2) && 0!=(u%f[k,1]), (valuation(n,f[k,1])!=f[k,2]), 0)); };
    isA351553(n) = (!(n%2) && 0==A351555(n));

Extensions

Definition corrected by Antti Karttunen, Aug 27 2025
Showing 1-4 of 4 results.