D4 tạo ra hai phần tử nào?
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ử tạo của nhóm, được trích dẫn bởi nhóm con của các quan hệ. Ví dụ, nhóm nhị diện D4, có thể được tạo ra bởi hai phần tử r và f (ví dụ, r = r1, phép quay phải và f = fv phản xạ dọc (hoặc bất kỳ hình nào khác)), có nghĩa là mọi đối xứng của hình vuông là một thành phần hữu hạn của hai đối xứng này hoặc nghịch đảo của chúng. Cùng với các quan hệ