# Gram-Schmidt in characteristic two?

I was helping someone work on a computing problem with bit vectors that reduced to finding a basis knowing a spanning set, and realized quickly that the Gram-Schmidt process does not work as expected in characteristic-2. Since orthogonality was not a requirement anyway I came up with an alternate approach, but it left me wondering: Is there a way to salvage Gram-Schmidt in this setting (a vector space over $\mathbb{F}_2 = \mathbb{Z}/2\mathbb{Z}$) to get a meaningful concept of orthogonal basis? (Orthonormal seems out of the question since I don't see a way to define a meaningful norm.)

• Is the Gröbner Basis what are you looking for?
• "Inner products" (=the sum of products of components) are not a reliable tool for detecting linear (in)dependece in characteristic two. It may happen that an entire subspace is orthogonal to itself. For example many interesting error-correcting codes (= linear subspaces of $\Bbb{F}_2^n$) have this property. May 18, 2015 at 5:19