Let A and A' be abelian groups and B a subgroup of A. Let f: A -> A' be a group homomorphism. Let [itex] A^f = Im(f), B^f = Im(f|_B), A_f = Ker(f), B_f=Ker(f|_B) [/itex]. Show that [itex] (A:B) = (A^f:B^f)(A_f:B_f) [/itex]. This is the work I have done: We have [itex]B \subset E=f^{-1}(f(B)) [/itex]. We also have an isomorphism from [itex] A/E [/itex] to [itex] A^f/B^f [/itex]. We have the inclusion map [itex] \iota : A_f \rightarrow E [/itex]. We can use this to define a homomorphism [itex] \iota_* : A_f/B_f \rightarrow E/B [/itex] by xB_f goes to xB. This is well defined because B_f is contained in B. It is also one to one for xB=B implies x is in B and x in A_f which gives x in B_f. The last thing I need to show is surjectivity... This just seems hopeless to me to. But, if I can show that then we have the theorem. Note, I really haven't used the fact that the groups are abelian which is almost surely cause for thinking that I'm not on the right track.
Sorry to bump an old thread, but I just started reading through Lang and haven't cracked this problem either. It has been years since I have taken an algebra class (and only at undergrad level), so it could be the rust though. By chasing the index, is it meant we use the 1st iso thm to say that [itex]A/A_f \approx A^f[/itex] (and the same for [itex]B[/itex]), so that we have [itex](A:A_f) = (A^f:1)[/itex] and [itex](B:B_f) = (B^f:1)[/itex], where [itex](G:1)[/itex] is the order of the group [itex]G[/itex]? So then we could say that [itex](A:1) = (A:A_f)(A_f:1) = (A^f:1)(A_f:1)[/itex]. Since [itex](A^f:1) = (A^f:B^f)(B^f:1)[/itex] and [itex](A_f:1) = (A_f: B_f)(B_f:1)[/itex], we then get [itex](A:1) = (A^f:B^f)(A_f:B_f)(B^f:1)(B_f:1)[/itex] as well as [itex](A:1) = (A:B)(B:1) = (A:B)(B:B_f)(B_f:1) = (A:B)(B^f:1)(B_f:1)[/itex] But that's as far as you can get if the restriction of [itex]f[/itex] to [itex]B[/itex] has infinite kernel or image. Or am I missing something really simple?
You must only show that if two of the indices [itex](A:B),(A_f:B_f),(A^f,B^f)[/itex] is finite, then so is the third. Right? Well, maybe you can start by showing that [tex]0\rightarrow A_f/B_f\rightarrow A/B\rightarrow A^f/B^f\rightarrow 0[/tex] is exact.
Apologies for not getting back sooner, micromass... I appreciate the help. So essentially, if that is an exact sequence then the homomorphism [itex]\varphi \colon A_f/B_f \to A/B[/itex] embeds an isomorphic copy of [itex]A_f/B_f[/itex] in [itex]A/B[/itex] since it is injective. Then since the homomorphism [itex]\phi \colon A/B \to A^f/B^f[/itex] is surjective with kernel equal to [itex]\varphi(A_f/B_f) \approx A_f/B_f[/itex], we then have [itex](A/B)/(A_f/B_f) \approx A^f/B^f[/itex], correct? I'm not sure what the two maps [itex]\varphi \colon A_f/B_f \to A/B[/itex] and [itex]\phi \colon A/B \to A^f/B^f[/itex] should be though. If I define [itex]\varphi(aB_f) = aB[/itex], then it is well-defined, is a group homomorphism because [itex]B_f[/itex] and [itex]B[/itex] are normal in [itex]A[/itex] (the latter thanks to [itex]A[/itex] being abelian), and has image [itex]A_f/B[/itex]. My first instinct is to define [itex]\phi(aB) = f(a)B^f[/itex]. This is well-defined, is a group homomorphism since [itex]B[/itex] is normal in [itex]A[/itex] and [itex]B_f[/itex] is normal in [itex]A_f[/itex], is surjective, and has kernel [itex]f^{-1}(B^f)/B[/itex]; not [itex]A_f/B[/itex]. Where am I going wrong here? Thanks.
Just in case someone else is struggling with this problem in the future and finds this thread in google, let me show why [itex]A_f/B = f^{-1}(B^f)/B[/itex] 1. Assume [itex]aB \in A_f/B[/itex] so that [itex]f(a) = e'[/itex], where [itex]e'[/itex] is the identity element of [itex]A'[/itex]. 2. Then [itex]e' \in B^f[/itex] shows that [itex]a \in f^{-1}(B^f)[/itex], so we see that [itex]aB \in f^{-1}(B^f)/B[/itex] and therefore [itex]A_f/B \subset f^{-1}(B^f)/B[/itex] holds. 3. Let [itex]aB \in f^{-1}(B^f)/B[/itex] so that [itex]f(a) \in B^f[/itex]. 4. Then there is some [itex]b \in B[/itex] such that [itex]f(a) = f(b)[/itex]. 5. Then [itex]f(a b^{-1}) = f(a)f(b)^{-1} = e'[/itex], so [itex]a b^{-1} \in A_f[/itex]. 6. Then [itex]a = (a b^{-1})b[/itex], so [itex]aB \in A_f/B[/itex] and therefore the quotients [itex]A_f/B[/itex] and [itex]f^{-1}(B^f)/B[/itex] are equal.