A separable deformation of the quaternion group algebra

The Donald-Flanigan conjecture asserts that for any finite group and for any field, the corresponding group algebra can be deformed to a separable algebra. The minimal unsolved instance, namely the quaternion group over a field of characteristic 2 was considered as a counterexample. We present here a separable deformation of the quaternion group algebra. In a sense, the conjecture for any finite group is open again.