Semisimple group


semisimple group is a group.