Details Page for 0.3713

Complete Solution is Known:

MSV File: q-0.3713.msv

Growth Pattern:

(Click on a heap to see details)

Details for Q₁₅(0.3713):

Q = <a,b,c,d,e,f,g,h,i | a²=1, b⁴=b², b²c=b³, c²=1, d⁴=d², b³e=be, bce=b²e, bd²e²=be², d³e²=de², b²e⁴=e⁴, ce⁴=be⁴, d²e⁴=e⁴, e⁵=ae⁴, e⁴f=abe⁴, f²=1, b³g=bg, bcg=b²g, e⁴g=ade⁴, be²g²=be², e³g²=d²e³, de²g³=de²g, g⁴=g², b³h=bh, bch=b²h, be²h=be², d²e²h=e²h, e³h=d²e³, e²g³h=e²gh, e²h²=e²g²h, h⁴=h³, b³i=bi, bci=b²i, d³i=di, b²de³i=de³i, cde³i=bde³i, d²e³i=b²e³i, e⁴i=be⁴, d²e²g²i=e²g²i, bg³i=bgi, dg³i=dgi, e²g³i=d²e²gi, b²ghi=ghi, cghi=bghi, e²ghi=b²e²gi, g³hi=ghi, b²h²i=h²i, ch²i=bh²i, d²h²i=h²i, g²h²i=h²i, b²i²=i², ci²=bi², d²i²=i², e²i²=b²e², g²i²=i², h³i³=h³i, i⁴=i²>

P = {a, b², c, ad, cd, ad², b²d², cd², ad³, cd³, abe, abd²e, e², b²e², d²e², ae³, ab²e³, ad²e³, e⁴, af, cf, adf, b²df, cdf, ad²f, cd²f, ad³f, b²d³f, cd³f, abdef, abd³ef, ace²f, de²f, b²de²f, be³f, ce³f, cd²e³f, abg, abd²g, eg, b²eg, d²eg, b²d²eg, abe²g, ade²g, de³g, b²de³g, abdfg, abd³fg, acefg, defg, b²defg, d³efg, b²d³efg, abde²fg, ad²e²fg, acde³fg, g², b²g², d²g², b²d²g², abeg², adeg², abd²eg², ad³eg², e²g², d²e²g², acfg², dfg², b²dfg², d³fg², b²d³fg², abdefg², ad²efg², abd³efg², ace²fg², de²fg², abg³, adg³, abd²g³, ad³g³, eg³, b²eg³, d²eg³, b²d²eg³, abdfg³, ad²fg³, abd³fg³, acefg³, defg³, b²defg³, d³efg³, b²d³efg³, h, b²h, d²h, b²d²h, aeh, ab²eh, ad²eh, ab²d²eh, e²h, acfh, dfh, b²dfh, d³fh, b²d³fh, befh, cefh, bd²efh, cd²efh, de²fh, abgh, adgh, abd²gh, ad³gh, bdegh, cdegh, bd³egh, cd³egh, ace²gh, abdfgh, ad²fgh, abd³fgh, g²h, b²g²h, d²g²h, b²d²g²h, aeg²h, ab²eg²h, abd²eg²h, acd²eg²h, e²g²h, dfg²h, b²dfg²h, d³fg²h, b²d³fg²h, befg²h, cefg²h, abd³efg²h, acd³efg²h, de²fg²h, abg³h, acg³h, abd²g³h, acd²g³h, bdeg³h, cdeg³h, bd³eg³h, cd³eg³h, abdfg³h, acdfg³h, abd³fg³h, acd³fg³h, bd²efg³h, cd²efg³h, h², b²h², d²h², b²d²h², aeh², ab²eh², ad²eh², ab²d²eh², dfh², b²dfh², d³fh², b²d³fh², befh², cefh², bd²efh², cd²efh², abgh², acgh², abd²gh², acd²gh², degh², b²degh², d³egh², b²d³egh², abdfgh², acdfgh², abd³fgh², acd³fgh², g²h², b²g²h², d²g²h², b²d²g²h², aeg²h², ab²eg²h², ad²eg²h², ab²d²eg²h², dfg²h², b²dfg²h², d³fg²h², b²d³fg²h², befg²h², cefg²h², ad³efg²h², ab²d³efg²h², abg³h², acg³h², abd²g³h², acd²g³h², deg³h², b²deg³h², d³eg³h², b²d³eg³h², abdfg³h², acdfg³h², abd³fg³h², acd³fg³h², d²efg³h², b²d²efg³h², h³, b²h³, d²h³, b²d²h³, aeh³, ab²eh³, ad²eh³, ab²d²eh³, dfh³, b²dfh³, d³fh³, b²d³fh³, befh³, cefh³, bd²efh³, cd²efh³, abgh³, acgh³, abd²gh³, acd²gh³, degh³, b²degh³, d³egh³, b²d³egh³, abdfgh³, acdfgh³, abd³fgh³, acd³fgh³, g²h³, b²g²h³, d²g²h³, b²d²g²h³, aeg²h³, ab²eg²h³, ad²eg²h³, ab²d²eg²h³, dfg²h³, b²dfg²h³, d³fg²h³, b²d³fg²h³, befg²h³, cefg²h³, ad³efg²h³, ab²d³efg²h³, abg³h³, acg³h³, abd²g³h³, acd²g³h³, deg³h³, b²deg³h³, d³eg³h³, b²d³eg³h³, abdfg³h³, acdfg³h³, abd³fg³h³, acd³fg³h³, d²efg³h³, b²d²efg³h³, abi, aci, abd²i, acd²i, ei, b²ei, d²ei, b²d²ei, abe²i, ade²i, ace³i, de³i, abdfi, acdfi, defi, b²defi, ae²fi, abde²fi, ad²e²fi, e³fi, b²e³fi, gi, b²gi, d²gi, b²d²gi, abegi, adegi, abd²egi, e²gi, b²e²gi, d²e²gi, ab²e³gi, dfgi, b²dfgi, aefgi, abdefgi, ad²efgi, de²fgi, b²de²fgi, ade³fgi, abg²i, adg²i, abd²g²i, eg²i, b²eg²i, d²eg²i, b²d²eg²i, ade²g²i, afg²i, abdfg²i, ad²fg²i, defg²i, b²defg²i, ae²fg²i, g³i, aefg³i, abhi, adhi, abd²hi, bdehi, cdehi, ade²hi, afhi, abdfhi, ad²fhi, ae²fhi, ghi, d²ghi, abeghi, abd²eghi, dfghi, abdefghi, abg²hi, abd²g²hi, bdeg²hi, abdfg²hi, bd²efg²hi, abh²i, deh²i, abdfh²i, efh²i, gh²i, aegh²i, dfgh²i, adefgh²i, abh³i, deh³i, abdfh³i, efh³i, gh³i, aegh³i, dfgh³i, adefgh³i, i², abei², dfi², abdefi², abgi², egi², abdfgi², defgi², hi², aehi², dfhi², befhi², abghi², bdeghi², abdfghi², h²i², aeh²i², dfh²i², befh²i², abgh²i², degh²i², abdfgh²i², h³i², aeh³i², dfh³i², befh³i², abgh³i², degh³i², abdfgh³i², abi³, ei³, abdfi³, defi³, gi³, abegi³, dfgi³, abdefgi³, abhi³, bdehi³, abdfhi³, ghi³, aeghi³, dfghi³, befghi³, abh²i³, deh²i³, abdfh²i³, efh²i³, gh²i³, aegh²i³, dfgh²i³, abdefgh²i³}

Phi = 1 a b ab a 1 ab c d e c f g h ai² i

Monoid Structure