Finite Reflection Groups in Two Dimensions - R2

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am seeking to understand reflection groups and am reading Grove and Benson: Finite Reflection Groups

On page 6 (see attachment - pages 5 -6 Grove and Benson) we find the following statement:

"It is easy to verify (Exercise 2.1) that the vector x_1 = (cos \ \theta /2, sin \ \theta /2 ) is an eigenvector having eigenvalue 1 for T, so that the line
L = \{ \lambda x_1 : \lambda \in \mathbb{R} \} is left pointwise fixed by T."

I am struggling to se why it follows that L above is left pointwise fixed by T (whatever that means exactly).

Can someone please help - I am hoping to be able to formally and explicitly justify the statement.

The preamble to the above statement is given in the attachment, including the definition of T

Notes (see attachment)

1. T belongs to the group of all orthogonal transformations, O ( \mathbb{R} ).

2. Det T = -1

For other details see attachment

Peter
 

Attachments

Last edited:
Physics news on Phys.org
Math Amateur said:
I am seeking to understand reflection groups and am reading Grove and Benson: Finite Reflection Groups

On page 6 (see attachment - pages 5 -6 Grove and Benson) we find the following statement:

"It is easy to verify (Exercise 2.1) that the vector x_1 = (cos \ \theta /2, sin \ \theta /2 ) is an eigenvector having eigenvalue 1 for T, so that the line
L = \{ \lambda x_1 : \lambda \in \mathbb{R} \} is left pointwise fixed by T."

I am struggling to se why it follows that L above is left pointwise fixed by T (whatever that means exactly).

Can someone please help - I am hoping to be able to formally and explicitly justify the statement.

The preamble to the above statement is given in the attachment, including the definition of T

Notes (see attachment)

1. T belongs to the group of all orthogonal transformations, O ( \mathbb{R} ).

2. Det T = -1

For other details see attachment

Peter



"\,x_1 is an eigenvector of \,T with eigenvalue \,1\,\," means \,Tx_1=x_1

To leave a subspace L fixed pointwise means \,\,Tv=v\,,\,\,\forall v\in L

Can you now apply the above to see the statement in that book is trivial?

DonAntonio
 
Thanks for the help - thinking that over

What is meant by (or what is the significance of) 'left' pointwise fixed

Peter
 
Math Amateur said:
Thanks for the help - thinking that over

What is meant by (or what is the significance of) 'left' pointwise fixed

Peter



In this case "left" is the past participle of "leave", and NOT the left of "side", as opposite to "right"...:P)

DonAntonio
 
Oh ... right ... completely misunderstood the text :-(

Thanks

Peter
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
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...
Back
Top