Division algorithm and unique Gaussian integers

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
Proggy99
Messages
49
Reaction score
0

Homework Statement


Theorem
Let [tex]\alpha\neq0[/tex] and [tex]\beta[/tex] be Gaussian integers. Then there are Gaussian integers [tex]\tau[/tex] and [tex]\rho[/tex] such that [tex]\beta=\tau\alpha+\rho[/tex] and [tex]N\left(\rho\right)<N\left(\alpha\right)[/tex]

Problem
Show that the Guassian integers [tex]\tau[/tex] and [tex]\rho[/tex] in the Theorem are unique if and only if [tex]\beta[/tex] is a multiple of [tex]\alpha[/tex]

Homework Equations





The Attempt at a Solution


Can someone please give me a jumping off point for this question because I am not sure how to proceed? I used the theorem in previous problems to actually solve for [tex]\tau[/tex] and [tex]\rho[/tex] given [tex]\beta[/tex] and [tex]\alpha[/tex], but I am not sure how to go about this problem. Thanks
 
Physics news on Phys.org
Proggy99 said:

Homework Statement


Theorem
Let [tex]\alpha\neq0[/tex] and [tex]\beta[/tex] be Gaussian integers. Then there are Gaussian integers [tex]\tau[/tex] and [tex]\rho[/tex] such that [tex]\beta=\tau\alpha+\rho[/tex] and [tex]N\left(\rho\right)<N\left(\alpha\right)[/tex]

Problem
Show that the Guassian integers [tex]\tau[/tex] and [tex]\rho[/tex] in the Theorem are unique if and only if [tex]\beta[/tex] is a multiple of [tex]\alpha[/tex]

Homework Equations





The Attempt at a Solution


Can someone please give me a jumping off point for this question because I am not sure how to proceed? I used the theorem in previous problems to actually solve for [tex]\tau[/tex] and [tex]\rho[/tex] given [tex]\beta[/tex] and [tex]\alpha[/tex], but I am not sure how to go about this problem. Thanks

I did some poking around trying to find hints but can not seem to find any beyond proving uniqueness for the division algorith for real numbers. I can not seem to find a way to apply a similar method here. Help please.