c_{1}} \\
  =& \rho_{c_{1}} \pbrac{\sigma^{\abs{c}}}.
  \end{aligned}$$ But $c_{1}$ is a fixed point of $\sigma^{\abs{c}}$, so by the result of \[lem:rhofp\], this has the same cycle structure as $\sigma^{\abs{c}}$, which in turn is determined by $\lambda \pbrac{\sigma}$ and $\abs{c}$ as desired.

From this and the fact that the terms of $X$-degree $1$ in all $\gci{\cty{k}}{\symgp{k}}$ and $\gci{\ctxy{k}}{\symgp{k+1}}$ are equal (to $p_{1} \sbrac{x} p_{1} \sbrac{y}^{k+1}$), we can conclude that:

\[thm:ctciclassfunc\] $\gcielt{\cty{k}}{\symgp{k}}{\sigma}$ and $\gcielt{\ctxy{k}}{\symgp{k+1}}{\sigma}$ are class functions of $\sigma$ (that is, they are constant over permutations of fixed cycle type).

This will simplify computational enumeration of $k$-trees significantly, since the number of partitions of $k$ grows exponentially while the number of permutations of $\sbrac{k}$ grows factorially.

### $k$-trees: $\kt{k}$ {#ss:ktcycind}

We now have all the pieces in hand to apply \[thm:dissymkci\] to compute the cycle index of the species $\kt{k}$ of general $k$-trees. characterizes the cycle index of the generic $k$-tree species $\kt{k}$ in terms of the cycle indices of the rooted species $\ktx{k}$, $\kty{k}$, and $\ctxy{k}$; \[thm:arootquot\] gives the cycle indices of these three rooted species in terms of the $\Gamma$-cycle indices $\gci{\symgp{k}}{\cty{k}}$, $\gci{\symgp{k}}{\ctxy{k}}$, and $\gci{\symgp{k+1}}{\ctxy{k}}$; and, finally, \[thm:ctyfuncci,thm:ctxyfuncci\] give these $\Gamma$-cycle indices explicitly. By tracing the formulas in \[
c_{1 } } \\ 
   = & \rho_{c_{1 } } \pbrac{\sigma^{\abs{c } } }. 
   \end{aligned}$$ But $ c_{1}$ is a fixed point of $ \sigma^{\abs{c}}$, so by the result of \[lem: rhofp\ ], this has the like hertz structure as $ \sigma^{\abs{c}}$, which in turn is determine by $ \lambda \pbrac{\sigma}$ and $ \abs{c}$ as hope. 

 From this and the fact that the terms of $ X$-degree $ 1 $ in all $ \gci{\cty{k}}{\symgp{k}}$ and $ \gci{\ctxy{k}}{\symgp{k+1}}$ are equal (to $ p_{1 } \sbrac{x } p_{1 } \sbrac{y}^{k+1}$), we can reason that: 

 \[thm: ctciclassfunc\ ] $ \gcielt{\cty{k}}{\symgp{k}}{\sigma}$ and $ \gcielt{\ctxy{k}}{\symgp{k+1}}{\sigma}$ are class functions of $ \sigma$ (that is, they are constant over substitution of fixed cycle character). 

 This will simplify computational enumeration of $ k$-trees significantly, since the number of partitions of $ k$ grow exponentially while the number of permutations of $ \sbrac{k}$ grows factorially. 

 # # # $ k$-trees: $ \kt{k}$ { # ss: ktcycind } 

 We now suffer all the pieces in hand to apply \[thm: dissymkci\ ] to calculate the cycle index of the coinage $ \kt{k}$ of general $ k$-trees. characterize the cycle exponent of the generic $ k$-tree species $ \kt{k}$ in terms of the cycle indices of the root species $ \ktx{k}$, $ \kty{k}$, and $ \ctxy{k}$; \[thm: arootquot\ ] gives the cycle indices of these three rooted species in term of the $ \Gamma$-cycle indices $ \gci{\symgp{k}}{\cty{k}}$, $ \gci{\symgp{k}}{\ctxy{k}}$, and $ \gci{\symgp{k+1}}{\ctxy{k}}$; and, finally, \[thm: ctyfuncci, thm: ctxyfuncci\ ] give these $ \Gamma$-cycle indices explicitly. By tracing the formulas in \ [
c_{1}} \\
  =& \rho_{c_{1}} \pbrac{\sigma^{\abs{c}}}.
  \ekd{aligned}$$ But $c_{1}$ nw a fieed poiht of $\siema^{\abs{c}}$, so by the result of \[pen:rhofk\], this has the same cycle stgucture aw $\sijma^{\abs{c}}$, which in turn is deterjlned yy $\lambda \pbrac{\slgma}$ and $\abv{c}$ as desired.

Fsoo chis and the fact that the terms of $V$-degree $1$ ln all $\gci{\cty{k}}{\fymgk{k}}$ wnd $\fbi{\gtxy{k}}{\symgp{k+1}}$ are equal (to $p_{1} \sbrac{s} p_{1} \sbrec{y}^{k+1}$), we can convlude that:

\[thm:ctciclassfunc\] $\gciflt{\cty{k}}{\symgp{k}}{\sigma}$ and $\gcielt{\xtxy{h}}{\wymgp{k+1}}{\sigma}$ xre class functions of $\sigma$ (that is, they are constang ovex permutatiinw ov fixed cyclx type).

Nhis will simikify cmmputatoonal enumeratlon oh $k$-teees significantly, siice the number of pattitions ox $i$ grows exponentiqloy whhle dhe vymbdr kf psrmutahiois of $\sbrac{i}$ grows facrorially.

### $k$-trees: $\kt{k}$ {#sf:jtcycind}

We nos have ajl the pieces in hand to apply \[thm:dissykkcj\] to compute the cycle undex of the species $\nt{k}$ of gegeral $k$-trees. characterizes the cycle index of the geneciz $k$-urcc spdxifs $\kt{k}$ in terms of the cycle indices of the rjkttd xpecies $\ktx{k}$, $\kby{k}$, and $\ctxy{k}$; \[thm:atoltaoot\] gives the zycle nhdjces of these thref rooteq spexies in ttrms pf the $\Gamma$-cycle indices $\gxi{\symgp{k}}{\cty{k}}$, $\tci{\symgp{k}}{\ctxy{k}}$, and $\gci{\symgp{k+1}}{\ccxy{k}}$; amd, fimally, \[thm:ctyfuncci,thm:ctryfuncdi\] give thede $\Gamma$-cgzle indices explkcinly. Ty tracing the formulas in \[
c_{1}} \\ =& \rho_{c_{1}} \pbrac{\sigma^{\abs{c}}}. \end{aligned}$$ But a point of so by the the cycle structure as which in turn determined by $\lambda \pbrac{\sigma}$ and $\abs{c}$ desired. From this and the fact that the terms of $X$-degree $1$ in $\gci{\cty{k}}{\symgp{k}}$ and $\gci{\ctxy{k}}{\symgp{k+1}}$ are equal (to $p_{1} \sbrac{x} p_{1} \sbrac{y}^{k+1}$), we can conclude \[thm:ctciclassfunc\] and are functions of $\sigma$ (that is, they are constant over permutations of fixed cycle type). This will computational enumeration of $k$-trees significantly, since the number partitions of $k$ grows while the number of permutations $\sbrac{k}$ factorially. ### $\kt{k}$ We have all the in hand to apply \[thm:dissymkci\] to compute the cycle index of the species $\kt{k}$ of general $k$-trees. the cycle the generic species in of the cycle the rooted species $\ktx{k}$, $\kty{k}$, and the cycle indices of these three rooted species terms of $\Gamma$-cycle indices $\gci{\symgp{k}}{\cty{k}}$, $\gci{\symgp{k}}{\ctxy{k}}$, and $\gci{\symgp{k+1}}{\ctxy{k}}$; finally, \[thm:ctyfuncci,thm:ctxyfuncci\] give these $\Gamma$-cycle indices explicitly. By the formulas in \[
c_{1}} \\
  =& \rho_{c_{1}} \pbrac{\sigma^{\abs{c}}}.
  \end{aliGned}$$ But $c_{1}$ is A fixeD poInt Of $\SigmA^{\abs{C}}$, so by the result OF \[lem:Rhofp\], this has the same cycLe strUcTUre aS $\SiGma^{\abS{c}}$, which IN tURN is DeTeRmiNeD By $\LambdA \pbRac{\sigmA}$ and $\abs{c}$ as DesIrEd.

From this anD ThE fact that tHe tErms of $X$-degreE $1$ in All $\gci{\CtY{k}}{\sYMgp{k}}$ aNd $\gCi{\ctxY{k}}{\symgP{K+1}}$ are eqUal (to $p_{1} \sbrAc{X} P_{1} \sbrac{Y}^{K+1}$), we can cONClUde tHat:

\[thm:ctciclassfuNC\] $\gCIelt{\cty{k}}{\symgp{k}}{\Sigma}$ aNd $\GCiELT{\ctXy{k}}{\Symgp{k+1}}{\sigmA}$ aRe claSS functiONs OF $\SIgmA$ (That is, they are Constant oveR PerMutatiOnS of FIxed cyCle tyPe).

tHis Will simplifY comPutationaL enumeRAtion of $K$-Trees siGnificAntLy, sInce THe NuMbeR oF ParTItIonS Of $k$ Grows expOnEnTiallY whiLE THE numBer Of peRmutaTions of $\sbrac{k}$ GroWs faCTorIally.

### $K$-treeS: $\kt{k}$ {#Ss:KtcycInd}

We nOw havE aLl the pieces in haNd to Apply \[thm:dIssYmKci\] To CompuTE the cyCle IndEx of the Species $\KT{k}$ oF gENERaL $k$-trees. characterizEs THE cYcle indeX of the GEnErIC $k$-tree spEcIes $\Kt{k}$ iN TErms oF the CYcLe indiceS of the ROoTeD specieS $\kTx{k}$, $\kty{K}$, aNd $\cTxy{K}$; \[thm:aROotqUot\] givEs the cycLe indICes of these threE Rooted species IN tERMs OF the $\gamMa$-cycle indiCes $\gCI{\symGp{k}}{\cTY{k}}$, $\Gci{\SYmgp{k}}{\Ctxy{k}}$, AnD $\GcI{\Symgp{k+1}}{\ctxy{k}}$; and, finalLy, \[Thm:ctyFunccI,thm:ctxyfunccI\] give these $\gAMMa$-cycle iNdicES eXPlicitly. By tracIng thE formulas iN \[
c_{1}} \\
  =& \rho_{c_{1} } \pbrac{\ sigma ^{\ abs {c }}}. 
  \ end{aligned}$$ But$c_{1}$ is a fixed poi nt of  $ \ sigm a ^{ \abs{ c}}$, s o  b y the  r es ult  o f  \ [lem: rho fp\], t his has th e s am e cycle stru c tu re as $\si gma ^{\abs{c}}$,  wh ich in  t urn is de ter mined  by $\ l ambda\pbrac{\s ig m a}$ an d  $\abs{ c } $as d esired.

From thi s  a n d the fact tha t thete r ms o f $ X$- degree $1$  i n all $\gci{\ c ty { k } }{\ s ymgp{k}}$ and  $\gci{\ctx y {k} }{\sym gp {k+ 1 }}$ ar e equ al (to  $p_{1} \sb rac{ x} p_{1}\sbrac { y}^{k+1 } $), wecan co ncl ude  tha t :
\ [th m: c tci c la ssf u nc\ ] $\gcie lt {\ cty{k }}{\ s y m g p{k} }{\ sigm a}$ a nd $\gcielt{\ ctx y{k} } {\s ymgp{ k+1}} {\si gm a}$ a re cla ss fu nc tions of $\sigm a$ ( that is,the yare  c onsta n t over  pe rmu tations  of fix e d c yc l e ty pe).

This will si mp l i fy  computa tional en um e ration o f$k$ -tre e s  sign ific a nt ly, sinc e then um be r of pa rt itions  o f $ k$grows expo nentia lly whil e the number of perm u tations of $\ s br a c {k } $ gr ows  factoriall y.
# ## $ k$-t r ee s:$ \kt{k }$ {# ss : kt c ycind}

We now have  a ll the  piec es in hand to  apply \[t h m : dissymkc i\]t oc ompute the cyc le in dex of the species$\kt{ k}$ of g eneral $k $ - trees. c har act eri zes t he  cycle indexo f  the  g eneric$k$ -tree s pec ies  $\ kt{ k} $ in term s of the  c yc le  i ndi ces o f  the roo te d s pe cie s $\k t x{k}$,  $\kt y{k} $,  a n d $ \ctxy{k } $; \ [thm :a ro otqu ot\ ]gives  the cyc le indi ces of th ese thre ero oted sp ecies in term sof the $\G am ma$ -cycle i ndices $ \gci{\symgp{k}}{\cty{k} } $, $\gc i{\ symgp {k}} {\ctxy{k} }$,  and $ \gc i {\symg p{k+1} }{\ct xy {k} } $ ; and , fi nal ly , \[thm:ct y f unc ci,th m: ctxy funcci\ ] give these $\Gam m a$- cycle indices  ex plic i t ly . B y  t r aci ng the f ormulas in \[
c_{1}} \\
_ =&_\rho_{c_{1}} \pbrac{\sigma^{\abs{c}}}.
  \end{aligned}$$_But $c_{1}$_is_a fixed_point_of $\sigma^{\abs{c}}$, so_by the result_of \[lem:rhofp\], this has_the same cycle_structure_as $\sigma^{\abs{c}}$, which in turn is determined by $\lambda \pbrac{\sigma}$ and $\abs{c}$ as desired.

From_this_and the_fact_that_the terms of $X$-degree $1$_in all $\gci{\cty{k}}{\symgp{k}}$ and $\gci{\ctxy{k}}{\symgp{k+1}}$_are equal_(to $p_{1} \sbrac{x} p_{1} \sbrac{y}^{k+1}$), we can conclude_that:

\[thm:ctciclassfunc\]_$\gcielt{\cty{k}}{\symgp{k}}{\sigma}$ and $\gcielt{\ctxy{k}}{\symgp{k+1}}{\sigma}$_are class functions of $\sigma$ (that is, they are_constant over permutations of fixed cycle_type).

This will simplify_computational_enumeration_of $k$-trees significantly, since_the number of partitions of $k$_grows exponentially while the number of_permutations of $\sbrac{k}$ grows factorially.

### $k$-trees: $\kt{k}$_{#ss:ktcycind}

We now have all the pieces_in hand to apply \[thm:dissymkci\]_to compute_the cycle index of the_species $\kt{k}$ of_general $k$-trees._characterizes the cycle_index of the generic $k$-tree species_$\kt{k}$ in terms_of the cycle indices of the_rooted_species $\ktx{k}$, $\kty{k}$,_and_$\ctxy{k}$;_\[thm:arootquot\] gives_the cycle indices_of_these three_rooted_species in terms of the $\Gamma$-cycle_indices_$\gci{\symgp{k}}{\cty{k}}$, $\gci{\symgp{k}}{\ctxy{k}}$, and $\gci{\symgp{k+1}}{\ctxy{k}}$; and, finally, \[thm:ctyfuncci,thm:ctxyfuncci\]_give these $\Gamma$-cycle indices_explicitly._By tracing the formulas_in \[