minimal subgroup is a direct product of simple groups On page 112 of Dixon and Mortimer's Permutation Groups, Theoerm 4.3A (iii) says that every minimal normal subgroup $K$ of $G$ is a direct product $K=T_1 \times \cdots \times T_k$ where $T_i$ are simple normal subgroups of $K$ which are conjugate under $G$.
The proof starts by letting $T$ be a minimal normal subgroup of $K$ and shows that $K$ is a direct product of conjugates of $T$ in $G$. 
To show that $T_i$ is simple, it says that "the normal subgroups of $T_i$ are clearly normal in $K$". I can't really see why this is the case... 

Because they have already shown that $K$ is the direct product of $T_i$ and some other groups, so $K = T_i \times C$, where $C$ is the direct product of the other $T_j$'s. This means in particular that $C$ centralizes $T_i$. 
Now suppose that $N$ is normal in $T_i$ and let $k\in K$. Then there are $t\in T_i$ and $c\in C$ such that $k=tc$. Then
$$ N^{k} = N^{tc} = N^c = N $$, where the second equality holds because $N$ is normal in $T_i$ and the last equality holds because $c\in C$ centralizes $T_i$ and thus $N\subseteq T_i$. This shows that $N^k = N$ for all $k\in K$, so $N$ is normal in $K$.
