In mathematics, Shafarevich's theorem states that any finite solvable group is the Galois group of some finite extension of the rational numbers. It was first proved by, though Alexander Schmidt later pointed out a gap in the proof, which was fixed by .