Generic elementary group theory problems.

I find that, for elementary group theory problems, one of the best places to start is by asking yourself if (how) groups actions could be used to express this. Then you have some very powerful (while still elementary) theorems that you can use.

For your examples, I point you to User-33433's answer.

For another example which was found in a homework problem in the abstract algebra class that I just finished:

Show that any group (including infinite) that contains a proper subgroup of finite index also contains a proper normal subgroup of finite index.

One way to prove it is to go through all of the motions of proving that the intersection of finite index subsets is, again, finite index, extending this by induction, looking at $N=\bigcap_{g\in G}gHg^{-1}$, proving that this normal and is actually a finite intersection by the Orbit-Stabilizer Theorem when $G$ acts on the cosets of $H$ by conjugation, and finally using the result on finite intersections of finite index sets that you would have proved.

The easier, and more powerful, way to show this result (and even more, as we'll see) is the following which comes from considering the action of $G$ on the cosets of $H$ by conjugation as the important feature, rather than just a means to show that the previous set $N$ is a finite intersection.

Let $H\leq G$ be of finite index $n$. Then, $G$ acts on the cosets of $H$ by conjugation, and this induces a map $\varphi:G\to\text{Sym}\left(G/H\right)\cong S_{n}$. The kernel of this map is normal, and $G/\ker\varphi$ isomorphic to a subgroup of $S_{n}$, so $|G:\ker\varphi|\leq n!$, as required.

This proves that, not only do we have a proper normal subgroup of finite index, but we have one of index $\leq n!$. So, group actions are very powerful and allow you to go straight to the core of many elementary group theory problems, rather than having you flounder around for a bunch of other results just to scratch the surface.

I find both of these facts simplest to understand as one group acting on another (by conjugation).

In the first case: Once you know that a $p$-group cannot have trivial center, then the question is: in how many ways can a group of order $p$ act on another group of order $p$? Not many.

In the second, we have a group $K$ of order $2$ (pick one, any one) acting on a group $H$ of order $n$ (index $2$ subgroups must be normal), but in a very special way. The condition that everything outside of $H$ have order $2$ is equivalent to the statement that $K$ acts by inversion on $H$: $x\mapsto x^{-1}$. And when is this a homomorphism? Not often.

(The condition that $H$ has odd order is just a consequence of the fact that it cannot contain elements of order $2$.)

There are some simple statements—say, the Feit-Thompson theorem—that require very deep theory, so it is almost certainly impossible to give general rules for how to look at such things.

Many times when one is stuck against a problem a good technique is to stop and try to think about the object you're trying to study, find out as much possible about that object. That's basically throwing every ammunition you have hoping to find the solution.

About the problem of understanding the reason why a fact is true: the point is that many time to really understand the deep reason for a fact you have to use concept that aren't the basic ones.

For instance for proving that every group of order $p^2$ is abelian one can use the fact that there's an element of order $p$ in the center. Of course you have to know this fact first and to prove it you have to use the class formula, which isn't one of the first facts you learn about groups. What I mean is that usually to understand deep reason for facts you have to known lots of theory.

Hope this helps.