Let $L$ be a finite extension of the $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ with uniformizer $\pi$. Let us consider the polynomial ring $L[x_1,x_2,...,x_n]$ in $n$-variables and $f_1, f_2, \cdots, f_m \in L[x_1, \cdots, x_n]$.

Let $S$ be the set of simultaneous zeros of the following system
\begin{align}
f_1(x_1,\cdots,x_n)=0 \\
\vdots \\
f_m(x_1, \cdots,x_n)=0.
\end{align}
 Then, clearly every element in $S$ is a point in an affine $n$-space over some field extension of $L$. So the *coordinates of each points* in $S$ generate a field extension. i.e., conisder the field extension $L(S)$ obtained *adjoining the coordinates of each solutions* in $S$. 
So it looks $L(S)$ is a proper subfield of $\bar L$.

**Questions:**


$(1)$ Is (or When) the extension $L(S)/L$ Galois ?

$(2)$ When is the above extension totally ramified ?

$$-----------$$

**My Effort:**




$(1)$ $L(S)$ is the algebraic extension of $L$ because its elements are algebraic over $L$. In this multivariable case, we don't need separability of the roots/solutions because we are taking the coordinates only. Also two solutions $(x_1, \cdots,x_n)$ and $(x_1',\cdots, x_n')$ may have some common coordinates, say, $x_i=x_i'$ but this doesn't affect because both gives the same extension, so we will take just one of the coordinates. 

Let $L'$ be the Galois closure of $L(S)$ over $L$ i.e, the smallest field containing $L(S)$ that is Galois over $L$. Take any $\sigma \in Gal(L'/L)$ and a solution $s \in s$, then its Galois conjugate $\sigma(s)$ is also a solution (**not sure**) i.e., $\sigma(s) \in S$. So $\sigma(s)=t$ for some $t \in S$ i.e, $Gal(L'/L)$ acts transitively on $S$. So by **restricting** the domain of $\sigma$ to $L(S)$, we have $$\sigma(L(S)) \subset L(S).$$ Next, since $\sigma$ induces a permutation (i.e., act transitively) on $S$, then for each $\alpha \in L(S)$, $\sigma^{-1}(\alpha)=\beta$ for some $\beta \in L(S)$. So $\alpha=\sigma(\beta)$ and so we have $$L(S) \subset \sigma(L(S)).$$

Therefore, $\sigma(L(S))=L(S)$.  Thus each $\sigma|_{L(S)}$ is an automorphism.  So it seems that $L(S)$ is Galois over $L$.

 Am I correct ? Am I missing something ?




Any discussion please