它把真等式"A" + "D" = 0变成了假等式"A" + "C" = 0，因为"A" + "C" = 2√3 ≠ 0.这些根满足的另一个等式为：这也会去掉一些置换，例如：如此继续下去，我们可以求出满足所有等式的置换只有：因此伽罗瓦群同构于克莱因四元群。
现代的域论描述.现代的研究方法是从代数扩张"L"/"K"开始，并分析"L"/"K"的自同构群。进一步的解释和例子请参见关于伽罗瓦群的文章。这两种描述的关系如下说明。问题中的多项式的系数应当属于基域"K"。扩域"L"应