Details Page for 0.7002

Complete Solution is Known:

MSV File: q-0.7002.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₈₀(0.7002):

Q = <a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t | a²=1, b²⁰=b¹⁸, bc=ab³, c²=b⁴, b²d=ab⁵, cd=b⁵, d²=b⁶, b³e=b⁷, ce=ab²e, de=ab⁷, e²=b⁸, b⁴f=ab⁹, cf=ab²f, df=ab³f, ef=ab⁹, f²=b¹⁰, b⁵g=b¹¹, cg=ab²g, dg=ab³g, eg=b⁴g, fg=ab¹¹, g²=b¹², b⁶h=ab¹³, ch=ab²h, dh=ab³h, eh=b⁴h, fh=ab⁵h, gh=ab¹³, h²=b¹⁴, b⁷i=b¹⁵, ci=ab²i, di=ab³i, ei=b⁴i, fi=ab⁵i, gi=b⁶i, hi=ab¹⁵, i²=b¹⁶, b⁸j=ab¹⁷, cj=ab²j, dj=ab³j, ej=b⁴j, fj=ab⁵j, gj=b⁶j, hj=ab⁷j, ij=ab¹⁷, j²=b¹⁸, b⁹k=b¹⁹, ck=ab²k, dk=ab³k, ek=b⁴k, fk=ab⁵k, gk=b⁶k, hk=ab⁷k, ik=b⁸k, jk=ab¹⁹, k²=b¹⁸, b⁹l=ab⁸k, cl=ab²l, dl=ab³l, el=b⁴l, fl=ab⁵l, gl=b⁶l, hl=ab⁷l, il=b⁸l, jl=b⁸k, kl=ab¹⁹, l²=b¹⁸, b⁸m=ab⁷l, cm=ab²m, dm=ab³m, em=b⁴m, fm=ab⁵m, gm=b⁶m, hm=ab⁷m, im=ab⁷l, jm=b⁸l, km=b⁸k, lm=ab¹⁹, m²=b¹⁸, b⁷n=ab⁶m, cn=ab²n, dn=ab³n, en=b⁴n, fn=ab⁵n, gn=b⁶n, hn=b⁶m, in=ab⁷m, jn=ab⁷l, kn=b⁸l, ln=b⁸k, mn=ab¹⁹, n²=b¹⁸, b⁶o=ab⁵n, co=ab²o, do=ab³o, eo=b⁴o, fo=ab⁵o, go=ab⁵n, ho=b⁶n, io=b⁶m, jo=ab⁷m, ko=ab⁷l, lo=b⁸l, mo=b⁸k, no=ab¹⁹, o²=b¹⁸, b⁵p=ab⁴o, cp=ab²p, dp=ab³p, ep=b⁴p, fp=b⁴o, gp=ab⁵o, hp=ab⁵n, ip=b⁶n, jp=b⁶m, kp=ab⁷m, lp=ab⁷l, mp=b⁸l, np=b⁸k, op=ab¹⁹, p²=b¹⁸, b⁴q=ab³p, cq=ab²q, dq=ab³q, eq=ab³p, fq=b⁴p, gq=b⁴o, hq=ab⁵o, iq=ab⁵n, jq=b⁶n, kq=b⁶m, lq=ab⁷m, mq=ab⁷l, nq=b⁸l, oq=b⁸k, pq=ab¹⁹, q²=b¹⁸, b³r=ab²q, cr=ab²r, dr=b²q, er=ab³q, fr=ab³p, gr=b⁴p, hr=b⁴o, ir=ab⁵o, jr=ab⁵n, kr=b⁶n, lr=b⁶m, mr=ab⁷m, nr=ab⁷l, or=b⁸l, pr=b⁸k, qr=ab¹⁹, r²=b¹⁸, b²s=abr, cs=br, ds=b²r, es=b²q, fs=ab³q, gs=ab³p, hs=b⁴p, is=b⁴o, js=ab⁵o, ks=ab⁵n, ls=b⁶n, ms=b⁶m, ns=ab⁷m, os=ab⁷l, ps=b⁸l, qs=b⁸k, rs=ab¹⁹, s²=b¹⁸, bt=as, ct=bs, dt=abr, et=b²r, ft=b²q, gt=ab³q, ht=ab³p, it=b⁴p, jt=b⁴o, kt=ab⁵o, lt=ab⁵n, mt=b⁶n, nt=b⁶m, ot=ab⁷m, pt=ab⁷l, qt=b⁸l, rt=b⁸k, st=ab¹⁹, t²=b¹⁸>

P = {a, b², b⁴, b⁶, b⁸, b¹⁰, b¹², b¹⁴, b¹⁶, b¹⁸, d, abe, f, b²f, abg, ab³g, h, b²h, b⁴h, abi, ab³i, ab⁵i, j, b²j, b⁴j, b⁶j, abk, ab³k, ab⁵k, ab⁷k, l, b²l, b⁴l, b⁶l, b⁸l, abm, ab³m, ab⁵m, ab⁷m, n, b²n, b⁴n, b⁶n, abo, ab³o, ab⁵o, p, b²p, b⁴p, abq, ab³q, r, b²r, abs, t}

Phi = 1 a 1 a 1 b ab b ab a 1 c ac b ab b³ d ab² b² bd e b³ ab³ be f ab⁴ b⁴ bf g b⁵ ab⁵ bg h ab⁶ b⁶ bh i b⁷ ab⁷ bi j ab⁸ b⁸ bj k b⁹ ab⁹ bk l ab¹⁰ b¹⁰ bl m b¹¹ ab¹¹ bm n ab¹² b¹² bn o b¹³ ab¹³ bo p ab¹⁴ b¹⁴ bp q b¹⁵ ab¹⁵ bq r ab¹⁶ b¹⁶ br s b¹⁷ ab¹⁷ bs t ab¹⁸ b¹⁸ as

Monoid Structure