2
$\begingroup$

This question already has an answer here:

My question is when one say two cohomology rings are isomorphic, does the degree of generator matters?

Here is a motivating example:

$H^*(RP^{\infty}, \mathbb Z_2)\cong \mathbb Z_2[\alpha]$ with $|\alpha|=1$, and $H^*(CP^{\infty}, \mathbb Z_2)\cong \mathbb Z_2[\beta]$, with $|\beta|=2$, but if we define map between two cohomology rings by sending $\alpha$ to $\beta$, it is clearly a ring isomorphism. But we know that the two spaces even don't share the same cohomology groups. So, I have a doubt on definition of isomorphism between cohomology rings.

$\endgroup$

marked as duplicate by Najib Idrissi, Claude Leibovici, user91500, hardmath, Community Mar 6 '16 at 16:16

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 4
    $\begingroup$ Never mind, I have find this post useful: math.stackexchange.com/questions/1581681/… $\endgroup$ – Yilong Zhang Mar 5 '16 at 23:42
  • 1
    $\begingroup$ What do you expect them to be isomorphic as? As rings sure theyre is isomorphic. As graded rings no of course not (a morphism of graded rings preserves the graded rings). A map between topological spaces induces a graded ring map between their cohomology rings. $\endgroup$ – PVAL-inactive Mar 5 '16 at 23:42
  • $\begingroup$ @PVAL Yes, I just realized that, thanks for your comment. $\endgroup$ – Yilong Zhang Mar 5 '16 at 23:45
2
$\begingroup$

Yes, you should ask for an isomorphism of graded rings.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.