自分自身と異なる部分群がすべて可換である群は可換であるか?