Details Page for 0.04

Complete Solution is Known:

MSV File: q-0.04.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₄₄(0.04):

Q = <a,b,c,d,e,f,g,h,i | a²=1, b⁵=b³, b²c²=b², c³=c, b²d=ab³, d³=d, bc²e=be, bde=ab⁴e, c²e²=e², de²=ab³e², b²e³=e³, e⁴=e³, b²f=ab⁴, c²f=f, df=b³, e²f=ab⁴e², f²=b⁴, e³g=ace³, fg=ab⁴g, b²g²=b², bdg²=bd, cdg²=cd, e²g²=e², g³=g, bc²h=bh, bdh=ab⁴h, c²eh=eh, deh=ab³eh, b³e²h=b⁴ce², e³h=bce³, fh=ab⁴h, bg²h=bh, dg²h=dh, b²h²=b², c²h²=h², dh²=ab³, beh²=beg², e²h²=e², bh³=bh, eh³=eh, h⁴=h², b⁴i=b²i, bcdi=ab²ci, cdei=ab³cei, bfi=ab³i, bg²i=bi, cdhi=ab³chi, b²e²hi=b³ce²i, g²hi=hi, bh²i=bc²i, eh²i=c²eg²i, h³i=c²hi, b³i²=bi², c²i²=i², di²=abi², fi²=ab²i², g²i²=i², be²hi²=b²ce²i², h²i²=i², i³=b²ci²>

P = {a, b², b⁴, ac, ac², ad, acd, ac²d, ad², acd², ac²d², abe, ab³e, e², b²e², b⁴e², e³, af, aef, g, b³g, cg, c²g, dg, cdg, c²dg, d²g, cd²g, c²d²g, ab²eg, ab⁴eg, ace²g, b³ce²g, ag², acg², ac²g², adg², ad²g², abeg², bh, b³h, aeh, ab²eh, ab⁴eh, bce²h, b²gh, b⁴gh, abegh, ab³egh, abe²gh, h², bgh², g²h², gh³, bci, b³ci, bdi, acei, ab²cei, adei, bce²i, b³ce²i, bce³i, abgi, b²cgi, abd²gi, egi, abcegi, ab³cegi, d²egi, b²e²gi, aceg²i, chi, b²chi, dhi, abcehi, ab³cehi, e²hi, aghi, bcghi, b³cghi, ad²ghi, aceghi, ab²ceghi, ace²ghi, cgh²i, i², b²i², abei², e²i², b²e²i², e³i², bgi², aegi², ab²egi², bce²gi², bhi², aehi², ab²ehi², ghi², b²ghi², abeghi²}

Phi = 1 1 1 1 a a a b b 1 ab ab a a a 1 c d ab ab ad b b c c 1 ac ac ad b b d ab e ac b² a f ab² d abd² ab g h i

Monoid Structure