[tryingtopost]

It exists. Linear algebra is defined over finite fields. In the case of {0, 1} that is Z_2 and the case of { -1, 0, + 1 } that is Z_3.

[ouid]

There are algorithms which fail over GF(2). Gram-schmidt, for instance.