Changes between Initial Version and Version 1 of Ticket #30278, comment 15
 Timestamp:
 Aug 3, 2020, 4:50:21 PM (2 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #30278, comment 15
initial v1 2 2 > I just found a good discussion of the two viewpoints of `ExtPower` as a quotient space vs. as a subspace (which I was not familiar with) in https://kconrad.math.uconn.edu/blurbs/linmultialg/extmod.pdf, page 12/13. 3 3 4 Indeed, in page 12 of this reference, we can read: ''It means we can think of Λ^k^ (V ) as a subspace of the tensor power V^⊗k^ instead of as a quotient space. This viewpoint is widely used in differential geometry.'' This is of course the differential geometry point of viewthat I took when introducing `ExtPowerFreeModule`. It is also written: ''That is fine for real and complex4 Indeed, in page 12 of this reference, we can read: ''It means we can think of Λ^k^ (V ) as a subspace of the tensor power V^⊗k^ instead of as a quotient space. This viewpoint is widely used in differential geometry.'' This is of course the differential geometry viewpoint that I took when introducing `ExtPowerFreeModule`. It is also written: ''That is fine for real and complex 5 5 vector spaces (as in differential geometry), but it is not a universal method.''