0
$\begingroup$

Consider the $\mathbb Z$-module $\mathbb Z \oplus \mathbb Z$.

I have seen two assertions about the direct summands of $\mathbb Z \oplus \mathbb Z$ but I have trouble with these:

  1. $(a,b)\in\mathbb Z \oplus \mathbb Z$ spans a direct summand if and only if it is primitive, that is, $(a,b)=1$.

  2. Two linearly independent vectors $(a,b)$ and $(c,d)$ span a direct summand of $\mathbb Z \oplus \mathbb Z$ if and only if the determinant of the matrix $\left( \begin{array}{cc} a & c\\b & d \end{array}\right)$ is $±1$.

  • 0
    I would guess primitive to mean gcd(a,b)=1 without knowing more about the problem.2012-09-30

2 Answers 2

2

The following steps lead to a solution for (2):

  1. The condition that $(a,b)$ and $(c,d)$ be a basis for $\Bbb{Z} \oplus \Bbb{Z}$ is that the the linear system $\left(\begin{array}{cc} a& b \\ c & d \end{array}\right)\left(\begin{array}{c}x \\ y \end{array}\right) = \left(\begin{array}{c}e \\ f \end{array}\right)$ has a unique solution for every $(e,f) \in \Bbb{Z} \oplus \Bbb{Z}$.

  2. This happens if and only if the matrix $A = \left( \begin{array}{cc} a & b \\ c & d \end{array}\right)$ is invertible over $\Bbb{Z}$.

  3. This happens if and only if $\det A = ad-bc$ is non-zero and divides all of $a,b,c$ and $d$.

  4. Conclude.

  • 0
    Is there a similar result for $\mathbb{Z}^n$? That is a vector $(a_1, ... ,a_n) \in \mathbb{Z}^n$ spans a direct summand if and only if it is primitive. And also if there are k < n linearly independent vectors when will they span a direct summand of $\mathbb{Z}^n$? - Thanks2015-05-22
1

The matrix $A=\left(\begin{matrix}a&c\\b&d\end{matrix}\right)$ has the property that it transfers the coordinates relative to $(a,b)$ and $(c,d)$ to standard coordinates: $x\cdot (a,b)+y\cdot(c,d) = u\cdot(1,0)+v\cdot (0,1)$ with $\left(\begin{matrix}u\\v\end{matrix}\right)=A\left(\begin{matrix}x\\y\end{matrix}\right)$. There must also be a matrix $B$ in theopposite direction, i.e. such that $\left(\begin{matrix}x\\y\end{matrix}\right)=B\left(\begin{matrix}u\\v\end{matrix}\right)$. What does that tell about $AB$? What does that imply for $\det(A)$ and $\det(B)$?