Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

I would like to show that,

If $G$ acts transitively on a set $X$, and $K$ is regular normal subgroup of $G$. Then $G = K \operatorname{Stab}(a)$. ($K \operatorname{Stab}(a)$. w.r.t G) for any $a \in X$.

I see why this is true if $G$ acts primitively, but I can't work out why this is true as it is currently stated. (Indeed it may not be!)

Note: I write $K \operatorname{Stab}(a)$ to be the (group) $\{k*g : \text{where $k\in K$ and $g\in \operatorname{Stab}(a)$.}\}$.

Also both $G$ and $X$ are finite.

Def of regular normal subgroup is : $K$ is a normal subgroup of $G$ which acts trans on $X$ and $\operatorname{Stab}(a) = 1$ for all $a\in X$ ($\operatorname{Stab}(a)$ w.r.t $K$)

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

You just need $K$ to be regular, and then you get the stronger result that $G = K\operatorname{Stab}(a)$ with $K \cap \operatorname{Stab}(a) = 1$.

This is because if $a \in X$ is fixed, then for each $g \in G$ there is $k \in K$ such that $(a^g)^k = a$, so that $g k \in \operatorname{Stab}(a)$, and $g \in \operatorname{Stab}(a) K$, so that $G = \operatorname{Stab}(a) K$, and then also $G = K \operatorname{Stab}(a)$.

By regularity $1 = \operatorname{Stab}_{K}(a) = K \cap \operatorname{Stab}(a)$.

If in addition $K$ is normal, then this is a semidirect product.

share|cite|improve this answer

Your Answer


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