�A は部分群と言ってない