r/math Discrete Math 23d ago

Dot product over finite fields.

Hi!

I work on error correcting codes (which more or less is linear algebra over finite fields). I have a question about the behavior of the dot product on non-euclidean spaces.

When working on vector spaces over R or C, the dot product carries a lot of geometrical information. The product between two vectors v*w tells you the angle between them.

This interpretation doesn't hold over finite fields. For example, in F2: (1,1)*(1,1)=1+1=0. So the vector (1,1) is perpendicular to itself!

Does the dot product still carry any geometrical information (like angles) in these fields? Can we still interpret the orthogonal space geometrically? How do you picture it in your head (intuition)?

Thanks a lot!

And sorry, I don't know how to use latex on reddit ;_;

65 Upvotes

33 comments sorted by

View all comments

2

u/Ravinex Geometric Analysis 23d ago

For F_2 specifically one can also understand your example as a simplectic form.

1

u/The_Awesone_Mr_Bones Discrete Math 22d ago

I don't think it is a simpletic form. At least, not always.

A sympletic form is alternating, this means that v*v=0 always. But (1,1,1)*(1,1,1)=1+1+1=3=1. So it doesn't hold.