Bourbaki

Exercise 1, § 11

Algebra, III, 647

If V is a finitely generated projective A-module, so is End(V), canonically identified with V⊗AV∗V \otimes_A V^* (II, § 4, no. 2, Corollary to Proposition 2). If every element u∈End(V)u \in \mathrm{End}(V) is associated with the A-linear form v↦Tr(uv)v \mapsto \mathrm{Tr}(uv) on End(V)\mathrm{End}(V), an A-linear bijection is defined of End(V)\mathrm{End}(V) onto its dual (End(V))∗(\mathrm{End}(V))^*. Identifying End(V)\mathrm{End}(V) and its dual A-module under this mapping, the A-algebra structure on End(V)\mathrm{End}(V) defines by duality (no. 1, Example 3) an A-cogebra structure on End(V)\mathrm{End}(V), which is coassociative and has as counit the form Tr:V→A\mathrm{Tr}: V \to A. In particular, for V=AnV = A^n, a cogebra structure is defined on Mn(A)\mathbf{M}_n(A) for which the coproduct is given by c(Eij)=∑kEkj⊗Eikc(E_{ij}) = \sum_k E_{kj} \otimes E_{ik}. This cogebra structure and the algebra structure on Mn(A)\mathbf{M}_n(A) do not define a bigebra structure.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.