Galois module theory: from global to local Let $L/\mathbb{Q}$ be a finite Galois extension with Galois group $G$. It is well known that the ring of integers $\mathcal{O}_L$ is free over its associated order $\mathfrak{A}_{L/\mathbb{Q}}=\{x\in \mathbb{Q}[G]\mid x\mathcal{O}_L\subseteq \mathcal{O}_L\}$ if

*

*$G$ is abelian (Leopoldt, 1959);

*$G$ is dihedral of order $2p$, where $p$ is a rational prime (Bergé, 1972);

*$G$ is the quaternion group of order $8$, and the extension is wild (Martinet, 1972).

In some other papers, I have found written that also the local counterparts are true ($L/\mathbb{Q}_p$ finite Galois extension with the same Galois group as before), and it seems that the authors suggest that these results are naturally implied by the global ones. But while they seem "folklore", these implication are not immediate to me. A couple of observations (I wish to thank Fabio Ferri for the precious discussion).

*

*It seems to me that only the number fields case is considered in the papers.

*Probably the key is to repeat the proof as it is for the $p$-adic case; for example, this works in the Martinet's case.

*There are other ways to get these results, like for example using Lettl's work on absolutely abelian extensions for Leopoldt's local case, or realise local extensions as completion of global ones with the same Galois group (here $p\ne 2$, we refer to Henniart, 2001). But I am interested in knowing if there is an immediate and "direct way".

Summarising, my question is: is it immediate that the global cases imply the local cases?
(More generally, a question could be: if every Galois extension of number fields with a certain type of Galois group admits freeness of the ring of integers over the associated order, then the same also holds for every Galois extension of local fields with the same Galois group?)
 A: There are a number of things one can say about this.
First, some of the papers you mention do also cover the case of $p$-adic fields. For example, see Bergé's paper Sur l’arithmétique d’une extension diédrale Annales de l’institut Fourier, tome 22, no 2 (1972), p. 31-59. On page 32 you'll see that A can be a PID satisfying conditions 1), 2) & 3) listed there, so in particular one can take $A=\mathbb{Z}_{p}$.
Second, I'm not sure what's "wrong" with the method of realising a Galois extension of $p$-adic fields as the completion of a Galois extension of number fields with the same Galois group. Given the result you are aiming to prove, this seems entirely natural to me. The result of Henniart you mention is described in Chapter IX, $\S$5 (page 574) of Cohomology of number fields,
(available here https://www.mathi.uni-heidelberg.de/~schmidt/NSW2e/)
and gives the result you want for $p$ odd. If this doesn't satisfy your definition of immediate and "direct", then I'm not sure what does. Can you clarify?
Third, we know lots more in the $p$-adic case than we do for the number field case. For example, we know that for any (at most) tamely ramified finite Galois extension $L/K$ of $p$-adic fields, we have that $\mathcal{O}_L$ is free over the group ring $\mathcal{O}_K[\mathrm{Gal}(L/K)]$ (which is equal to the associated order in this case). There are lots more results, but I just give this as an example. But I think it's true that for (almost) any specific Galois group $G$ for which we know the freeness result for all $G$-extensions $K/\mathbb{Q}$, one can give a reference for a direct proof for the same result for $G$-extensions $L/\mathbb{Q}_p$ (assuming that these latter extensions even exist).
Actually, perhaps one exception to this last claim is $Q_8$-extensions $L/\mathbb{Q}_2$. As you say, one can easily adapt the number field proof to the $2$-adic setting or use the method mentioned two paragraphs above (we can't use Henniart's result here, but as there are only finitely many $Q_8$-extensions $L/\mathbb{Q}_2$ one can, for example, use databases of extensions of $\mathbb{Q}_2$ and $\mathbb{Q}$.)
I should say that Fabio Ferri (who is my PhD student), is aiming to post an preprint to the arXiv in the next couple of weeks, that in addition to its main results on the additive Galois module structure of $A_4$, $S_4$ and $A_5$-extensions of $\mathbb{Q}$, will also provide a nice summary / discussion of the relation between freeness in the number field and $p$-adic cases.
