cp's OEIS Frontend

These are the primes in the ring of integers a+b*omega, a and b rational integers, omega = (1+sqrt(-3))/2.

Two primes are considered equivalent if they differ by multiplication by a unit (+-1, +-omega, +-omega^2).

These are the primes in the ring of integers a+b*omega, a and b rational integers, omega = (1+sqrt(-3))/2.

This is the range of the norm a^2 + b^2 of Gaussian primes a + b i. A239621 lists for each norm value a(n) one of the Gaussian primes as a, b with a >= b >= 0. In A239397, any of these (a, b) is followed by (b, a), except for a = b = 1. - Wolfdieter Lang, Mar 24 2014, edited by M. F. Hasler, Mar 09 2018

From Jean-Christophe Hervé, May 01 2013: (Start)

The present sequence is related to the square lattice, and to its division in square sublattices. Let's say that an integer n divides a lattice if there exists a sublattice of index n. Example: 2, 4, 5 divide the square lattice. Then A001481 (norms of Gaussian integers) is the sequence of divisors of the square lattice. Say that n is a "prime divisor" if the index-n sublattice is not contained in any other sublattice except the original lattice itself. The present sequence gives the "prime divisors" of the square lattice.

Similarly, A055664 (Norms of Eisenstein-Jacobi primes) is the sequence of "prime divisors" of the hexagonal lattice. (End)

The sequence is formed of 2, the prime numbers of form 4k+1, and the square of other primes (of form 4k+3). These are the primitive elements of A001481. With 0 and 1, they are the numbers that are uniquely decomposable in the sum of two squares. - Jean-Christophe Hervé, Nov 17 2013

These are the primes in the ring of integers a+bi, a and b rational integers, i = sqrt(-1).

Two primes are considered equivalent if they differ by multiplication by a unit (+-1, +-i).

The Eisenstein integer represented by cell m is A307013(m) + A307012(m)*omega. Thus the set of Eisenstein primes is {A307013(a(n)) + A307012(a(n))*omega : n >= 2}. - Peter Munn, Jun 26 2021

The Eisenstein integer a + b*omega has norm a^2 - a*b + b^2 (see A003136). The number of Eisenstein integers of norm n is given by A004016(n).

The norms of the Eisenstein primes are given in A055664, and the number of Eisenstein primes of norm n is given in A055667.

Reid's 1910 book (still in print) is still the best reference for the Eisenstein integers and similar rings.

Consists of primes congruent to 1, 2, 3, 5, 7, 9 (mod 20) together with the squares of all other primes.

From Jianing Song, Feb 20 2021: (Start)

The norm of a nonzero ideal I in a ring R is defined as the size of the quotient ring R/I.

Note that Z[sqrt(-5)] has class number 2.

For primes p == 1, 9 (mod 20), there are two distinct ideals with norm p in Z[sqrt(-5)], namely (x + y*sqrt(-5)) and (x - y*sqrt(-5)), where (x,y) is a solution to x^2 + 5*y^2 = p.

For p == 3, 7 (mod 20), there are also two distinct ideals with norm p, namely (p, x+y*sqrt(-5)) and (p, x-y*sqrt(-5)), where (x,y) is a solution to x^2 + 5*y^2 = p^2 with y != 0; (2, 1+sqrt(-5)) and (sqrt(-5)) are respectively the unique ideal with norm 2 and 5.

For p == 11, 13, 17, 19 (mod 20), (p) is the only ideal with norm p^2. (End)

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.

Also norms of prime ideals in Z[(1+sqrt(-11))/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 0, 1, 3, 4, 5, 9 modulo 11 and the squares of primes congruent to 2, 6, 7, 8, 10 modulo 5.

For primes p == 1, 3, 4, 5, 9 (mod 11), there are two distinct ideals with norm p in Z[(1+sqrt(-11))/2], namely (x + y*(1+sqrt(-11))/2) and (x + y*(1-sqrt(-11))/2), where (x,y) is a solution to x^2 + x*y + 3*y^2 = p; for p = 11, (sqrt(-11)) is the unique ideal with norm p; for p == 2, 6, 7, 8, 10 (mod 11), (p) is the only ideal with norm p^2.