}$. They proved that their algorithm halts unless there exists another non-conjugate maximal order $\mathcal{O}'$ for which $$\label{eqn:optdom}
a_{\mathcal{O}'^T}(n)\geq a_{\mathcal{O}^T}(n)$$ for every $n\in{\mathbb{N}}_0$, where $a_{\mathcal{O}^T}(n)$ is defined in. Following [@C-G], we thus say that $\mathcal{O}^{\prime T}$

optimally dominates

$\mathcal{O}^{T}$ if holds for all $n\in{\mathbb{N}}_0$. Chevyrev and Galbraith then conjectured in [@C-G Conjecture 1] that no maximal order may optimally dominate another.

\[conj:main\] Let $\mathcal{O}$ and $\mathcal{O}^{\prime}$ be maximal orders of $B_{p}$. If $\mathcal{O}^{\prime T}$ optimally dominates $\mathcal{O}^{T}$, then $\mathcal{O}$ and $\mathcal{O}^{\prime}$ are of the same type.

1.  Conjecture \[conj:main\] is equivalent to Conjecture \[conj:intro\] because all isomorphisms of orders come from conjugation.

2.  Paralleling the definition of type for maximal orders, we say that $\mathcal{O}^{\prime T}$ and $\mathcal{O}^{T}$ have the same type if there is a non-zero element $c\in B_{p}$ such that $c\mathcal{O}^{T}c^{-1}=\mathcal{O}^{\prime T}$, and we write $\mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$. By Lemma 4 in [@C-G], we know that $\mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$ if and only if $\mathcal{O}\sim\mathcal{O}^{\prime}$.

3.  There is a second conjecture of Chevyrev and Galbraith about the occurrence of the smallest $n_0$ for which both $a_{\mathcal{O^{\prime}}^{T}}(n_1)\geq a_{\mathcal{O}^{T}}(n_1)$ and $a_{\mathcal{O^{\prime}}^{T}}(n_2)< a_{\mathcal{O}^{T}}(n_2)$ occur for some $n_1,n_2<n_
} $. They proved that their algorithm halts unless there exists another non - conjugate maximal order $ \mathcal{O}'$ for which $ $ \label{eqn: optdom } 
 a_{\mathcal{O}'^T}(n)\geq a_{\mathcal{O}^T}(n)$$ for every $ n\in{\mathbb{N}}_0 $, where $ a_{\mathcal{O}^T}(n)$ is define in. take after [ @C - G ], we thus say that $ \mathcal{O}^{\prime T}$ 

 optimally dominate 

 $ \mathcal{O}^{T}$ if holds for all $ n\in{\mathbb{N}}_0$. Chevyrev and Galbraith then conjectured in [ @C - thousand Conjecture 1 ] that no maximal club may optimally dominate another. 

 \[conj: main\ ] permit $ \mathcal{O}$ and $ \mathcal{O}^{\prime}$ be maximal orders of $ B_{p}$. If $ \mathcal{O}^{\prime T}$ optimally dominates $ \mathcal{O}^{T}$, then $ \mathcal{O}$ and $ \mathcal{O}^{\prime}$ are of the like type. 

 1.   Conjecture \[conj: main\ ] is equivalent to Conjecture \[conj: intro\ ] because all isomorphisms of orders come from union. 

 2.   Paralleling the definition of type for maximal orders, we say that $ \mathcal{O}^{\prime T}$ and $ \mathcal{O}^{T}$ have the like type if there is a non - zero element $ c\in B_{p}$ such that $ c\mathcal{O}^{T}c^{-1}=\mathcal{O}^{\prime T}$, and we compose $ \mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$. By Lemma 4 in [ @C - G ], we know that $ \mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$ if and merely if $ \mathcal{O}\sim\mathcal{O}^{\prime}$. 

 3.   There is a second speculation of Chevyrev and Galbraith about the occurrence of the smallest $ n_0 $ for which both $ a_{\mathcal{O^{\prime}}^{T}}(n_1)\geq a_{\mathcal{O}^{T}}(n_1)$ and $ a_{\mathcal{O^{\prime}}^{T}}(n_2) < a_{\mathcal{O}^{T}}(n_2)$ occur for some $ n_1,n_2 < n _
}$. Thfy proved that their algurithm halts unless thxre exiats anotfer non-conjugate maximal ordxr $\mqthcao{O}'$ for which $$\label{eqn:ootdom}
a_{\matjcal{O}'^T}(n)\gwq a_{\nqthcal{O}^T}(n)$$ hkr evern $n\in{\jwthby{N}}_0$, where $a_{\mathcak{O}^T}(n)$ is dexined in. Follofivg [@C-G], we thus say that $\mathcal{O}^{\prime E}$

optimaklj dominates

$\matrcal{P}^{E}$ if holds for all $n\in{\mathbb{N}}_0$. Chevyrev and Ganbraith then vonjectured in [@C-G Conjectuge 1] hhat no maximal orfer may optumaljt dominate avother.

\[conj:main\] Let $\matgcal{O}$ and $\mathcal{O}^{\prime}$ be maxioal oxders of $B_{p}$. Id $\mwjhcal{O}^{\prime V}$ optiially dominabvs $\mathwal{O}^{T}$, tnen $\mathcal{O}$ akd $\mavhcao{O}^{\prime}$ are of the sake type.

1.  Conjecturg \[conj:main\] ia equivalent to Cinhectute \[cotj:ingeo\] ceczuxe all idomkrphisms or orders cone from conjugation.

2.  [qralleling ths defigieion of type for maximal orders, we say uhat $\jathcal{O}^{\prime T}$ and $\matycal{O}^{T}$ have the same jype if thqre is a non-zero element $c\in B_{p}$ such that $c\mathcan{O}^{T}c^{-1}=\metfcao{O}^{\irimd T}$, and we write $\mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$. By Jsmka 4 in [@C-G], we knoc that $\mathcal{O}^{T}\xil\msjhcal{O}^{\prime T}$ kf and onmy if $\mathcal{O}\sim\mwthcal{O}^{\krime}$.

3.  There is a srcond conjecture of Chevyrec and Galbrapth qbout the occurrenee of the smcllest $n_0$ fot which both $a_{\mathcal{O^{\pxime}}^{T}}(n_1)\feq a_{\mathcap{O}^{T}}(n_1)$ and $z_{\oathcal{O^{\prime}}^{T}}(n_2)< x_{\manhcan{O}^{T}}(n_2)$ occur for some $n_1,n_2<n_
}$. They proved that their algorithm halts exists non-conjugate maximal $\mathcal{O}'$ for which $n\in{\mathbb{N}}_0$, $a_{\mathcal{O}^T}(n)$ is defined Following [@C-G], we say that $\mathcal{O}^{\prime T}$ optimally dominates if holds for all $n\in{\mathbb{N}}_0$. Chevyrev and Galbraith then conjectured in [@C-G Conjecture that no maximal order may optimally dominate another. \[conj:main\] Let $\mathcal{O}$ and $\mathcal{O}^{\prime}$ maximal of If T}$ optimally dominates $\mathcal{O}^{T}$, then $\mathcal{O}$ and $\mathcal{O}^{\prime}$ are of the same type. 1. Conjecture \[conj:main\] equivalent to Conjecture \[conj:intro\] because all isomorphisms of come from conjugation. 2. the definition of type for orders, say that T}$ $\mathcal{O}^{T}$ the same type there is a non-zero element $c\in B_{p}$ such that $c\mathcal{O}^{T}c^{-1}=\mathcal{O}^{\prime T}$, and we write $\mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$. By 4 in know that T}$ and if $\mathcal{O}\sim\mathcal{O}^{\prime}$. 3. a second conjecture of Chevyrev and occurrence of the smallest $n_0$ for which both a_{\mathcal{O}^{T}}(n_1)$ and a_{\mathcal{O}^{T}}(n_2)$ occur for some $n_1,n_2<n_
}$. They proved that their algoriThm halts unLess tHerE exIsTs anOtheR non-conjugate mAXimaL order $\mathcal{O}'$ for which $$\Label{EqN:OptdOM}
a_{\MathcAl{O}'^T}(n)\geQ A_{\mATHcaL{O}^t}(n)$$ For EvERy $N\in{\maThbB{N}}_0$, where $A_{\mathcal{O}^T}(N)$ is DeFined in. FolloWInG [@C-G], we thus sAy tHat $\mathcal{O}^{\pRimE T}$

optiMaLly DOminaTes

$\MathcAl{O}^{T}$ if HOlds foR all $n\in{\maThBB{N}}_0$. ChevYRev and GALBrAith Then conjectured in [@c-g CONjecture 1] that no MaximaL oRDeR MAy oPtiMally dominAtE anotHEr.

\[conj:mAIn\] lET $\MatHCal{O}$ and $\mathcaL{O}^{\prime}$ be maXImaL orderS oF $B_{p}$. iF $\mathcAl{O}^{\prImE t}$ opTimally domiNateS $\mathcal{O}^{t}$, then $\mAThcal{O}$ aND $\mathcaL{O}^{\primE}$ arE of The sAMe TyPe.

1.  COnJEctURe \[ConJ:MaiN\] is equivAlEnT to CoNjecTURE \[Conj:IntRo\] beCause All isomorphisMs oF ordERs cOme frOm conJugaTiOn.

2.  ParAlleliNg the DeFinition of type fOr maXimal ordeRs, wE sAy tHaT $\mathCAl{O}^{\priMe T}$ And $\Mathcal{o}^{T}$ have tHE saMe TYPE iF there is a non-zero elEmENT $c\In B_{p}$ such That $c\mAThCaL{o}^{T}c^{-1}=\mathcAl{o}^{\prIme T}$, AND we wrIte $\mAThCal{O}^{T}\sim\MathcaL{o}^{\pRiMe T}$. By LeMmA 4 in [@C-G], wE kNow ThaT $\mathCAl{O}^{T}\Sim\matHcal{O}^{\priMe T}$ if ANd only if $\mathcaL{o}\sim\mathcal{O}^{\pRImE}$.

3.  tHeRE is a SecOnd conjectuRe of cHevyRev aND GAlbRAith aBout tHe OCcURrence of the smallest $N_0$ fOr whicH both $A_{\mathcal{O^{\primE}}^{T}}(n_1)\geq a_{\matHCAL{O}^{T}}(n_1)$ and $a_{\MathCAl{o^{\Prime}}^{T}}(n_2)< a_{\mathcaL{O}^{T}}(n_2)$ oCcur for somE $N_1,n_2<n_
}$. They proved that their  algorithm  halt s u nle ss  the re e xists anothern on-c onjugate maximal order  $\ma th c al{O } '$  forwhich $ $ \l a b el{ eq n: opt do m }a_{\m ath cal{O}' ^T}(n)\geq  a_ {\ mathcal{O}^T } (n )$$ for ev ery  $n\in{\math bb{ N}}_0$ ,whe r e $a_ {\m athca l{O}^T } (n)$ i s defined  i n . Foll o wing [@ C - G] , we  thus say that $\ m at h cal{O}^{\prime  T}$
op t im a l lydom inates

$\ ma thcal { O}^{T}$ if h o lds for all $n\in {\mathbb{N} } _0$ . Chev yr eva nd Gal brait ht hen  conjecture d in  [@C-G Co njectu r e 1] th a t no ma ximalord ermayo pt im all yd omi n at e a n oth er.

\[c on j: main\ ] Le t $ \ math cal {O}$  and$\mathcal{O}^ {\p rime } $ b e max imalorde rs  of $ B_{p}$ . If$\ mathcal{O}^{\pr imeT}$ optim all ydom in ates$ \mathc al{ O}^ {T}$, t hen $\m a thc al { O } $and $\mathcal{O}^{ \p r i me }$ are o f thes am et ype.

1.  Con ject u r e \[c onj: m ai n\] is e quival e nt  t o Conje ct ure \[ co nj: int ro\]b ecau se all  isomorp hisms of orders come from conjugat i on . 
2 .   Pa ral leling thedefi n itio n of ty pef or ma ximal  o r de r s, we say that $\ma th cal{O} ^{\pr ime T}$ and $ \mathcal{O } ^ { T}$ have  the sa m e type if ther e isa non-zero element$c\in  B_{p}$such that $ c\mathca l{O }^{ T}c ^{- 1 } =\ mathcal{O}^{\ p r imeT} $, andwewrite $ \ma thc al{ O}^ {T }\sim\mat hcal{O}^ {\ pr im eT}$ . ByL emma 4 i n[@C -G ],we kn o w that  $\ma thca l{ O} ^ {T} \sim\ma t hc a l {O}^ {\ pr imeT}$  i f and  onl y  if  $\math cal{O}\si m\m a thca l{ O} ^{\prim e}$.

3.  The re  is a seco nd  co njectu r e  of Chev yrev and Galbraith abou t  the oc cur rence  ofthe small est  $n_0$  fo r  which  both$a_{\ ma thc a l {O^{\ p r im e}} ^{ T}}(n_1)\g e q  a_ {\mat hc al{O }^{T}}( n_1)$ and $a_{\mat h cal {O^{\prime}}^ {T} }(n_ 2 ) <a_{ \ ma t hca l{ O }^{ T } }(n_2)$ occur f or some $n _1 , n_ 2<n_
}$. They_proved that_their algorithm halts unless_there exists_another_non-conjugate maximal_order_$\mathcal{O}'$ for which_$$\label{eqn:optdom}
a_{\mathcal{O}'^T}(n)\geq a_{\mathcal{O}^T}(n)$$ for_every $n\in{\mathbb{N}}_0$, where $a_{\mathcal{O}^T}(n)$_is defined in._Following_[@C-G], we thus say that $\mathcal{O}^{\prime T}$

optimally dominates

$\mathcal{O}^{T}$ if holds for all $n\in{\mathbb{N}}_0$. Chevyrev_and_Galbraith then_conjectured_in_[@C-G Conjecture 1] that no_maximal order may optimally dominate_another.

\[conj:main\] Let_$\mathcal{O}$ and $\mathcal{O}^{\prime}$ be maximal orders of $B_{p}$._If_$\mathcal{O}^{\prime T}$ optimally_dominates $\mathcal{O}^{T}$, then $\mathcal{O}$ and $\mathcal{O}^{\prime}$ are of the_same type.

1.  Conjecture \[conj:main\] is_equivalent to Conjecture_\[conj:intro\]_because_all isomorphisms of orders_come from conjugation.

2.  Paralleling the_definition of type for maximal orders,_we say that $\mathcal{O}^{\prime T}$ and $\mathcal{O}^{T}$_have the same type if there_is a non-zero element $c\in_B_{p}$ such_that $c\mathcal{O}^{T}c^{-1}=\mathcal{O}^{\prime T}$, and we_write $\mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$._By Lemma_4 in [@C-G],_we know that $\mathcal{O}^{T}\sim\mathcal{O}^{\prime T}$ if_and only if_$\mathcal{O}\sim\mathcal{O}^{\prime}$.

3.  There is a second_conjecture_of Chevyrev and_Galbraith_about_the occurrence_of the smallest_$n_0$_for which_both_$a_{\mathcal{O^{\prime}}^{T}}(n_1)\geq a_{\mathcal{O}^{T}}(n_1)$ and $a_{\mathcal{O^{\prime}}^{T}}(n_2)< a_{\mathcal{O}^{T}}(n_2)$ occur_for_some $n_1,n_2<n_