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

A216319 Irregular triangle: row n lists the odd numbers of the reduced residue system modulo n.

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 3, 1, 5, 1, 3, 5, 1, 3, 5, 7, 1, 5, 7, 1, 3, 7, 9, 1, 3, 5, 7, 9, 1, 5, 7, 11, 1, 3, 5, 7, 9, 11, 1, 3, 5, 9, 11, 13, 1, 7, 11, 13, 1, 3, 5, 7, 9, 11, 13, 15, 1, 3, 5, 7, 9, 11, 13, 15, 1, 5, 7, 11, 13, 17, 1, 3, 5, 7, 9, 11, 13, 15, 17, 1, 3, 7, 9, 11, 13, 17, 19
Offset: 1

Views

Author

Wolfdieter Lang, Sep 21 2012

Keywords

Comments

The length of row n is delta(n) = A055034(n).
Here the smallest nonnegative complete system modulo n is used: {0,1,...,n-1}, and the reduced residue system modulo n (A038566) is the set of numbers k from this set which satisfy gcd(k, n) = 1. The present array lists only the odd numbers. For n = 1 one should take 0 because gcd(0, 1) = 1, but because 1 == 0 (mod 1) we prefer the odd 1.
This is the sub-array obtained from A038566 by deleting the even numbers.
In the multiplicative group Modd n (see a comment in A203571) each of the delta(n) members of row n forms a reduced residue class Modd n with only odd numbers. E.g., n=4 (only the positive members are listed, the negative members should be amended): [1] = {1, 7, 9, 15, 17, 23, 25, 31, 33, 39,...}; [3] = {3, 5, 11, 13, 19, 21, 27, 29, 35, 37...}. Multiplication Modd n can be done class-wise: 7*15 == 1*1 (Modd 4) = 1; 11*13 ==3*3 (Modd 4) = 1; 7*5 == 1*3 (Modd 4) = 3.
The orders 'Moddulo' n of the elements in row n are given in A216320.

Examples

			The array starts:
n\k 1  2   3   4   5   6   7   8   9...
---------------------------------------
1   1
2   1
3   1
4   1  3
5   1  3
6   1  5
7   1  3   5
8   1  3   5   7
9   1  5   7
10  1  3   7   9
11  1  3   5   7   9
12  1  5   7  11
13  1  3   5   7   9  11
14  1  3   5   9  11  13
15  1  7  11  13
16  1  3   5   7   9  11  13  15
17  1  3   5   7   9  11  13  15
18  1  5   7  11  13  17
19  1  3   5   7   9  11  13  15  17
20  1  3   7   9  11  13  17  19
...
		

Crossrefs

Cf. A038566 (row n lists all numbers in the reduced residue system modulo n).

Programs

  • Mathematica
    Table[Select[Range[1, n, 2], GCD[#, n] == 1 &], {n, 20}] (* Michael De Vlieger, Oct 15 2020 *)
  • PARI
    row(n) = select(x->(((x%2)==1) && (gcd(n, x)==1)), [1..n]); \\ Michel Marcus, Jun 10 2020

Formula

a(n, k) is the k-th odd member of the smallest nonnegative reduced residue system modulo n. See the comment above.

A216327 Irregular triangle of multiplicative orders mod n for the elements of the smallest positive reduced residue system mod n.

Original entry on oeis.org

1, 1, 1, 2, 1, 2, 1, 4, 4, 2, 1, 2, 1, 3, 6, 3, 6, 2, 1, 2, 2, 2, 1, 6, 3, 6, 3, 2, 1, 4, 4, 2, 1, 10, 5, 5, 5, 10, 10, 10, 5, 2, 1, 2, 2, 2, 1, 12, 3, 6, 4, 12, 12, 4, 3, 6, 12, 2, 1, 6, 6, 3, 3, 2, 1, 4, 2, 4, 4, 2, 4, 2, 1, 4, 4, 2, 2, 4, 4, 2
Offset: 1

Views

Author

Wolfdieter Lang, Sep 28 2012

Keywords

Comments

The sequence of the row lengths is phi(n) = A000010 (Euler's totient).
For the notion 'reduced residue system mod n' which has, as a set, order phi(n) = A000010(n), see e.g., the Apostol reference p. 113. Here such a system with the smallest positive numbers is used. (In the Apostol reference 'order of a modulo n' is called 'exponent of a modulo n'. See the definition on p. 204.)
See A038566 where the reduced residue system mod n appears in row n.
In the chosen smallest reduced residue system mod n one can replace each element by any congruent mod n one, and the given order modulo n list will, of course, be the same. E.g., n=5, {6, -3, 13, -16} also has the orders modulo 5: 1 4 4 2, respectively.
Each order modulo n divides phi(n). See the Niven et al. reference, Corollary 2.32, p. 98.
The maximal order modulo n is given in A002322(n).
For the analog table of orders Modd n see A216320.

Examples

			This irregular triangle begins:
n\k 1  2  3  4  5  6  7  8  9  10 11 12  13 14  15 16 17 18
1:  1
2:  1
3:  1  2
4:  1  2
5:  1  4  4  2
6:  1  2
7:  1  3  6  3  6  2
8:  1  2  2  2
9:  1  6  3  6  3  2
10: 1  4  4  2
11: 1 10  5  5  5 10 10 10  5   2
12: 1  2  2  2
13: 1 12  3  6  4 12 12  4  3   6 12  2
14: 1  6  6  3  3  2
15: 1  4  2  4  4  2  4  2
16: 1  4  4  2  2  4  4  2
17: 1  8 16  4 16 16 16  8  8  16 16 16   4 16   8  2
18: 1  6  3  6  3  2
19: 1 18 18  9  9  9  3  6  9  18  3  6  18 18  18  9  9  2
20: 1  4  4  2  2  4  4  2
...
a(3,2) = 2 because A038566(3,2) = 2 and 2^1 == 2 (mod 3), 2^2 = 4 == 1 (mod 3).
a(7,3) = 6 because A038566(7,3) = 3 and 3^1 == 3 (mod 7), 3^2 = 9 == 2 (mod 7), 3^3 = 2*3 == 6 (mod 7),  3^4 == 6*3 == 4 (mod 7), 3^5 == 4*3 == 5 (mod 7) and  3^6 == 5*3 == 1 (mod 7). The notation == means 'congruent'.
The maximal order modulo 7 is 6 = A002322(7) = phi(7), and it appears twice: A111725(7) = 2.
The maximal order modulo 14 is 6 = A002322(14) = 1*6.
		

References

  • T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976.
  • I. Niven, H. S. Zuckerman, and H. L. Montgomery, An Introduction to the Theory of Numbers, Fifth edition, Wiley, 1991.

Crossrefs

Cf. A038566, A002322 (maximal order), A111725 (multiplicity of max order), A216320 (Modd n analog).

Programs

  • Mathematica
    Table[Table[MultiplicativeOrder[k,n],{k,Select[Range[n],GCD[#,n]==1&]}],{n,1,13}]//Grid  (* Geoffrey Critzer, Jan 26 2013 *)
  • PARI
    rowa(n) = select(x->gcd(n, x)==1, [1..n]); \\ A038566
    row(n) = apply(znorder, apply(x->Mod(x, n), rowa(n))); \\ Michel Marcus, Sep 12 2023

Formula

a(n,k) = order A038566(n,k) modulo n, n >= 1, k=1, 2, ..., phi(n) = A000010(n). This is the order modulo n of the k-th element of the smallest reduced residue system mod n (when their elements are listed increasingly).

A216321 phi(delta(n)), n >= 1, with phi = A000010 (Euler's totient) and delta = A055034 (degree of minimal polynomials with coefficients given in A187360).

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 4, 2, 2, 2, 2, 4, 4, 2, 6, 4, 2, 4, 10, 4, 4, 4, 6, 4, 6, 4, 8, 8, 4, 8, 4, 4, 6, 6, 4, 8, 8, 4, 12, 8, 4, 10, 22, 8, 12, 8, 8, 8, 12, 6, 8, 8, 6, 12, 28, 8, 8, 8, 6, 16, 8, 8, 20, 16, 10, 8, 24, 8, 12, 12, 8, 12, 8, 8, 24, 16, 18, 16, 40, 8, 16, 12
Offset: 1

Views

Author

Wolfdieter Lang, Sep 21 2012

Keywords

Comments

If n belongs to A206551 (cyclic multiplicative group Modd n) then there exist precisely a(n) primitive roots Modd n. For these n values the number of entries in row n of the table A216319 with value delta(n) (the row length) is a(n). Note that a(n) is also defined for the complementary n values from A206552 (non-cyclic multiplicative group Modd n) for which no primitive root Modd n exists.
See also A216322 for the number of primitive roots Modd n.

Examples

			a(8) = 2 because delta(8) = 4 and phi(4) = 2. There are 2 primitive roots Modd 8, namely 3 and 5 (see the two 4s in row n=8 of A216320). 8 = A206551(8).
a(12) = 2 because delta(12) = 4 and phi(4) = 2. But there is no primitive root Modd 12, because 4 does not show up in row n=12 of A216320. 12 = A206552(1).
		

Crossrefs

Cf. A000010, A055034, A216319, A216320, A216322, A010554 (analog in modulo n case).

Programs

Formula

a(n) = phi(delta(n)), n >= 1, with phi = A000010 (Euler's totient) and delta = A055034 with delta(1) = 1 and delta(n) = phi(2*n)/2 if n >= 2.

A216325 Number of divisors of the degree of the minimal polynomial for 2*cos(Pi/n), n >= 1.

Original entry on oeis.org

1, 1, 1, 2, 2, 2, 2, 3, 2, 3, 2, 3, 4, 4, 3, 4, 4, 4, 3, 4, 4, 4, 2, 4, 4, 6, 3, 6, 4, 4, 4, 5, 4, 5, 6, 6, 6, 6, 6, 5, 6, 6, 4, 6, 6, 4, 2, 5, 4, 6, 5, 8, 4, 6, 6, 8, 6, 6, 2, 5, 8, 8, 6, 6, 8, 6, 4, 6, 4, 8, 4, 8, 9, 9, 6, 9, 8, 8, 4, 6, 4, 8, 2, 8, 6, 8, 6, 8, 6, 8, 9, 6, 8, 4, 9, 6, 10, 8
Offset: 1

Views

Author

Wolfdieter Lang, Sep 27 2012

Keywords

Comments

For the minimal polynomials C(n,x) of the algebraic number rho = 2*cos(Pi/n), n >= 1, see their coefficient table A187360. Their degree is delta(n)= phi(2*n)/2, if n >= 2, and delta(1) = 1, with Euler's totient A000010. The delta sequence is given in A055034. a(n) is the number of divisors of delta(n).
a(n) is also the number of distinct Modd n orders given in the table A216320 in row n. (For Modd n see a comment on A203571).
See the analog A062821(n), with the number of divisors of phi(n). The corresponding order table is A216327.

Examples

			a(8) = 3 because C(8,x) = x^4 - 4*x^2 + 2, with degree delta(8) = A055034(8) = 4, and the three divisors of 4 are 1, 2 and 4. tau(4) = A000005(4) = 3.
		

Crossrefs

Cf. A062821 (analog).

Formula

a(n) = tau(delta(n)), n >= 1, with tau = A000005 (number of divisors), delta defined in a comment above and given as delta(n) = A055034(n).

A216326 Number of divisors of the degree of the minimal polynomial of 2*cos(Pi/prime(n)), with prime = A000040, n >= 1.

Original entry on oeis.org

1, 1, 2, 2, 2, 4, 4, 3, 2, 4, 4, 6, 6, 4, 2, 4, 2, 8, 4, 4, 9, 4, 2, 6, 10, 6, 4, 2, 8, 8, 6, 4, 6, 4, 4, 6, 8, 5, 2, 4, 2, 12, 4, 12, 6, 6, 8, 4, 2, 8, 6, 4, 16, 4, 8, 2, 4, 8, 8, 12, 4, 4, 6, 4, 12, 4, 8, 16, 2, 8, 10, 2, 4, 8, 8, 2, 4, 12, 12, 12, 4, 16, 4, 16, 4, 4, 12, 12, 8, 8, 2
Offset: 1

Views

Author

Wolfdieter Lang, Sep 27 2012

Keywords

Comments

See a comment on A216325 on the degree delta(n) = A055034(n) of the polynomial C(n,x) of 2*cos(Pi/n) (coefficients in A187360), Here n is prime.
For p prime, delta(p) = (p - 1)/2 if p > 2 and 1 if p = 2. a(n) is the number of divisors of delta(prime(n)), with prime(n) = A000040(n).
a(n) is also the number of distinct Modd p orders, p = prime, in row prime(n) of the table A216320. (For Modd n see a comment on A203571).
See also A008328 for the mod p analog of this sequence.

Examples

			a(6) = 4 because prime(6) = 13, and row n=13 of A216320 is [1  3  2  6  3  6] with 4 distinct numbers (Modd 13 orders).
		

Crossrefs

Cf. A187360, A216320, A216325, A008328 (mod p analog).

Programs

  • PARI
    delta(n) = if (n==1, 1, eulerphi(2*n)/2); \\ A055034
    a(n) = numdiv(delta(prime(n))); \\ Michel Marcus, Sep 12 2023

Formula

a(n) = tau(delta(prime(n))), n>=1, with tau = A000005 (number of divisors), delta = A055034 and prime = A000040.
Showing 1-5 of 5 results.