Representations of finite groups -- Equivalent representations

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
6 replies · 2K views
LagrangeEuler
Messages
711
Reaction score
22
I am confused. Look for instance cyclic ##C_2## group representation where
[tex]D(e)=<br /> \begin{bmatrix}<br /> 1 & 0\\<br /> 0 & 1<br /> \end{bmatrix}[/tex]
and
[tex]D(g)=<br /> \begin{bmatrix}<br /> 0 & 1\\<br /> 1 & 0<br /> \end{bmatrix}[/tex]
and let's take invertible matrix
[tex]A=<br /> \begin{bmatrix}<br /> 1 & 2\\<br /> 3 & 4<br /> \end{bmatrix}.[/tex]
Then
[tex]A^{-1}=<br /> \frac{1}{2}\begin{bmatrix}<br /> -4 & 2\\<br /> 3 & -1<br /> \end{bmatrix}[/tex]
Then
[tex]\tilde{D}(g)=A^{-1}\cdot D(g) \cdot A=<br /> \frac{1}{2}\begin{bmatrix}<br /> -4 & 2\\<br /> 3 & -1<br /> \end{bmatrix} \cdot <br /> \begin{bmatrix}<br /> 0 & 1\\<br /> 1 & 0<br /> \end{bmatrix} \cdot <br /> \begin{bmatrix}<br /> 1 & 2\\<br /> 3 & 4<br /> \end{bmatrix}=<br /> \begin{bmatrix}<br /> -5 & -6\\<br /> 5 & 5<br /> \end{bmatrix}[/tex]
end that is not second order element, i.e. ##\tilde{D}(g)\cdot \tilde{D}(g)## is not equal to ##I##. Why is that the case if with this transform one should get equivalent representation of group ##C_2##?
 
Physics news on Phys.org
martinbn said:
It should be
\begin{bmatrix}
-5 & -6\\
4 & 5
\end{bmatrix}
Problem is still there. My question is why that element is not of second order, or why I do not get ##C_2## group with similarity transform?
 
LagrangeEuler said:
Problem is still there. My question is why that element is not of second order, or why I do not get ##C_2## group with similarity transform?
It is! Did you try the corrected one?
 
martinbn said:
It is! Did you try the corrected one?
No sorry. Everything is fine.
 
Just one more. I found somewhere that any matrix representation of finite group is unitary. Matrix
##\begin{bmatrix}
-5 & -6\\
4 & 5
\end{bmatrix} ##
however is not unitary.
 
LagrangeEuler said:
Just one more. I found somewhere that any matrix representation of finite group is unitary.
This statement means that it can be unitarized. In other words you can define an inner product such that the representation is unitary with respect to. But it doesn't say that it is unitary with respect to the standard inner product.
 
  • Like
Likes   Reactions: LagrangeEuler