Galois extension
An example of a non-Bauerian extension is the Galois extension of Q by the roots of 2"x"5 − 32"x" + 1, which has Galois group "S"5.