有限群論の初歩。