(adsbygoogle = window.adsbygoogle || []).push({}); *note before reading: pretend that the superscripts are really subscripts, for some reason , Latex is making the subscripts into superscripts*

I'm not sure if I'm interpreting the universal coefficient theorem for homology correctly. Let's say I have a Homology group H(X;Z). This is a homology group using ring of integers. Now, let's say I want to compute Homology over the Field [tex]Z[/tex][tex]_{2}[/tex] (integers modulo 2), in order to simplify matters. By the way, I am trying to calculate the Betti numbers for a simplicial complex. Now, let's say I have a matrix M whose nullspace is isomorphic to the homology group. Now, I want to make all of the entries in the matrix modulo 2, if possible, in order to greatly simplify calculations.

So far we have:

kerM = H(X; Z)

Now, the universal theorem gives us this: 0[tex]\rightarrow[/tex][tex]H[/tex][tex]_{k}[/tex]([tex]X[/tex]) [tex]\otimes[/tex]G[tex]\rightarrow[/tex][tex]H[/tex][tex]_{k}[/tex](G)[tex]\rightarrow[/tex]Tor(H[tex]_{k+1}[/tex]([tex]Z[/tex]),G)[tex]\rightarrow[/tex]0

Basically, in this case, we can replace G with [tex]Z[/tex][tex]_{2}[/tex]. Also, the torsion should go to zero, since we have a free group. Now, since kerM is isomorphic to [tex]H[/tex][tex]_{k}[/tex]([tex]X[/tex]), can I say that ker(M)[tex]\otimes[/tex] [tex]Z[/tex][tex]_{2}[/tex] is isomorphic to [tex]H[/tex]([tex]X[/tex])[tex]\otimes[/tex] Z2= H(X;Z[tex]_{}2)[/tex][tex]Z[/tex][tex]_{2}[/tex] ? Can i also say that Ker(M) [tex]\otimes[/tex] Z[tex]_{}2[/tex] is the same as Ker(M[tex]\otimes[/tex]Z[tex]_{}2[/tex]) ?

Back to my goal again, I want to make the entries in the matrix M, integers modulo 2. However, I realize that the nullspace of M modulo 2 and and the nullspace of M are different. By applying the universal coefficient theorem, can I say that these two nullspaces are isomorphic? If this universal coefficient theorem is correct, can I just convert the entries of the new matrix ([tex]M[/tex][tex]\otimes[/tex][tex]Z[/tex][tex]_{2}[/tex]) into 1's and 0's? It seems I would need to tensor the matrix [tex]M[/tex] with [tex]Z[/tex][tex]_{2}[/tex], but what would [tex]Z[/tex][tex]_{2}[/tex] in matrix form be? The identity matrix with modulo 2 entries? (basically just ones on the diagonal?). If I am totally wrong, can anyone suggest a method of making the nullspace of M and the nullspace of M modulo 2 isomorphic?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Help with universal theorem of coefficients for homology

**Physics Forums | Science Articles, Homework Help, Discussion**