Existence of Moore spaces for modules over commutative rings.

84 Views Asked by At

Let $R$ be a commutative ring, $A$ a $R$-module and $n$ a natural number. Does there exist a CW complex $M(A,n)$ with $\tilde{H}_i(M(A,n),R)=0$ if $i\neq n$ and $\tilde{H}_n(M(A,n),R)\cong A$ as $R$-modules?

If $R=\mathbb{Z}$ one can choose a short exact sequence $$0\longrightarrow \bigoplus_{j\in J}\mathbb{Z}\longrightarrow\bigoplus_{i\in I}{\mathbb{Z}}\longrightarrow A\longrightarrow 0$$ and construct $M(A,n)$ by attaching $n+1$-cells indexed over $J$ to $\bigvee_{i\in I}S^{n}$ corresponding to the first homomorphism in the sequence.

If $R$ is any other ring, there occur several problems:

  1. If $R$ is not a PDI, submodules of free modules do not have to be free, so the existence of such a SES is not guaranteed.
  2. I don't know whether I can realize every ring element as $R$-degree of a map between spheres. It's easy for all elements of the subgroup generated by $1$, but I don't see how one can manage that for other elements.
1

There are 1 best solutions below

0
On

Actually you cannot construct such $CW$-complex. Consider the map $d_k:C_k(X,R)\to C_{k-1}(X,R)$, the basis element ($k$-cell) $\alpha$ maps to $\sum [\alpha:\beta_i]\cdot\beta_i$, this is sum of $k-1$-cells with integer coefficients.

So, for example, if $R=\mathbb Z[t]$, you cannot get $H_n(X,R)=\mathbb Z[t]/(t)$.