要求谁固定，哪些方向就留下来

L = ℚ(√2, √3)，基为 1、√2、√3、√6。

从一个元素出发，核对它变号后的像；再看被整个子群固定的所有元素，需要哪些系数为零。

改变当前元素

σ：√2 变号√3 保持原值 τ：√3 变号√2 保持原值 στ：两个根号同时变号√6 的两个负号相消

这些选择生成的子群

固定域 L^H =

绿色方向的系数可以取任意有理数；红色方向的系数必须为 0。上面的整数滑块只是用来选样本，不限制固定域的系数范围。

带“∈ H”的行才参与共同固定条件。一个基项只要在其中一行变号，它的系数就必须为 0。

映射	1	√2	√3	√6

每一行只比较当前元素 x 与 g(x)，并不单独决定整个固定域。

g	g(x)	等于 x？

让子群由 στ 生成，取 x = √6。两个根号各变一次号，乘积留下来。再把 σ 加进生成元，x 还固定吗？