 contains elements of order $p$.

To give an example, we first introduce some notation. For a sequence $\lambda = (\lambda_1, \ldots, \lambda_r)$ of nonnegative integers summing to $n$, let ${\mathfrak{S}_{\lambda}}$ be the Young group ${\mathfrak{S}_{\lambda_1}} \times \cdots \times
  {\mathfrak{S}_{\lambda_r}}$. Given a set partition $(U_1, \ldots,  U_r)$ of $\{1, \ldots, n\}$ such that $|U_a| = \lambda_a$ for $1 \le a \le r$, we obtain a natural action on $\mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})$ by letting ${\mathfrak{S}_{\lambda_a}}$ act on $U_a$ in the natural manner for each $a$; for a group element $\pi \in
  {\mathfrak{S}_{\lambda}}$, the action is given by replacing the edge $xy
  = \{x,y\}$ with the edge $\pi(x)\pi(y)$ for each choice of distinct elements $x, y \in \{1, \ldots, n\}$.

In Section \[lambdascc-sec\], we demonstrate that $\mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})/{\mathfrak{S}_{\lambda}}$ is isomorphic to the chain complex of a certain simplicial complex ${\mathsf{BD}_{r}^{\lambda}}$. The vertices of this complex are all edges and loops on $\{1, \ldots,
  r\}$; a loop is a multiset of the form $xx = \{x,x\}$). A collection of edges and loops is a face of ${\mathsf{BD}_{r}^{\lambda}}$ if and only if the total number of occurrences of the element $a$ in the edges and loops is at most $\lambda_a$ for $1 \le a
  \le r$. By a computer-based result due to Andersen [@Andersen], $\tilde{H}_4({\mathsf{BD}_{7}^{2}};{\mathbb{Z}})$ is a cyclic group of order five. As a consequence, the following is true.

\[matchtor-prop\] $\tilde{H}_{4}({\mathsf{M}_{14}}; {\mathbb{Z}})$ contains elements of order $5$.

The proof [@matchtor] of Proposition \[matchtor-prop\]
contains elements of order $ p$. 

 To give an case, we foremost introduce some notation. For a succession $ \lambda = (\lambda_1, \ldots, \lambda_r)$ of nonnegative integers total to $ n$, let $ { \mathfrak{S}_{\lambda}}$ be the Young group $ { \mathfrak{S}_{\lambda_1 } } \times \cdots \times 
   { \mathfrak{S}_{\lambda_r}}$. Given a set division $ (U_1, \ldots,   U_r)$ of $ \{1, \ldots, n\}$ such that $ |U_a| = \lambda_a$ for $ 1 \le a \le r$, we prevail a natural military action on $ \mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})$ by letting $ { \mathfrak{S}_{\lambda_a}}$ act on $ U_a$ in the natural manner for each $ a$; for a group chemical element $ \pi \in 
   { \mathfrak{S}_{\lambda}}$, the action is given by replace the edge $ xy 
   = \{x, y\}$ with the edge $ \pi(x)\pi(y)$ for each choice of distinct elements $ x, y \in \{1, \ldots, n\}$. 

 In Section   \[lambdascc - sec\ ], we show that $ \mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})/{\mathfrak{S}_{\lambda}}$ is isomorphic to the chain complex of a sealed simplicial complex $ { \mathsf{BD}_{r}^{\lambda}}$. The vertices of this building complex are all edges and cringle on $ \{1, \ldots, 
   r\}$; a loop is a multiset of the form $ xx = \{x, x\}$). A collection of edges and loops is a side of $ { \mathsf{BD}_{r}^{\lambda}}$ if and only if the total number of occurrences of the element $ a$ in the edge and loop is at most $ \lambda_a$ for $ 1 \le a 
   \le r$. By a computer - based result due to Andersen [ @Andersen ], $ \tilde{H}_4({\mathsf{BD}_{7}^{2}};{\mathbb{Z}})$ is a cyclic group of order five. As a consequence, the following is true. 

 \[matchtor - prop\ ] $ \tilde{H}_{4}({\mathsf{M}_{14 } }; { \mathbb{Z}})$ contains component of order $ 5$. 

 The proof [ @matchtor ] of Proposition   \[matchtor - prop\ ]
 cojtains elements of order $p$.

To give an excnple, wx first introduze some notation. For a sequeice $\oambdq = (\lambda_1, \ldots, \lambda_f)$ of nonnvgative ibtegtrs summing to $n$, let ${\mathnxak{S}_{\lzlbda}}$ ue the Young grpup ${\mathfrdk{S}_{\lambda_1}} \timev \zdlts \times
  {\mathfrak{S}_{\lambda_r}}$. Given a set pattltion $(U_1, \ldots,  U_r)$ ps $\{1, \lsots, n\}$ such that $|U_a| = \lambda_a$ for $1 \me a \le r$, we obtain s natural action on $\mathcap{C}({\mahhsf{M}_{n}};{\mathbb{Z}})$ by lftting ${\mathdrak{F}_{\oambda_a}}$ act un $U_a$ in the natural mznner for each $a$; for a group eldment $\pi \in
  {\majkdran{V}_{\lambda}}$, the actijn is given nj replawing thr edge $xy
  = \{x,y\}$ wivh tye edge $\pi(x)\pi(y)$ for earh choice of distincj elements $x, y \in \{1, \ldots, n\}$.

In Wextion \[nambgascz-wec\], we dxmohstratf tiat $\mathcal{D}({\mathsf{M}_{n}};{\marhbb{Z}})/{\mathfrak{S}_{\lambds}}$ yw isomorphic fo the crain complex of a certain simplicial cokplsx ${\mathsf{BD}_{r}^{\lambda}}$. The certices of this comppex are ajl edges and loops on $\{1, \ldots,
  r\}$; a loop is a multivet oh ghe fjfn $dx = \{x,x\}$). A collection of edges and loops is a fwde on ${\mathsf{BD}_{r}^{\lambdc}}$ if and only if tje jotal number ow occuxdehces of the elemenh $a$ in jhe edtes and ljops is at most $\lambda_a$ for $1 \le a
  \le r$. By c cimputer-based resulc due to Andzrsen [@Snderxen], $\tilde{H}_4({\mathsf{BD}_{7}^{2}};{\mathby{Z}})$ is z cyclic grlup of orsdr five. As a conreqlenca, the following is true.

\[matshtor-prop\] $\tilbe{H}_{4}({\mathsw{M}_{14}}; {\msthbb{Z}})$ contains flemekds of order $5$.

The prlof [@mctchtmr] of Proplsition \[matchtor-prop\]
contains elements of order $p$. To give we introduce some For a sequence of integers summing to let ${\mathfrak{S}_{\lambda}}$ be Young group ${\mathfrak{S}_{\lambda_1}} \times \cdots \times Given a set partition $(U_1, \ldots, U_r)$ of $\{1, \ldots, n\}$ such that = \lambda_a$ for $1 \le a \le r$, we obtain a natural action $\mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})$ letting act $U_a$ in the natural manner for each $a$; for a group element $\pi \in {\mathfrak{S}_{\lambda}}$, the is given by replacing the edge $xy = with the edge $\pi(x)\pi(y)$ each choice of distinct elements y \{1, \ldots, In \[lambdascc-sec\], demonstrate that $\mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})/{\mathfrak{S}_{\lambda}}$ isomorphic to the chain complex of a certain simplicial complex ${\mathsf{BD}_{r}^{\lambda}}$. The vertices of this complex are edges and $\{1, \ldots, a is multiset of the = \{x,x\}$). A collection of edges a face of ${\mathsf{BD}_{r}^{\lambda}}$ if and only if total number occurrences of the element $a$ in edges and loops is at most $\lambda_a$ for \le a \le r$. By a computer-based result due to Andersen [@Andersen], $\tilde{H}_4({\mathsf{BD}_{7}^{2}};{\mathbb{Z}})$ is a of order five. As consequence, the following true. $\tilde{H}_{4}({\mathsf{M}_{14}}; contains of order The proof [@matchtor] of Proposition \[matchtor-prop\]
 contains elements of order $p$.

TO give an exaMple, wE fiRst InTrodUce sOme notation. For A SequEnce $\lambda = (\lambda_1, \ldots, \lAmbda_R)$ oF NonnEGaTive iNtegers SUmMINg tO $n$, LeT ${\maThFRaK{S}_{\lamBda}}$ Be the YoUng group ${\maThfRaK{S}_{\lambda_1}} \timeS \CdOts \times
  {\maThfRak{S}_{\lambda_r}}$. GIveN a set pArTitIOn $(U_1, \ldOts,  u_r)$ of $\{1, \lDots, n\}$ sUCh that $|u_a| = \lambda_a$ FoR $1 \Le a \le r$, WE obtain A NAtUral Action on $\mathcal{C}({\mAThSF{M}_{n}};{\mathbb{Z}})$ by leTting ${\mAtHFrAK{s}_{\laMbdA_a}}$ act on $U_a$ iN tHe natURal mannER fOR EAch $A$; For a group elemEnt $\pi \in
  {\mathFRak{s}_{\lambdA}}$, tHe aCTion is Given By REplAcing the edgE $xy
  = \{x,Y\}$ with the eDge $\pi(x)\PI(y)$ for eaCH choice Of distIncT elEmenTS $x, Y \iN \{1, \ldOtS, N\}$.

In sEcTioN \[LamBdascc-seC\], wE dEmonsTratE THAT $\matHcaL{C}({\maThsf{M}_{N}};{\mathbb{Z}})/{\mathfRak{s}_{\lamBDa}}$ iS isomOrphiC to tHe Chain CompleX of a cErTain simplicial cOmplEx ${\mathsf{Bd}_{r}^{\lAmBda}}$. thE vertICes of tHis ComPlex are All edgeS And LoOPS On $\{1, \Ldots,
  r\}$; a loop is a multIsET Of The form $xX = \{x,x\}$). A coLLeCtIOn of edgeS aNd lOops IS A face Of ${\maTHsF{BD}_{r}^{\lambDa}}$ if anD OnLy If the toTaL numbeR oF ocCurRenceS Of thE elemeNt $a$ in the Edges ANd loops is at mosT $\Lambda_a$ for $1 \le a
  \LE r$. bY A cOMputEr-bAsed result dUe to aNderSen [@ANDeRseN], $\Tilde{h}_4({\mathSf{bd}_{7}^{2}};{\mAThbb{Z}})$ is a cyclic group Of Order fIve. As A consequence, tHe followinG IS True.

\[matcHtor-PRoP\] $\Tilde{H}_{4}({\mathsf{M}_{14}}; {\mAthbb{z}})$ contains eLEments of Order $5$.

the proof [@Matchtor] oF pRopositiOn \[mAtcHtoR-prOP\]
 contains elements of orde r $p$.

To  give  an  ex am ple,  wefirst introduc e  som e notation. For a sequ ence$\ l ambd a  =  (\la mbda_1, \l d o ts,  \ la mbd a_ r )$  of n onn egative  integerssum mi ng to $n$, l e t${\mathfra k{S }_{\lambda}} $ b e theYo ung group  ${ \math frak{S } _{\lam bda_1}} \ ti m es \cd o ts \tim e s 
 {\m athfrak{S}_{\lamb d a_ r }}$. Given a s et par ti t io n $(U _1,  \ldots, U_ r)$ o f  $\{1,\ ld o t s , n \ }$ such that$|U_a| = \l a mbd a_a$ f or  $1 \le a\le r $, weobtain a na tura l actionon $\m a thcal{C } ({\math sf{M}_ {n} };{ \mat h bb {Z }}) $b y l e tt ing ${\ mathfrak {S }_ {\lam bda_ a } } $  act  on  $U_ a$ in  the naturalman nerf oreach$a$;foragroup  eleme nt $\ pi  \in
  {\mathfr ak{S }_{\lambd a}} $,  th eactio n  is gi ven  by  replac ing the edg e$ x y 
 = \{x,y\}$ with t he e dg e $\pi(x )\pi(y ) $fo r  each ch oi ceof d i s tinct  ele m en ts $x, y  \in \ { 1,  \ ldots,n\ }$.

I nSec tio n \[l a mbda scc-se c\], wedemon s trate that $\m a thcal{C}({\ma t hs f { M} _ {n}} ;{\ mathbb{Z}}) /{\m a thfr ak{S } _{ \la m bda}} $ isis o mo r phic to the chain c om plex o f a c ertain simpli cial compl e x ${\maths f{BD } _{ r }^{\lambda}}$.  Thevertices o f  this co mplex  are all  edges an d loops on  $\ {1,  \l dot s , 
 r\}$; a loop i s amu ltisetofthe for m $ xx= \ {x, x\ }$). A co llection  o fed ge s a nd lo o ps is afa ceof  ${ \math s f{BD}_ {r}^{ \lam bd a} } $ i f and o n ly i f th eto talnum be r ofoccu r ren ces ofthe eleme nt$ a$ i nth e edges  and loops is  a t most $\l am bda _a$ fo r $1 \le a 
  \le r$. By a compute r -basedres ult d ue t o Anderse n [ @Ander sen ] , $\ti lde{H} _4({\ ma ths f { BD}_{ 7 } ^{ 2}} ;{ \mathbb{Z} } ) $ i s a c yc licgroup o f order five. As a con sequence, the  fo llow i n gist ru e .
\[ m atc h t or-prop\] $\til de{H}_{4}( {\ m at hsf{M}_{14 } };{\ mathbb{ Z}})$ c ontai n s eleme nts of or der $5$.
T he p r o of[@matchtor ] of Pro position\ [matc h to r-pro p\] 
 contains_elements of_order $p$.

To give an_example, we_first_introduce some_notation._For a sequence_$\lambda = (\lambda_1,_\ldots, \lambda_r)$ of nonnegative_integers summing to_$n$,_let ${\mathfrak{S}_{\lambda}}$ be the Young group ${\mathfrak{S}_{\lambda_1}} \times \cdots \times
  {\mathfrak{S}_{\lambda_r}}$. Given a_set_partition $(U_1,_\ldots,__U_r)$ of $\{1, \ldots, n\}$_such that $|U_a| = \lambda_a$_for $1_\le a \le r$, we obtain a natural_action_on $\mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})$ by_letting ${\mathfrak{S}_{\lambda_a}}$ act on $U_a$ in the natural manner_for each $a$; for a group_element $\pi \in
__{\mathfrak{S}_{\lambda}}$,_the action is given_by replacing the edge $xy
 _= \{x,y\}$ with the edge $\pi(x)\pi(y)$_for each choice of distinct elements $x,_y \in \{1, \ldots, n\}$.

In Section \[lambdascc-sec\],_we demonstrate that $\mathcal{C}({\mathsf{M}_{n}};{\mathbb{Z}})/{\mathfrak{S}_{\lambda}}$ is_isomorphic to_the chain complex of a_certain simplicial complex_${\mathsf{BD}_{r}^{\lambda}}$. The_vertices of this_complex are all edges and loops_on $\{1, \ldots,
_ r\}$; a loop is a_multiset_of the form_$xx_=_\{x,x\}$). A_collection of edges_and_loops is_a_face of ${\mathsf{BD}_{r}^{\lambda}}$ if and only_if_the total number of occurrences of the_element $a$ in the_edges_and loops is at_most $\lambda_a$ for $1 \le_a
  \le r$. By a_computer-based result_due to_Andersen [@Andersen], $\tilde{H}_4({\mathsf{BD}_{7}^{2}};{\mathbb{Z}})$ is a cyclic group of order five. As_a consequence, the following is true.

\[matchtor-prop\]_$\tilde{H}_{4}({\mathsf{M}_{14}}; {\mathbb{Z}})$ contains elements_of order_$5$.

The_proof [@matchtor] of_Proposition \[matchtor-prop\]