Cohomolgy "algebras" of compact surfaces



Hello, all!

I am working on _Characteristic Classes_, which makes copious use of the
cohomology "algebra" (an algebra is a "ring over a field", cohomolgy is
a "ring over a ring") of manifolds, so I am attempting to understand
"algebra" structures as some remedial work. I am working on _Algebraic
Topolgy_ by Greenburg ana Harpur, exercise 24.17, determining the
cohomology "algebras" of the various compact, connected 2-manifolds
without boundary.

In 19.30 and 19.31, the authors give the singular homology of the
surfaces using a CW-complex decomposition with one 2-cell attached to a
rose and a theorem about homology of a space with a single cell
attached. To tackle 24.17, they suggest finding an explict generator of
H_2 and computing the action of the dual of each generator of H_1 on the
generator of H_2.

Any help would be appreciated.

Sincerely,

--
Jeffrey Rolland
<jrolland@xxxxxxxxxxxx>

.



Relevant Pages

  • Re: ring/field/algebra
    ... >they say a ring is an Abelian group WRT addition and a monoid WRT ... The definition of division algebra also specifies that it is ... > A vector space is itself an abelian group WRT ...
    (sci.logic)
  • Re: JSH: Resolution now possible
    ... My position is that the definition of the ring of algebraic ... >properly units that are excluded on the technicality that they are not ... >roots of monic polynomials with integer coefficients. ... >out algebra! ...
    (sci.math)
  • Re: JSH: Simple proof
    ... >polynomials with integer coefficients. ... of a unit is defined only with respect to some ring. ... >> commutative algebra) this should be possible in a few lines instead ... No>>sides<< in that discussion just mathematics! ...
    (sci.math)
  • JSH: Resolution now possible
    ... My position is that the definition of the ring of algebraic ... properly units that are excluded on the technicality that they are not ... roots of monic polynomials with integer coefficients. ... out algebra! ...
    (sci.math)
  • Re: My paper, and the cheaters
    ... anyway: a ring that does not ... > some VERY basic algebra, ... supposed to be even, then I have a false premise, and that makes me ... > and dodge all of the specifics, ...
    (sci.math)