Bourbaki

Proposition 2

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

Algebra, chapter II, § 10. Matrices

Suppose I and K are finite. For every element x∈Ex \in E, the matrix M(u(x))M(u(x)) with respect to the basis (fk)(f_k) is given by the formula

(17 D)

M(u(x))=M(u).M(x) M(u(x)) = M(u) . M(x)
(17 G)
tM(u(x))=tM(x).tM(u). {}^t M(u(x)) = {}^t M(x) . {}^t M(u).

We verify for example (17 G). Let x=∑ixi0ei,u(x)=∑kyk0fkx = \sum_i x_{i0} e_i, \quad u(x) = \sum_k y_{k0} f_k with xi0∈A, yk0∈Ax_{i0} \in A, \ y_{k0} \in A; then u(x)=u(∑ixi0ei)=∑ixi0u(ei)=∑i,kxi0ukifku(x) = u\left( \sum_i x_{i0} e_i \right) = \sum_i x_{i0} u(e_i) = \sum_{i, k} x_{i0} u_{ki} f_k; whence y_{k0} = \sum_i x_{i0} u_{ki}. In order to bring the two indices ii along side one another, we consider the transpose matrices tM(x)=(x0i′){}^t M(x) = (x'_{0i}), where x0i′=xi0x'_{0i} = x_{i0} and

tM(u)=(uik′), {}^t M(u) = (u'_{ik}),
where uik′=ukiu'_{ik} = u_{ki}; then yk0=∑ix0i′uik′y_{k0} = \sum_i x'_{0i} u'_{ik} and the right hand side is the element of index kk of the matrix with one row tM(x)⋅tM(u){}^t M(x) \cdot {}^t M(u), whence (17 G).

When A is commutative, (17 G) reduces to (17 D) by formula (4) of no. 2.

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

Cited by

Cites

Nothing.

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