群における同値の条件と例の検証