@PeterTamaroff Hmm. Without determinants, you will get into some lengthy argument of linear independence. I am not sure how. Let $L b_i = a_1i b_1 + a_2i b_2 + \cdots + a_ni b_n$ where $b$ are the basis of course. Something like that, which are basically hypervectors. Let me think.