In the first version of Problem 2(a), I had written . The current formulation says . These statements are equivalent (can you see why?), but I want you to prove the current formulation.
Problem 2(c) should say:
Prove that as -algebras.
Problem 3 should say: “A nonzero element is grouplike if and only if .”
In Problem 5(c), the algebra is called $\wedge(V)$.