The definition of an inner product in Linear Algebra Done Right by Sheldon Axler assumes that the vector space is over either the real or complex field. PlanetMath makes the same assumption.
Is there a definition of an inner product over, for example, finite fields? I sometimes find finite fields easier to reason about, so it would be nice to have a definition of an inner product for vector spaces over them.