 = F(\sqrt{\alpha_1\alpha_2})$, so ${\mathfrak{p}}$ ramifies in $E_i$ for an even number of $i$’s. In particular, ${\mathfrak{p}}$ is not totally ramified in $E/F$.

\[ram1\] Let $K$ be a non-biquadratic quartic CM field of type $\Phi$ with the real quadratic subfield $F$ and let $K^r$ be its reflex field with the quadratic subfield $F^r$. Then the following assertions hold.

-   If a prime $p$ is ramified in both $F$ and $F^r$, then it is totally ramified in $K/{\mathbb{Q}}$ and $K^r/{\mathbb{Q}}$.

-   If an odd prime $p$ is ramified in $F$ (in $F^r$, respectively) as well as in $F_+$, splits in $F^r$ (in $F$, respectively). Moreover, at least one of the primes above $p$ is ramified in $K^r/F^r$ (in $K/F$, respectively).

The statements (i) and (ii) are clear from Table \[table\] on page. Alternatively, one can also prove the statements as follows:

-   Let ${\mathfrak{p}}_{N}$ be a prime of $N$ above $p$ that is ramified in both $F/{\mathbb{Q}}$ and $F^r/{\mathbb{Q}}$. Then the maximal unramified subextension of $N/{\mathbb{Q}}$ is contained in $F_+$. Therefore, the inertia group of ${\mathfrak{p}}_{N}$ contains ${\text{\normalfont{Gal}}}(N/F_+)=\langle y \rangle$. By computing ramification indices in the diagram of subfields one by one, we see that the prime $p$ is totally ramified in $K$ and $K^r$.

-   Let $p$ be an odd prime that is ramified in $F/{\mathbb{Q}}$ and $F_+/{\mathbb{Q}}$ and ${\mathfrak{p}}_{N}$ be a prime above $p$ in $N$. The inertia group of an odd prime cannot be a biquadratic group by Lemma \[inertia gp. not V4\], so ${\text{\normalfont{I}}}_{{\mathfrak{p
= F(\sqrt{\alpha_1\alpha_2})$, so $ { \mathfrak{p}}$ ramifies in $ E_i$ for an even number of $ i$ ’s. In particular, $ { \mathfrak{p}}$ is not wholly branch in $ E / F$. 

 \[ram1\ ] Let $ K$ be a non - biquadratic quartic CM field of character $ \Phi$ with the real quadratic subfield $ F$ and get $ K^r$ be its reflex plain with the quadratic subfield $ F^r$. Then the following assertions clasp. 

 -    If a prime $ p$ is ramified in both $ F$ and $ F^r$, then it is wholly ramified in $ K/{\mathbb{Q}}$ and $ K^r/{\mathbb{Q}}$. 

 -    If an odd prime $ p$ is ramified in $ F$ (in $ F^r$, respectively) equally well as in $ F_+$, splits in $ F^r$ (in $ F$, respectively). Moreover, at least one of the prime above $ p$ is ramified in $ K^r / F^r$ (in $ K / F$, respectively). 

 The statement (i) and (ii) are clear from Table \[table\ ] on page. Alternatively, one can also raise the statements as follows: 

 -    Let $ { \mathfrak{p}}_{N}$ be a prime of $ N$ above $ p$ that is complexify in both $ F/{\mathbb{Q}}$ and $ F^r/{\mathbb{Q}}$. Then the maximal unramified subextension of $ N/{\mathbb{Q}}$ is contained in $ F_+$. Therefore, the inertia group of $ { \mathfrak{p}}_{N}$ contains $ { \text{\normalfont{Gal}}}(N / F_+)=\langle y \rangle$. By computing complication indices in the diagram of subfields one by one, we see that the prime $ p$ is totally ramified in $ K$ and $ K^r$. 

 -    Let $ p$ be an odd prime that is ramified in $ F/{\mathbb{Q}}$ and $ F_+/{\mathbb{Q}}$ and $ { \mathfrak{p}}_{N}$ be a prime above $ p$ in $ N$. The inertia group of an odd prime cannot be a biquadratic group by Lemma \[inertia gp. not V4\ ], so $ { \text{\normalfont{I}}}_{{\mathfrak{p
 = F(\dqrt{\alpha_1\alpha_2})$, so ${\mathfrxk{p}}$ ramifies in $E_i$ for an evsn numbef of $i$’s. In particular, ${\mathfrek{p}}$ us nou totally ramified kn $E/F$.

\[ram1\] Pet $K$ be a nib-biquadratmd quartle CM rleld mh type $\Phi$ with the real xuadratic subfheud $F$ and let $K^r$ be its reflex field wyth the qkadratic subfigld $F^g$. Ehen nht following assertions hold.

-   If z prime $p$ is ramifiec in both $F$ and $F^r$, then it is hotally ramified ij $K/{\mathbb{Q}}$ qnd $H^e/{\mathbb{Q}}$.

-   Iw an odd pgnme $p$ is rajified in $F$ (in $F^r$, respectively) xs wekl as in $F_+$, splihv in $F^r$ (in $H$, respvctively). Moreover, at neast ome of the primcs abmve $p$ is ramified in $K^r/F^c$ (in $K/F$, respectively).

Jhe statemancs (i) and (ii) are clear feom Tdble \[tabuw\] ov pzgx. Amternahivxly, one can also prove the statements as gojoows:

-   Let ${\mafhfrak{[}}_{N}$ be a prime of $N$ above $p$ that is ramifitd in both $F/{\mathbb{Q}}$ and $F^r/{\marhbb{Q}}$. Then the maximap unramifyed subextension of $N/{\mathbb{Q}}$ is contained in $F_+$. Tharefoce, tht lkertkq hroup of ${\mathfrak{p}}_{N}$ contains ${\text{\normalfont{Gaj}}}(H/F_+)=\kakgle y \rangle$. By computing taligycation indicgs in tks siagram of subfielfs one fy onw, we see uhat yhe prime $p$ is totally ramidied in $K$ anb $K^e$.

-   Let $p$ be an odb prime that is tamifird in $F/{\mathbb{Q}}$ and $F_+/{\matkbb{Q}}$ ahd ${\mathfrak{o}}_{N}$ be a pdkme above $p$ in $N$. Thv inartia group of an odd primq cannot ue a yiquadragic broup fy Lemma \[ijertia gp. not V4\], so ${\text{\nlrmalyont{I}}}_{{\kathfrak{p
= F(\sqrt{\alpha_1\alpha_2})$, so ${\mathfrak{p}}$ ramifies in $E_i$ even of $i$’s. particular, ${\mathfrak{p}}$ is \[ram1\] $K$ be a quartic CM field type $\Phi$ with the real quadratic $F$ and let $K^r$ be its reflex field with the quadratic subfield $F^r$. the following assertions hold. - If a prime $p$ is ramified in both and then is ramified in $K/{\mathbb{Q}}$ and $K^r/{\mathbb{Q}}$. - If an odd prime $p$ is ramified in $F$ (in respectively) as well as in $F_+$, splits in (in $F$, respectively). Moreover, least one of the primes $p$ ramified in (in respectively). statements (i) and are clear from Table \[table\] on page. Alternatively, one can also prove the statements as follows: - ${\mathfrak{p}}_{N}$ be of $N$ $p$ is in both $F/{\mathbb{Q}}$ Then the maximal unramified subextension of in $F_+$. Therefore, the inertia group of ${\mathfrak{p}}_{N}$ ${\text{\normalfont{Gal}}}(N/F_+)=\langle y By computing ramification indices in the of subfields one by one, we see that prime $p$ is totally ramified in $K$ and $K^r$. - Let $p$ be an odd is ramified in $F/{\mathbb{Q}}$ $F_+/{\mathbb{Q}}$ and ${\mathfrak{p}}_{N}$ a above in The inertia of an odd prime cannot be a biquadratic group by Lemma gp. not V4\], so ${\text{\normalfont{I}}}_{{\mathfrak{p
 = F(\sqrt{\alpha_1\alpha_2})$, so ${\mathfrak{P}}$ ramifies iN $E_i$ foR an EveN nUmbeR of $i$’S. In particular, ${\mAThfrAk{p}}$ is not totally ramifieD in $E/F$.

\[RaM1\] let $K$ BE a Non-biQuadratIC qUARtiC Cm fIelD oF TyPe $\Phi$ WitH the reaL quadratic SubFiEld $F$ and let $K^r$ BE iTs reflex fiEld With the quadrAtiC subfiElD $F^r$. tHen thE foLlowiNg asseRTions hOld.

-   If a priMe $P$ Is ramiFIed in boTH $f$ aNd $F^r$, Then it is totally raMIfIEd in $K/{\mathbb{Q}}$ anD $K^r/{\matHbB{q}}$.

-   IF AN odD prIme $p$ is ramiFiEd in $F$ (IN $F^r$, respECtIVELy) aS Well as in $F_+$, spliTs in $F^r$ (in $F$, reSPecTively). moReoVEr, at leAst onE oF The Primes above $P$ is rAmified in $k^r/F^r$ (in $k/f$, respecTIvely).

ThE stateMenTs (i) And (iI) ArE cLeaR fROm TABlE \[taBLe\] oN page. AltErNaTivelY, one CAN ALso pRovE the StateMents as followS:

-   LeT ${\matHFraK{p}}_{N}$ be A primE of $N$ AbOve $p$ tHat is rAmifiEd In both $F/{\mathbb{Q}}$ aNd $F^r/{\Mathbb{Q}}$. ThEn tHe MaxImAl unrAMified SubExtEnsion oF $N/{\mathbB{q}}$ is CoNTAInEd in $F_+$. Therefore, the iNeRTIa Group of ${\mAthfraK{P}}_{N}$ CoNTains ${\texT{\nOrmAlfoNT{gal}}}(N/F_+)=\LangLE y \Rangle$. By ComputINg RaMificatIoN indicEs In tHe dIagraM Of suBfieldS one by onE, we seE That the prime $p$ iS Totally ramifiED iN $k$ AnD $k^r$.

-   LeT $p$ bE an odd prime That IS ramIfieD In $f/{\maTHbb{Q}}$ aNd $F_+/{\maThBB{Q}}$ ANd ${\mathfrak{p}}_{N}$ be a primE aBove $p$ iN $N$. The Inertia group oF an odd primE CANnot be a bIquaDRaTIc group by Lemma \[InertIa gp. not V4\], so ${\TExt{\normaLfont{i}}}_{{\mathfraK{p
 = F(\sqrt{\alpha_1\alpha_ 2})$, so $ {\mat hfr ak{ p} }$ r amif ies in $E_i$ f o r an  even number of $i$’s.  In p ar t icul a r,  ${\m athfrak { p} } $  is  n ot  to ta l ly  rami fie d in $E /F$.

\[ra m1\ ]Let $K$ be a no n-biquadra tic  quartic CMfie ld ofty pe$ \Phi$  wi th th e real quadra tic subfi el d  $F$ a n d let $ K ^ r$  beits reflex fieldw it h  the quadratic  subfi el d  $ F ^ r$.  Th en the fol lo winga ssertio n sh o l d.-   If a prim e $p$ is ra m ifi ed inbo th$ F$ and  $F^r $, the n it is tot ally  ramified  in $K / {\mathb b {Q}}$ a nd $K^ r/{ \ma thbb { Q} }$ .
- If an  od d  pr ime $p$is  r amifi ed i n $ F $ (i n $ F^r$ , res pectively) as  we ll a s  in  $F_+ $, sp lits  i n $F^ r$ (in  $F$,  r espectively). M oreo ver, at l eas tone  o f the primes  ab ove  $p$ is  ramifi e d i n$ K ^ r/ F^r$ (in $K/F$, re sp e c ti vely).
The st a te me n ts (i) a nd  (i i) a r e  clea r fr o mTable \[ table\ ]  o npage. A lt ernati ve ly,  on e can also  prove  the sta temen t s as follows:-   Let ${\ma t hf r a k{ p }}_{ N}$  be a prime  of$ N$ a bove $p $ t h at is  rami fi e di n both $F/{\mathbb{ Q} }$ and  $F^r /{\mathbb{Q}} $. Then th e m aximal u nram i fi e d subextension  of $ N/{\mathbb { Q}}$ isconta ined in$F_+$. Th e r efore, t heine rti a g r o up  of ${\mathfr a k {p}} _{ N}$ con tai ns ${\t ext {\n orm alf on t{Gal}}}( N/F_+)=\ la ng le  y  \r angle $ . By com pu tin gram ifica t ion in dices  inth ed iag ram ofs ub f i elds  o ne  byone ,we se e th a t t he prim e $p$ istot a llyra mi fied in  $K$ and $K^r $. 

-   Let$p $ b e an o d d  prime t hat is ramified in $F/{ \ mathbb{ Q}} $ and  $F_ +/{\mathb b{Q }}$ an d $ { \mathf rak{p} }_{N} $bea prime a bo ve$p $ in $N$.T h e i nerti agrou p of an  odd prime cannotb e a  biquadraticgro up b y Le mma \[ i ner ti a  gp . not V4\], so ${ \text{\nor ma l fo nt{I}}}_{{ \ mat hf rak{p
 =_F(\sqrt{\alpha_1\alpha_2})$, so_${\mathfrak{p}}$ ramifies in $E_i$_for an_even_number of_$i$’s._In particular, ${\mathfrak{p}}$_is not totally_ramified in $E/F$.

\[ram1\] Let_$K$ be a_non-biquadratic_quartic CM field of type $\Phi$ with the real quadratic subfield $F$ and let_$K^r$_be its_reflex_field_with the quadratic subfield $F^r$._Then the following assertions hold.

-_ _If a prime $p$ is ramified in both_$F$_and $F^r$, then_it is totally ramified in $K/{\mathbb{Q}}$ and $K^r/{\mathbb{Q}}$.

- _ If an odd prime $p$_is ramified in_$F$_(in_$F^r$, respectively) as well_as in $F_+$, splits in $F^r$_(in $F$, respectively). Moreover, at least_one of the primes above $p$ is_ramified in $K^r/F^r$ (in $K/F$, respectively).

The_statements (i) and (ii) are_clear from_Table \[table\] on page. Alternatively,_one can also_prove the_statements as follows:

-_  Let ${\mathfrak{p}}_{N}$ be a_prime of $N$_above $p$ that is ramified in_both_$F/{\mathbb{Q}}$ and $F^r/{\mathbb{Q}}$._Then_the_maximal unramified_subextension of $N/{\mathbb{Q}}$_is_contained in_$F_+$._Therefore, the inertia group of ${\mathfrak{p}}_{N}$_contains_${\text{\normalfont{Gal}}}(N/F_+)=\langle y \rangle$. By computing ramification indices_in the diagram of_subfields_one by one, we_see that the prime $p$_is totally ramified in $K$ and_$K^r$.

- _ Let_$p$ be an odd prime that is ramified in $F/{\mathbb{Q}}$ and_$F_+/{\mathbb{Q}}$ and ${\mathfrak{p}}_{N}$ be a prime_above $p$ in $N$._The inertia_group_of an odd_prime_cannot be_a biquadratic group by Lemma \[inertia gp._not V4\],_so ${\text{\normalfont{I}}}_{{\mathfrak{p