Exercise 1, § 11
Algebra, III, 647
If V is a finitely generated projective A-module, so is End(V), canonically identified with (II, § 4, no. 2, Corollary to Proposition 2). If every element is associated with the A-linear form on , an A-linear bijection is defined of onto its dual . Identifying and its dual A-module under this mapping, the A-algebra structure on defines by duality (no. 1, Example 3) an A-cogebra structure on , which is coassociative and has as counit the form . In particular, for , a cogebra structure is defined on for which the coproduct is given by . This cogebra structure and the algebra structure on do not define a bigebra structure.
Solution
No solution has been written yet.