Thành phần hữu hạn của hai đối xứng hoặc nghịch đảo của chúng là gì?
Các nhóm thương và nhóm con cùng nhau tạo thành một cách mô tả mỗi nhóm bằng cách trình bày của nó: bất kỳ nhóm nào là thương của nhóm tự do trên các phần tạo ra nhóm, được thương bởi nhóm con của các quan hệ.