Poincaré's theorem about groups Let $G$ be a group and $H<G$ such that $[G:H]<\infty$. There exists a subgroup $N\triangleleft G$ such that $[G:N]<\infty$.
I have to show this fact (that according to my book is due to Poincaré), but I think that the statement, written in this way, is trivial: for every group $G$, I can take $N=G$, in fact $G\triangleleft G$ and $[G:G]=1$.
Where am I wrong?
If I'm not wrong, do you know a similar statement?
 A: The non-trivial version of the statement is that $N$ can be taken to be a subgroup of $H$.  In other words, the collection of finite index normal subgroups is cofinal in the collection of all finite index subgroups.
A: Thanks everyone for the answers, even if I just asked for the correct statement and not to spoiler me the solution. I'm not familiar with group actions, so (with Nicky's hint) I tried to write a different solution.
Let $G$ be a group and $H<G$. If $[G:H]<\infty$, then there exists $N\triangleleft G$ such that $N\subseteq H$ and $[G:N]<\infty$.
Lemma 1. Let $H^g:=gHg^{-1}$ and $N:=\bigcap_{g\in G}H^g$. Then $H^g<G$, $N\triangleleft G$ and $N\subseteq H$.
Proof: Straightforward.
Lemma 2. Let $n=[G:H]$, then there are at most $n$ subgroups of $G$ of the form $H^g$.
Proof: Let $gH$ be a left coset of $H$ in $G$. Let $a, b\in gH$, then $H^a=H^g=H^b$. But the $n$ left cosets partition $G$.
Lemma 3. Let $H, K< G$, then $[G:H\cap K]\le [G:H][G:K]$.
Proof: Observe that  for every $g\in G$, $g(H\cap K)=gH\cap gK$ and that we can choose $aH\cap bK$ in $[G:H][G:K]$ (not always different) ways.
Lemma 4. $[G:H]=[G:H^g]$.
Proof: Let $S:=\{xH:x\in G\}$ and $S^g:=\{xH^g:x\in G\}$. Define $f:S\rightarrow S^g$ such that $f(xH)=(gxg^{-1})H^g$. $f$ is well-defined and injective, in fact $xH=yH\Leftrightarrow xy^{-1}\in H\Leftrightarrow (gxg^{-1})(gyg^{-1})^{-1}=gxy^{-1}g^{-1}\in H^g \Leftrightarrow f(xH)=f(yH)$. Moreover, $f$ is surjective because $f(g^{-1}xgH)=xH^g$.
Now, putting things together, we have that $N$ defined in lemma 1 is the subgroup we wanted, because
$$[G:N]\le [G:H]^n=n^n.$$
A: The question is: If there exists a finite index proper subgroup, prove that there exists a finite index proper normal subgroup.
The group $G$ acts by left multiplication on the left cosets of $H$. This action corresponds to a homomorphism $G\rightarrow S_n$ from $G$ to the symmetric group on $n$ elements (why?). (Note that this map is not necessarily surjective or injective - it is just some homomorphism.) This map has a kernel...
Note: This is the solution that Praphulla Koushik is getting at. There is a solution which does not use group actions, but if my memory serves me well it is significantly longer.
Note II: mesel's comments, below, regard an earlier version of the answer where the action was by conjugation. Unpacking the "why?" is harder in this case - you need to apply the orbit-stabiliser theorem to get the map $G\rightarrow S_m\leq S_n$ where $m=|G:N_H(G)|$ is the index of the normaliser of $H$ in $G$. The kernel of this map is $G$ itself if and only if the subgroup $H$ is normal.
A: The theorem follows from what is called Poincaré's Lemma in group theory.
Lemma Let $G$ be a group, $H$ and $K$ subgroups with finite index. Then the subgroup $H \cap K$ has finite index too.
Proof (sketch) for any $g \in G$, the coset $g(H \cap K) \subseteq gH \cap gK$.
The theorem now follows by observing that any conjugate $H^g$ of $H$ has the same (finite) index as $H$ in $G$ and the number of conjugates of $H$ is finite (it equals $[G:N_G(H)]$ which divides $[G:H]$).
Remark: see also this discussion!
A: I guess correct statement sholud require $N \leq H$.
Let $G$ act on left coset of $H$ by left multiplication.Then we have homomorphism from $\phi$ from $G$ to $S_{[G:H]}$.Thus,$|G:Ker(\phi)|divides |G:H|!$ so $|G:Ker(\phi)|$ is finite. $Ker(\phi)$ is desired normal subgroup.
Since elements of $Ker(\phi)$ fixes every elements by left multiplacition, so it also fixes $H$ $\implies$ $Ker(\phi)| \leq H$.(Actually it is the largest normal subgroup contained in $H$)
