All complex integers of the same norm = associates?

Click For Summary
SUMMARY

All complex integers with the same norm are not necessarily associates of each other. An associate of a complex number is defined as a multiple of that number by a unit, which includes the conjugate. The discussion highlights the need for a clear definition of "associate" in the context of Gaussian and Eisenstein integers, particularly in relation to their norms. The definition of associates as numbers that share the same norm is deemed unsatisfactory, as it does not align with established mathematical principles.

PREREQUISITES
  • Understanding of Gaussian integers
  • Knowledge of Eisenstein integers
  • Familiarity with complex number norms
  • Concept of roots of unity
NEXT STEPS
  • Research the properties of Gaussian primes
  • Study Eisenstein primes and their characteristics
  • Explore the concept of units in complex integers
  • Learn about the implications of norms in algebraic number theory
USEFUL FOR

Mathematicians, number theorists, and students studying algebraic structures, particularly those focused on complex integers and their properties.

Ventrella
Messages
28
Reaction score
4
Are all complex integers that have the same norm associates of each other?

I have seen definitions saying that an associate of a complex number is a multiple of that number with a unit. And I understand that the conjugate of a complex number is also an associate. But I am looking for a satisfying definition of associate as part of my research on the Gaussian and Eisenstein integers.

I have found a satisfying definition of a Gaussian prime or an Eisenstein prime as being "only divisible by a root of unity and one of its associates". But now I want to find a definition of "associate". The definition I found is "a multiple of the number with one of the roots of unity". This is a circular definition. If the definition of the associate of a Gaussian or Eisenstein integer p were "all integers that have the same norm as p", then that would be great. But since I haven't found this definition, I wonder if I am missing something?

Thanks!
-Jeffrey
 
Physics news on Phys.org
Ventrella said:
I have found a satisfying definition of a Gaussian prime or an Eisenstein prime as being "only divisible by a root of unity and one of its associates". But now I want to find a definition of "associate". The definition I found is "a multiple of the number with one of the roots of unity". This is a circular definition.
It is not circular. In the Gaussian integers the roots of unity are 1, i, -1 and -i. The associates of a number z are z, iz, -z, -iz. Now you can use this definition to define primes.

Using your definition, 3+4i, 3-4i and 5 are not associates, despite having the same norm.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 26 ·
Replies
26
Views
996
  • · Replies 20 ·
Replies
20
Views
5K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K