Representations of finite groups -- Equivalent representations

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##?
 
It should be
\begin{bmatrix}
-5 & -6\\
4 & 5
\end{bmatrix}
 
  • Like
Likes   Reactions: LagrangeEuler
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

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
31
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K