some work on tensor products. Prove that tensors of basis pairs are a basis for the tensor product. define and prove facts about free vector spaces. summarize knowledge about permutations that Halmos goes over.