群論の準同型定理は基本中の基本ではあるまいか