Details Page for 0.3747

Complete Solution is Known:

MSV File: q-0.3747.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₂₂(0.3747):

Q = <a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q | a²=1, b⁴=b², b³c=bc, c²=b², b²d=bc, bcd=b², cd²=bd, bd³=bd, d⁴=d², b²e=abc, bce=ab², bd²e=cde, d³e=de, e²=b², b²f²=b², cf²=b²c, df²=bc, ef²=abc, f⁴=b², b²g=ab², bcg=abc, bdg=cde, cdg=ce, d²g=de, deg=b², bf³g=abf³, eg²=abc, cg³=ab²c, dg³=abc, bfg³=abfg², f²g³=af²g², g⁴=ag³, b²h=b³, ch=bc, dh=bd, eh=cde, bgh=abh, f³gh=af³h, f²g²h=af²gh, bh²=b³, f³h²=bf³h, gh²=ah², h³=b³, b²i=ab³, ci=abc, di=abd, bei=bc, bf³i=ab²f, egi=ab²c, bg²i=ab², f³g²i=ab³f, g³i=ag²i, bhi=ab³, f³hi=ab²f, ghi=ahi, h²i=ab³, i²=b², b²j=ab³f, bcj=ab²cf, cdej=bej, bf²j=ab²f, dgj=ej, begj=abcf, cegj=abfgi, f³gj=af²g²i, bfg²j=f²hi, f²g²j=af²gj, bg³j=afhi, bhj=ab³f, f³hj=f²hi, h²j=ab³f, bij=b³f, eij=abej, f³ij=bf²gi, fgij=abfgj, g²ij=afhi, hij=b³f, j²=b², b²k=b²cf, ck=abd²j, bdk=abd²j, bek=acej, dek=ad²ej, d³fk=dfk, f²k=b²cf, dfgk=adefj, g²k=cfg², hk=abdj, bik=ab²cf, gik=bej, bjk=ab²c, fjk=abcf, egjk=abf²gi, ijk=b²c, k²=b², bl=abcf, cl=ab²f, fl=ab²c, dgl=el, g³l=b²cf, hl=abcf, il=bcf, jl=acfj, kl=bd²fj, l²=b², bm=bc, cm=b², dm=bd², em=bde, f²m=b²c, gm=cde, hm=bc, im=abc, km=abd²j, lm=ab²f, m²=b², bn=b²c, dn=b², en=ab², f²n=bc, g²n=bc, hn=b²c, in=ab²c, cgjn=bfgi, fkn=b³, gkn=acefg, jkn=cfjn, gln=aegl, mn=acgn, n²=b², bo=cde, cdo=cde, d³o=do, eo=b², f²o=abc, go=agn, ho=cde, io=acde, cjo=cej, fko=adefj, djko=befj, jmo=bdej, no=ab², o²=b², b²p=b²f, cp=b²cf, dp=bcf, ep=abcf, bf³p=af²g²i, bgp=abp, f³gp=af³p, f²g²p=af²gp, g³p=ag²p, g²hp=aghp, h²p=bhp, ip=ab³f, jp=abfp, kp=b²c, lp=ab²c, mp=b²cf, np=bcf, op=abcf, p²=b², cdeq=beq, dgq=eq, begq=b²cq, bg³q=abg²q, g³hq=ag²hq, h²q=bhq, biq=ab²q, eiq=abeq, f²iq=acegq, hiq=ab²q, bjq=ab²fq, cjq=abcfq, dejq=b³fq, d³fjq=dfjq, efjq=b²cq, f²gjq=bf³q, ghjq=bfhq, ijq=b²fq, bkq=bcfq, fkq=b²cq, egkq=cefgq, ikq=abcfq, jkq=abcq, d³lq=dlq, d²elq=elq, glq=delq, jmq=abcfq, fjnq=ab²cq, gjnq=aegjq, lnq=ab³fq, dfoq=defq, fjoq=b²cq, dkoq=adelq, loq=acfgnq, bpq=b³fq, f³pq=b²q, gpq=ab²fq, fhpq=acgnq, q²=b²>

P = {a, b², d², ade, f², af²g, g², f²g², ag³, ah, abfh, af³h, h², f²h², bi, bf²i, afgi, af³gi, fhi, abj, cfj, bdfj, bgj, efgj, fg³hj, aij, af²ij, abfk, aefgk, efik, adjk, ad³jk, ejk, fjm, afjn, fgjn, ado, ad²fjo, jko, fp, fg²p, bfhp, af³hp, cefq, bdefq, bf²q, afgq, acefgq, abf²gq, bfg²q, f³g²q, hq, f²hq, bf³hq, afghq, g²hq, fiq, fg²iq, adfjq, af³jq, egjq, fg³jq, elq, cfnq, acfgnq, jnq, aknq, acfoq, d²joq, afmoq}

Phi = 1 a b 1 a b c ac d c e f g h i j k l m n o p q

Monoid Structure