per imparare qualcosa stavo leggendo queste dispense:
www.maths.gla.ac.uk/~ajb/dvi-ps/Galois.pdf
a pag.55 nell'esempio 4.5 sapete dirmi come mai è sicuro o come giustifica che le applicazioni $\alpha_i$ che definisce siano effettivamente automorfismi dell'estensione?
(non credo proprio che si ragioni dicendo: so che il gruppo di galois ha quattro elementi, solo questi rispettano le condizioni necessarie, quindi vanno bene... ci sarà un metodo diretto)