
{"id":131,"date":"2013-03-07T18:27:30","date_gmt":"2013-03-07T18:27:30","guid":{"rendered":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/?p=131"},"modified":"2013-07-16T13:33:15","modified_gmt":"2013-07-16T13:33:15","slug":"homework-8","status":"publish","type":"post","link":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/2013\/03\/07\/homework-8\/","title":{"rendered":"Homework 8"},"content":{"rendered":"<p>This will be due March 21.<\/p>\n<p>A. Let \\(A\\) and \\(B\\) be abelian groups and \\(f\\) a homomorphism.  Show that \\(0\\to A\\xrightarrow{f} B\\) is exact if and only if \\(f\\) is injective.<\/p>\n<p>B. Suppose \\(\\cdots \\to A_{n+1} \\xrightarrow{f_{n+1}} A_n \\xrightarrow{f_n} A_{n-1} \\to \\cdots\\) is a long exact sequence.  Prove that for each \\(n\\) there exists a short exact sequence \\(0\\to\\mathrm{coker\\ } f_{n+2} \\xrightarrow{\\phi} A_n \\xrightarrow{\\theta} \\mathrm{ker\\ }f_{n-1} \\to 0\\), where \\(\\phi\\) is induced from \\(f_{n+1}\\) and \\(\\theta\\) is induced from \\(f_n\\).<\/p>\n<p>C. Suppose \\(A \\subset X\\), with \\(i:A\\to X\\) the inclusion map, and suppose there is a retraction \\(r:X\\to A\\).  Prove that the induced map \\(i_\\ast: H_n(A)\\to H_n(X)\\) is a monomorphism and that the induced map \\(r_\\ast: H_n(X)\\to H_n(A)\\) is an epimorpishm, for all \\(n\\).<\/p>\n<p>D. Let \\(X\\) be a topological space and suppose \\(f:X\\to X\\) is a constant map.  Show that the induced map on reduced homology \\(f_\\ast:\\widetilde{H}_n(X)\\to \\widetilde{H}_n(X) \\) is the zero map for all \\(n\\).<\/p>\n<p>E. Suppose \\(A\\) is an abelian group and that \\(0 \\to \\mathbb{Z} \\xrightarrow{\\times 5} \\mathbb{Z} \\to A \\to \\mathbb{Z} \\to \\mathbb{Z} \\to 0\\) is exact.  Classify \\(A\\).<\/p>\n<p>F. Let \\(x_0\\) be a point in a space \\(X\\).  Show that \\(H_0(X,x_0) \\cong \\widetilde{H}_0(X)\\).  Hint: play with the quotient \\( Z_0(X,x_0) \/ B_0(X,x_0) \\), and recall the theorem involving \\(\\widetilde{H}_0(X)\\).<\/p>\n<p>Problems G and H relate to the Snake Lemma.  Suppose we have the following commutative diagram of abelian groups where the rows are exact:<\/p>\n<p>\\( \\newcommand{\\ra}[1]{\\kern-1.5ex\\xrightarrow{\\ \\ #1\\ \\ }\\phantom{}\\kern-1.5ex} \\newcommand{\\ras}[1]{\\kern-1.5ex\\xrightarrow{\\ \\ \\smash{#1}\\ \\ }\\phantom{}\\kern-1.5ex} \\newcommand{\\da}[1]{\\bigg\\downarrow\\raise.5ex\\rlap{\\scriptstyle#1}} \\begin{array}{c}   &#038;   &#038; M&#8217; &#038; \\ra{f} &#038; M &#038; \\ra{g} &#038; M&#8221; &#038; \\ra{ } &#038; 0   \\\\   &#038; &#038; \\da{d&#8217;} &#038; &#038; \\da{d} &#038; &#038; \\da{d&#8221;} &#038; &#038;    \\\\ 0 &#038; \\ras{ } &#038; N&#8217; &#038; \\ras{f&#8217;} &#038; N &#038; \\ras{g&#8217;} &#038; N&#8221; &#038;   &#038;    \\\\ \\end{array} \\)<br \/>\nThe Snake Lemma says that the sequence \\( \\mathrm{ker\\ } d&#8217; \\xrightarrow{\\overline{f}} \\mathrm{ker\\ } d \\xrightarrow{\\overline{g}} \\mathrm{ker\\ } d&#8221;\\xrightarrow{\\partial}  \\mathrm{coker\\ } d&#8217; \\xrightarrow{\\overline{f&#8217;}} \\mathrm{coker\\ } d \\xrightarrow{\\overline{g&#8217;}} \\mathrm{coker\\ } d&#8221; \\) is exact, where \\(\\partial = (f&#8217;)^{-1}\\circ d \\circ g^{-1}\\).<\/p>\n<p>G. Prove the connecting map \\(\\partial\\) is well-defined.<\/p>\n<p>H. Show \\(\\mathrm{im\\ }\\partial = \\mathrm{ker\\ } \\overline{f&#8217;}\\).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This will be due March 21. A. Let \\(A\\) and \\(B\\) be abelian groups and \\(f\\) a homomorphism. Show that \\(0\\to A\\xrightarrow{f} B\\) is exact if and only if \\(f\\) is injective. B. Suppose \\(\\cdots \\to A_{n+1} \\xrightarrow{f_{n+1}} A_n \\xrightarrow{f_n} A_{n-1} \\to \\cdots\\) is a long exact sequence. Prove that for each \\(n\\) there exists [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[4],"tags":[],"_links":{"self":[{"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/posts\/131"}],"collection":[{"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/comments?post=131"}],"version-history":[{"count":27,"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/posts\/131\/revisions"}],"predecessor-version":[{"id":200,"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/posts\/131\/revisions\/200"}],"wp:attachment":[{"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/media?parent=131"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/categories?post=131"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pdhorn.expressions.syr.edu\/spring2013mat761\/wp-json\/wp\/v2\/tags?post=131"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}