Euclidean Algorithm Gaussian Integers

  • Thread starter dan280291
  • Start date
  • #1
8
0
Hi,

Just wondering when using the Euclidean Algorithm to find gcd of 4+7i and 1+3i. Where does 2 and 2+i come from in the follwoing?

4+7i = 2*(1+3i)+(2+i)
1+3i=(1+i)*(2+i) +0?

I know you didvide them to get (5-i)/2 and then take closest Gaussian integer then not sure where to go.
 

Answers and Replies

  • #2
SteamKing
Staff Emeritus
Science Advisor
Homework Helper
12,798
1,670
If these are complex numbers you are talking about, I'm not sure that the GCD has the same meaning as it does for integers. Complex numbers can't be ordered as 'lesser' or 'greater' like integers and real numbers can.
 
  • #3
8
0
I think the size is relative to their Norm x^2 + y^2 if that makes sense.
 
  • #4
SteamKing
Staff Emeritus
Science Advisor
Homework Helper
12,798
1,670
There are many different complex numbers which all have the same norm. You still can't say if one complex number is 'greater than' or 'less than' another complex number.
 
  • #5
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,473
255
The greatest common divisor is a well-defined notion in any unique factorization domain.

http://en.wikipedia.org/wiki/Greatest_common_divisor#The_gcd_in_commutative_rings

The greatest common divisor is unique up to multiplication by a unit; in the case of gaussian integers, this means one of ##\pm 1## or ##\pm i##.

A euclidean domain is a special case of a unique factorization domain, one in which the euclidean algorithm works, meaning essentially that we can divide any element ##a## by any nonzero element ##b## and get a quotient and a remainder, where the remainder is "smaller" than ##b##. Part of the definition of euclidean domain is a "norm" function which quantifies what we mean by smaller. It can be any function ##f## from the ring to the nonnegative integers, such that for every ##a## and every nonzero ##b##, there exist ##q,r## satisfying ##a = qb + r##, with either ##r = 0## or ##f(r) < f(b)##.

The gaussian integers are an example of a euclidean domain, with norm function ##f(x+iy) = x^2 + y^2##.

To address the OP's question, if ##a = 4 + 7i## and ##b = 1 + 3i## then for the first step of the euclidean algorithm, we seek ##q## and ##r## satisfying
$$4 + 7i = q(1+3i) + r$$
such that either ##r = 0## or the norm of ##r## is strictly smaller than ##1^2 + 3^2 = 10##. To find a candidate for ##q##, we can carry out the division as complex numbers (not constrained to be gaussian integers):
$$\frac{4+7i}{1+3i} = \frac{(4+7i)(1-3i)}{(1+3i)(1-3i)} = \frac{25 - 5i}{10} = \frac{5}{2} - \frac{1}{2}i$$
If we round the real part ##5/2## down to ##2## and the imaginary part ##-1/2## up to ##0##, we get a candidate ##q = 2 + 0i = 2##. Multiplying this candidate by ##1+3i##, we get ##2 + 6i##, and subtracting this from ##4+7i##, we end up with ##r = 2 + i##, which indeed satisfies the desired norm inequality ##2^2 + 1^2 < 1^2 + 3^2##.

Note that we could equally well have tried rounding the real part ##5/2## down to ##2## and the imaginary part ##-1/2## down to ##-1##, in which case we would have a candidate ##q = 2 - i##. Multiplying by ##1+3i## gives ##5 + 5i##, and subtracting this from ##4+7i##, we end up with ##r = -1 + 2i##, which also satisfies the norm inequality: ##1^2 + 2^2 < 1^2 + 3^2##. So this shows that the ##q## and ##r## at each step are not necessarily unique. This is OK, because at some point we must still end up with ##r=0## since at each step the norm of ##r## is a nonnegative integer which is strictly smaller than in the previous step.

Let's say we chose ##q=2## and ##r = 2+i## as in the OP. Then at the second step, we need to find ##q## and ##r## satisfying
$$1+3i = q(2+i) + r$$
where either ##r=0## or the norm of ##r## is strictly less than ##2^2 + 1^2 = 5##. To find a candidate ##q##, we can once again carry out the division in ##\mathbb{C}##:
$$\frac{1 + 3i}{2 + i} = 1 + i$$
No rounding is needed this time: we got an exact gaussian integer with no remainder. So this is the final step: ##q = 1 + i## and ##r = 0##, and the gcd is ##1+i## times any unit (##\pm 1## or ##\pm i##).
 
Last edited:
  • Like
Likes 1 person
  • #6
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,473
255
Note that if we had chosen ##q=2-i## and ##r = -1 + 2i## in the first step, then in the second step we would need to solve
$$1+3i = q(-1+2i) + r$$
where either ##r = 0## or the norm of ##r## is strictly less than ##1^2 + 2^2 = 5##. Carrying out the division in ##\mathbb{C}##:
$$\frac{1+3i}{-1+2i} = 1 - i$$
and again we got an exact answer with no remainder. At first glance the answer looks different: we obtained ##1 - i## versus ##1 + i## in the previous post. But note that ##(1 - i)(i) = 1 + i##, so the two answers agree up to multiplication by the unit ##i##.
 
Last edited:
  • #7
mathwonk
Science Advisor
Homework Helper
2020 Award
11,237
1,443
jbunnill is right, if x = abcdefghi, and y = efghiklmn, where all letters are non associate primes, then the gcd(x,y) is efghi.


the confusing part is the language "greatest", whereas the correct terminology is "universal". I.e. a gcd of x aND Y IS A NUMBER z such that z is a common divisor of x and y, and such that z divides all common divisors of x and y.
 

Related Threads on Euclidean Algorithm Gaussian Integers

  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
1
Views
6K
Replies
2
Views
7K
  • Last Post
Replies
6
Views
5K
Replies
9
Views
5K
  • Last Post
Replies
9
Views
6K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
8
Views
4K
Top