あるテキストの問題で、解説なしにRが非自明な有限部分群をもたないことが述べられているのですが、ある群Gがそのような部分群をもつための必要十分条件はなんですか？