The problem is to prove that the 2-layer of the centralizer of an involution in a simple group is semisimple.
Ongelmana on todistaa, että yksinkertaisen ryhmän involuution keskittäjän 2-taso on puoliyksinkertainen.