Generating Z^2

For discussing Olympiad Level Algebra (and Inequality) problems
User avatar
nayel
Posts:268
Joined:Tue Dec 07, 2010 7:38 pm
Location:Dhaka, Bangladesh or Cambridge, UK
Generating Z^2

Unread post by nayel » Sat Feb 21, 2015 1:13 am

Let $a=(a_1,a_2)\in\mathbb Z^2$ where $a_1$ and $a_2$ are coprime. Show that there exists $b=(b_1,b_2)\in\mathbb Z^2$ such that any element of $\mathbb Z^2$ can be written as a $\mathbb Z$-linear combination of $a$ and $b$.

Terminology:
1. A $\mathbb Z$-linear combination of $a$ and $b$ is anything of the form $xa+yb=x(a_1,a_2)+y(b_1,b_2):=(xa_1+yb_1,xa_2+yb_2)$ for $x,y\in\mathbb Z$.
2. We also say $a$ and $b$ generate $\mathbb Z^2$ as a $\mathbb Z$-module.
Follow-up question:
(Generalize to $\mathbb Z^n$) Given $e_1\in\mathbb Z^n$ such that its coordinates are coprime, can we find $e_2,\dots,e_n\in\mathbb Z^n$ such that they generate $\mathbb Z^n$ (as a $\mathbb Z$-module)?
Remark:
If the coordinates aren't coprime then none of the above is possible. (Why?)
"Everything should be made as simple as possible, but not simpler." - Albert Einstein

Post Reply