6
$\begingroup$

I have to figure out the duals to a couple of graded algebras. This requires a comultiplication (also called a coproduct in Hatcher). Hatcher's book shows what form the comultiplication must take using a cohomology argument for the cohomology of H-spaces. I do not know that these algebras are the cohomology of some H-spaces. Is there a purely algebraic argument to figure out a comultipication for an arbitrary graded algebra or do I need some extra data.

If you were wondering, I need to figure the duals of $\Lambda (y)$ and $\Gamma [ \gamma ] $.

1 Answers 1

2

There is no way to "figure out" a comultiplication for an arbitrary graded algebra. Some algebras are not bialgebras in any way, and those algebras that can be made into bialgebras can usually turned into bialgebras in many different ways.

You will probably have to be more specific about the algebras you have in mind (at the very least, explain the notation you are using!)


The following, earlier text answers another question, the one in the title...

Doesn't the following obvious construction work? If $A$ and $B$ are graded algebras you can present them as quotients of free algebras $T(V)$ and $T(W)$ modulo homogeneous ideals generated by sets of homogeneous elements $R_A\subset T(V)$ and $R_B\subset T(W)$, so that $A=T(V)/\langle R_A\rangle$ and $B=T(W)/\langle R_B\rangle$. Then $A\sqcup B$ is $T(V\oplus W)/\langle R_A\cup R_B\rangle$.

  • 0
    @Sven: your first comment to this answer confuses me: are you aware that the two uses of the work *coproduct* in "categorical coproduct" and "coproduct of a bialgebra/Hopf algebra" are rather unrelated, right?2011-04-13