This is a simple question to test your understanding of tensor products, if you wish. If and are vector spaces over some field of dimension and respectively, then has dimension . Vector spaces of equal dimension are automatically isomorphic, so why don’t we just define to be the ‘unique’ vector space of dimension ?
If the contents of my talk made sense to you, the answer should be obvious.
Thanks Jackson, for setting up this blog.