MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For a topological group G, we have a Pontryagin product in homology by multiplying representative cycles. This gives the homology the structure of an associative graded algebra. Am I correct in thinking we can prove this by seeing a topological group as an algebra over the Ass-operad and applying homology everywhere?

share|cite|improve this question

You can do that. If an operad O acts on a space X, then the structure maps O(n) x Xn -> X induce homology operations H*O(n) ⊗ H*(X)⊗n -> H*(X). In particular, any path component in O(2) produces a multiplication on H*X, if it's in the same path component as its own image under the symmetric group action it's commutative, if the two composites of it are in the same path component of O(3) it's associative, et cetera.

In particular if O is the associative operad (so O(n) are discrete) then this structure reduces to the Pontrjagin ring structure.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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