 \[sec: new omegas prime power\]. In addition, we assume for the rest of this section that there exists some $i\in[R]$ such that $\tau(s_i)\ne 1$, since $\phi\ne{\mathbbm{1}}_{P_n}$. We wish to express $m(\phi)$ in terms of the quantities $m(s_1), m(s_2),\dotsc, m(s_R)$ that we determined in Section \[sec: new omegas prime power\]. In order to do this, we recall the following definitions (previously given in Section \[sec: sylow prelims\]).

Let $n\in\mathbb{N}$ and $\phi\in{\operatorname{Lin}}(P_n)$. Suppose $\phi$ corresponds to the multiset of sequences $\{s_1,\ldots, s_R\}$. The *type* of $\phi$ is the $4$-tuple $T(\phi)=(x_1,x_2,x_3,x_4)$, where for each $i\in [4]$ we set $$x_i:=|\{j\in [R]\ |\ \tau(s_j)=i\}|.$$

Let $k\in\mathbb{N}_0$ and $s\in[\overline{p}]^k$. The integer $N(s)$ is defined as follows: $$N(s) = \begin{cases}
    p^k & \mathrm{if}\ \tau(s)=1,\\
    m(s)+1 & \mathrm{if}\ \tau(s)=2,\\
    m(s) & \mathrm{if}\ \tau(s)\in\{3,4\}.
    \end{cases}$$ (Note that if $k=0$, then $s$ is the empty sequence and $N(s)=p^k=1$.) For $\phi\in{\operatorname{Lin}}(P_n)$ as described above, let $N(\phi)$ be defined as follows: $$N(\phi) = \sum_{j=1}^R N(s_j).$$

We are now ready to completely describe $m(\phi)$, completing the proofs of Theorems A and B (stated in Section \[sec: sylow prelims\]). This is done in the following two theorems, whose proofs appear at the end of this section to improve read
\[sec: new omegas prime power\ ]. In addition, we wear for the remainder of this section that there exists some $ i\in[R]$ such that $ \tau(s_i)\ne 1 $, since $ \phi\ne{\mathbbm{1}}_{P_n}$. We wish to express $ m(\phi)$ in price of the quantities $ m(s_1), m(s_2),\dotsc, m(s_R)$ that we determined in Section   \[sec: modern omega prime power\ ]. In ordering to do this, we recall the following definition (previously given in Section   \[sec: sylow prelims\ ]). 

 Let $ n\in\mathbb{N}$ and $ \phi\in{\operatorname{Lin}}(P_n)$. speculate $ \phi$ correspond to the multiset of sequences $ \{s_1,\ldots, s_R\}$. The * type * of $ \phi$ is the $ 4$-tuple $ T(\phi)=(x_1,x_2,x_3,x_4)$, where for each $ i\in [ 4]$ we set $ $ x_i:=|\{j\in [ R]\ |\ \tau(s_j)=i\}|.$$ 

 Let $ k\in\mathbb{N}_0 $ and $ s\in[\overline{p}]^k$. The integer $ N(s)$ is defined as succeed: $ $ N(s) = \begin{cases } 
     p^k & \mathrm{if}\ \tau(s)=1,\\ 
     m(s)+1 & \mathrm{if}\ \tau(s)=2,\\ 
     m(s) & \mathrm{if}\ \tau(s)\in\{3,4\ }. 
     \end{cases}$$ (Note that if $ k=0 $, then $ s$ is the empty sequence and $ N(s)=p^k=1$.) For $ \phi\in{\operatorname{Lin}}(P_n)$ as identify above, let $ N(\phi)$ be defined as follows: $ $ N(\phi) = \sum_{j=1}^R N(s_j).$$ 

 We are now quick to completely trace $ m(\phi)$, completing the proofs of Theorems A and B (stated in Section   \[sec: sylow prelims\ ]). This is perform in the following two theorems, whose proofs appear at the end of this incision to improve read
 \[sec: new omegas prime power\]. Ln addition, we assume fmr the rest of this section that there exidtw somt $i\in[R]$ such that $\taj(s_i)\ne 1$, sijce $\phi\nw{\matibbm{1}}_{P_n}$. We wish to express $m(\phi)$ ln texmw of the quantlties $m(s_1), m(s_2),\gotsc, m(s_R)$ that wd betermined in Section \[sec: new omegas [rime ppwfr\]. In order to do uhif, we gegall the following definitions (pdeviousny given in Srction \[sec: sylow prelims\]).

Let $n\in\lathbb{N}$ and $\phi\in{\ooeratorname{Oin}}(P_g)$. Suppose $\phi$ corresponds to the mumtiset of sequences $\{s_1,\ldots, s_R\}$. Tfe *ty'e* of $\phi$ iw rhe $4$-juple $T(\phi)=(x_1,x_2,e_3,x_4)$, whege for each $i\lm [4]$ we vet $$x_i:=|\{j\on [R]\ |\ \tau(s_j)=i\}|.$$

Leb $k\in\katybb{N}_0$ and $s\in[\overline{p}]^n$. The integer $N(s)$ if defined aa follows: $$N(s) = \begun{xases}
    [^k & \oqthfm{ir}\ \vau(a)=1,\\
    m(d)+1 & \jathrm{if}\ \tzu(s)=2,\\
    m(s) & \nathrm{if}\ \tau(s)\in\{3,4\}.
    \tnd{sqses}$$ (Note thaf if $k=0$, tren $s$ is the empty sequence and $N(s)=p^k=1$.) Fog $\phj\in{\operatorname{Lin}}(P_n)$ as described above, let $J(\phi)$ be dqfined as follows: $$N(\phi) = \sum_{j=1}^R N(s_j).$$

We are now ready to ckoplttcjh dfscribe $m(\phi)$, completing the proofs of Theoremf A akd B (stated in Scction \[sec: sylow prrllmx\]). This is done in thz fkllowing two theorfms, whofe priofs appewr ay the end of this section ti improve recd
\[sec: new omegas prime power\]. In addition, for rest of section that there $\tau(s_i)\ne since $\phi\ne{\mathbbm{1}}_{P_n}$. We to express $m(\phi)$ terms of the quantities $m(s_1), m(s_2),\dotsc, that we determined in Section \[sec: new omegas prime power\]. In order to this, we recall the following definitions (previously given in Section \[sec: sylow prelims\]). $n\in\mathbb{N}$ $\phi\in{\operatorname{Lin}}(P_n)$. $\phi$ to the multiset of sequences $\{s_1,\ldots, s_R\}$. The *type* of $\phi$ is the $4$-tuple $T(\phi)=(x_1,x_2,x_3,x_4)$, where each $i\in [4]$ we set $$x_i:=|\{j\in [R]\ |\ Let $k\in\mathbb{N}_0$ and $s\in[\overline{p}]^k$. integer $N(s)$ is defined as $$N(s) \begin{cases} p^k \mathrm{if}\ m(s)+1 \mathrm{if}\ \tau(s)=2,\\ m(s) \mathrm{if}\ \tau(s)\in\{3,4\}. \end{cases}$$ (Note that if $k=0$, then $s$ is the empty sequence and $N(s)=p^k=1$.) For $\phi\in{\operatorname{Lin}}(P_n)$ described above, be defined follows: = N(s_j).$$ We are to completely describe $m(\phi)$, completing the A and B (stated in Section \[sec: sylow This is in the following two theorems, whose appear at the end of this section to read
 \[sec: new omegas prime power\]. In aDdition, we aSsume For The ReSt of This Section that theRE exiSts some $i\in[R]$ such that $\tau(S_i)\ne 1$, sInCE $\phi\NE{\mAthbbM{1}}_{P_n}$. We wiSH tO EXprEsS $m(\Phi)$ In TErMs of tHe qUantitiEs $m(s_1), m(s_2),\dotsC, m(s_r)$ tHat we determiNEd In Section \[sEc: nEw omegas primE poWer\]. In oRdEr tO Do thiS, we RecalL the foLLowing DefinitioNs (PReviouSLy given IN seCtioN \[sec: sylow prelims\]).

LET $n\IN\mathbb{N}$ and $\phi\In{\operAtORnAME{LiN}}(P_n)$. suppose $\phi$ CoRrespONds to thE MuLTISet OF sequences $\{s_1,\ldOts, s_R\}$. The *typE* Of $\pHi$ is thE $4$-tUplE $t(\phi)=(x_1,x_2,X_3,x_4)$, wheRe FOr eAch $i\in [4]$ we set $$X_i:=|\{j\iN [R]\ |\ \tau(s_j)=i\}|.$$

LEt $k\in\mAThbb{N}_0$ anD $S\in[\overLine{p}]^k$. the IntEger $n(S)$ iS dEfiNeD As fOLlOws: $$n(S) = \beGin{cases}
    P^k & \MaThrm{iF}\ \tau(S)=1,\\
    M(S)+1 & \MAthrM{if}\ \Tau(s)=2,\\
    M(s) & \matHrm{if}\ \tau(s)\in\{3,4\}.
    \enD{caSes}$$ (NOTe tHat if $K=0$, then $S$ is tHe Empty SequenCe and $n(s)=P^k=1$.) For $\phi\in{\operaTornAme{Lin}}(P_n)$ aS deScRibEd Above, LEt $N(\phi)$ Be dEfiNed as foLlows: $$N(\pHI) = \suM_{j=1}^r n(S_J).$$

WE are now ready to compLeTELy Describe $M(\phi)$, coMPlEtINg the proOfS of theoREMs A anD B (stATeD in SectiOn \[sec: sYLoW pRelims\]). THiS is donE iN thE foLlowiNG two TheoreMs, whose pRoofs APpear at the end oF This section to IMpROVe REad
 \[sec: new omegas prime p ower\]. In  addi tio n,we  ass umefor the rest o f  thi s section that there e xists  s o me $ i \i n[R]$  such t h at $ \ta u( s_ i)\ ne 1$ , sin ce$\phi\n e{\mathbbm {1} }_ {P_n}$. We w i sh  to expres s $ m(\phi)$ inter ms ofth e q u antit ies  $m(s _1), m ( s_2),\ dotsc, m( s_ R )$ tha t  we det e r mi nedin Section \[sec: ne w  omegas primepower\ ]. In o rde r t o do this,  w e rec a ll thef ol l o w ing definitions ( previouslyg ive n in S ec tio n  \[sec : syl ow pre lims\]).

L et $ n\in\math bb{N}$ and $\p h i\in{\o perato rna me{ Lin} } (P _n )$.  S u ppo s e$\p h i$correspo nd sto th e mu l t i s et o f s eque nces$\{s_1,\ldots , s _R\} $ . T he *t ype*of $ \p hi$ i s the$4$-t up le $T(\phi)=(x_ 1,x_ 2,x_3,x_4 )$,  w her efor e a ch $i\ in[4] $ we se t $$x_i : =|\ {j \ i n  [ R]\ |\ \tau(s_j)=i \} | . $$ 

Let $k \in\ma t hb b{ N }_0$ and  $ s\i n[\o v e rline {p}] ^ k$ . The in teger$ N( s) $ is de fi ned as  f oll ows : $$N ( s) =  \begi n{cases} 
   p ^k & \mathrm{i f }\ \tau(s)=1, \ \ m (s)+ 1 &  \mathrm{if }\ \ t au(s )=2, \ \  m(s)& \ma th r m{ i f}\ \tau(s)\in\{3,4 \} .
   \end{ cases}$$ (Not e that if$ k = 0$, then  $s$ is the empty sequ enceand $N(s)= p ^k=1$.)For $ \phi\in{ \operator n a me{Lin}} (P_ n)$  as  de s c ri bed above, le t $N(\ ph i)$ bedef ined as  fo llo ws:  $$ N( \phi) = \ sum_{j=1 }^ RN( s_ j). $$

W e  are now  r ead ytocompl e tely d escri be $ m( \p h i)$ , compl e ti n g  the  p ro ofsofTh eorem s Aa ndB (stat ed in Sec tio n  \[s ec :sylow p relims\]). Th is  is done i nthe  follo w i ng two t heorems, whose proofs a p pear at  th e end  ofthis sect ion  to im pro v e read 
 \[sec: new_omegas prime_power\]. In addition, we_assume for_the_rest of_this_section that there_exists some $i\in[R]$_such that $\tau(s_i)\ne 1$,_since $\phi\ne{\mathbbm{1}}_{P_n}$. We_wish_to express $m(\phi)$ in terms of the quantities $m(s_1), m(s_2),\dotsc, m(s_R)$ that we determined_in_Section \[sec: new_omegas_prime_power\]. In order to do_this, we recall the following_definitions (previously_given in Section \[sec: sylow prelims\]).

Let $n\in\mathbb{N}$ and $\phi\in{\operatorname{Lin}}(P_n)$._Suppose_$\phi$ corresponds to_the multiset of sequences $\{s_1,\ldots, s_R\}$. The *type* of_$\phi$ is the $4$-tuple $T(\phi)=(x_1,x_2,x_3,x_4)$, where_for each $i\in_[4]$_we_set $$x_i:=|\{j\in [R]\ |\_\tau(s_j)=i\}|.$$

Let $k\in\mathbb{N}_0$ and $s\in[\overline{p}]^k$. The integer_$N(s)$ is defined as follows: $$N(s)_= \begin{cases}
    p^k &_\mathrm{if}\ \tau(s)=1,\\
    m(s)+1_& \mathrm{if}\ \tau(s)=2,\\
  _ m(s)_& \mathrm{if}\ \tau(s)\in\{3,4\}.
  _ \end{cases}$$ (Note_that if_$k=0$, then $s$_is the empty sequence and $N(s)=p^k=1$.)_For $\phi\in{\operatorname{Lin}}(P_n)$ as_described above, let $N(\phi)$ be defined_as_follows: $$N(\phi) =_\sum_{j=1}^R_N(s_j).$$

We_are now_ready to completely_describe_$m(\phi)$, completing_the_proofs of Theorems A and B_(stated_in Section \[sec: sylow prelims\]). This is done_in the following two_theorems,_whose proofs appear at_the end of this section_to improve read