Bourbaki

Definition 3

Tag 05WL, permanent. Cite it as [Bourbaki, Tag 05WL].

Algebra, chapter II, § 10. Matrices

In each of the above two cases, the matrix of u with respect to the bases (ei),(fk)(e_i), (f_k) is the matrix M(u)=(uki)(k,i)∈K×IM(u) = (u_{ki})_{(k, i) \in K \times I} such that

uki=fk∗(u(ei)) u_{ki} = f_k^*(u(e_i))

which is written respectively as

(14 D)

uki=⟨fk∗,u(ei)⟩ u_{ki} = \langle f_k^*, u(e_i) \rangle
(14 G)
uki=⟨u(ei),fk∗⟩. u_{ki} = \langle u(e_i), f_k^* \rangle.

The column of M(u)M(u) of index ii is therefore equal to M(u(ei))M(u(e_i)).

Clearly if u,vu, v are two linear mappings of E into F and M(u),M(v)M(u), M(v) their matrices with respect to the same bases, then

M(u+v)=M(u)+M(v) M(u + v) = M(u) + M(v)
and
M(γu)=γM(u) M(\gamma u) = \gamma M(u)
for every element γ\gamma of the centre Γ\Gamma of A. In other words, once the bases (ei),(fk)(e_i), (f_k) are fixed, the mapping u↦M(u)u \mapsto M(u) is a Γ\Gamma-module isomorphism of HomA(E,F)\mathrm{Hom}_A(E, F) onto a subset of the set AK×IA^{K \times I}, equal to AK×IA^{K \times I} if K is finite.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 1998, Springer. Not translated.