Find an extension $L/K$ of number fields with Galois group $G$ and respective rings of integers $O_L$ and $O_K$ for each of the following requirements:
The decomposition group $G_q$ of some prime ideal $q$ of $O_L$ over $p = q \cap O_K$ is not a normal subgroup of $G$.
$G=I_q\times I_{q'}$ is the direct product of two nontrivial inertia subgroups $I_q$ and $I_{q'}$, where $q, q'$ are prime ideals of $O_L$
The inertia group of $I_q$ is not cyclic for a prime ideal $q$ of $O_L$.
The only examples I know how to work with (like $\mathbb{Q}(i)$, $\mathbb{Q}(\sqrt[3]{2})$ or simple cyclotomic extensions) apperently are not enough for this exercise. Is there some strategy to find these examples?
For (1), let $ L/\mathbf Q $ be the splitting field of $ X^5 - 4X + 2 $ over $ \mathbf Q $. This has Galois group $ S_5 $, and letting $ K = \mathbf Q(\alpha) $ where $ \alpha $ is a root of $ X^5 - 4X + 2 $, the prime $ 13 $ factors as $ 13 = \mathfrak p \mathfrak q \mathfrak r $ in $ K $. Since $ 13 $ is not completely split in $ K/\mathbf Q $, it is not completely split in $ L/\mathbf Q $; and thus it follows that letting $ g $ be the number of distinct primes of $ L $ lying over $ 13 $, we have $ 3 \leq g < 120 $. We have $ 120 = efg $, where $ ef $ is the order of the decomposition group of any prime lying over $ 13 $, and it follows that $ 1 < ef \leq 40 $. However, the only nontrivial normal subgroup of $ S_5 $ is $ A_5 $, which has order $ 60 $. It follows that the decomposition group cannot be normal.
For (2), let $ L = \mathbf Q(\sqrt{3}, \sqrt{5}) $. Check that $ 3 = (\sqrt{3})^2 $ and $ 5 = (\sqrt{5})^2 $ are prime factorizations in $ L/\mathbf Q $, and that the inertia groups of $ \sqrt 5 $ and $ \sqrt 3 $ intersect trivially, conclude.
For (3), let $ L = \mathbf Q(\sqrt{2}, \sqrt{3}) $. Show that $ L/\mathbf Q $ is totally ramified at $ 2 $, and that $ \textrm{Gal}(L/\mathbf Q) \cong C_2 \times C_2 $, which is not cyclic; conclude.