✨Biểu diễn nhóm

phải|nhỏ|300x300px| Biểu diễn của một [[Nhóm (toán học)|nhóm "hành động" trên một đối tượng. Các ví dụ đơn giản nhất là cách các đối xứng của một đa giác thông thường, bao gồm các phép đối xứng trục và quay, biến đổi đa giác. ]] Trong lý thuyết biểu diễn, biểu diễn nhóm mô tả các nhóm trừu tượng theo các phép biến đổi tuyến tính (nghĩa là các tự đồng cấu) trên một không gian vectơ; đặc biệt, chúng có thể được sử dụng để biểu diễn các phần tử nhóm dưới dạng ma trận khả nghịch để toán tử nhân nhóm có thể được biểu diễn bằng phép nhân ma trận. Biểu diễn nhóm rất quan trọng vì chúng cho phép chuyển nhiều vấn đề trong lý thuyết nhóm về các vấn đề trong đại số tuyến tính. Chúng cũng quan trọng trong vật lý bởi vì, chẳng hạn chúng mô tả cách nhóm đối xứng của một hệ vật lý ảnh hưởng đến các nghiệm của phương trình mô tả hệ thống đó.

Thuật ngữ biểu diễn nhóm cũng được sử dụng theo nghĩa tổng quát hơn có nghĩa là bất kỳ "mô tả" nào của một nhóm như là một nhóm biến đổi của một số đối tượng toán học. Chính thức hơn, một biểu diễn là một đồng cấu từ nhóm sang nhóm tự đồng cấu của một đối tượng. Nếu đối tượng là một không gian vectơ, chúng ta có một biểu diễn tuyến tính.

Định nghĩa

Một biểu diễn của nhóm G trên một _k-_không gian véc-tơ V là một đồng cấu nhóm:

: $\backslash rho\; \backslash colon\; G\; \backslash to\; \backslash mathrm\{GL\}(V)$

sao cho

: $\backslash rho(g\_1\; g\_2)\; =\; \backslash rho(g\_1)\; \backslash rho(g\_2)\; ,\; \backslash qquad\; \backslash text\{for\; all\; \}g\_1,g\_2\; \backslash in\; G.$

V được gọi là không gian biểu diễn và số chiều V được gọi là số chiều của biểu diễn. Một biểu diễn chung thủy là một biểu diễn sao cho đồng cấu là một đơn ánh.

Ví dụ

Xét u = e^{2πi / 3} thỏa mãn u³ = 1. Nhóm cyclic C₃ = {1, u, u²} có một biểu diễn ρ trên C² được cho bởi:

:

Biểu diễn này chung thủy.

Một biểu diễn khác của C₃ trên C², đẳng cấu với biểu diễn trên, là σ:

:

C₃ cũng có thể được biểu diễn chung thủy trên R² bởi τ:

:

với

: $a=\backslash text\{Re\}(u)=-\backslash tfrac\{1\}\{2\},\; \backslash qquad\; b=\backslash text\{Im\}(u)=\backslash tfrac\{\backslash sqrt\{3\{2\}.$