1
$\begingroup$

I know the proposition that says:

Let $\lambda$ be a homomorphism from a finite group $G$ into $\mathbb{C}^{\times}$. Suppose that $G$ acts on some finite set $\Omega$ and let $M$ be the number of $\lambda$-good orbits for this action. Then $M=\frac{1}{|G|}\sum_{g\in G}\lambda(g)\pi(g),$ where $\pi$ is the permutation character associated with the action.

Using this, I need to prove:

Let $G$ be a finite group acting on a finite set $\Omega$, and let $\lambda$ be an arbitrary homomorphism from $G$ into $\mathbb{C}^{\times}$. Then for each positive integer $a$: $\sum_{g\in G}\lambda(g)a^{c(g)} \equiv 0 \pmod{|G|},$ where $c(g)$ is the number of orbits of $\langle g \rangle$ on $\Omega$.

  • 0
    if $\mathcal{O}$ is a $G$-orbit on $\Omega$, then $\mathcal{O}$ is a $\lambda-good$ if the stabilizer in $G$ of every point in $\mathcal{O}$ is contained in $ker(\lambda)$2012-10-20

1 Answers 1

1

See "Corollary F" in Generalizations of Fermat's Little Theorem via Group Theory by Pournaki and Isaacs.

If $G: \Omega \to \Omega$ is a group action. This can be extended to a permutation action on the power set $\Omega^A = \{ f: \Omega \to A\}$. The number of fixed points of this permutation is your character $\chi(g)$.