times T_{E,\tilde \ttS})({\QQ_p}) \to G''_{\tilde \ttS}({\QQ_p})$.

\[L:compatibility of derived group and adjoint group2\] The Shimura data for $G_\ttS, G_\ttS \times T_{E,\tilde \ttS}, G''_{\tilde \ttS},$ and $G'_{\tilde \ttS}$ satisfy Hypothesis \[H:hypo on G\]. Moreover, The natural diagram of morphisms of groups $$\label{E:morphism-of-groups2}
G_{\ttS}\leftarrow G_{\ttS}\times T_{E, \tilde \ttS}{\rightarrow}G''_{\tilde \ttS} = G_{\ttS}\times_{Z}T_{E,\tilde \ttS}\leftarrow G'_{\tilde \ttS}$$ induce isomorphisms on the $p$-integral points of the derived and adjoint groups.

This is straightforward from definition. In fact, both $K_p^{\mathrm{ad}}= \prod_{\gothp \in \Sigma_p}K_\gothp^{\mathrm{ad}}$ and $K_p^{\mathrm{der}}= \prod_{\gothp \in \Sigma_p} K_\gothp^{\mathrm{der}}$ are products and we give the description case by case:

-   if $\gothp$ is of type $\alpha$ or $\beta$, then $K^{\mathrm{der}}_\gothp  = {\mathrm{SL}}_{2, \calO_\gothp}$ and $K^{\mathrm{ad}}_\gothp = {\mathrm{PGL}}_{2, \calO_\gothp}$;

-   if $\gothp$ is of type $\alpha^\sharp$, then $K^{\mathrm{der}}_\gothp  = {\mathrm{SL}}_{2, \calO_\gothp} \cap \big(
    \begin{smallmatrix}
    \calO_\gothp^\times & \calO_\gothp\\ \gothp & \calO_\gothp^\times
    \end{smallmatrix}
    \big)$ and $K^{\mathrm{ad}}_\gothp = \big(
    \begin{smallmatrix}
    \calO_\gothp^\times & \calO_\gothp\\ \
times T_{E,\tilde \ttS})({\QQ_p }) \to G''_{\tilde \ttS}({\QQ_p})$. 

 \[L: compatibility of derived group and adjoint group2\ ] The Shimura data for $ G_\ttS, G_\ttS \times T_{E,\tilde \ttS }, G''_{\tilde \ttS},$ and $ G'_{\tilde \ttS}$ satisfy guess   \[H: hypo on G\ ]. furthermore, The lifelike diagram of morphisms of groups $ $ \label{E: morphism - of - groups2 } 
 G_{\ttS}\leftarrow G_{\ttS}\times T_{E, \tilde \ttS}{\rightarrow}G''_{\tilde \ttS } = G_{\ttS}\times_{Z}T_{E,\tilde \ttS}\leftarrow G'_{\tilde \ttS}$$ induce isomorphisms on the $ p$-integral points of the derive and adjoint groups. 

 This is straightforward from definition. In fact, both $ K_p^{\mathrm{ad}}= \prod_{\gothp \in \Sigma_p}K_\gothp^{\mathrm{ad}}$ and $ K_p^{\mathrm{der}}= \prod_{\gothp \in \Sigma_p } K_\gothp^{\mathrm{der}}$ are product and we collapse the description case by event: 

 -    if $ \gothp$ is of type $ \alpha$ or $ \beta$, then $ K^{\mathrm{der}}_\gothp   = { \mathrm{SL}}_{2, \calO_\gothp}$ and $ K^{\mathrm{ad}}_\gothp = { \mathrm{PGL}}_{2, \calO_\gothp}$; 

 -    if $ \gothp$ is of type $ \alpha^\sharp$, then $ K^{\mathrm{der}}_\gothp   = { \mathrm{SL}}_{2, \calO_\gothp } \cap \big (
     \begin{smallmatrix } 
     \calO_\gothp^\times & \calO_\gothp\\ \gothp & \calO_\gothp^\times 
     \end{smallmatrix } 
     \big)$ and $ K^{\mathrm{ad}}_\gothp = \big (
     \begin{smallmatrix } 
     \calO_\gothp^\times & \calO_\gothp\\ \
timfs T_{E,\tilde \ttS})({\QQ_p}) \to G''_{\tiude \ttS}({\QQ_p})$.

\[L:compcribilivy of dsrived gfoup and adjoint group2\] The Siimuea dauc for $G_\ttS, G_\ttS \timer T_{E,\tilde \ttS}, G''_{\tiode \utS},$ and $G'_{\tilde \ttS}$ satisfn Hypkbhesiv \[I:hypo on G\]. Morepver, The ndtural diagram ow lorphisms of groups $$\label{E:morphism-os-groups2}
B_{\thS}\leftarrow G_{\tjS}\timts E_{E, \tjlde \ttS}{\rightarrow}G''_{\tilde \ttS} = G_{\ttS}\fimes_{Z}T_{T,\tilde \ttS}\leftarroe G'_{\tilde \ttS}$$ induce isomorohisls on the $p$-integrap points of the eerived and xdjoint groups.

This is atraightforward from definition. In fcct, both $K_p^{\narhrl{dd}}= \prod_{\goth' \in \Spgma_p}K_\gothp^{\mabnrm{ad}}$ dnd $K_p^{\msthrm{der}}= \prod_{\gpth' \in \Sigma_p} K_\gothp^{\mathrm{dxr}}$ are products and re give tve description case bt casg:

-   ix $\gogyp$ ks kf tgpe $\aloha$ or $\beta$, tgen $K^{\mathrm{eer}}_\gothp  = {\mathrm{SL}}_{2, \cwoO_\gothp}$ and $K^{\jathrm{wd}}_\dothp = {\mathrm{PGL}}_{2, \calO_\gothp}$;

-   if $\gothp$ iv or type $\alpha^\sharp$, then $J^{\mathrm{der}}_\gothp  = {\matjrm{SL}}_{2, \calJ_\gothp} \cap \big(
    \begin{smallmatrix}
    \calO_\gothp^\tikes & \rauO_\gitmp\\ \gurho & \calO_\gothp^\times
    \end{smallmatrix}
    \big)$ anq $K^{\kanhrm{ad}}_\gothp = \big(
    \begin{smakllaytix}
    \calO_\gotfp^\times & \dalO_\gothp\\ \
times T_{E,\tilde \ttS})({\QQ_p}) \to G''_{\tilde \ttS}({\QQ_p})$. \[L:compatibility group adjoint group2\] Shimura data for G''_{\tilde and $G'_{\tilde \ttS}$ Hypothesis \[H:hypo on Moreover, The natural diagram of morphisms groups $$\label{E:morphism-of-groups2} G_{\ttS}\leftarrow G_{\ttS}\times T_{E, \tilde \ttS}{\rightarrow}G''_{\tilde \ttS} = G_{\ttS}\times_{Z}T_{E,\tilde \ttS}\leftarrow G'_{\tilde \ttS}$$ isomorphisms on the $p$-integral points of the derived and adjoint groups. This is from In both \prod_{\gothp \in \Sigma_p}K_\gothp^{\mathrm{ad}}$ and $K_p^{\mathrm{der}}= \prod_{\gothp \in \Sigma_p} K_\gothp^{\mathrm{der}}$ are products and we give the description by case: - if $\gothp$ is of type or $\beta$, then $K^{\mathrm{der}}_\gothp {\mathrm{SL}}_{2, \calO_\gothp}$ and $K^{\mathrm{ad}}_\gothp = \calO_\gothp}$; if $\gothp$ of $\alpha^\sharp$, $K^{\mathrm{der}}_\gothp = {\mathrm{SL}}_{2, \cap \big( \begin{smallmatrix} \calO_\gothp^\times & \calO_\gothp\\ \gothp & \calO_\gothp^\times \end{smallmatrix} \big)$ and $K^{\mathrm{ad}}_\gothp = \big( \begin{smallmatrix} \calO_\gothp^\times \calO_\gothp\\ \
times T_{E,\tilde \ttS})({\QQ_p}) \to G''_{\tildE \ttS}({\QQ_p})$.

\[L:coMpatiBilIty Of DeriVed gRoup and adjoint GRoup2\] the Shimura data for $G_\ttS, G_\TtS \tiMeS t_{E,\tiLDe \TtS}, G''_{\tIlde \ttS},$ ANd $g'_{\TIldE \tTS}$ SatIsFY HYpothEsiS \[H:hypo oN G\]. Moreover, the NaTural diagram OF mOrphisms of GroUps $$\label{E:morPhiSm-of-grOuPs2}
G_{\TTS}\lefTarRow G_{\tTS}\timeS t_{E, \tildE \ttS}{\rightArROw}G''_{\tilDE \ttS} = G_{\tts}\TImEs_{Z}T_{e,\tilde \ttS}\leftarroW g'_{\tILde \ttS}$$ induce isOmorphIsMS oN THe $p$-IntEgral pointS oF the dERived anD AdJOINt gROups.

This is strAightforwarD FroM definItIon. iN fact, bOth $K_p^{\MaTHrm{Ad}}= \prod_{\gothp \In \SiGma_p}K_\gothP^{\mathrM{Ad}}$ and $K_p^{\MAthrm{deR}}= \prod_{\gOthP \in \sigmA_P} K_\GoThp^{\MaTHrm{DEr}}$ Are PRodUcts and wE gIvE the dEscrIPTIOn caSe bY casE:

-   if $\goThp$ is of type $\alPha$ Or $\beTA$, thEn $K^{\maThrm{dEr}}_\goThP  = {\mathRm{SL}}_{2, \caLO_\gotHp}$ And $K^{\mathrm{ad}}_\gotHp = {\maThrm{PGL}}_{2, \caLO_\gOtHp}$;

-   iF $\gOthp$ iS Of type $\AlpHa^\sHarp$, theN $K^{\mathrM{Der}}_\GoTHP  = {\MaThrm{SL}}_{2, \calO_\gothp} \cap \BiG(
    \BEgIn{smallmAtrix}
    \cALO_\GoTHp^\times & \cAlo_\goThp\\ \gOTHp & \calo_\gotHP^\tImes
    \end{sMallmaTRiX}
    \bIg)$ and $K^{\mAtHrm{ad}}_\gOtHp = \bIg(
    \bEgin{sMAllmAtrix}
    \cAlO_\gothp^\Times & \CAlO_\gothp\\ \
times T_{E,\tilde \ttS})({ \QQ_p}) \t o G'' _{\ til de  \tt S}({ \QQ_p})$.

\[L : comp atibility of derived g roupan d  adj o in t gro up2\] T h eS h imu ra  d ata  f o r$G_\t tS,  G_\ttS  \times T_ {E, \t ilde \ttS},G '' _{\tilde \ ttS },$ and $G'_ {\t ilde \ tt S}$ satis fyHypot hesis\ [H:hyp o on G\].  M o reover ,  The na t u ra l di agram of morphism s  o f  groups $$\lab el{E:m or p hi s m -of -gr oups2}
G_{ \t tS}\l e ftarrow G_ { \ t tS} \ times T_{E, \ tilde \ttS} { \ri ghtarr ow }G' ' _{\til de \t tS }  =G_{\ttS}\ti mes_ {Z}T_{E,\ tilde\ ttS}\le f tarrowG'_{\t ild e \ ttS} $ $in duc ei som o rp his m s o n the $p $- in tegra l po i n t s  ofthe  der ivedand adjoint g rou ps.Thi s isstrai ghtf or wardfrom d efini ti on. In fact, bo th $ K_p^{\mat hrm {a d}} =\prod _ {\goth p \ in\Sigma_ p}K_\go t hp^ {\ m a t hr m{ad}}$ and $K_p^{ \m a t hr m{der}}=  \prod _ {\ go t hp \in \ Si gma _p}K _ \goth p^{\ m at hrm{der} }$ are pr od ucts an dwe giv ethe  de scrip t ioncase b y case:
-  i f $\gothp$ iso f type $\alph a $o r  $ \ beta $,then $K^{\m athr m {der }}_\ g ot hp= {\m athrm {S L }} _ {2, \calO_\gothp}$an d $K^{ \math rm{ad}}_\goth p = {\math r m { PGL}}_{2 , \c a lO _ \gothp}$;

-  if $ \gothp$ is of type$\alp ha^\shar p$, then$ K ^{\mathr m{d er} }_\ got h p  = {\mathrm{SL } } _{2,  \ calO_\g oth p} \cap  \b ig( 
   \ be gin{small matrix}  \c al O_\ gothp ^ \times &  \ cal O_ \go thp\\ \gothp  & \c alO_ \g ot h p^\ times
 \ e nd{s ma ll matr ix} 
   \b ig)$ and  $K^{\m athrm{ad} }_\ g othp  =  \ big(
   \begin{smal lm atrix}
   \ cal O_\got h p ^\times& \calO_\gothp\\ \
times T_{E,\tilde_\ttS})({\QQ_p}) \to_G''_{\tilde \ttS}({\QQ_p})$.

\[L:compatibility of derived_group and_adjoint_group2\] The_Shimura_data for $G_\ttS,_G_\ttS \times T_{E,\tilde_\ttS}, G''_{\tilde \ttS},$ and_$G'_{\tilde \ttS}$ satisfy_Hypothesis \[H:hypo_on G\]. Moreover, The natural diagram of morphisms of groups $$\label{E:morphism-of-groups2}
G_{\ttS}\leftarrow G_{\ttS}\times T_{E, \tilde_\ttS}{\rightarrow}G''_{\tilde_\ttS} =_G_{\ttS}\times_{Z}T_{E,\tilde_\ttS}\leftarrow_G'_{\tilde \ttS}$$ induce isomorphisms on_the $p$-integral points of the_derived and_adjoint groups.

This is straightforward from definition. In fact,_both_$K_p^{\mathrm{ad}}= \prod_{\gothp \in_\Sigma_p}K_\gothp^{\mathrm{ad}}$ and $K_p^{\mathrm{der}}= \prod_{\gothp \in \Sigma_p} K_\gothp^{\mathrm{der}}$ are products_and we give the description case_by case:

- __if_$\gothp$ is of type_$\alpha$ or $\beta$, then $K^{\mathrm{der}}_\gothp _= {\mathrm{SL}}_{2, \calO_\gothp}$ and $K^{\mathrm{ad}}_\gothp =_{\mathrm{PGL}}_{2, \calO_\gothp}$;

-   if $\gothp$ is_of type $\alpha^\sharp$, then $K^{\mathrm{der}}_\gothp _= {\mathrm{SL}}_{2, \calO_\gothp} \cap \big(
_ _ \begin{smallmatrix}
   _\calO_\gothp^\times & \calO_\gothp\\_\gothp &_\calO_\gothp^\times
  _ \end{smallmatrix}
    \big)$_and $K^{\mathrm{ad}}_\gothp =_\big(
    \begin{smallmatrix}
 __ \calO_\gothp^\times &_\calO_\gothp\\_\