伽罗瓦群
from formula_23 onto the Galois group formula_24.