Proving there is a fixed point in a discrete group of rotations

Click For Summary

Homework Help Overview

The problem involves proving that a discrete group of orientation-preserving rotations has a fixed point in the plane. The original poster attempts to establish that the point group G' is cyclic and to identify a point p that remains invariant under the group elements.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the nature of the group elements and their representation as rotations. There is an attempt to apply the fixed point theorem, and questions arise regarding the definition of the point group G'. Some participants suggest specific points, such as the origin, as potential fixed points.

Discussion Status

The discussion is ongoing, with participants exploring definitions and attempting to clarify the problem's requirements. Some guidance has been offered regarding the nature of the point group and potential fixed points, but there is no explicit consensus on the approach to take.

Contextual Notes

There is a mention of needing to find a specific point p that satisfies the condition for all group elements, indicating a potential constraint in the problem setup.

SNOOTCHIEBOOCHEE
Messages
141
Reaction score
0

Homework Statement



Let G be a discrete group in which every element is orientation-preserving. Prove that the point group G' is a cyclic group of rotations and that there is a point p in the plane such that the set of group elements which fix p is isomorphic to G'

The Attempt at a Solution



Ok since every element of the group is orientation-preserving, we know that there are only translations and rotations. so every element of G can be written as tarhotheta.

and phi: G----> O

So the point group G' = phi(G) = rhotheta

Im guessing i have to use the fixed point theorem for the second part, but i have no clue how to do that.

Any help is appreciated.
 
Physics news on Phys.org
we need to find a point p such that all g(p)=p for all g in G.

but i still don't know how to do this.
 
anybody?
 
What is the definition of "the point group G' "?
 
the image of G in O.

Oh snap p=(0,0)
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K