갈루아 군
from formula_23 onto the Galois group formula_24.