Dieudonne

2.1

1.14

1.9

1.8

Definition 1.8. Let u: M - By the universal property of th map u8v: MOAN - M' 8, fact, the map g : M xN-M' bilinear, and hence factors uniq M x N - M ® N. The map u notation is justified by Exercise Let p: A - B be a ring hon

Remark 1.7. The associativity of the tensor product allow: tensor product M, ®A • • ® A Mn of a finite number of A-mor product has a universal property analogous to that of the tens modules, with the bilinear maps replaced by multilinear ones.

Q

Def; relation with FES?

Add

A to B to C to D last inj iff first surjective