10
$\begingroup$

Let $(A, M, u)$ be a finite dimensional algebra where $M: A\otimes A \rightarrow A$ denotes multiplication and $u: k \rightarrow A$ denotes unit.

I want to prove that $(A^*, \Delta, \varepsilon) $ is a colagebra where $\Delta: A^*\rightarrow A^* \otimes A^*$ is a composition: $$A^* \overset{M^*}{\rightarrow}(A\otimes A)^* \overset{\rho^{-1}}{\rightarrow}A^*\otimes A^*$$

And $\rho: V^*\otimes W^* \rightarrow (V\otimes W)^*$ is given by $<\rho(v^*, w^*), v\otimes w>=$.

I have proven that $\rho$ is injective and since $A$ is finite dimensional $\rho$ is also bijective and we can take the inverse $\rho^{-1}$.

But I have problems understanding how does $\Delta$ work.

By definition we have $==c^*(ab)$. But I can't understand what is $\rho^{-1}(M^*(c^*))$, or in other words which element of $A^*\otimes A^*$ can act like $M^*(c^*)$ via $\rho$?

P.S. Please correct me if I have grammar mistakes. Thanks!

  • 1
    One little comment: when doing those angled brackets , \langle and \rangle look nicer than < and >.2012-06-18
  • 0
    This is the kind of question that makes me wish we had xymatrix on M.SE.2013-03-10

1 Answers 1