Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Question of algebraic flavor in algebraic topolgy

  1. Mar 17, 2009 #1

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    See Hatcher p.146-147 theorem 2.44: http://www.math.cornell.edu/~hatcher/AT/ATch2.pdf

    In the proof, he puts himself in the more general situation where he has a bounded chain complex of finitely generated groups and goes on to prove that the alternating sum of the ranks of these groups equals the alternating sum of the ranks of their homology groups. From there, the result follows as a special case (in view of lemma 2.34 and theorem 2.35).

    The proof relies of the little algebraic fact stated between the statement of the theorem and its proof. I believe that in this little algebraic fact (which is trivial given the fundamental theorem on finitely generated abelian groups), the condition that the groups be finitely generated is important.

    What I wonder is, in the proof, why are the cycle groups Z_n=Ker(d_n) finitely generated??

    (Note that in the case that interests us for the statement of the theorem this is immediate because the groups in the cellular chain complex are actually finitely generated free abelian and subgroups of finitely generated free abelian groups are themselves finitely generated free abelian...)
     
  2. jcsd
  3. Mar 18, 2009 #2
    A subgroup of a finitely generated abelian group is finitely generated:

    Let A be a finitely generated abelian group, B a subgroup of A. Then there exists a surjective homomorphism [tex]f:\mathbb{Z}^n\to A[/tex] and [tex]C=f^{-1}(B)[/tex] is a subgroup of [tex]\mathbb{Z}^n[/tex], hence free and finitely generated. A set of generators of C is mapped to a set of generator of B by f, thus B is also finitely generated.
     
  4. Mar 18, 2009 #3

    quasar987

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Ahh, very nice! Thanks yyat.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Question of algebraic flavor in algebraic topolgy
  1. Lie algebra question (Replies: 4)

Loading...