グループの一意性isbnまで