4

Consider the Euclidean complex quadratic rings.

There are only a $5$ of them.

$$ \Bbb Z[\sqrt{-1}],\Bbb Z[\sqrt {-2}], \Bbb Z[\frac{1+\sqrt {-3}}{2}], \Bbb Z[\frac{1+\sqrt {-7}}{2}], \Bbb Z[\frac{1+\sqrt {-11}}{2}]$$

Some of them are named and heavily researched such as

$$ \Bbb Z[\sqrt{-1}], \Bbb Z[\frac{1+\sqrt {-3}}{2}], \Bbb Z[\frac{1+\sqrt {-7}}{2}]$$

Known as the Gaussian integers, Eisenstein integers and Kleinian integers.

(apparantly Kleinians are popular for cryptography, but I am unsure why ?)

Ed Pegg has named

$$ \Bbb Z[\sqrt {-2}]$$

The Hippasus integers and the related primes, the Hippasus Primes.

See for instance here :

https://community.wolfram.com/groups/-/m/t/965609

and here :

Heegner Prime visualizations

I am uncertain if

$$\Bbb Z[\frac{1+\sqrt {-11}}{2}]$$

Is named or investigated alot.

Anyway A lot of questions pop up for the primes in those rings.

And questions has already been asked about them.

Although they are pretty well understood with quadratic residues and primes of the forms $u \mod v$ etc, combined ideas and visuals are still mysterious.

For instance :

Prime density race : ring $A = \Bbb Z[\frac{1+\sqrt {-7}}{2}]$ vs ring $B = \Bbb Z[\frac{1+\sqrt {-11}}{2}]$?

Here I ask for the prime distribution of those two rings within a radius compared to eachother.

But Now I want to focus more on the visualizations that Ed plotted and related.

In fact instead of thinking about primes in one of those rings, I wondered about primes in all of those or some of those rings simultanously, meaning stuff like :

CASE A :

$$a + b(\frac{1 + \sqrt{-7}}{2}),a + b(\frac{1 + \sqrt{-11}}{2})$$

are both primes for the same values $a,b$.

Similar to this related post :

List of prime numbers in imaginary quadratic fields with UFD

where they stick to the primes that are real integers.

I wonder if the visuals( Like Ed made) for "simultanously prime " like in CASE 1 or similar has any remarkable patterns.

And I wonder if those remarkable patterns in the visuals remain for larger data (aka zooming out). (I also wonder if zooming out for the original visuals in Ed's link maintain fascinating for that matter)

It might be interesting to note the norms of those rings;

$$ \Bbb Z[\sqrt{-1}],\Bbb Z[\sqrt {-2}]$$

have norms $a^2 + b^2$ and $a^2 + 2 b^2$ whereas

$$\Bbb Z[\frac{1+\sqrt {-3}}{2}], \Bbb Z[\frac{1+\sqrt {-7}}{2}], \Bbb Z[\frac{1+\sqrt {-11}}{2}]$$

have norms $a^2 + ab + b^2,a^2 + ab + 2 b^2,a^2 + ab + 3 b^2$.

and it seems primality or divisors of them is perhaps not completely unrelated or independant. ( for instance if one of them is a square, then the previous one is that square minus $b^2$ what implies probably composite since $(c^2 - b^2) = (c+b)(c-b)$ )

This post asks somewhat a multitude of related questions, selected pairs of rings and visuals, so multiple answers are possible.

To avoid not having a main question I post this :

MAIN QUESTION :


What is known about the equation :

$$ p_1 = a^2 + ab + b^2, p_2 = a^2 + ab + 2 b^2, p_3 = a^2 + ab + 3 b^2 $$

where $p_1,p_2,p_3$ are odd primes and $a,b$ are positive integers ?

or equivalently the "simultaniously primes " of $\Bbb Z[\frac{1+\sqrt {-3}}{2}], \Bbb Z[\frac{1+\sqrt {-7}}{2}], \Bbb Z[\frac{1+\sqrt {-11}}{2}]$ ?

And how does it look like in the cartesian plane with $a,b$ on the 2 axises ? Do we get an interesting pattern ? Some conjectures ? Does it hold if we zoom out ?

As Gerry Meyerson correctly points out $b$ needs to be a multiple of $3$ so we actually get the diophantine equations (setting $b = 3B$) :

$$ p_1 = a^2 + 3aB + 9 B^2, p_2 = a^2 + 3aB + 18 B^2, p_3 = a^2 + 3aB + 27 B^2 $$

and ofcourse $a,b$ or $a,B$ need to be relatively prime.

RELATED SECONDARY QUESTION :

Is the number of such simul primes within radius $x$ very close to this estimate or is it a bit off ? :

$$ \pi_3(x) = \frac{x}{(\ln(a^2 + ab + b^2)-1)(\ln(a^2 + ab + 2 b^2)-1)(\ln(a^2 + ab + 3 b^3)-1)}$$

(this is similar to prime constellation estimates, but in this case unlike prime twins we know they exist and have good idea about their density )

how good is this estimate ?

mick
  • 17,886

2 Answers2

2

In a few cases we can do even better.

  • All seven Heegner numbers $h\ge3$ are prime, and $2g-1=\sqrt{-h}$ where $g=\frac12(1+\sqrt{-h})$ generates the nonnatural integers of the UF ring. So for $a=-1,b=2$ we have simultaneous primes in all seven of these rings.

  • For $a=19,b=30$ we get simultaneous primes in four rings given by $h\in\{3,7,11,19\}$. The primes are respectively $1831,2731,3631,5431$. The identical last two digits $31$ come from the fact that if we include $h=19$ which gives norms $a^2+ab+5b^2$, we favor $b$ values divisible by $5$ (as well as $2$ and $3$).

  • https://oeis.org/A309024 gives a list of natural primes ($a=\text{the prime},b=0$) that remain prime in all nine UF imaginary quadratic integer domains. The smallest such prime is $3167$.

Oscar Lanzi
  • 48,208
  • Well thank you for the answer. But forgive my skepticism : better seems a bit of a stretch for an incomplete answer that is more of a comment imo. The first bullet point , $a=-1,b=2$. That is nice but just a very single solution, not an overview, parametrisation or visual of the general idea. Kinda trivial rather than better. As for the second bulletin : $19$ does not generate an euclidean domain, so you are talking a bit out of the context and shifting the attention to disconnected a bit. As for the third answer that is basically a link to the linked related question I already gave ! so ... – mick Jun 04 '25 at 19:23
  • Limiting to Euclidean donains seemed artificial to me, so I went beyond them. – Oscar Lanzi Jun 04 '25 at 20:08
0

here are successes in Oscar's four rings with $0 \leq a \leq 250 $ and $|b| \leq 250$

Tue 03 Jun 2025 12:57:16 PM PDT
    0    1              1         2         3         5
    0   -1              1         2         3         5
    1   -1              1         2         3         5
    1   -2              3         7        11        19
    7    6            127       163       199       271
    7   90           8779     16879     24979     41179
    7 -180          31189     63589     95989    160789
   13   -6            127       163       199       271
   19   30           1831      2731      3631      5431
   23  210          49459     93559    137659    225859
   43 -210          36919     81019    125119    213319
   49  -30           1831      2731      3631      5431
   49  132          26293     43717     61141     95989
   53 -126          12007     27883     43759     75511
   73 -126          12007     27883     43759     75511
   77   90          20959     29059     37159     53359
   77  180          52189     84589    116989    181789
   79 -168          21193     49417     77641    134089
   83  204          65437    107053    148669    231901
   89   30          11491     12391     13291     15091
   89 -168          21193     49417     77641    134089
   97  -90           8779     16879     24979     41179
  107   96          30937     40153     49369     67801
  119  -30          11491     12391     13291     15091
  119  132          47293     64717     82141    116989
  133   60          29269     32869     36469     43669
  161   78          44563     50647     56731     68899
  161  198          97003    136207    175411    253819
  167  -90          20959     29059     37159     53359
  167 -210          36919     81019    125119    213319
  173 -180          31189     63589     95989    160789
  181 -132          26293     43717     61141     95989
  193  -60          29269     32869     36469     43669
  203   60          56989     60589     64189     71389
  203  -96          30937     40153     49369     67801
  217   30          54499     55399     56299     58099
  217   36          56197     57493     58789     61381
  217   96          77137     86353     95569    114001
  233 -210          49459     93559    137659    225859
  239  -78          44563     50647     56731     68899
  247  -30          54499     55399     56299     58099
Will Jagy
  • 146,052
  • I see many columns where I espected only $2$ or $3$ for $a,b$. I assume the first $2$ are $a$ and $b$ and the others are the 4 norms of the 4 rings. Notice as in my comment to Oscar that $19$ does not generate an euclidean domain. But thanks for the data. It might make a miniplot. Thanks for the effort. Maybe extending the list and making a plot ? – mick Jun 04 '25 at 19:30
  • @mick, you get considerably more successes if you drop the 19 column. Suggest you program this yourself: for this size of numbers, there is no loss of speed in checking for primes by trial division. – Will Jagy Jun 04 '25 at 20:11