I'm taking an advanced linear algebra course and I'm a little confused about books. The teacher said we could use any book we wanted to, but he recomended just Hoffman and Kunze and also Kostrikin, however, those seem to be not quite sufficient since it seems he's teaching in a little more advanced way.
Indeed in the first class he proved from Zorn's Lemma that every vector space admits a basis and in the second class he defined direct product, direct sums (both internal and external), proved the rank nullity theorem and some other things. Most of things he did in a very general context (families of vector spaces indexed by some arbitry set of indexes and with dimensions being finite or infinite).
I'm looking for a good advanced book on linear algebra to review what he did in class, but the books he recommend do not go so far if I'm right. I've studied multilinear algebra once with Kostrikin's book, but he never generalized things to arbitrary families of vector spaces and things like that.
Which books at this kind of approach are recommended?
Thanks very much in advance!