Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Is finite dual of an algebra morphism a morphism of coalgebras? Does taking finite dual preserves exactness of an exact sequence of algebra morphisms? When is this possible?

share|improve this question

closed as off-topic by Ricardo Andrade, Neil Strickland, quid, Johannes Hahn, Peter Michor Feb 14 at 19:27

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Ricardo Andrade, quid, Johannes Hahn, Peter Michor
If this question can be reworded to fit the rules in the help center, please edit the question.

1  
A muddled question with a muddled answer. It would be nice to see an answer that clarifies the meanings of the words algebra (of which there are many) and coalgebra. –  Paul Taylor Feb 13 at 9:59

1 Answer 1

up vote 1 down vote accepted

Gee, I have not a clue what is up, doc! I have never seen an exact sequence of algebra morphisms because usual linear kernels are not subalgebras. Having said that, algebra morphisms may conceivably have kernels but you need to expand on that

BTW, the answer to the first question is yes! All it is kinda saying that $^0$ is a functor. Say $f:A->B$ is an algebra morphism. The equality $\sum_{(\beta)} f^0(\beta_1)\otimes f^0(\beta_2)= \sum_{(f^0(\beta))} f^0(\beta)_1\otimes f^0(\beta)_2$ can be checked on any pair of elements $a,x\in A$ where it becomes $\beta (f(a)f(x))= \beta (f(ax))$.

share|improve this answer

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