3
$\begingroup$

Let $G$ be a subgroup of $S_n$, which acts transitively on $I= \{1, \ldots, n \}$. Let $N$ be a nontrivial normal subgroup of $G$. Then $N$ has no fixed points in $I$.

$\endgroup$
0

2 Answers 2

4
$\begingroup$

Let $\,\,\{1\}\neq N\triangleleft G\,\,$ , and wlog let us assume $\,\,1\in\{1,2,...,n\}\,$ is a fixed point of $\,N\,$. But then for any $\,g\in G\,\,,\,x\in N$ , we get $$g^{-1}xg(1)=1\Longrightarrow xg(1)=g(1)\Longrightarrow g(1)\,\,\text{is a fixed point of } N$$

Well, now use that $\,G\,$ is transitive to get a contradiction

$\endgroup$
1
  • $\begingroup$ Then, as $G$ is transitive exists $g$ in $G$ such that $g (1) = j$, $j \in I$, right? $\endgroup$
    – P. M. O.
    Commented Jun 2, 2012 at 20:18
2
$\begingroup$

Hint: If $x$ is a fixed point of $N$, then what is $\sigma x$ in relation to $\sigma N \sigma^{-1}$ for some $\sigma\in G$?

Now use $N$'s normality and the transitivity of the $G$-action...

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .