ガロア理論
(along lines exploited in Grothendieck's Galois theory). It can be shown that for separable extensions the radical is always {0}; therefore the Galois theory case is the "semisimple" one, of products of fields alone.