show/hide this revision's text 3 edited body

Assume that $(A,m)$ is a Noetherian normal local domain, $K = Quot(A) \subset E, F$ Galois extensions of $K$. If $B=\overline{A}^{E}$, $C=\overline{A}^F$, and $D=\overline{A}^{EF}$ and we choose primes $m_B, m_C$, and $m_D$ (in the corresponding rings) over $m$, then is it true that the separable part of residue field of $m_D$ is generated by the separable parts of the residue fields of $m_B$ and $m_C$ over the residue field of $m$?

The phrase 'separable part' is intended to describe the maximal separable extension of the residue field of $m$ contained in the residue field of $q$ where $q$ is one of $m_A, m_Bm_B, m_C, $ or $m_C$.m_D$.

Thanks.
show/hide this revision's text 2 added 22 characters in body; added 2 characters in body

Assume that $(A,m)$ is a Noetherian normal local domain, $K = Quot(A) \subset E, F$ Galois extensions of $K$. If $B=\overline{A}^{E}$, $C=\overline{A}^F$, and $D=\overline{A}^{EF}$ with corresponding and we choose primes $m_B, m_C$, and $m_D$ (in the corresponding rings) over $m$, then is it true that the separable part of residue field of $m_D$ is generated by the separable parts of the residue fields of $m_B$ and $m_C$ over the residue field of $m$?

The phrase 'separable part' is intended to describe the maximal separable extension of the residue field of $m$ contained in the residue field of $q$ where $q$ is one of $m_A, m_B, $ or $m_C$.

Thanks.
show/hide this revision's text 1

Maximal separable extensions of residue fields

Assume that $(A,m)$ is a Noetherian normal local domain, $K = Quot(A) \subset E, F$ Galois extensions of $K$. If $B=\overline{A}^{E}$, $C=\overline{A}^F$, and $D=\overline{A}^{EF}$ with corresponding primes $m_B, m_C$, and $m_D$ over $m$, then is it true that the separable part of residue field of $m_D$ is generated by the separable parts of the residue fields of $m_B$ and $m_C$ over the residue field of $m$?

The phrase 'separable part' is intended to describe the maximal separable extension of the residue field of $m$ contained in the residue field of $q$ where $q$ is one of $m_A, m_B, $ or $m_C$.

Thanks.