Follow

Asking my mathsy people ...

An odd prime is the sum of two squares iff it's 1 (mod 4).

That means that 29 (say) factors in C.

There exists a square root of -1 mod p iff it's 1 (mod 4) (Again, limited to odd primes).

That means that 29 (say) factors non-trivially mod 41 (say).

These are all clearly related, and there are connections to be had, some obvious, others likely less so.

Does anyone know of a good article that gives a feel for what's happening?

jsiehler@jsiehler@mathstodon.xyz@ColinTheMathmo Both ℂ and ℤ/41ℤ are fields, so saying that things "factor nontrivially" in either of those systems... is sort of true, depending on what you mean by nontrivial, but not really the point. Everything factors lots of ways in a field, because everything's a unit. For every nonzero x, there is a y such that 29=x*y (mod 41), and that's nothing special about 29. It isn't really taking advantage of the fact that 9² = -1 (mod 41).