cp's OEIS Frontend

Row length of irregular triangle A343239.

The length of row n is A343240(n).

This is one of the bisections of sequence A343238. The other sequence is A344232.

This is a proper subsequence of A020669.

The primes in this sequence are given in A033205.

Discriminant Disc = -20 = -4*5. Class number h(-20) = A000003(5) = 2. The reduced primitive forms representing the two proper (determinant = +1) equivalence classes are the present principal form F1 = [1, 0, 5] and F2 = [2, 2, 3] treated in A344232.

A positive integer k is properly represented by some primitive form of Disc = -20 if and only if the congruence s^2 + 20 == 0 (mod 4*k) has a solution. See, e.g., Buell Proposition 41, p. 50, or Scholz-Schoeneberg Satz 74, p. 105. That is, x^2 + 5 == 0 (mod k), with s = 2*x. For the representative solutions x from {0, 1, ..., k-1}, with k from A343238, see A343239. These solutions x determine the so-called representative parallel primitive forms (rpapfs) [k, 2*x, (x^2 + 5)/k] representing k. They are properly equivalent (via so called R(t)-transformations) to one of the reduced forms F1 or F2. (See also W. Lang's links in A225953 and A324251, but there indefinite forms are considered.)

In order to find out which k from A343238 is represented either by form F1 or F2 the two generic multiplicative characters of Disc = -20, namely Legendre(k|p), with the odd prime p = 5 which divides Disc = -20, and Jacobi(-1|k) can be used. See Buell, pp. 51-52. They lead to the two classes of genera of Disc -20.

The present genus I, the principal one, has for odd primes p, not 5, the values Legendre(p|5) = Legendre(5|p) = +1 and Jacobi(-1|p) = Legendre(-1|p) = +1, leading for odd primes not equal to 5 to A033205. The prime 2 is not represented. The prime 5 is trivially represented. For the other genus II these two characters have values -1. There prime 2 is represented.

For composite k the prime number factorization is used, and for powers of primes the lifting theorem is employed (see, e.g., Apostol, p. 121, Theorem 5.30). The solution for prime 2 represented by form F2 = [2, 2, 3] (from the other genus II) is not liftable to powers of 2. The solution for prime 5 is also not liftable (proof by induction). The solutions of the other primes from A033205 and A106865 are uniquely liftable to powers of these primes. See A343238 for all properly represented k for Disc = -20.

For the present genus I the properly represented integers k are given by 2^a*5^b*Product_{j=1..PI} (pI_j)^(eI(j))*Product_{k=1..PII} (pII_k)^(eII(k)), with a and b from {0, 1} but if PI = PII = 0 (empty products are 1) then a = b = 0 giving a(1) = 1. The odd primes pI_j are from A033205 (== {1, 9} (mod 20)), the primes pII_k are from the odd primes of A106865 (== {3, 7}(mod 20)). The exponents of the second product are restricted: if a = 1 then PII >= 1 and Sum_{k=1..PII} eII(k) is odd. If a = 0 then PII >= 0, and if PII >= 1 then this sum is even.

Neighboring numbers k (twins) begin: [5, 6], [29, 30], [45, 46], [69, 70], [205, 206], [229, 230], [245, 246], [269, 270], [405, 406], ...

For the solutions (X, Y) of F2 = [1, 0, 5] properly representing k = a(n) see A344233.

This is one of the bisections of sequence A343238. The other sequence is A344231.

This is a proper subsequence of A029718.

The primes in this sequence are given in A106865.

See A344231 for more details.

The reduced form [2, 2, 3] represents the proper (determinant +1) equivalence class of one of the two genera (genus II) of discriminant -20. The multiplicative generic characters for discriminant Disc = -20 have values Jacobi(a(n)|5) = -1 and Jacobi(-1|a(n)) = -1, for odd a(n) not divisible by 5. See Buell, p. 52.

The product of any two odd a(n), not divisible by 5, is congruent to {1,5} (mod 8). See Buell, 4), p. 51.

For this genus II of Disc = -20 the positive integers represented are given by 2^a*5^b*Product_{j=1..PI} (pI_j)^(eI(j))*Product_{k=1..PII}(pII_k)^(eII(k)), with a and b from {0, 1}, but if PI = PII = 0 (empty products are 1) then (a, b) = (1, 0) or (1, 1), giving a(1) = 2 or a(4) = 10. The odd primes pI_j are from A033205 and the odd primes pII_j from the odd primes of A106865. The exponents of the second product satisfy: if a = 1 then PII >= 0, and if PII >=1 then Sum_{k=1..PII} eII(j) is even. If a = 0 then PII >= 1 and this sum is odd.

The neighboring numbers k (twins) begin: [42, 43], [82, 83], [122, 123] [162, 163], [202, 203], [282, 283], ...

For the solutions (X, Y) of F2 = [2, 2, 3] properly representing k = a(n) see A344234.

The length of row n is r(n) = 2*A343240(b(n)), if A344232(n) = A343238(b(n)), for n >= 1. This sequence begins 2*(1, 2, 2, 1, 2, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, ...).

See A344231 for references and links on parallel forms and half-reduced right neighbor forms (R-transformations), and also for the remark on the equivalent reduced form [2, -2, 3].

The number of proper solutions (X, Y), with X > 0, is 1 for n = 1 and 4. X = 0 only for n = 2, but the solution (0, -1) = (-0, -1) is not listed here.

For other n each distinct odd prime from {1, 3, 7, 9} (mod 20), i.e., from A139513, that divides A344232(n) contributes a factor of 2 to the listed number of solutions. See A343238 and A343240 for the multiplicities.

Only solutions with nonnegative X are listed. There is also the corresponding solution (-X, -Y). Hence the total number of signed solution is twice the number considered here.

The length of row n is r(n) = 2*A343240(b(n)), if A344231(n) = A343238(b(n)), for n >= 1. This sequence begins 2*(1, 1, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 2, 2, ...).

The number of proper solutions (X, Y), with X > 0, is 1 for n = 1. X = 0 only for n = 2, and for n >= 2 only one half of the solutions are listed, namely those with X >= 0. There are also the solutions with (-X, -Y). Thus the total number of solutions for n >= 2 is actually r(n) given above.

For n >= 2 each distinct odd primes from {1, 3, 7, 9} (mod 20), i.e., from

A139513, that divides A344231(n) contributes a factor 2 to the number of solutions listed here. See A343238 and the corresponding A343240.