Details Page for 0.3042

Complete Solution is Known:

MSV File: q-0.3042.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₇₂(0.3042):

Q = <a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y | a²=1, b¹⁴=b¹², b¹²c=ab¹², b⁸c²=b¹², c³=ab²c², b⁹d=ab¹⁰c, cd=abc², d²=b²c², be=ac², ce=bc², de=ab²c², e²=b²c², b¹⁰f=b¹⁰c, cf=b²c², df=ab³c², ef=b³c², f²=b⁴c², b²g=ab³f, cg=ab³c², dg=b⁴c², eg=ab⁴c², fg=ab⁵c², g²=b⁶c², b²h=ab³c², c²h=ab⁵c², dh=abch, eh=b⁴c², gh=abfh, h²=b⁶c², b⁸i=b¹⁰c, ci=b⁴c², di=ab⁵c², ei=b⁵c², fi=b⁶c², gi=ab⁷c², hi=b⁷c², i²=b¹², b³j=ab³i, cj=abch, dj=b⁵c², ej=ab⁵c², fj=ab⁶c², gj=b⁷c², hj=ab⁷c², ij=ab¹², j²=b¹², b⁴k=b⁵i, bck=bfh, c²k=ab⁷c², dk=abfh, ek=bfh, fk=b⁷c², gk=ab¹², hk=b¹², ik=b¹³, jk=ab¹³, k²=b¹², b⁴l=ab⁷c², c²l=ab⁷c², bdl=ab²cl, el=b⁶c², b³fl=b³cl, gl=abfl, hl=b¹², il=b²fl, jl=ab²fl, kl=b³cl, l²=b¹², bm=ack, cm=bfh, dm=ab⁷c², em=b⁷c², fm=b¹², gm=ab¹³, hm=b¹³, im=b¹², jm=ab¹², km=b¹³, lm=b¹³, m²=b¹², b⁴n=b³cl, cn=ab²n, dn=b³n, en=ab³n, fn=ab³cl, gn=b¹³, hn=ab¹³, in=ab¹², jn=b¹², kn=ab¹³, ln=ab¹³, mn=ab¹², n²=b¹², b⁵o=b⁷i, co=b²n, do=ab³n, eo=b³n, fo=b³cl, go=ab¹³, ho=b¹³, io=b¹², jo=ab¹², ko=b¹³, lo=b¹³, mo=b¹², no=ab¹², o²=b¹², b⁵p=ab³cl, cp=ab²p, dp=b³p, ep=ab³p, fp=ab⁴p, gp=ab³cl, hp=b³cl, ip=b¹³, jp=ab¹³, kp=b¹², lp=b¹², mp=b¹³, np=ab¹³, op=b¹³, p²=b¹², b⁶q=ab¹³, b³cq=bfl, c²q=ab¹³, b³dq=ab²fl, eq=b¹², bfq=bcq, gq=abcq, hq=b¹², iq=abdq, jq=bdq, kq=ab²dq, lq=b¹², mq=b¹³, nq=ab¹³, oq=b²fl, pq=b¹², q²=b¹², b⁴r=ab³p, cr=ab²r, dr=b³r, er=ab³r, fr=b³p, gr=ab⁴p, hr=b⁴p, ir=ab³cl, jr=b³cl, kr=ab¹³, lr=ab¹³, mr=ab¹², nr=b¹², or=ab¹², pr=ab¹³, qr=ab¹³, r²=b¹², b³s=ab²r, cs=ab²s, ds=ab²r, es=b²r, fs=b³r, gs=b³p, hs=ab³p, is=ab⁴p, js=b⁴p, ks=b³cl, ls=b³cl, ms=b¹³, ns=ab¹³, os=b¹³, ps=b¹², qs=b¹², rs=ab¹³, s²=b¹², b⁵t=b³q, b²ct=fq, c²t=ab¹³, b²dt=dq, et=b¹², ft=ct, gt=abct, ht=b¹², it=abdt, jt=bdt, kt=adq, lt=b¹², mt=b¹³, nt=ab¹³, ot=abdq, pt=b¹², qt=b¹², rt=ab¹³, st=b¹², t²=b¹², b²u=abs, cu=bs, du=ab²s, eu=b²s, fu=ab²r, gu=b³r, hu=ab³r, iu=b³p, ju=ab³p, ku=b⁴p, lu=b⁴p, mu=ab³cl, nu=b³cl, ou=ab³cl, pu=ab¹³, qu=ab¹³, ru=b¹², su=ab¹³, tu=ab¹³, u²=b¹², bv=au, cv=bu, dv=bs, ev=abs, fv=ab²s, gv=ab²r, hv=b²r, iv=b³r, jv=ab³r, kv=ab³p, lv=ab³p, mv=ab⁴p, nv=b⁴p, ov=ab⁴p, pv=b³cl, qv=b³cl, rv=ab¹³, sv=b¹², tv=b¹², uv=ab¹³, v²=b¹², b³w=bt, b²cw=ct, c²w=ab¹³, b²dw=dt, ew=b¹², fw=cw, gw=abcw, hw=b¹², iw=abdw, jw=bdw, kw=adt, lw=b¹², mw=b¹³, nw=ab¹³, ow=abdt, pw=b¹², qw=b¹², rw=ab¹³, sw=b¹², tw=b¹², uw=ab¹³, vw=b¹², w²=b¹², b²x=v, cx=av, dx=au, ex=u, fx=bu, gx=bs, hx=abs, ix=ab²s, jx=b²s, kx=b²r, lx=b²r, mx=b³r, nx=ab³r, ox=b³r, px=ab³p, qx=ab³p, rx=b⁴p, sx=b³cl, tx=b³cl, ux=ab¹³, vx=b¹², wx=b¹², x²=b¹², b²y=w, c²y=ab¹³, ey=b¹², fy=cy, gy=abcy, hy=b¹², iy=abdy, jy=bdy, ky=adw, ly=b¹², my=b¹³, ny=ab¹³, oy=abdw, py=b¹², qy=b¹², ry=ab¹³, sy=b¹², ty=b¹², uy=ab¹³, vy=b¹², wy=b¹², xy=b¹², y²=b¹²>

P = {a, b², b⁴, b⁶, b⁸, b¹⁰, b¹², ab²c, ab⁴c, ab⁶c, ab⁸c, ab¹⁰c, c², b²c², b⁴c², b⁶c², bd, b³d, b⁵d, b⁷d, ab²f, ab⁴f, ab⁶f, ab⁸f, ag, bh, ab²i, ab⁴i, ab⁶i, abj, k, b²k, ack, abl, b³l, adl, abn, ab³n, bo, b³o, p, b²p, b⁴p, abq, ab³q, b⁵q, bcq, adq, ab²dq, abr, ab³r, s, b²s, abt, ab³t, bct, adt, abu, v, abw, bcw, adw, x, aby, bcy, ady}

Phi = 1 a 1 a 1 b ab b ab a 1 a 1 b ab b ab c ac c b² d ad d e f af f c² g ag g h i j aj b²c² bj k ak l m n o b⁴c² bn p ap q bp r ar b⁶c² br s as t bs u au b¹² bu v av w au abx bx b¹² av x ax y bx

Monoid Structure