If I have nontrivial $p$-groups $G, H$, where $p$ is a prime number, and $H$ acts on $G$ by automorphisms, how can I show that the set of fixed points of the action (the set $\{ x \in G : h*x = x,~\forall h \in H \}$) is nontrivial (has more than $1$ element)?
If a $p$-group acts on another $p$-group by automorphisms, there is a nontrivial fixed point.
1
$\begingroup$
abstract-algebra
group-theory
finite-groups
group-actions
p-groups
-
1He means that the number of fixed points is congruent modulo $p$ to the number of the elements in the set he described. (I don't know if he's right but I just read his comment.) – 2012-09-23
1 Answers
5
The general theorem that you need here, and which Steve aludes, is:
Theorem: Let $\,P\,$ be a finite $\,p-\,$ group , $\,X\,$ a finite set, and suppose $\,P\,$ acts on $\,X\,$ . Define $\,X_P:=\{x\in X\;:\;ax=x\,\,\forall\,a\in P\}\,$ . Then, $\,|X_P|=|X|\pmod p\,$
Proof: We know that $\,|X|=\sum|\mathcal Orb(x)|\,$ , where the sum runs over different (and thus disjoint) orbits.
Now, for any $\,x\in X\,\,,\,\,|\mathcal Orb(x)|\,$ is a power of $\,p\,$ , so if there are $\,n\,$ orbits with one single element, then
$|X_P|=n\Longrightarrow |X|=n+\,(\text{powers of }\,p)\,\,\,\;\;\;\;\;\square$