EN
Let A, B be invertible, non-commuting elements of a ring R. Suppose that A-1 is also invertible and that the equation [B,(A-1)(A,B)] = 0 called the fundamental equation is satisfied. Then this defines a representation of the algebra ℱ = A, B | [B,(A-1)(A,B)] = 0. An invariant R-module can then be defined for any diagram of a (virtual) knot or link. This halves the number of previously known relations and allows us to give a complete solution in the case when R is the quaternions.