Thread: [SOLVED] Subgroups of the Group Z^2

1. [SOLVED] Subgroups of the Group Z^2

I am not really sure if this is the correct section for this question, but the question I am given is this:

Describe all the subgroups of the group Z^2 which consists from all 2 dimensional vectors with integer components.

I am not looking for an answer at all.

I just don't really understand the question, know where to start, or even a method to do this. Any help that you are able to give would be most appreciated.

2. Originally Posted by sto4432
I am not really sure if this is the correct section for this question, but the question I am given is this:

Describe all the subgroups of the group Z^2 which consists from all 2 dimensional vectors with integer components.

I am not looking for an answer at all.

I just don't really understand the question, know where to start, or even a method to do this. Any help that you are able to give would be most appreciated.
Hi sto4432.

Subgroups of $\mathbb Z$ are of the form $n\mathbb Z=\{nk:k\in\mathbb Z\}$ for some non-negative integer $n$. Obviously, if $m\mathbb Z$ and $n\mathbb Z$ are subgroups of $\mathbb Z,$ then $m\mathbb Z\times n\mathbb Z$ is a subgroup of $\mathbb Z\times\mathbb Z.$

Conversely, suppose $\mathcal Z$ is a subgroup of $\mathbb Z\times\mathbb Z.$ $\mathcal Z$ can be $\{(0,0)\},$ $\{0\}\times n\mathbb Z,$ or $m\mathbb Z\times\{0\}.$ Otherwise, there is some $(a,b)\in\mathcal Z$ with $a,b\ne0.$ Then $(-a,-b)\in\mathcal Z.$ Hence there is a positive integer $a$ such that $(a,b)\in\mathcal Z$ for some integer $b,$ and a positive integer $b$ such that $(a,b)\in\mathcal Z$ for some integer $a.$

[Edit: The rest of the proof I originally posted is wrong. It led to the following conclusion (highlighted in red) which, as ThePerfectHacker points out, is clearly incorrect. I am editing to remove my false proof.]

$\color{red}\therefore\ \mathcal Z\ =\ m\mathbb Z\times n\mathbb Z$

The subgroups of $\color{red}\mathbb Z\times\mathbb Z$ are therefore the direct products of subgroups of $\color{red}\mathbb Z.$

3. Originally Posted by TheAbstractionist
$\therefore\ \mathcal Z\ =\ m\mathbb Z\times n\mathbb Z$

The subgroups of $\mathbb Z\times\mathbb Z$ are therefore the direct products of subgroups of $\mathbb Z.$
What about $\left< (2,2) \right>$?

4. Originally Posted by ThePerfectHacker
What about $\left< (2,2) \right>$?
Hi ThePerfectHacker.

Thank you for pointing this out. Looking through the post I made last night, I have just noticed a flaw in my proof. I have edited my post to remove the erroneous proof (I hope this will not affect the flow of the thread).

5. Originally Posted by sto4432
Describe all the subgroups of the group Z^2 which consists from all 2 dimensional vectors with integer components.
Hi sto4432.

Here is my second stab at the problem. Let $\mathcal Z$ be a subgroup of $\mathbb Z\times\mathbb Z.$ If $\mathcal Z$ is not $Z_1\times\{0\}$ or $\{0\}\times Z_2$ for any subgroup $Z_1,Z_2$ of $\mathbb Z,$ then there is a least positive integer $m$ such that $(m,b)\in\mathcal Z$ for any integer $b$ and a least positive integer $n$ such that $(a,n)\in\mathcal Z$ for any integer $a.$

Thus $(a_0,n),(m,b_0)\in\mathcal Z$ for some integers $a_0,b_0.$

If $(a,b)\in\mathcal Z,$ write $b=qn+r$ with $0\le r Then $(a-qa_0,r)=(a,b)-q(a_0,n)\in\mathcal Z$ and so, by minimality of $n,$ we need $r$ to be 0. So $n$ divides $b.$ By a similar argument, we have that $m$ divides $a.$ Thus every element of $\mathcal Z$ is of the form $(pm,qn)$ for some integers $p,q.$

Let $b_0=p_0m$ and $a_0=q_0n$ so $(m,q_0n),(p_0m,n)\in\mathbb Z.$ Hence $([p_0q_0-1]m,0)=q_0(p_0m,n)-(m,q_0n)\in\mathcal Z.$

Now consider two cases: (1) there is no nonzero integer $a$ such that $(a,0)\in\mathcal Z,$ (2) there is a nonzero integer $a$ such that $(a,0)\in\mathcal Z.$

Case (1):
In this case $p_0q_0-1=0$ and so $p_0,q_0=\pm1.$ It follows that $\mathcal Z$ is cyclic generated by $(m,n)$ or $(m,-n).$

It remains to consider Case (2). For this case, we may assume that there is a nonzero integer $b$ such that $(0,b)\in\mathcal Z.$ Otherwise, an argument similar to the above will lead to the conclusion that $\mathcal Z=\left<(\pm m,n)\right>.$ Indeed, Case (1) together with the possibilities $\mathcal Z=Z_1\times\{0\}$ and $\mathcal Z=\{0\}\times Z_2$ for subgroups $Z_1,Z_2$ of $\mathbb Z$ covers all the cyclic subgroups of $\mathbb Z\times\mathbb Z.$ So the condition that $\mathcal Z$ is not cyclic is equivalent to the condition that there exists a nonzero integer $a$ such that $(a,0)\in\mathcal Z$ and a nonzero integer $b$ such that $(0,b)\in\mathcal Z.$

Let $a_0,b_0$ be the least positive integers such that $(a_0,0),(0,b_0)\in\mathcal Z.$ Then if $\mathcal Y=\{(r,s)\in\mathcal Z:1\le r\le a_0,1\le s\le b_0\},$ $\mathcal Z=\left.$ I think that’s the best way to describe these noncyclic subgroups of $\mathbb Z\times\mathbb Z.$

6. Thanks very much for your help and quick responses. So all of the subgroups will be of the form above then?

7. Originally Posted by sto4432
Thanks very much for your help and quick responses. So all of the subgroups will be of the form above then?
Hi sto4432.

The problem was trickier than I thought at first. I initially jumped to the happy conclusion that all subgroups were of the form of the direct product $m\mathbb Z\times n\mathbb Z$ but ThePerfectHacker was quick to point out that I missed some cyclic subgroups. In the end, I found that each subgroup is either cyclic, a direct product, or a combination of both. If I have missed any more, I’m sure ThePerfectHacker or someone else will point it out to me again.

As an example of a subgroup that is a combination of a direct product and a cyclic subgroup, try $a_0=2,$ $b_0=4$ and $\mathcal Y=\{(1,2)\}.$ Then the subgroup $\mathcal Z$ is $\{(2m+k,4n+2k):m,n\in\mathbb Z,\,k\in\{0,1\}\}=2\mathbb Z\times4\mathbb Z\,\cup\,\{(2m+1,4n+2):m,n\in\mathbb Z)\}.$ You can verify directly that this is a subgroup (note for example that the inverse of $(2m+1,4n+2)$ is $(2[-m-1]+1,4[-n-1]+2))$ – and it’s a subgroup that is neither cyclic nor a direct product of subgroups of $\mathbb Z,$ but a combination of both.