Nhóm nhị diện cấp 6

Trong toán học, **D<sub>3</sub>** (đôi khi được ký hiệu khác là **D<sub>6</sub>**) là nhóm nhị diện bậc 3, hay nói cách khác, nhóm nhị diện cấp 6. Nó đẳng cấu với nhóm đối xứng **S<sub>3</sub>** bậc 3. Nó cũng là nhóm phi abel nhỏ nhất có thể.

## Các nhóm đối xứng
Nhóm nhị diện D3 là nhóm đối xứng của tam giác đều, tức là tập các phép biến đổi giữ nguyên hình dạng và vị trí của tam giác này, các phép biến đổi này bao gồm quay và phản xạ và hợp của các phép này. Trong trường hợp của D3, mọi hoán vị khả thi của các đỉnh của tam giác là một phép biến đổi. Do đó nhóm của các đối xứng này đẳng cấu với nhóm đối xứng S3 của tất cả phép thế ba phần tử. Trường hợp này không đúng khi xét các nhóm nhị diện cấp cao hơn.
:

Nhóm nhị diện D3 đẳng cấu với hai nhóm đối xứng khác trong ba chiều:
*nhóm có trục quay 3 lần và một trục quay vuông góc 2 lần: D3
*nhóm có trục quay 3 lần trong mặt phẳng phản xạ (và do đó cũng vậy trong hai mặt phẳng phản xạ khác)): C3v

: 

## Hoán vị của ba phần tử
Xét ba khối được tô màu đỏ, xanh và dương, theo thứ tự RGB. Nhóm đối xứng S3 là nhóm của các hoán vị khả thi của ba khối màu này.
Nếu ta ký hiệu *a* là hành động (hay tác động) "đổi chỗ hai khối đầu tiên",và *b* là hành động "đổi chỗ hai khối cuối", ta có thể viết mọi hoán vị bằng các hành động này.

Viết bằng ký hiệu phép nhân, ta thường viết *xy* cho hành động hợp lại "đầu tiên làm *y*, rồi mới *x*"; do đó *ab* là hành động , tức là "đổi chỗ khối đầu tiên và khối cuối cùng".
Nếu ta viết *e* là hành động "giữ nguyên vị trí của các khối" (hành động đơn vị hay hành động trung hoà), thì ta có thể viết tất cả sáu hoán vị của tập ba khối bằng cách sử dụng các hành động sau.

* *e* : RGB ↦ RGB hay ()
* *a* : RGB ↦ GRB hay (RG)
* *b* : RGB ↦ RBG hay (GB)
* *ab* : RGB ↦ BRG hay (RGB)
* *ba* : RGB ↦ GBR hay (RBG)
* *aba* : RGB ↦ BGR hay (RB)

Ký hiệu trong ngoặc tròn là ký hiệu cyclic.

Để ý rằng *aa* là , giữ nguyên vị trí của các khối ; nên ta có thể viết .
Tương tự như vậy,
* *bb* = *e*,
* (*aba*)(*aba*) = *e*, và
* (*ab*)(*ba*) = (*ba*)(*ab*) = *e*;
và do đó mỗi hành động trên có nghịch đảo của nó

Bằng cách xem xét, ta có thể xác định tính kết hợp và tính bao đóng (hai trong bốn tiên đề nhóm); Ví dụ chẳng hạn.
* (*ab*)*a* = *a*(*ba*) = *aba*, and
* (*ba*)*b* = *b*(*ab*) = *bab*.

Nhóm này không giao hoán bởi . Bởi nó được sinh từ các hành động cơ bản *a* và *b*, ta nói tập  *[[Tập sinh của nhóm|sinh ra]]* nó.

Nhóm này có biểu diễn quan hệ sau
::\langle r, a \mid r^3 = 1, a^2 = 1, ara = r^{-1} \rangle, hoặc được viết là \langle r, a \mid r^3, a^2, arar \rangle
:hay
::\langle a, b \mid a^2 = b^2 = (ab)^3 = 1 \rangle, hoặc được viết là \langle a, b \mid a^2, b^2, (ab)^3 \rangle

trong đó *a* và *b* là các phép đổi và  là phép thế cyclic. Lưu ý rằng biểu diễn quan hệ thứ hai có nghĩa là nhóm này là nhóm Coxeter (hơn nữa, mọi nhóm nhị diện và đối xứng đều là nhóm Coxeter).

## Bảng nhân nhóm
Cùng với hai phần tử sinh *a* và *b*, ta định nghĩa ,  và , và do vậy *a, b, c, d, e*, và *f* là tất cả các phần tử của nhóm này. Ta có thể biểu diễn phép toán nhóm bằng cách dùng bảng Cayley:

Để ý rằng các phần tử không trung hoà và không bằng nhau chỉ giao hoán với nhau khi nó là nghịch đảo của cái còn lại. Do đó nhóm này không có tâm (tức là tâm của nhóm chỉ có phần tử trung hoà).

## Tham khảo

## Liên kết ngoài
*http://mathworld.wolfram.com/DihedralGroupD3.html