MHB Units of the Gaussian Integers, Z[i]

AI Thread Summary
The discussion centers on identifying the units of the Gaussian integers, denoted as Z[i]. It is established that the units are ±1 and ±i, which can be shown through the equation (a1 + b1i)(a2 + b2i) = 1. By taking the sum of the squares of the resulting equations, it is demonstrated that both a1^2 + b1^2 and a2^2 + b2^2 must equal 1, limiting the integer solutions to (±1, 0) and (0, ±1). This confirms that the only units in Z[i] are indeed ±1 and ±i, reinforcing the understanding of the structure of this number system. The conversation emphasizes the importance of grasping the underlying mathematics rather than merely solving the exercise.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
In John Stillwell's book: Elements of Number Theory, Chapter 6 concerns the Gaussian integers, $$\mathbb{Z} = \{ a + bi \ | \ a, b \in \mathbb{Z} \}$$.

Exercise 6.1.1 reads as follows:

------------------------------------------------

"Show that the units of $$\mathbb{Z} $$ are $$ \ \pm 1, \ \pm i \ $$."

------------------------------------------------

Now an element $$a$$ of a ring or integral domain such as $$\mathbb{Z} $$ is a unit if there exists an element $$b$$ in $$\mathbb{Z} $$ such that $$ab = ba = 1$$.

So, then ... it is easy to demonstrate that $$ \ \pm 1, \ \pm i \ $$ are units of $$\mathbb{Z} $$ ... ... BUT ... ... how do we rigorously demonstrate that they are the only units ... ... presumably we proceed as follows:$$(a_1 + b_1 i)$$ is a unit of $$\mathbb{Z} $$ if there exists an element $$(a_2 + b_2 i)$$ such that:

$$(a_1 + b_1 i) (a_2 + b_2 i) = (a_2 + b_2 i) (a_1 + b_1 i) = 1 = 1 + 0 i $$ ... ... in which case, of course, ... ...

... $$(a_2 + b_2 i)$$ is also a unit ... ...So, I think, it follows that if we obtain all the solutions to the equation

$$(a_1 + b_1 i) (a_2 + b_2 i) = 1$$

we will have all the units ... and further will have demonstrated that they are the only units ... ...

Now ... ...

$$(a_1 + b_1 i) (a_2 + b_2 i) = 1 = 1 + 0 i $$

$$\Longrightarrow \ \ (a_1a_2 - b_1b_2) + (a_1b_2 + a_2b_1) i = 1 + 0 i
$$

$$\Longrightarrow \ \ a_1a_2 - b_1b_2 = 1 \ $$ and $$ \ a_1b_2 + a_2b_1 = 0$$

... ... ?BUT ... where to from here ...

Can someone please help with this exercise by showing how to complete my approach ... OR ... by critiquing my approach and showing a better approach ...

Peter
 
Last edited:
Mathematics news on Phys.org
Take the sum of the squares of the last two equations to get

$$(a_1 a_2 - b_1 b_2)^2 + (a_1 b_2 + a_2 b_1)^2 = 1.$$

Expanding the left hand side yields the expression

$$a_1^2 a_2^2 + b_1^2 b_2^2 + a_1^2 b_2^2 + a_2^2 b_1^2,$$

which factors as

$$ (a_1^2 + b_1^2)(a_2^2 + b_2^2).$$

Thus $(a_1^2 + b_1^2)(a_2^2 + b_2^2) = 1$. Since $a_1^2 + b_1^2$ and $a_2^2 + b_2^2$ are non-negative integers, the latter equation implies that $a_1^2 + b_1^2 = 1 = a_2^2 + b_2^2$. In particular, none of $a_1, a_2, b_1$ or $b_2$ can be greater than $1$. Hence, the only solutions for the pairs $(a_1, b_1)$ and $(a_2, b_2)$ are $(\pm 1, 0)$ and $(0, \pm 1)$. What does this mean for $\Bbb Z$?
 
Euge said:
Take the sum of the squares of the last two equations to get

$$(a_1 a_2 - b_1 b_2)^2 + (a_1 b_2 + a_2 b_1)^2 = 1.$$

Expanding the left hand side yields the expression

$$a_1^2 a_2^2 + b_1^2 b_2^2 + a_1^2 b_2^2 + a_2^2 b_1^2,$$

which factors as

$$ (a_1^2 + b_1^2)(a_2^2 + b_2^2).$$

Thus $(a_1^2 + b_1^2)(a_2^2 + b_2^2) = 1$. Since $a_1^2 + b_1^2$ and $a_2^2 + b_2^2$ are non-negative integers, the latter equation implies that $a_1^2 + b_1^2 = 1 = a_2^2 + b_2^2$. In particular, none of $a_1, a_2, b_1$ or $b_2$ can be greater than $1$. Hence, the only solutions for the pairs $(a_1, b_1)$ and $(a_2, b_2)$ are $(\pm 1, 0)$ and $(0, \pm 1)$. What does this mean for $\Bbb Z$?

Thanks for the help Euge ...

You ask:

"Hence, the only solutions for the pairs $(a_1, b_1)$ and $(a_2, b_2)$ are $(\pm 1, 0)$ and $(0, \pm 1)$. What does this mean for $\Bbb Z$?"

Since $$(a_1, b_1) = (a_1 + b_1 i)$$ ... ...

... the solution $$(a_1, b_1) = (\pm 1, 0)$$ ..

... means that elements $$\pm 1 = \pm 1 + 0$$ are units of $\Bbb Z$ ...while, in the other case ...

Since $$(a_2, b_2) = (a_2 + b_2 i)$$ ... ...

... the solution $$(a_2, b_2) = (0, \pm 1)$$ ..

... means that elements $$ \pm i = 0 + \pm i $$ are units of $\Bbb Z$ ...

Is that the interpretation you were looking for?
Thanks once again for your help!

Peter
 
Peter said:
Thanks for the help Euge ...

You ask:

"Hence, the only solutions for the pairs $(a_1, b_1)$ and $(a_2, b_2)$ are $(\pm 1, 0)$ and $(0, \pm 1)$. What does this mean for $\Bbb Z$?"

Since $$(a_1, b_1) = (a_1 + b_1 i)$$ ... ...

... the solution $$(a_1, b_1) = (\pm 1, 0)$$ ..

... means that elements $$\pm 1 = \pm 1 + 0$$ are units of $\Bbb Z$ ...while, in the other case ...

Since $$(a_2, b_2) = (a_2 + b_2 i)$$ ... ...

... the solution $$(a_2, b_2) = (0, \pm 1)$$ ..

... means that elements $$ \pm i = 0 + \pm i $$ are units of $\Bbb Z$ ...

Is that the interpretation you were looking for?
Thanks once again for your help!

Peter


Well, not exactly. The pair $(a_1, b_1)$ is not equal to $a_1 + ib_1$, but corresponds to $a_1 + ib_1$. Likewise $(a_2,b_2)$ is not equal to $a_2 + ib_2$, but corresponds to $a_2 + ib_2$. So $(\pm 1, 0)$ corresponds to $\pm 1$ and $(0, \pm 1)$ corresponds to $\pm i$. The possible units in $\Bbb Z$ are therefore $\pm 1$ and $\pm i$. You've shown that $\pm 1$ and $\pm i$ are in fact units in $\Bbb Z$. Hence, these are the only units in $\Bbb Z$.
 
Euge said:
Well, not exactly. The pair $(a_1, b_1)$ is not equal to $a_1 + ib_1$, but corresponds to $a_1 + ib_1$. Likewise $(a_2,b_2)$ is not equal to $a_2 + ib_2$, but corresponds to $a_2 + ib_2$. So $(\pm 1, 0)$ corresponds to $\pm 1$ and $(0, \pm 1)$ corresponds to $\pm i$. The possible units in $\Bbb Z$ are therefore $\pm 1$ and $\pm i$. You've shown that $\pm 1$ and $\pm i$ are in fact units in $\Bbb Z$. Hence, these are the only units in $\Bbb Z$.
Thanks for the help Euge ...

Late here in Tasmania now ... will work through your post in the morning ...

Peter
 
Peter said:
Thanks for the help Euge ...

Late here in Tasmania now ... will work through your post in the morning ...

Peter

OK I think I understand ... we are dealing with an isomorphism, not an equality ...

Thank you for that, Euge ... these points are VERY important to me as I wish to gain an understanding of the mathematics involved ... not just get a 'solution' to an exercise ...

Thanks again,

Peter
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Thread 'Unit Circle Double Angle Derivations'
Here I made a terrible mistake of assuming this to be an equilateral triangle and set 2sinx=1 => x=pi/6. Although this did derive the double angle formulas it also led into a terrible mess trying to find all the combinations of sides. I must have been tired and just assumed 6x=180 and 2sinx=1. By that time, I was so mindset that I nearly scolded a person for even saying 90-x. I wonder if this is a case of biased observation that seeks to dis credit me like Jesus of Nazareth since in reality...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...

Similar threads

Replies
15
Views
21K
Replies
1
Views
1K
Replies
6
Views
4K
Replies
22
Views
5K
Replies
9
Views
4K
Replies
15
Views
2K
Replies
62
Views
4K
Back
Top