There are three parts to this book. One is to complete the discussion of bases and dimension in linear algebra. In a first course, only the finite dimensional vector spaces are treated, and in most textbooks, it will assume the scalar field is the real number field. In this book, the general case of arbitrary dimension and arbitrary scalar fields is examined. To do so, an introduction to cardinality and Zorn's lemma in set theory is presented in detail. The second part is to complete the proof of canonical forms for linear endomorphisms and matrices. For this, a generalization of vector spaces, and the most fundamental results regarding modules are introduced to readers. This will provide the natural entrance into a full understanding of matrices. Finally, tensor products of vector spaces and modules are briefly discussed.