A151971 -id:A151971 - cp's OEIS frontend

A151972 Numbers that are congruent to {0, 1, 6, 10} mod 15.

0, 1, 6, 10, 15, 16, 21, 25, 30, 31, 36, 40, 45, 46, 51, 55, 60, 61, 66, 70, 75, 76, 81, 85, 90, 91, 96, 100, 105, 106, 111, 115, 120, 121, 126, 130, 135, 136, 141, 145, 150, 151, 156, 160, 165, 166, 171, 175, 180, 181, 186, 190, 195, 196, 201, 205, 210, 211, 216, 220, 225

Offset: 1

N. J. A. Sloane, Aug 23 2009

Also, numbers n such that n^2 - n is divisible by 15.

Also, numbers n such that n^2 - n is divisible by 30.

Index entries for linear recurrences with constant coefficients, signature (1,0,0,1,-1).

For m^2 == m (mod n), see: n=2: A001477, n=3: A032766, n=4: A042948, n=5: A008851, n=6: A032766, n=7: A047274, n=8: A047393, n=9: A090570, n=10: A008851, n=11: A112651, n=12: A112652, n=13: A112653, n=14: A047274, n=15: A151972, n=16: A151977, n=17: A151978, n=18: A090570, n=19: A151979, n=20: A151980, n=21: A151971, n=22, A112651, n=24: A151973, n=26: A112653, n=30: A151972, n=32: A151983, n=34: A151978, n=38: A151979, n=42: A151971, n=48: A151981, n=64: A151984.

Cf. A215202.

[ n : n in [0..1000] | n mod 15 in [0, 1, 6, 10]]; // Vincenzo Librandi, Apr 02 2011, simplified by Eric M. Schmidt, Aug 05 2012

[ n: n in [0..1000] | (n^2-n) mod (15) eq 0 ]; // Vincenzo Librandi, Apr 03 2011, altered by Eric M. Schmidt, Aug 05 2012

A151972:=n->(30*n-41-5*I^(2*n)+(3+3*I)*I^(-n)+(3-3*I)*I^n)/8: seq(A151972(n), n=1..100); # Wesley Ivan Hurt, Jun 07 2016

Select[Range[0, 300], Divisible[#^2-#, 15]&]  (* Harvey P. Dale, Apr 01 2011, altered by Eric M. Schmidt, Aug 05 2012 *)

G.f.: x^2*(1+5*x+4*x^2+5*x^3) / ( (1+x)*(1+x^2)*(x-1)^2 ). - R. J. Mathar, Oct 25 2011
From Wesley Ivan Hurt, Jun 07 2016: (Start)
a(n) = (30*n-41-5*i^(2*n)+(3+3*i)*i^(-n)+(3-3*i)*i^n)/8 where i=sqrt(-1).
a(n) = a(n-1) + a(n-4) - a(n-5) for n>5. (End)
E.g.f.: (20 + (15*x - 23)*cosh(x) + 3*(sin(x) + cos(x) + (5*x - 6)*sinh(x)))/4. - Ilya Gutkovskiy, Jun 07 2016

This is a merge of two identical sequences, A151972 and A151975.

A215202 Irregular triangle in which n-th row gives m in 1, ..., n-1 such that m^2 == m (mod n).

Original entry on oeis.org

1, 1, 1, 1, 1, 3, 4, 1, 1, 1, 1, 5, 6, 1, 1, 4, 9, 1, 1, 7, 8, 1, 6, 10, 1, 1, 1, 9, 10, 1, 1, 5, 16, 1, 7, 15, 1, 11, 12, 1, 1, 9, 16, 1, 1, 13, 14, 1, 1, 8, 21, 1, 1, 6, 10, 15, 16, 21, 25, 1, 1, 1, 12, 22, 1, 17, 18, 1, 15, 21, 1, 9, 28, 1, 1, 19, 20, 1, 13

Offset: 2

Eric M. Schmidt, Aug 05 2012

The n-th row has length A034444(n) - 1.
If m appears in row n, then gcd(n,m) appears in the n-th row of A077610. Moreover, if m', distinct from m, also appears in row n, then gcd(n, m) does not equal gcd(n, m').
For odd n and any integer m, m^2 == m (mod n) iff m^2 == m (mod 2n).
Let P(1)={1} and for integers x > 1, let P(x) be the set of distinct prime divisors of x. We can define an equivalence relation ~ on the set of elements in the ring (Z_n, +mod n,*mod n): for all a,b in Z_n (where a,b are the least nonnegative residues modulo n) a ~ b iff P(gcd(a,n)) intersect P(n) is equal to P(gcd(b,n)) intersect P(n). If we include 0 in each row then these elements can represent the equivalence classes. They form a commutative monoid. - Geoffrey Critzer, Feb 13 2016

			Triangle begins:
1;
1;
1;
1;
1, 3, 4;
1;
1;
1;
1, 5, 6;
1;
1, 4, 9;
1;
1, 7, 8;
1, 6, 10;
1;
1;
1, 9, 10; etc.  - _Bruno Berselli_, Aug 06 2012

Eric M. Schmidt, Rows 2..2000, flattened

For m^2 == m (mod n), see: n=2: A001477; n=3: A032766; n=4: A042948; n=5: A008851; n=6: A032766; n=7: A047274; n=8: A047393; n=9: A090570; n=10: A008851; n=11: A112651; n=12: A112652; n=13: A112653; n=14: A047274; n=15: A151972; n=16: A151977; n=17: A151978; n=18: A090570; n=19: A151979; n=20: A151980; n=21: A151971; n=22: A112651; n=24: A151973; n=26: A112653; n=30: A151972; n=32: A151983; n=34: A151978; n=38: A151979; n=42: A151971; n=48: A151981; n=64: A151984; n=100: A008852; n=1000: A008853.

[m: m in [1..n-1], n in [2..40] | m^2 mod n eq m]; // Bruno Berselli, Aug 06 2012

Table[Select[Range[n], Mod[#^2, n] == # &], {n, 2, 30}] // Grid (* Geoffrey Critzer, May 26 2015 *)

def A215202(n) : return [m for m in range(1, n) if m^2 % n == m];

cp's OEIS Frontend

A151972 Numbers that are congruent to {0, 1, 6, 10} mod 15.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Magma

Maple

Mathematica

Formula

Extensions

A215202 Irregular triangle in which n-th row gives m in 1, ..., n-1 such that m^2 == m (mod n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

Sage