,K'}^{\chi}) &= \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K'/k)}(-u_{{\mathfrak{q}}})\biggr) \cdot \pi(\tilde{L}_{p,K'}^{\chi})
\\
&= \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K'/k)}(-u_{{\mathfrak{q}}}) \prod_{{\mathfrak{q}}\in S_{K'} \setminus S_{K}}(1-u_{{\mathfrak{q}}}^{-1})\biggr) \cdot \tilde{L}_{p,K}^{\chi}
\\
&= \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K/k)}(-u_{{\mathfrak{q}}}) \prod_{{\mathfrak{q}}\in S_{K'} \setminus S_{K}} P_{{\mathfrak{q}}}({\rm Frob}_{{\mathfrak{q}}}^{-1}) \biggr)\cdot \tilde{L}_{p,K}^{\chi}
\\
&=  \biggl(\prod_{{\mathfrak{q}}\in S_{K'} \setminus S_{K}} P_{{\mathfrak{q}}}({\rm Frob}_{{\mathfrak{q}}}^{-1})\biggr) \cdot L_{p,K}^{\chi}. \end{aligned}$$

Iwasawa modules
---------------

In this section, we will introduce several Iwasawa modules and recall their important properties. We will freely use the facts in Appendix \[subsec:selmer-str\].

For a topological ${\mathbb{Z}}_{p}$-module $M$, let $$M^{\vee} := \operatorname{Hom}_{\rm cont}(M, {\mathbb{Q}}_{p}/{\mathbb{Z}}_{p})$$ denote the Pontryagin dual of $M$.

For a field $K \in \Omega$, we write $M_{KL,\infty}$ for the maximal $p$-ramified pro-$p$ abelian extension of $KL(\mu_{p^{\infty}})$ and set $$\begin{aligned}
X_{K}^{\chi} := e_{\chi}\left({\mathcal{O}}\otimes_{{\mathbb{Z}}_{p}} \operatorname{Gal}(M_{KL,\infty}/KL(\mu_{p^{\infty}}))\right). \end{aligned}$$ We note that we have the canonical isomorphism $$H^{1}_{{\mathcal{F}}_{\rm str}^{*}}(k, {\mathbb{T}}_{K}^{\vee}(1))^{\vee} \cong X
, K'}^{\chi }) & = \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K'/k)}(-u_{{\mathfrak{q}}})\biggr) \cdot \pi(\tilde{L}_{p, K'}^{\chi }) 
 \\ 
 & = \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K'/k)}(-u_{{\mathfrak{q } } }) \prod_{{\mathfrak{q}}\in S_{K' } \setminus S_{K}}(1 - u_{{\mathfrak{q}}}^{-1})\biggr) \cdot \tilde{L}_{p, K}^{\chi } 
 \\ 
 & = \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K / k)}(-u_{{\mathfrak{q } } }) \prod_{{\mathfrak{q}}\in S_{K' } \setminus S_{K } } P_{{\mathfrak{q}}}({\rm Frob}_{{\mathfrak{q}}}^{-1 }) \biggr)\cdot \tilde{L}_{p, K}^{\chi } 
 \\ 
 & =   \biggl(\prod_{{\mathfrak{q}}\in S_{K' } \setminus S_{K } } P_{{\mathfrak{q}}}({\rm Frob}_{{\mathfrak{q}}}^{-1})\biggr) \cdot L_{p, K}^{\chi }. \end{aligned}$$ 

 Iwasawa modules 
 --------------- 

 In this section, we will introduce several Iwasawa module and echo their important properties. We will freely use the fact in Appendix   \[subsec: selmer - str\ ]. 

 For a topological $ { \mathbb{Z}}_{p}$-module $ M$, let $ $ M^{\vee }: = \operatorname{Hom}_{\rm cont}(M, { \mathbb{Q}}_{p}/{\mathbb{Z}}_{p})$$ denote the Pontryagin dual of $ M$. 

 For a playing field $ K \in \Omega$, we compose $ M_{KL,\infty}$ for the maximal $ p$-ramified pro-$p$ abelian extension of $ KL(\mu_{p^{\infty}})$ and set $ $ \begin{aligned } 
 X_{K}^{\chi }: = e_{\chi}\left({\mathcal{O}}\otimes_{{\mathbb{Z}}_{p } } \operatorname{Gal}(M_{KL,\infty}/KL(\mu_{p^{\infty}}))\right). \end{aligned}$$ We note that we have the canonic isomorphism $ $ H^{1}_{{\mathcal{F}}_{\rm str}^{*}}(k, { \mathbb{T}}_{K}^{\vee}(1))^{\vee } \cong X
,K'}^{\chl}) &= \biggl(\prod_{{\mathfrak{q}}\in R_{\rm ram}(K'/k)}(-u_{{\mathftaj{q}}})\biggc) \cdot \li(\tilde{L}_{o,K'}^{\chi})
\\
&= \biggl(\prod_{{\mathfrak{q}}\in S_{\cm rqm}(K'/k)}(-u_{{\nathfrak{q}}}) \prod_{{\mathfrak{d}}\in S_{K'} \senminus S_{K}}(1-y_{{\matifrak{q}}}^{-1})\biggr) \cdot \tilde{L}_{p,K}^{\chi}
\\
&= \bjngl(\prmv_{{\mathfrak{q}}\in S_{\rk ram}(K/k)}(-u_{{\madhfrak{q}}}) \prod_{{\madhwrck{q}}\in S_{K'} \setminus S_{K}} P_{{\mathfrak{q}}}({\rm Frjb}_{{\mathftan{q}}}^{-1}) \biggr)\cdot \tylde{K}_{[,K}^{\chj}
\\
&=  \biggl(\prod_{{\mathfrak{q}}\in S_{K'} \setminua S_{K}} P_{{\methfrak{q}}}({\rm Frob}_{{\kathfrak{q}}}^{-1})\biggr) \cdot L_{p,K}^{\chi}. \end{wligned}$$

Iwasawa modkles
---------------

In this seceuon, we will kntroduce several Iwaszwa modules and recall their imoortaut propertigs. Wf will freelb use nhe facts in Appendix \[vubsec:srlmer-str\].

For a bopolmgixal ${\mathbb{Z}}_{p}$-module $M$, net $$M^{\vee} := \operatorgame{Hom}_{\rm cknt}(M, {\mathbb{Q}}_{p}/{\mathvb{Z}}_{p})$$ detote the Pongryzgmn sual ov $M$.

Hor a field $K \in \Omega$, we write $M_{KL,\infty}$ gow the maximal $l$-ramifyeq pro-$p$ abelian extension of $KL(\mu_{p^{\infty}})$ dnd set $$\begin{aligned}
X_{K}^{\chi} := e_{\chi}\left({\mathcal{O}}\otimgs_{{\mathbb{Z}}_{p}} \operatorname{Gal}(M_{KL,\infty}/KL(\mu_{p^{\infty}}))\right). \end{aligneg}$$ We ioge uhqt we yage the canonical isomorphism $$H^{1}_{{\mathcal{F}}_{\rm str}^{*}}(k, {\jauhbn{T}}_{K}^{\vee}(1))^{\vee} \cong X
,K'}^{\chi}) &= \biggl(\prod_{{\mathfrak{q}}\in S_{\rm ram}(K'/k)}(-u_{{\mathfrak{q}}})\biggr) \cdot \pi(\tilde{L}_{p,K'}^{\chi}) \biggl(\prod_{{\mathfrak{q}}\in ram}(K'/k)}(-u_{{\mathfrak{q}}}) \prod_{{\mathfrak{q}}\in \setminus S_{K}}(1-u_{{\mathfrak{q}}}^{-1})\biggr) \cdot ram}(K/k)}(-u_{{\mathfrak{q}}}) S_{K'} \setminus S_{K}} Frob}_{{\mathfrak{q}}}^{-1}) \biggr)\cdot \tilde{L}_{p,K}^{\chi} &= \biggl(\prod_{{\mathfrak{q}}\in S_{K'} \setminus S_{K}} P_{{\mathfrak{q}}}({\rm \cdot L_{p,K}^{\chi}. \end{aligned}$$ Iwasawa modules --------------- In this section, we will introduce several modules and recall their important properties. We will freely use the facts in \[subsec:selmer-str\]. a ${\mathbb{Z}}_{p}$-module let $$M^{\vee} := \operatorname{Hom}_{\rm cont}(M, {\mathbb{Q}}_{p}/{\mathbb{Z}}_{p})$$ denote the Pontryagin dual of $M$. For a field $K \Omega$, we write $M_{KL,\infty}$ for the maximal $p$-ramified abelian extension of $KL(\mu_{p^{\infty}})$ set $$\begin{aligned} X_{K}^{\chi} := e_{\chi}\left({\mathcal{O}}\otimes_{{\mathbb{Z}}_{p}} \end{aligned}$$ note that have canonical $$H^{1}_{{\mathcal{F}}_{\rm str}^{*}}(k, {\mathbb{T}}_{K}^{\vee}(1))^{\vee} X
,K'}^{\chi}) &= \biggl(\prod_{{\mathfrak{q}}\in S_{\Rm ram}(K'/k)}(-u_{{\maThfraK{q}}})\bIggR) \cDot \pI(\tilDe{L}_{p,K'}^{\chi})
\\
&= \biggl(\pROd_{{\maThfrak{q}}\in S_{\rm ram}(K'/k)}(-u_{{\mathFrak{q}}}) \PrOD_{{\matHFrAk{q}}\in s_{K'} \setmiNUs s_{k}}(1-U_{{\maThFrAk{q}}}^{-1})\BiGGr) \Cdot \tIldE{L}_{p,K}^{\chi}
\\
&= \Biggl(\prod_{{\mAthFrAk{q}}\in S_{\rm ram}(K/K)}(-U_{{\mAthfrak{q}}}) \prOd_{{\mAthfrak{q}}\in S_{K'} \SetMinus S_{k}} P_{{\MatHFrak{q}}}({\Rm FRob}_{{\maThfrak{Q}}}^{-1}) \Biggr)\cDot \tilde{L}_{P,K}^{\CHi}
\\
&=  \biggL(\Prod_{{\matHFRaK{q}}\in s_{K'} \setminus S_{K}} P_{{\mathFRaK{Q}}}({\rm Frob}_{{\mathfraK{q}}}^{-1})\biggR) \cDOt l_{P,k}^{\chI}. \enD{aligned}$$

IwAsAwa moDUles
---------------

In tHIs SECTioN, We will introduCe several IwASawA modulEs And REcall tHeir iMpORtaNt propertieS. We wIll freely Use the FActs in APPendix \[sUbsec:sElmEr-sTr\].

FoR A tOpOloGiCAl ${\mAThBb{Z}}_{P}$-ModUle $M$, let $$M^{\VeE} := \oPeratOrnaME{hOM}_{\rm cOnt}(m, {\matHbb{Q}}_{p}/{\Mathbb{Z}}_{p})$$ denotE thE PonTRyaGin duAl of $M$.

for a FiEld $K \iN \Omega$, We wriTe $m_{KL,\infty}$ for the mAximAl $p$-ramifiEd pRo-$P$ abElIan exTEnsion Of $Kl(\mu_{P^{\infty}})$ aNd set $$\beGIn{aLiGNED}
X_{k}^{\chi} := e_{\chi}\left({\mathcaL{O}}\OTImEs_{{\mathbb{z}}_{p}} \operAToRnAMe{Gal}(M_{KL,\InFty}/kL(\mu_{P^{\INfty}}))\rIght). \ENd{Aligned}$$ WE note tHAt We Have the CaNonicaL iSomOrpHism $$H^{1}_{{\MAthcAl{F}}_{\rm sTr}^{*}}(k, {\mathbB{T}}_{K}^{\veE}(1))^{\Vee} \cong X
,K'}^{\chi}) &= \biggl(\pr od_{{\math frak{ q}} \in  S _{\r m ra m}(K'/k)}(-u_{ { \mat hfrak{q}}})\biggr) \cd ot \p i( \ tild e {L }_{p, K'}^{\c h i} ) \\&=  \ big gl ( \p rod_{ {\m athfrak {q}}\in S_ {\r mram}(K'/k)}( - u_ {{\mathfra k{q }}}) \prod_{ {\m athfra k{ q}} \ in S_ {K' } \se tminus S_{K}} (1-u_{{\m at h frak{q } }}^{-1} ) \ bi ggr)  \cdot \tilde{L}_ { p, K }^{\chi}
\\
&=  \bigg l( \ pr o d _{{ \ma thfrak{q}} \i n S_{ \ rm ram} ( K/ k ) } (-u _ {{\mathfrak{q }}}) \prod_ { {\m athfra k{ q}} \ in S_{ K'} \ se t min us S_{K}} P _{{\ mathfrak{ q}}}({ \ rm Frob } _{{\mat hfrak{ q}} }^{ -1}) \b ig gr) \c d ot\ ti lde { L}_ {p,K}^{\ ch i} 
\\
& =  \ b i g g l(\p rod _{{\ mathf rak{q}}\in S_ {K' } \s e tmi nus S _{K}}  P_{ {\ mathf rak{q} }}({\ rm  Frob}_{{\mathf rak{ q}}}^{-1} )\b ig gr)  \ cdotL _{p,K} ^{\ chi }. \end {aligne d }$$ 
I w a sa wa modules
------- -- - - -- --

In t his se c ti on ,  we will  i ntr oduc e sever al I w as awa modu les an d  r ec all the ir  impor ta ntpro perti e s. W e will  freelyuse t h e facts in App e ndix \[subsec : se l m er - str\ ].
For a topo logi c al $ {\ma t hb b{Z } }_{p} $-mod ul e  $ M $, let $$M^{\vee} : =\opera torna me{Hom}_{\rmcont}(M, { \ m a thbb{Q}} _{p} / {\ m athbb{Z}}_{p}) $$ de note the P o ntryagin  dual  of $M$. 

For a f i e ld $K \i n \ Ome ga$ , w e wr ite $M_{KL,\i n f ty}$  f or themax imal $p $-r ami fie d p ro -$p$ abel ian exte ns io nof  $K L(\mu _ {p^{\inf ty }}) $and  set$ $\begi n{ali gned }X_ { K}^ {\chi}: =e _ {\ch i} \l eft( {\m at hcal{ O}}\ o tim es_{{\m athbb{Z}} _{p } } \o pe ra torname {Gal}(M_{KL,\ in fty}/KL(\m u_ {p^ {\inft y } }))\righ t). \end{aligned}$$ Wen ote tha t w e hav e th e canonic alisomor phi s m $$H^ {1}_{{ \math ca l{F } } _{\rm s tr }^{ *} }(k, {\mat h b b{T }}_{K }^ {\ve e}(1))^ {\vee} \cong X
,K'}^{\chi}) &=_\biggl(\prod_{{\mathfrak{q}}\in S_{\rm_ram}(K'/k)}(-u_{{\mathfrak{q}}})\biggr) \cdot \pi(\tilde{L}_{p,K'}^{\chi})
\\
&= \biggl(\prod_{{\mathfrak{q}}\in_S_{\rm ram}(K'/k)}(-u_{{\mathfrak{q}}})_\prod_{{\mathfrak{q}}\in_S_{K'} \setminus_S_{K}}(1-u_{{\mathfrak{q}}}^{-1})\biggr)_\cdot \tilde{L}_{p,K}^{\chi}
\\
&= \biggl(\prod_{{\mathfrak{q}}\in_S_{\rm ram}(K/k)}(-u_{{\mathfrak{q}}}) \prod_{{\mathfrak{q}}\in_S_{K'} \setminus S_{K}} P_{{\mathfrak{q}}}({\rm_Frob}_{{\mathfrak{q}}}^{-1}) \biggr)\cdot \tilde{L}_{p,K}^{\chi}
\\
&=__\biggl(\prod_{{\mathfrak{q}}\in S_{K'} \setminus S_{K}} P_{{\mathfrak{q}}}({\rm Frob}_{{\mathfrak{q}}}^{-1})\biggr) \cdot L_{p,K}^{\chi}. \end{aligned}$$

Iwasawa modules
---------------

In this section, we will_introduce_several Iwasawa_modules_and_recall their important properties. We_will freely use the facts_in Appendix \[subsec:selmer-str\].

For_a topological ${\mathbb{Z}}_{p}$-module $M$, let $$M^{\vee} := \operatorname{Hom}_{\rm_cont}(M,_{\mathbb{Q}}_{p}/{\mathbb{Z}}_{p})$$ denote the_Pontryagin dual of $M$.

For a field $K \in \Omega$,_we write $M_{KL,\infty}$ for the maximal_$p$-ramified pro-$p$ abelian_extension_of_$KL(\mu_{p^{\infty}})$ and set $$\begin{aligned}
X_{K}^{\chi}_:= e_{\chi}\left({\mathcal{O}}\otimes_{{\mathbb{Z}}_{p}} \operatorname{Gal}(M_{KL,\infty}/KL(\mu_{p^{\infty}}))\right). \end{aligned}$$ We note_that we have the canonical isomorphism_$$H^{1}_{{\mathcal{F}}_{\rm str}^{*}}(k, {\mathbb{T}}_{K}^{\vee}(1))^{\vee} \cong X