Linear algebra and arbitrary fields The linear algebra course that I took was fairly consistent about assuming that the scalar field is either the reals or the complex numbers. The theory about linear maps, basis, their matrices, eigenvalues and eigenvectors, trace and determinant clearly generalize to a general field without any changes. Similarly, the Jordan canonical form only seems to require algebraic closedness of a field.
The definition of an inner-product seems to explicitly require either the reals or the complex numbers, but even then one should be able to replace it by a bilinear pairing $V\times V\to \mathbb{F}$, where $\mathbb{F}$ is our field. However, why do we then want conjugate symmetry in the complex case? Do we need something similar for fields which have a "similar" automorphism? Is there a precise way to formalize this?
My questions is essentially the following: How can we generalize spectral theorems to general fields? What would the results look like and what do we need to assume? What's the right way to generalize inner-product spaces and what can we translate unchanged from the setting of an undergraduate linear algebra class?
 A: An inner product is a symmetric positive definite bilinear form. In general fields, you'll happily be able to satisfy symmetric bilinear, but you'll struggle with positive definite: over a field of nonzero characteristic, you will not even be able to make sense of $\langle x, x \rangle \ge 0$, much less find a form for which it holds, since there is no ordering compatible with the field. Note that there is also no ordering on the complex numbers that is compatible with the field, but there is the subfield $\mathbb R$ which can be ordered, and so conjugate symmetry rescues us by ensuring $\langle x, x \rangle$ falls inside there, but fields of characteristic $p$ must contain a subfield $\mathbb F_p$ which is already not orderable.
Over fields of characteristic zero, like the rationals, you can find a reasonable inner product, but it's not as useful as you'd expect. For example, you can't get an orthonormal basis from a given basis, because you can't do square roots: you can find the norm squared, but not the norm itself. You could go all the way to the algebraics, or just as far as all the square roots, but at this stage I think you gain very little generality over just using $\mathbb R$ in the first place, and if you find you want completeness at any point, you'll be forced into the reals anyway.
I think I have too found the asymmetry between complex and real inner products to be frustrating. It's possible that there's a unifying theory that I'm unaware of, but I don't think it's unreasonable to view them as basically separate (if highly similar) entities, albeit entities that embed one in the other in a neat way. Essentially, $\mathbb R$ is special: it is, after all, the unique complete totally ordered Archimedean field, so it's not that surprising that we should pay it specific attention.
