Question on group actions on vector spaces

mnb96
Messages
711
Reaction score
5
Hello,
If I am given a vector space (e.g. \mathbb{R}^n), and a group G that acts on \mathbb{R}^n, what are the conditions that G must satisfy so that for any given x\in\mathbb{R}^n its orbit Gx is a manifold ?
 
Physics news on Phys.org
If G is a Lie group acting smoothly on R^n, then the orbits will be immersed submanifolds.
 
The orbit has the same group structure as G does by multiplication gx \cdot hx = (gh)x and the obvious isomorphism g \mapsto gx. So this means that your group G has to be a manifold. I'm guessing you'll want the multiplication to be continuous under the topology of the manifold or something, I'll have to think about itEDIT: Woops, not an isomorphism,. That's what happens when you use the word obvious.

Ok after thinking about this for a bit, I have to ask: did you perhaps want G to act linearly on the vector space?
 
Last edited:
Office_Shredder said:
Ok after thinking about this for a bit, I have to ask: did you perhaps want G to act linearly on the vector space?

Uhm...Sorry, could you please specify what does "to act linearly" mean?
Thanks
 
Every element of G is a linear map, so along with the normal group action rules you have

g \cdot (\alpha x + \beta y) = \alpha g \cdot x + \beta g \cdot y

Otherwise the fact that we're living in a vector space is a happy coincidence and has very little bearing on the problem
 
Ok. I got it, so yes...the group has to act linearly.
 
##\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

Replies
14
Views
3K
Replies
5
Views
938
Replies
8
Views
2K
Replies
17
Views
3K
Replies
8
Views
2K
Replies
1
Views
2K
Back
Top