1], which appears to play an important role in combinatorial free probability (see review in Section 1 below). The formula $(I)$ can be extended to the case of an R-cyclic family of matrices (see Definition 2.9 and Theorem 2.10 in Section 2), and can be used to obtain various situations when one gets a family of matrices with computable joint distribution. Some applications are presented in the Section 3 of the paper.

Section 4 is about operations with matrices in an R-cyclic family. It is trivial from the definition that if $A_{1}, \ldots, A_{s}$ is an R-cyclic family (of $d \times d$ matrices over a non-commutative probability space ${ ( {\cal A}, \varphi ) }$), then one can add to $A_{1}, \ldots, A_{s}$:

\(a) a linear combination of $A_{1}, \ldots, A_{s}$, or

\(b) any scalar diagonal matrix, and the enlarged family is still R-cyclic. In Lemma 4.2 we show that a similar statement is true when one adds to $A_{1}, \ldots, A_{s}$ a product of some of the matrices in the family; this comes as a fairly easy application of a formula for non-crossing cumulants with products for entries, which was found in [@KS].

The considerations of Section 4 show that the property of a family of matrices $A_{1}, \ldots, A_{s} \in M_{d} ( { {\cal A} })$ of being R-cyclic is really a property of the algebra ${\cal C}$ generated together by $A_{1}, \ldots, A_{s}$ and the set of scalar diagonal matrices. The rest of the paper is devoted to identifying what this property of ${\cal C}$ exactly is. The result turns out to be the following (Theorem 8.2): $$(II) \hspace{2.5cm} 
\left\{  \begin{array}{c}
\mbox{the family}  \\
A_{1}, \ldots, A_{s} \\
\mbox{is R-cyclic}
\end{array}  \right\} \ \Leftrightarrow \
\left\{  \begin{array}{c}
\mbox{${\cal C}$ is free from $M_{d} ( { {\bf C} })$,}  \\
\
1 ], which appears to play an important role in combinative spare probability (see review in incision 1 under). The formula $ (I)$ can be extended to the character of an gas constant - cyclic family of matrices (see Definition 2.9 and Theorem 2.10 in Section 2), and can be use to obtain various situation when one gets a family of matrices with computable joint distribution. Some applications are presented in the Section 3 of the paper. 

 part 4 is about operations with matrices in an R - cyclic syndicate. It is trivial from the definition that if $ A_{1 }, \ldots, A_{s}$ is an R - cyclic family (of $ vitamin d \times d$ matrices over a non - commutative probability space $ { ({ \cal A }, \varphi) } $), then one can add to $ A_{1 }, \ldots, A_{s}$: 

 \(a) a linear combination of $ A_{1 }, \ldots, A_{s}$, or 

 \(b) any scalar diagonal matrix, and the exaggerated family is still R - cyclic. In Lemma 4.2 we show that a similar statement is true when one adds to $ A_{1 }, \ldots, A_{s}$ a product of some of the matrices in the family; this comes as a fairly easy application of a formula for non - crossing cumulants with products for entry, which was found in [ @KS ]. 

 The considerations of incision 4 show that the property of a family of matrices $ A_{1 }, \ldots, A_{s } \in M_{d } ({ { \cal A } }) $ of being radius - cyclic is really a property of the algebra $ { \cal C}$ generated together by $ A_{1 }, \ldots, A_{s}$ and the hardening of scalar diagonal matrices. The rest of the paper is devoted to identifying what this place of $ { \cal C}$ exactly is. The result turns out to be the following (Theorem 8.2 ): $ $ (II) \hspace{2.5 cm } 
 \left\ {   \begin{array}{c } 
 \mbox{the family }   \\ 
 A_{1 }, \ldots, A_{s } \\ 
 \mbox{is R - cyclic } 
 \end{array }   \right\ } \ \Leftrightarrow \ 
 \left\ {   \begin{array}{c } 
 \mbox{${\cal C}$ is complimentary from $ M_{d } ({ { \bf C } }) $, }   \\ 
 \
1], whlch appears to play an ioportant role iu combiiatoriam free pfobability (see review in Secvion 1 beliw). The formula $(I)$ can bd extendef to the cast of an R-cyclic fejily of matridcs (sez Vefinition 2.9 and Theorem 2.10 hn Section 2), ang zau be used to obtain various situatiogs when oje gets a famijy og matdpcts with computable joint distribufion. Soke applicatioms are presented in the Seftioj 3 of the paper.

Sechion 4 is abiut jperations wigh matrices in an R-cycmic family. It is trivial from tfe deyinition thqt if $D_{1}, \ldots, A_{s}$ ms an G-cyclic familn (of $d \dimes d$ matrices over a ion-cimmutative probabilitb space ${ ( {\cal A}, \varpri ) }$), then oue can add to $A_{1}, \ldots, A_{w}$:

\(a) a ninedr cunbivatjoi or $A_{1}, \ldlts, A_{s}$, or

\(b) ang scalar diqgonal matrix, and tne vmlarged famimy is ftyll R-cyclic. In Lemma 4.2 we show that a sikilzr statement is true whwn one adds to $A_{1}, \ldotd, A_{s}$ a prjduct of some of the matrices in the family; this womes xs c fairut fasy application of a formula for non-crossing dukukants with probucts for entriex, ahosh was found kn [@KS].

Tks donsiderations of Dection 4 shoq that tht prolerty of a family of matricws $A_{1}, \ldots, A_{f} \in M_{d} ( { {\cal A} })$ of being R-cycuic os reslly a property of the clgebrz ${\cal C}$ genfrated tofdther by $A_{1}, \ldots, A_{s}$ atd the stg of scalar diagogal matrires. Tke rest uf tne papqr is devohed to identifying what hhis kroperdy of ${\cal F}$ exactly is. The result turns onv to be the fplnowpng (Theorzm 8.2): $$(II) \hspace{2.5cm} 
\lefe\{  \begin{array}{c}
\kbox{the famiuy}  \\
A_{1}, \ldota, A_{s} \\
\mbmx{is R-cyclis}
\end{array}  \ricjt\} \ \Leftrighvarrow \
\lest\{  \vegib{array}{c}
\ocox{${\cal C}$ is frre from $M_{b} ( { {\bd C} })$,}  \\
\
1], which appears to play an important combinatorial probability (see in Section 1 be to the case an R-cyclic family matrices (see Definition 2.9 and Theorem in Section 2), and can be used to obtain various situations when one a family of matrices with computable joint distribution. Some applications are presented in Section of paper. 4 is about operations with matrices in an R-cyclic family. It is trivial from the definition if $A_{1}, \ldots, A_{s}$ is an R-cyclic family $d \times d$ matrices a non-commutative probability space ${ {\cal \varphi ) then can to $A_{1}, \ldots, \(a) a linear combination of $A_{1}, \ldots, A_{s}$, or \(b) any scalar diagonal matrix, and the enlarged is still Lemma 4.2 show a statement is true adds to $A_{1}, \ldots, A_{s}$ a of the matrices in the family; this comes a fairly application of a formula for non-crossing with products for entries, which was found in The considerations of Section 4 show that the property of a family of matrices $A_{1}, \in M_{d} ( { A} })$ of R-cyclic really property the algebra C}$ generated together by $A_{1}, \ldots, A_{s}$ and the set of diagonal matrices. The rest of the paper is devoted to this of ${\cal C}$ is. The result turns to the following (Theorem 8.2): \left\{ \mbox{the \ldots, \\ R-cyclic} \end{array} \right\} \ \ \left\{ \begin{array}{c} \mbox{${\cal C}$ free from $M_{d} ( \
1], which appears to play an imporTant role in CombiNatOriAl Free ProbAbility (see reviEW in SEction 1 below). The formula $(I)$ Can be ExTEndeD To The caSe of an R-CYcLIC faMiLy Of mAtRIcEs (see defInition 2.9 And Theorem 2.10 In SEcTion 2), and can be USeD to obtain vAriOus situationS whEn one gEtS a fAMily oF maTriceS with cOMputabLe joint diStRIbutioN. some appLICaTionS are presented in thE seCTion 3 of the paper.

sectioN 4 iS AbOUT opEraTions with mAtRices IN an R-cycLIc FAMIly. iT is trivial froM the definitIOn tHat if $A_{1}, \LdOts, a_{S}$ is an R-CycliC fAMilY (of $d \times d$ mAtriCes over a nOn-commUTative pRObabiliTy spacE ${ ( {\caL A}, \vArphI ) }$), ThEn One CaN Add TO $A_{1}, \LdoTS, A_{s}$:

\(A) a linear CoMbInatiOn of $a_{1}, \LDOTs, A_{s}$, Or

\(b) Any sCalar Diagonal matriX, anD the ENlaRged fAmily Is stIlL R-cycLic. In LEmma 4.2 wE sHow that a similar StatEment is trUe wHeN onE aDds to $a_{1}, \Ldots, A_{S}$ a pRodUct of soMe of the MAtrIcES IN tHe family; this comes aS a FAIrLy easy apPlicatIOn Of A Formula fOr Non-CrosSINg cumUlanTS wIth produCts for ENtRiEs, which WaS found In [@kS].

THe cOnsidERatiOns of SEction 4 shOw thaT The property of a FAmily of matricES $A_{1}, \LDOtS, a_{s} \in m_{d} ( { {\cAl A} })$ of being R-CyclIC is rEallY A pRopERty of The alGeBRa ${\CAl C}$ generated togetheR bY $A_{1}, \ldotS, A_{s}$ anD the set of scalAr diagonal MATRices. The Rest OF tHE paper is devoteD to idEntifying wHAt this prOpertY of ${\cal C}$ eXactly is. THE Result tuRns Out To bE thE FOlLowing (Theorem 8.2): $$(ii) \HspaCe{2.5Cm} 
\left\{  \bEgiN{array}{c}
\MboX{thE faMilY}  \\
A_{1}, \Ldots, A_{s} \\
\mbOx{is R-cycLiC}
\eNd{ArRay}  \Right\} \ \lEftrightArRow \
\LeFt\{  \bEgin{aRRay}{c}
\mbOx{${\cal c}$ is fReE fROm $M_{D} ( { {\bf C} })$,}  \\
\
1], which appears to playan importa nt ro leinco mbin ator ial free proba b ilit y (see review in Secti on 1be l ow). Th e for mula $( I )$ c anbe  e xte nd e dto th e c ase ofan R-cycli c f am ily of matri c es  (see Defi nit ion 2.9 andThe orem 2 .1 0 i n  Sect ion  2),and ca n  be us ed to obt ai n  vario u s situa t i on s wh en one gets a fam i ly of matrices wi th com pu t ab l e  jo int  distribut io n. So m e appli c at i o n s a r e presented i n the Secti o n 3  of th epap e r.

Se ction  4 isabout opera tion s with ma trices in an R - cyclicfamily . I t i s tr i vi al  fr om the de fin i tio n that i f$A _{1},  \ld o t s ,  A_{ s}$  isan R- cyclic family  (o f $d \ti mes d $ mat rice sovera non- commu ta tive probabilit y sp ace ${ ({\c al  A} ,\varp h i ) }$ ),the n one c an addt o $ A_ { 1 } ,\ldots, A_{s}$:

\ (a ) alinear c ombina t io no f $A_{1} ,\ld ots, A _{s}$ , or 
\ (b) anyscalar di ag onal ma tr ix, an dthe  en large d  fam ily is  still R -cycl i c. In Lemma 4. 2  we show that as i mi l ar s tat ement is tr ue w h en o ne a d ds  to $A_{1 }, \l do t s, A_{s}$ a product of  s ome of  thematrices in t he family; t h is comes  asa  f a irly easy appl icati on of a fo r mula for  non- crossing  cumulant s with pro duc tsfor  en t r ie s, which wasf o undin  [@KS]. 

T he cons ide rat ion s o fSection 4  show th at  t he  p rop ertyo f a fami ly  of  m atr ices$ A_{1},  \ldo ts,A_ {s }  \i n M_{d} ({ {\ca lA}  })$  of  b eingR-cy c lic  is rea lly a pro per t y of  t he  algebr a ${\cal C}$ge nerated to ge the r by $ A _ {1}, \ld ots, A_{s}$ and the set of scal ardiago nalmatrices.  Th e rest  of the pa per is  devo te d t o ident i f yi ngwh at this pr o p ert y of${ \cal  C}$ ex actly is. The resu l t t urns out to b e t he f o l lo win g  ( T heo re m  8. 2 ) : $$(II) \hspac e{2.5cm} \l e ft \{  \begin { arr ay }{c}
\m box{the  fami l y}  \\A_{1}, \l dots, A_{ s}  \\\ m box {is R-cycl ic}
\end {array} \ right \ }\ \Le ftr ightar ro w \ 
\lef t\{  \ b egi n{arr ay}{c} 
\ mbox{$ {\cal  C }$ is fr ee from $M_{d} ( { {\bf  C} }) $,} \\\
1], which_appears to_play an important role_in combinatorial_free_probability (see_review_in Section 1_below). The formula_$(I)$ can be extended_to the case_of_an R-cyclic family of matrices (see Definition 2.9 and Theorem 2.10 in Section 2),_and_can be_used_to_obtain various situations when one_gets a family of matrices_with computable_joint distribution. Some applications are presented in the_Section_3 of the_paper.

Section 4 is about operations with matrices in an_R-cyclic family. It is trivial from_the definition that_if_$A_{1},_\ldots, A_{s}$ is an_R-cyclic family (of $d \times d$_matrices over a non-commutative probability space_${ ( {\cal A}, \varphi ) }$),_then one can add to $A_{1},_\ldots, A_{s}$:

\(a) a linear combination_of $A_{1},_\ldots, A_{s}$, or

\(b) any scalar_diagonal matrix, and_the enlarged_family is still_R-cyclic. In Lemma 4.2 we show_that a similar_statement is true when one adds_to_$A_{1}, \ldots, A_{s}$_a_product_of some_of the matrices_in_the family;_this_comes as a fairly easy application_of_a formula for non-crossing cumulants with products_for entries, which was_found_in [@KS].

The considerations of_Section 4 show that the_property of a family of matrices_$A_{1}, \ldots,_A_{s} \in_M_{d} ( { {\cal A} })$ of being R-cyclic is really_a property of the algebra ${\cal_C}$ generated together by_$A_{1}, \ldots,_A_{s}$_and the set_of_scalar diagonal_matrices. The rest of the paper is_devoted to_identifying what this property of ${\cal_C}$ exactly is. The_result_turns out to be the following_(Theorem 8.2): $$(II) \hspace{2.5cm} 
\left\{ _\begin{array}{c}
\mbox{the family}  \\
A_{1}, \ldots,_A_{s}_\\
\mbox{is_R-cyclic}
\end{array}  \right\} \ \Leftrightarrow_\
\left\{  \begin{array}{c}
\mbox{${\cal C}$ is free_from $M_{d} (_{ {\bf C} })$,}  \\
\