show/hide this revision's text 2 edited title

Definition of Inner inner product for vector spaces over arbitrary fields

show/hide this revision's text 1

Definition of Inner product for vector spaces over arbitrary fields

Is there a canonical definition of the concept of inner products for vector spaces over arbitrary fields, i.e. other fields than ℝ or ℂ?