# homology with field coefficients

Let $X$ be a topological space and $F$ be a field. I want to understand why the homology $H_n(X,F)$ is an $F$-vector space : that is how do we define the multiplication of a class in $H_n(X,F)$ by a scalar $\alpha\in F$?

My guess: if we take a class $c\in H_n(X,F)$ as a formal sum $\sum{a_ic_i}$ where $a_i\in F$ and $c_i$ are $n$-chains. then $\alpha.c=\sum{(\alpha\,a_i)c_i}$.

does this generalize if we take the coefficients to be a ring $R$ then the homology group $H_n(X,R)$ is an $R$-module?

-

You are right, and it generalizes as you say. A class in $H_n(X;R)$ is represented by a formal sum of $n$-simplices in $X$ with coefficients in $R$, and scalar multiplication of coefficients gives the $R$-module structure. (It's easy to check that this is well-defined on homology.)
As for saying that ring coefficients are the "most general", in fact there's a vast generalization to "extraordinary (co)homology theories", among which singular (co)homology theories are characterized by the fact that their output when applied to the one-point space $\{*\}$ is concentrated in dimension 0. If such a cohomology theory has a notion of a cup product, then its value on $\{*\}$ will be a graded ring. So... yes and no. – Aaron Mazel-Gee Sep 2 '12 at 19:11