Irreducible representation of S3

  • Thread starter Thread starter sineontheline
  • Start date Start date
  • Tags Tags
    Representation
sineontheline
Messages
18
Reaction score
0
okay so i was reading a book on representations and found this discussion and was confused:
http://books.google.com/books?id=Hm...eory and physics&pg=PA53#v=onepage&q=&f=false
it starts at the bottom of pg 53 and ends at the top of pg 54

so I understood the beginning of the discussion:
there are matrix representations of S3 and they permute the vector components
but (1,1,1) constitutes an invariant subspace cause what ever you permutation occurs on that, will bring you back to (1,1,1)

but then it goes on to say:
"To find another invariant subspace, we note that every 3 X 3 matric in the representation belongs to O(3) and hence preserves the ordinary Euclidean scalar product. Therefore, the subspace W' orthogonal to (1,1,1) is also invariant."
It then goes on to list the invariant subspace.

I got lost. Can anyone help? Why did they come up with those numbers? (and how too)

The example is particularly important cause he uses it later:
http://books.google.com/books?id=Hm...eory and physics&pg=PA96#v=onepage&q=&f=false
 
Physics news on Phys.org
The matrix

<br /> <br /> \left[<br /> \begin{array}{ccc}<br /> 0 &amp; 0 &amp; 1\\<br /> 1 &amp; 0 &amp; 0\\<br /> 0 &amp; 1 &amp; 0<br /> \end{array}<br /> \right]<br /> <br />

is with respect to the standard basis

<br /> <br /> \left\{ \left(<br /> \begin{array}{c}<br /> 1\\<br /> 0\\<br /> 0<br /> \end{array}<br /> \right),<br /> \left(<br /> \begin{array}{c}<br /> 0\\<br /> 1\\<br /> 0<br /> \end{array}<br /> \right),<br /> <br /> \left(<br /> \begin{array}{c}<br /> 0\\<br /> 0\\<br /> 1<br /> \end{array}<br /> \right) \right\}.<br />

How is this expressed with respect to the basis \left\{\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3 \right\}?
 
George Jones said:
How is this expressed with respect to the basis \left\{\mathbf{e}_1, \mathbf{e}_2, \mathbf{e}_3 \right\}?

How to do this typically is covered at the end of a first course in linear algebra or at the beginning of a second course. Perform a similarity transform using the change of basis matrix.
 
sineontheline said:
okay so i was reading a book on representations and found this discussion and was confused:
http://books.google.com/books?id=Hm...eory and physics&pg=PA53#v=onepage&q=&f=false
it starts at the bottom of pg 53 and ends at the top of pg 54

so I understood the beginning of the discussion:
there are matrix representations of S3 and they permute the vector components
but (1,1,1) constitutes an invariant subspace cause what ever you permutation occurs on that, will bring you back to (1,1,1)

but then it goes on to say:
"To find another invariant subspace, we note that every 3 X 3 matric in the representation belongs to O(3) and hence preserves the ordinary Euclidean scalar product. Therefore, the subspace W' orthogonal to (1,1,1) is also invariant."
It then goes on to list the invariant subspace.

I got lost. Can anyone help? Why did they come up with those numbers? (and how too)

The example is particularly important cause he uses it later:
http://books.google.com/books?id=Hm...eory and physics&pg=PA96#v=onepage&q=&f=false

If a matrix preserves angles then the orthogonal complement of an invariant subspace must also be invariant because it remains orthogonal to the first invariant subspace under the action of the matrix.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Back
Top