Igor Shafarevich proved that every solvable finite group is the Galois group of some extension of Q .

• 这在经典框架中并不成为问题，因为这时总是可以假定为特征0的；