OFFSET
1,1
COMMENTS
Also norms of prime ideals in Z[sqrt(-2)], which is a unique factorization domain. The norm of a nonzero ideal I in a ring R is defined as the size of the quotient ring R/I.
Consists of the primes congruent to 1, 2, 3 modulo 8 and the squares of primes congruent to 5, 7 modulo 8.
For primes p == 1, 3 (mod 8), there are two distinct ideals with norm p in Z[sqrt(2)], namely (x + y*sqrt(-2)) and (x - y*sqrt(-2)), where (x,y) is a solution to x^2 + 2*y^2 = p; for p = 2, (sqrt(-2)) is the unique ideal with norm p; for p == 5, 7 (mod 8), (p) is the only ideal with norm p^2.
LINKS
Jianing Song, Table of n, a(n) for n = 1..10000
EXAMPLE
N(1 +- sqrt(-2)) = 3, N(3 +- sqrt(-2)) = 11, N(3 +- 2*sqrt(-2)) = 17, N(1 +- 3*sqrt(-2)) = 19, ...
PROG
(PARI) isA341784(n) = my(disc=-8); (isprime(n) && kronecker(disc, n)>=0) || (issquare(n, &n) && isprime(n) && kronecker(disc, n)==-1)
CROSSREFS
Cf. A188510 ({kronecker(-8,n)}), whose inverse Moebius transform A002325 gives the numbers of distinct ideals (or non-associate elements) with each norm (i.e., the coefficients of Dedekind zeta function).
The total numbers of elements with each norms are given by A033715.
Cf. A033203 (primes not inert in Q(sqrt(-2))), A033200 (primes decomposing), A003628 (primes remaining inert), A045355 (primes not decomposing).
Norms of prime ideals in the ring of integers of quadratic fields of class number 1: A391371 (D=24), A391370 (D=21), A391369 (D=12), A055673 (D=8), A341783 (D=5), A055664 (D=-3), A055025 (D=-4), A090348 (D=-7), this sequence (D=-8), A341785 (D=-11), A341787 (D=-19), A341788 (D=-43), A341789 (D=-67), A341790 (D=-163).
KEYWORD
nonn,easy
AUTHOR
Jianing Song, Feb 19 2021
STATUS
approved
