# How can I prove the dimension axiom here?

Here is the problem:

I want to prove the dimension axiom in (a). My professor gave me the dimension axiom for reduced cohomology as follows:

$$widetilde{H}^k(S^n ; mathbb{Z}) = mathbb{Z}, text{ if } k = n text{ and } widetilde{H}^k(S^n ; mathbb{Z})= 0 text{ if } k neq n.$$

And the dimension axiom for homology as follows:

$${H}_n(pt.) = 0, text{ if } n geq 1 text{ and } {H}_n(pt.)= mathbb{Z} text{ if } n = 0.$$

Could anyone explain to me how I can use those 2 definitions to prove the required, please?

Mathematics Asked on January 1, 2021

I don't think the "dimension axiom" you're citing from your professor is right. Maybe he was talking about the dimension axiom and gave you that result as a consequence of the axiom, but it certainly isn't equivalent to any form of the dimension axiom I've seen. As pointed out in the comments, this axiom isn't restrictive enough to specify the cohomology of spaces built out of suspensions, etc. The one you give for homology is correct, and the natural analog of that axiom for cohomology is $$H^n(text{pt}) = 0$$ for $$n>0$$ and $$H^0(text{pt})$$ is your coefficient group.

In your case, your coefficient group will be the underlying group of $$R$$. Then since $$H_n$$ is an ordinary homology theory, it satisfies the dimension axiom, so $$H_n(text{pt}) = 0$$ for $$n>0$$. Then $$h^n(text{pt}) = text{Hom}(0,R) = 0$$ for $$n>0$$. Now, $$H_0(text{pt})cong R$$, so $$h^0(text{pt})congtext{Hom}(R,R)cong R$$, as desired.

note: Some of your confusion might be coming from mixing up the definitions of "reduced" theories vs. "ordinary" theories vs. "generalized" theories. These all have slightly different definitions. For example, reduced theories have $$widetilde{H}_n(text{pt}) = 0$$ for $$ngeq0$$, not just $$n>0$$. Ordinary theories satisfy all of the usual Eilenberg-Steenrod axioms, and generalized theories don't satisfy the dimension axiom at all, meaning contractible spaces will have nontrivial homology in positive dimension in these theories.

Correct answer by jben2021 on January 1, 2021

## Related Questions

### Real Analysis Methodologies to Prove $-int_x^infty frac{cos(t)}{t},dt=gamma+log(x)+int_0^x frac{cos(t)-1}{t},dt$ for $x>0$

1  Asked on December 21, 2021 by mark-viola

### Determine the $lambda in mathbb{R}$ for which this integral converges

2  Asked on December 21, 2021

### How to prove that there is an infinite number of primitive pythagorean triples such as $b=a+1$ and $2 | a$?

2  Asked on December 21, 2021

### $int_0^1frac{lnleft(1-tright)ln^3 t}{2-t}dt$

1  Asked on December 21, 2021 by fdp

### Convergence of $sum_{n=1}^infty frac{(-1)^n}{x^2-n^2}$ in the reals and in the complex numbers

2  Asked on December 21, 2021

### Proving a duality between Ext and Tor for maximal Cohen-Macaulay modules over Gorenstein ring

1  Asked on December 21, 2021 by user521337

### Is the set ${x in mathbb R^n : d(x, M) = c}$ a smooth manifold for a small constant $c$ when $M$ is a smooth manifold embedded in $mathbb R^n$?

1  Asked on December 21, 2021 by yoshimi-saito

### Topological proof that a continuous injective real function on an interval has a continuous inverse

3  Asked on December 21, 2021

### Uniform motion question

3  Asked on December 21, 2021 by simran

### Prove that there exists $T in mathcal{L}(V, W)$ such that $operatorname{null}(T) = U$ if and only if $dim (U) ge dim (V) – dim (W)$

3  Asked on December 21, 2021

### Does a sequence of $d$-SOS polynomials converge to a polynomial that is also $d$-SOS?

0  Asked on December 21, 2021 by tio-miserias

### A term for multiples made by using an odd/even factor

1  Asked on December 21, 2021

### Solving 4 simultaneous homogeneous equations

1  Asked on December 21, 2021

### Application of Game Theory in time-varying networks.

0  Asked on December 21, 2021

### What conditions on the coefficient category allow one to check isomorphisms for sheaves on stalks?

0  Asked on December 21, 2021 by chris-kuo

### How to find the dominant eigenvalue of a Next generation matrix

1  Asked on December 21, 2021

### Question on the Definition of Automorphism

1  Asked on December 21, 2021 by james-eade

### Closed-form expression for $sum_{n = 0}^{infty}(frac{(ln(4n+3))^k}{4n+3}-frac{(ln(4n+5))^k}{4n+5}),$ where $k$ is a positive integer

0  Asked on December 21, 2021

### The cardinality of the intersection of a subgroup and its conjugate

2  Asked on December 21, 2021 by user792898

### How does the process of simplifying imaginary numbers actually work?

5  Asked on December 20, 2021

### Ask a Question

Get help from others!