I've studied linear algebra about a decade ago and now I teach linear algebra to my colleges.
The problem is, my colleges are interested in computer science and/or deep learning and I meet needs about linear algebra on finite field, especially $\mathbb{Z}_2$.
I had scrutinized several books, from Linear algebra by Lang, Algebra by Lang, Linear algebra by Friedberg, etc.
However, I cannot find proper book that formulates linear algebra on $\mathbb{Z}_2$ or finite fields.
Is there any appropriate references?