Do it like Gauss

Algebra Level 5

A Gaussian Integer is a complex number of the form z = a + b i z=a+bi , where a a and b b are integers. How many Gaussian Integers z z divide 10, in the sense that 10 = z × w 10=z\times{w} for some Gaussian Integer w w ?


The answer is 48.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Chew-Seong Cheong
May 16, 2015

For Gaussian integer z = a + b i z = a+bi to be divisible by 10 10 , then there exists some Gaussian integer w = c + d i w = c+di such that:

z × w = ( a + b i ) ( c + d i ) = 10 + 0 i { a c b d = 10 a d + b c = 0 \Rightarrow z\times w = (a+bi)(c+di) = 10 +0i \quad \Rightarrow \begin{cases} ac - bd = 10 \\ ad+bc = 0 \end{cases}

It is obvious that a , b , c , d [ 10 , 10 ] a,b,c,d \in [-10,10] . Consider the cases when a d + b c = 0 ad+bc = 0 .

{ a , c = b , d = 0 { a = c = 0 { b , d = ± 1 , 10 4 cases b , d = ± 2 , 5 4 cases b = d = 0 { a , c = ± 1 , ± 10 4 cases a , c = ± 2 , ± 5 4 cases a d = b c { a , b = 1 ; b , a = ± 1 c = 1 , d = 5 4 cases a , b = + 1 ; b , a = ± 1 c = + 1 , d = 5 4 cases a , b = 1 ; b , a = ± 2 c = 2 , d = 4 4 cases a , b = + 1 ; b , a = ± 2 c = + 2 , d = 4 4 cases a , b = 1 ; b , a = ± 3 c = 1 , d = 3 4 cases a , b = + 1 ; b , a = ± 3 c = + 1 , d = 3 4 cases a , b = 2 ; b , a = ± 4 c = 1 , d = 2 4 cases a , b = + 2 ; b , a = ± 4 c = + 1 , d = 2 4 cases \begin{cases} a,c = b,d = 0 & \begin{cases} a = c = 0 & \begin{cases} b, d = \pm 1, \mp 10 & \text{4 cases} \\ b, d = \pm 2, \mp 5 & \text{4 cases} \end{cases} \\ b = d = 0 & \begin{cases} a, c = \pm 1, \pm 10 & \text{4 cases} \\ a, c = \pm 2, \pm 5 & \text{4 cases}\end{cases} \end{cases} \\ ad = -bc & \begin{cases} a,b = -1; b,a = \pm 1 & c = -1, d = \mp 5 & \text{4 cases} \\ a,b = +1; b,a = \pm 1 & c = +1, d = \mp 5 & \text{4 cases} \\ a,b = -1; b,a = \pm 2 & c = -2, d = \mp 4 & \text{4 cases} \\ a,b = +1; b,a = \pm 2 & c = +2, d = \mp 4 & \text{4 cases} \\ a,b = -1; b,a = \pm 3 & c = -1, d = \mp 3 & \text{4 cases} \\ a,b = +1; b,a = \pm 3 & c = +1, d = \mp 3 & \text{4 cases} \\ a,b = -2; b,a = \pm 4 & c = -1, d = \mp 2 & \text{4 cases} \\ a,b = +2; b,a = \pm 4 & c = +1, d = \mp 2 & \text{4 cases} \end{cases} \end{cases}

Therefore, there are altogether 48 \boxed{48} Gaussian integers z z that divide 10 10 (see table below).

Another way to do it is to prime factorize 10 as a gaussian integer, like this: 10 = i ( 1 + i ) 2 ( 2 + i ) ( 2 i ) \displaystyle 10=-i{ (1+i) }^{ 2 }(2+i)(2-i) Then you can see that there are 2 3 ( 3 ) { 2 }^{ 3 }(3) pairs (by choosing factors for z z ), and you may also multiply each in the pair by 1 -1 . This results in 48 48 total pairs.

Unfortunately, I was stupid and forgot the negative one part, and clicked show answer before I realized my mistake... oh well.

Dylan Pentland - 6 years ago

Log in to reply

Yes, that's the conceptual way to do it!

Just a small correction: i i isn't a Gaussian prime, but a unit (a number e e such that e w = 1 ew=1 for some w w ). Luckily, the final answer is the same in this case.

A prime factorization of 10 is 10 = ( 1 i ) 2 ( 1 + 2 i ) ( 2 + i ) 10=(1-i)^2(1+2i)(2+i) , and the number of factors is 4 × 3 × 2 × 2 = 48 4\times3\times2\times2=48 , where the factor 4 accounts for the four units, ± 1 \pm1 and ± i \pm{i} .

There is one issue to think about: We are assuming that the prime factorization is unique, up to multiplication by units (which can be proven to be the case for the Gaussian Integers). One of these days I will post an example where the factorization fails to be unique... then things get trickier.

Now you are ready for this one

Otto Bretscher - 6 years ago

Log in to reply

So if I understand correctly, we would not decompose 10 10 as ( 1 + i ) ( 1 i ) ( 2 + i ) ( 2 i ) (1 + i)(1 - i)(2 + i)(2 - i) , (even though all these terms are Gaussian primes), since we could absorb one of the units to convert one of the terms into one of the others, (e.g., i ( 1 + i ) = 1 i -i(1 + i) = 1 - i ). Since this cannot be done with the factorization that you have stated, it is the "unique" Gaussian factorization of 10 10 up to multiplication by any of the units.

(We could also write the factorization as ( 1 + i ) 2 ( 1 + 2 i ) ( 2 + i ) , -(1 + i)^{2}(1 + 2i)(2 + i), but I suppose that the convention is to write the factorization without a negative sign at the beginning.)

Thanks for posting these questions; I can't recall covering this (rather cool) topic before. :)

Brian Charlesworth - 6 years ago

Log in to reply

@Brian Charlesworth Thank you for taking an interest in my little problem. I learned a lot of "cool" algebra like this in high school (Gymnasium in Switzerland)... my math teacher had gotten his PhD from the great algebraist Van der Waerden, and he was fascinated by all things algebraic.

I'm not sure there is a standard answer to your questions, but Wolfram tells us that a unit up front is alright (as long as we don't count it as a prime), as in 2 = i ( 1 + i ) 2 2=-i(1+i)^2 . Something like 2 = ( 1 + i ) ( 1 i ) 2=(1+i)(1-i) seems to be an acceptable prime factorization as well. When counting the factors, we would have to recognize that the two prime factors are "the same up to a unit."

Otto Bretscher - 6 years ago

Log in to reply

@Otto Bretscher Thanks for the clarification. It sounds like you had a far more enlightening high school experience than I did. :)

Brian Charlesworth - 6 years ago

Thanks. I was trying to find some theory stuff on this.

Chew-Seong Cheong - 6 years ago

I'm impressed by your attempt to solve this by "brute force"! Thanks!

I'm not sure I fully understand your complex work, particularly your scenarios 5 and 6. Should you have c = ± 5 c=\pm5 there? Also, I think there is some overcount; you get only 4 cases by making a = b = 1 |a|=|b|=1 , not the 8 you count.Lastly, you list 10 scenarios with 4 cases each, but then your total comes out to be 48?! Can you explain this a bit more?

I did a similar enumeration, just to check my conceptual work . Note that z 2 w 2 = 1 0 2 |z|^2|w|^2=10^2 so that z 2 |z|^2 must divide 100. In each case we must count the ways in which z 2 |z|^2 can be written as the sum of the squares of two integers, z 2 |z|^2 = a 2 + b 2 =a^2+b^2 for z = a + b i z=a+bi , a well-understood problem. For example, 10 = 3 2 + 1 2 10=3^2+1^2 can be written as a sum of two squares in 8 ways if you account for sign and order. z 2 = 1 z = ± 1 , z = ± i |z|^2=1\quad z=\pm1,\quad z=\pm{i}\quad 4 cases

z 2 = 2 = 1 2 + 1 2 z = ± 1 ± i |z|^2=2=1^2+1^2\quad z=\pm1\pm{i}\quad 4 cases

z 2 = 4 z = ± 2 , z = ± 2 i |z|^2=4\quad z=\pm2,\quad z=\pm{2i}\quad 4 cases

z 2 = 5 = 2 2 + 1 2 z = ± 2 ± i , z = ± i ± 2 |z|^2=5=2^2+1^2\quad z=\pm2\pm{i},\quad z=\pm{i}\pm2\quad 8 cases

z 2 = 10 = 3 2 + 1 2 z = ± 3 ± i , z = ± i ± 3 |z|^2=10=3^2+1^2\quad z=\pm3\pm{i},\quad z=\pm{i}\pm3\quad 8 cases

In the first four cases, w = 1 z w=\frac{1}{z} will be a factor as well, with w 2 > 10 |w|^2>10 , so that we have to double count those cases, for a total of 48 \boxed{48} factors.

Otto Bretscher - 6 years ago

Log in to reply

Brutal way was the only way that I knew. I still have difficulties solving part 2. I actually used a Python code to solve the problem. And then trying to explain it. A bit of foul play. I have shown all the Gaussian integer pairs above.

Chew-Seong Cheong - 6 years ago

Log in to reply

Thanks! Now the list is complete,

Otto Bretscher - 6 years ago

Oh man! how the hell could u type so much of brute force? +1

Aditya Kumar - 6 years ago

Log in to reply

Cut and paste and patient.

Chew-Seong Cheong - 6 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...