2
$\begingroup$

I need a reference which states which of the "normal properties of vector spaces" carry over to free $\mathbb{Z}$-modules.

Especially I am interested in things like: If you have a linear map between two free $\mathbb{Z}$-modules and you choose a basis for its kernel, can you choose a basis of a complementary space so that both together form a basis of the whole space (and the map, viewed only on this complementary space, is an isomorphism on its image)?

Probably this is an easy question for algebra guys.

$\endgroup$
3
  • $\begingroup$ To make my question more precise: What are important properties of subspaces of Z^n, regarding bases, complements, kernels and cokernels? Is there a good book about that? $\endgroup$ May 12, 2010 at 11:33
  • 1
    $\begingroup$ I first learnt the basics of this from the textbook amazon.co.uk/Rings-Modules-Linear-Algebra-Mathematics/dp/… which now alas is out of print. $\endgroup$ May 12, 2010 at 12:04
  • $\begingroup$ This comment is just to emphasize that Smith normal form (as in bugs' answer below) really is a good way to answer the types of questions you ask about (for any particular map between finite rank modules). The wikipedia entry is, I think, pretty readable: en.wikipedia.org/wiki/Smith_normal_form $\endgroup$
    – GS
    May 12, 2010 at 18:49

3 Answers 3

3
$\begingroup$

What carries over?

As Peter pointed out, a submodule of a free $\mathbb{Z}$-module though free need not have a complement. Indeed each submodule of a free $\mathbb{Z}$-module is free, but a quotient module need not be, for instance $\mathbb{Z}/2\mathbb{Z}$. Also a $\mathbb{Z}$-module is free if and oly if it is projective; this entails that a kernel of a map of free modules does have a complement.

The set $\mathrm{Hom}(F,G)$ for free $\mathbb{Z}$-modules need not be free. If $F$ is free of countably infinite rank and $G=\mathbb{Z}$, then $\mathrm{Hom}(F,G)\cong\prod_{j=1}^\infty\mathbb{Z}$ which remarkably is not free over $\mathbb{Z}$. But $F\otimes G$ is free for free $F$ and $G$.

$\endgroup$
3
  • $\begingroup$ So what is an example of a map f:Z^n -> Z^m, where ker f has no complement V, so that f|V is an isomorphism onto the image of f? $\endgroup$ May 12, 2010 at 11:48
  • 3
    $\begingroup$ The kernel of a map between free Z-modules always has a complement (the image is a submodule of a free module, hence itself free, choose a splitting). $\endgroup$
    – user2035
    May 12, 2010 at 11:57
  • $\begingroup$ Now corrected $\endgroup$ May 12, 2010 at 11:58
2
$\begingroup$

You can write your map as a matrix. Moreover, you can choose a different basis so that the matrix is in the Smith's normal formal. The complement to the kernel exists only if the Smith's normal form contains only ones and zeroes. That is about it and should be explained in many Algebra books, say, Artin's Algebra.

$\endgroup$
4
  • $\begingroup$ I think you meant to say that the complement to the image exists iff the SNF has only zeroes and ones. $\endgroup$ May 12, 2010 at 12:03
  • $\begingroup$ Yeah, good point! My statement is still correct but the next statement "that is about it" would not be correct without iff:-)) $\endgroup$
    – Bugs Bunny
    May 12, 2010 at 12:13
  • 8
    $\begingroup$ Bugs, why do you say "That is about it" rather than "That's all, Folks"? It almost makes me think you might not be the real Bugs Bunny. $\endgroup$
    – KConrad
    May 12, 2010 at 22:28
  • 4
    $\begingroup$ Of course you realize, this means war. $\endgroup$
    – Bugs Bunny
    May 21, 2010 at 9:11
1
$\begingroup$

There is no complementary space in general: Consider the multiplication by 2 map from $\mathbb{Z}$ to itself ...

$\endgroup$
1
  • 1
    $\begingroup$ I did not claim that. I was just interested in complementary spaces to kernels of linear maps. If we do not exist in general, I don't care: I was searching for a reference which states what kind of vector space (basis related) theorems also work (in a maybe weaker sense) for free Z-modules. $\endgroup$ May 12, 2010 at 11:30

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.