Discrete abelian subgroups

  • Thread starter FreHam
  • Start date
  • #1
10
0

Main Question or Discussion Point

Quick question:

Suppose I have a (transitive) R^n action on a manifold M. If the isotropy group of R^n is discrete, does that mean that it is automatically isomorphic to Z/kZ, with 0<=k<=n?

Basically, my discrete subgroup is a lattice then, right?

Thanks!
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,750
99
The isotropy group is a subgroup of Rn so certainly can't have elements of finite order.

It is true that discrete subgroups of Rn have to look like Zk for some k
 
  • #3
10
0
The isotropy group is a subgroup of Rn so certainly can't have elements of finite order.
Could you elaborate on that? Dummy here. So you are saying the isotropy group of R^n cannot be discrete?
 
  • #4
907
2
I believe that Office_Shredder is incorrect. He seems to be thinking about subgroups of the translations group of [itex]R^n[/itex]. Since that group is itself isomorphic to R^n, its subgroups can be discrete, but they can't have elements of finite order (elements such that a^n=1 for some n), aside from the identity. Z/kZ (better known as [itex]Z_k[/itex]) is finite and all its elements have finite order.

I also have to question whether you're using the term isotropy group correctly.
 
  • #5
10
0
I also have to question whether you're using the term isotropy group correctly.
Why? By isotropy group at some point m\in M, I mean the {g\in G | g(m)=m}. In my result I find that dim(iso-group)=0, so it is discrete. As G=G^n, that means the isotropy group is a discrete (abelian) subgroup of G, which I kind of hoped to be isomorphic to Z^k.
 
  • #6
907
2
  • #7
10
0
My group is isomorphic to R^n (group operation is addition). The left R-action acts on n factors, which I write as R^n.
 
  • #8
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,750
99
To re-iterate, discrete subgroups of Rn are isomorphic to Zk for some k no larger than n, just like you would expect
 

Related Threads for: Discrete abelian subgroups

  • Last Post
Replies
2
Views
3K
Replies
10
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
Top