Are Complex Primes a Reality or Just a Concept?

  • Context: Graduate 
  • Thread starter Thread starter Dashin
  • Start date Start date
  • Tags Tags
    Complex Primes
Click For Summary

Discussion Overview

The discussion revolves around the existence of complex primes, exploring whether they can be defined similarly to primes in the integers or Gaussian integers. Participants examine the implications of complex numbers on the concept of primality, including the behavior and constraints of potential analogs.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that there are no primes in the complex numbers, arguing that every non-zero number is invertible, which negates the existence of primes.
  • Others mention that while there are no complex primes, primes exist in the Gaussian integers, defined as numbers of the form a + bi, where a and b are integers.
  • It is proposed that if an integer prime p can be expressed as a^2 + b^2 = |p|, then both a + bi and a - bi are Gaussian integer primes; otherwise, p is also a Gaussian integer prime.
  • Participants discuss the significance of the order of a and b in the Gaussian integers, concluding that it does not matter as they differ by a unit.
  • Some participants suggest that while analogs of primes could be defined in the complex case, they would lack the unique factorization property and importance of primes in the integers.

Areas of Agreement / Disagreement

Participants generally disagree on the existence of complex primes, with some asserting their non-existence and others exploring the concept of primes in Gaussian integers. The discussion remains unresolved regarding the definition and implications of complex primes.

Contextual Notes

Participants express uncertainty about the behavior of potential prime analogs in the complex numbers, noting that every non-zero complex number is a unit and lacks unique factorization, which complicates the analogy to integer primes.

Dashin
Messages
7
Reaction score
0
Complex Numbers have always facinated me.

But... Do complex primes exist? If so, How?
 
Physics news on Phys.org
There are no primes in the complex numbers. There are no primes in the real numbers either. When every non-zero number is invertible, there is no such thing as a prime!

In the integers, there are primes. There are primes in the gaussian integers as well. The gaussian integers are numbers of the form a + bi, where a and b are both integers.

In the gaussian integers, 2 is not prime; its prime factorization is (1-i)(1+i).
 
Hurkyl said:
There are no primes in the complex numbers. There are no primes in the real numbers either. When every non-zero number is invertible, there is no such thing as a prime!

In the integers, there are primes. There are primes in the gaussian integers as well. The gaussian integers are numbers of the form a + bi, where a and b are both integers.

In the gaussian integers, 2 is not prime; its prime factorization is (1-i)(1+i).

Thanks!
So... What primes are there in the Gaussian Integers?
 
Dashin said:
Complex Numbers have always facinated me.

But... Do complex primes exist? If so, How?

Not really but you could define an analog in terms of behavior. The thing you would need to think about are what the atoms are in the complex case and the constraints.

Did you have an idea of something in mind?
 
chiro said:
Not really but you could define an analog in terms of behavior. The thing you would need to think about are what the atoms are in the complex case and the constraints.

Did you have an idea of something in mind?

:confused:
 
Dashin said:
Thanks!
So... What primes are there in the Gaussian Integers?

If p is an integer prime, and you can write [itex]a^2 + b^2 = |p|[/itex], then both [itex]a+bi[/itex] and [itex]a-bi[/itex] are Gaussian integer primes. If you cannot, then [itex]p[/itex] is also a Gaussian integer prime.

All primes in the Gaussian integers are of this form.
 
Hurkyl said:
If p is an integer prime, and you can write [itex]a^2 + b^2 = |p|[/itex], then both [itex]a+bi[/itex] and [itex]a-bi[/itex] are Gaussian integer primes. If you cannot, then [itex]p[/itex] is also a Gaussian integer prime.

All primes in the Gaussian integers are of this form.

Does the order of a and b matter? Do you need to make the larger number be a, or doesn't it matter?
 
Dashin said:
Does the order of a and b matter? Do you need to make the larger number be a, or doesn't it matter?
Doesn't matter; they just differ by a unit. Just like -5 and 5 are both integer primes -- and in a certain sense the "same" prime, (3+2i), i(3+2i), (-1)(3+2i), and (-i)(3+2i) are all the "same" gaussian integer prime.The prime factorization of 2 I mentioned earlier: I could have (and probably should have) also written it as (-i) (1+i)^2, since 1+i and 1-i are the "same" prime.

(Just like prime factorizations in the integers can have a (-1) out front, factorizations in the guassian integers can have a (-1), (-i), or i out front)

If you don't like multiple primes being the "same", then I suppose you could insist on a being positive, and being larger in magnitude than b. (and have a special rule for deciding which of 1+i, 1-i, -1+i, and -1-i you like)
 
Hurkyl said:
Doesn't matter; they just differ by a unit. Just like -5 and 5 are both integer primes -- and in a certain sense the "same" prime, (3+2i), i(3+2i), (-1)(3+2i), and (-i)(3+2i) are all the "same" gaussian integer prime.


The prime factorization of 2 I mentioned earlier: I could have (and probably should have) also written it as (-i) (1+i)^2, since 1+i and 1-i are the "same" prime.

(Just like prime factorizations in the integers can have a (-1) out front, factorizations in the guassian integers can have a (-1), (-i), or i out front)

If you don't like multiple primes being the "same", then I suppose you could insist on a being positive, and being larger in magnitude than b. (and have a special rule for deciding which of 1+i, 1-i, -1+i, and -1-i you like)

Thank you very much.
 
  • #10
chiro said:
Not really but you could define an analog in terms of behavior. The thing you would need to think about are what the atoms are in the complex case and the constraints.

Did you have an idea of something in mind?

There really aren't any good analogs in terms of behaviour. Every non-zero complex number is a unit and lacks a unique factorization, so even if your defined some sort of prime-analog, they would lack the importance of prime numbers in the integers (i.e. you can't really build anything with them).
 

Similar threads

  • · Replies 108 ·
4
Replies
108
Views
13K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K