Groups, quotients, field extensions, and splitting fields, trimmed to the ideas that make Galois theory possible.