Strang is simpler and clearer. Axler is more advanced in the sense that it doesn’t tie it to matrices. Strange is a “first course” book, Axler is a second course.
That‘s fine, but I would have appreciated notices, which proofs and theorems do not hold in the general case.
It‘s an exercise for the reader.
TBH, I don’t think there are surprises in the “general case” (whatever that is… modules over a PID??) that you can’t see by understanding the real&complex situation.
> This book usually develops linear algebra simultaneously for real and complex vector spaces by letting F denote either the real or the complex numbers. If you and your students prefer to think of F as an arbitrary field, then see the comments at the end of Section 1A. I prefer avoiding arbitrary fields at this level because they introduce extra abstraction without leading to any new linear algebra
And the remarks at the end of 1A are that if you want to, you can think of F as an arbitrary field everywhere except the sections on inner product spaces and where the given field is C you can frequently also use any other algebraically closed field.