广义四元数群代数的可分形变

在包含 $\mathbb{F}_{2^{n-2}}$ 的域 $k$ 上，广义四元数群 $Q_{2^n}$ 的群代数 $kQ_{2^n}$ 被形变为可分的 $k((t))$-代数 $[kQ_{2^n}]_t$。在代数闭包 $\overline{k((t))}$ 上，$\overline{k((t))}\otimes_{k((t))}[kQ_{2^n}]_t$ 的单纯分支的维数，与 $\mathbb{C} Q_{2^n}$ 在 $\mathbb{C}$ 上的维数相同，从而给出了广义四元数群的 Donald-Flanigan 猜想的强解。