Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

enter image description here

so far I understand about the statement: let $p_i,i=1\dots,n$ has non trivial stabilizers i.e $S_{p_1}=\{g:g.p=p, g\in G\}\neq\{e\}$, is non trivial subgroup of $G$ for $p_1$ and so forth upto $p_n$ we will get $S_{p_n}$,so we need to show $\{p_1,\dots,p_n\}$ is discrete.

could any one make me understand the 2nd line of the proof? and in 3rd line $g$ is continous, how come a point $g\in G$ is continuous?

share|cite|improve this question
up vote 2 down vote accepted

Second line: $G$ is finite, so there must be at least one $g\in G$ that fixes infinitely many of the $p_i$; otherwise there could only be finitely many $p_i$. These $p_i$ fixed by that $g$ form a subsequence all of whose terms are fixed by the same nontrivial element $g$.

Third line: This is a slight abuse of notation; $g$ here is not the element of $G$ but the map induced by it, which is continuous since $G$ acts holomorphically.

share|cite|improve this answer
THANK YOU SIR,the map you mentioned about g, is the map $G/K\times X\rightarrow X, (gK,x)\mapsto gx$ ? – Un Chien Andalou Jul 27 '12 at 18:53
@Patience: I don't know what $K$ is or what the significance of that map is; I was just thinking of the map $f_g:X\to X,x\to gx$. – joriki Jul 27 '12 at 20:42
the kernel of the action of $G$ on $X$,$K=\{g\in G|g.p=p\forall p\in X\}$ – Un Chien Andalou Jul 27 '12 at 20:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.