Separable deformations of the generalized quaternion group algebras

Abstract

The group algebras $kQ_{2^n}$ of the generalized quaternion groups $Q_{2^n}$ over fields $k$ which contain $\mathbb{F}_{2^{n-2}}$, are deformed to separable $k((t))$-algebras $[kQ_{2^n}]_t$. The dimensions of the simple components of $\overline{k((t))}\otimes_{k((t))}[kQ_{2^n}]_t$ over the algebraic closure $\overline{k((t))}$, and those of $\mathbb{C} Q_{2^n}$ over $\mathbb {C}$ are the same, yielding strong solutions of the Donald-Flanigan conjecture for the generalized quaternion groups.