Galois Theory HT25, Group actions