11
$\begingroup$

While reading a blog post on partitions of unity at the Secret Blogging Seminar the following question came into my mind.

Let $n$ be a positive integer and let $B_1$ and $B_2$ be $n \times n$ matrices with integer entries. Is it true that exactly one of the following two statements is true?

  1. There is a vector $v \in \mathbb{Q}^n \backslash \mathbb{Z}^n$ such that both $B_1v$ and $B_2v$ are in $\mathbb{Z}^n$.

  2. There are matrices $A_1$ and $A_2$ with integer entries such that $A_1B_1+A_2B_2=I$.

Here, $I$ denotes the $n \times n$ identity matrix. The case $n=1$ is Bézout's identity.

$\endgroup$

1 Answer 1

5
$\begingroup$

I believe that what you say is true. I'll sketch an argument.

Let f:Zn ---> Z2n be the map of free Z-modules given by the matrices B1, B2 put in column (i.e. the direct sum of the morphisms given by B1 and B2). Now we rephrase conditions (1) and (2) in a slightly more abstract way:

  • (1) fails to hold if, and only if there exists p:Z2n ---> Zn such that, together with f, fit in a short exact sequence

    0 ---> Zn ---> Z2n ---> Zn ---> 0 (*)

Indeed, the failure of (1) means that any v in Qn such f(v) in Z2n must be integral (i.e. v in Zn). In particular, this implies that f is injective. Moreover, take w in Z2n representing a nonzero torsion element in the cokernel of f. As w represents a torsion element, Nw belongs to the image of f for some big enough positive integer N, so there is v in Zn such that f(v) = Nw. But now f(1/N v) = w, and this means, by the failure of (1), that 1/N v is integral, so w is in the image of f and the cokernel of f has no torsion. As a finitely generated torsion-free Z-module is free, we get an exact sequence like (*) above. This argument can easily be reversed, to show the equivalence between the existence of this exact sequence and the failure of (1).

  • (2) holds if, and only if there exists a morphism of Z-modules r:Z2n ----> Zn such that rf = id.

Let r be represented by a matrix (A1,A2). Then gf has matrix A1B1 + A2B2, and gf = id if, and only if (2) holds.

Now, the proof of what you asked for is easy. (1) fails if, and only if we can form the exact sequence (*), but such an exact sequence is always split because Z^n is projective, so we can form such exact sequence if, and only if there exists a splitting r:Z2n ----> Zn, which is exactly condition (2).

$\endgroup$
1
  • $\begingroup$ Very good solution. Thank you. By the way, the statement is also true (and much simpler) if we replace Q/Z by some field k in the following sense. It is an exercise in linear algebra to show that if B<sub>1</sub> and B<sub>2</sub> are nxn matrices with entries in k then either they have a common eigenvector with eigenvalue 0 or there exist nxn matrices A<sub>1</sub> and A<sub>2</sub> with entries in k such that A<sub>1</sub>B<sub>1</sub>+A<sub>2</sub>B<sub>2</sub>=I. $\endgroup$ Oct 17, 2009 at 19:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.