Quelle  dec5.9   Sprache: unbekannt

//4p^2+26p+107+5gcd(p-1,3)+(p+4)gcd(p-1,4) algebras
<a,b,c|baa,ca,cb,pb,pc,class=3>
<a,b,c|baa,ca-bab,cb,pb,pc,class=3>
<a,b,c|baa,ca-p^2a,cb,pb,pc,class=3>
<a,b,c|baa,ca-bab-p^2a,cb,pb,pc,class=3>
<a,b,c|baa,ca-wbab-p^2a,cb,pb,pc,class=3>
<a,b,c|baa,ca,cb-p^2a,pb,pc,class=3>
<a,b,c|baa,ca-bab,cb-p^2a,pb,pc,class=3>
<a,b,c|baa,ca-p^2a,cb-p^2a,pb,pc,class=3>
<a,b,c|baa,ca-bab-p^2a,cb-p^2a,pb,pc,class=3>
<a,b,c|baa,ca-wbab-p^2a,cb-p^2a,pb,pc,class=3>
<a,b,c|baa,ca,cb,pb,pc-bab,class=3>
<a,b,c|baa,ca-bab,cb,pb,pc-bab,class=3>
<a,b,c|baa,ca-p^2a,cb,pb,pc-bab,class=3>
<a,b,c|baa,ca-bab-p^2a,cb,pb,pc-bab,class=3>
<a,b,c|baa,ca-wbab-p^2a,cb,pb,pc-bab,class=3>
<a,b,c|baa,ca,cb-p^2a,pb,pc-bab,class=3>
<a,b,c|baa,ca-bab,cb-p^2a,pb,pc-bab,class=3>
<a,b,c|baa,ca-xbab-p^2a,cb-p^2a,pb,pc-bab,class=3>(all x, x~x' if x^3=x'^3 mod p)
<a,b,c|baa,ca,cb-wp^2a,pb,pc-bab,class=3>(p=1 mod 3)
<a,b,c|baa,ca-bab,cb-wp^2a,pb,pc-bab,class=3>(p=1 mod 3)
<a,b,c|baa,ca-xbab-p^2a,cb-wp^2a,pb,pc-bab,class=3>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c|baa,ca,cb-w^2p^2a,pb,pc-bab,class=3>(p=1 mod 3)
<a,b,c|baa,ca-bab,cb-w^2p^2a,pb,pc-bab,class=3>(p=1 mod 3)
<a,b,c|baa,ca-xbab-p^2a,cb-w^2p^2a,pb,pc-bab,class=3>(all x, x~x' if x^3=x'^3 mod p)(p=1 mod 3)
<a,b,c|baa,ca,cb,pb-bab,pc,class=3>
<a,b,c|baa,ca-bab,cb,pb-bab,pc,class=3>
<a,b,c|baa,ca-p^2a,cb,pb-bab,pc,class=3>
<a,b,c|baa,ca-bab-p^2a,cb,pb-bab,pc,class=3>
<a,b,c|baa,ca-wbab-p^2a,cb,pb-bab,pc,class=3>
<a,b,c|baa,ca,cb-p^2a,pb-bab,pc,class=3>
<a,b,c|baa,ca-bab,cb-p^2a,pb-bab,pc,class=3>
<a,b,c|baa,ca-wbab,cb-p^2a,pb-bab,pc,class=3>
<a,b,c|baa,ca-w^2bab,cb-p^2a,pb-bab,pc,class=3>(p=1 mod 4)
<a,b,c|baa,ca-w^3bab,cb-p^2a,pb-bab,pc,class=3>(p=1 mod 4)
<a,b,c|baa,ca-xbab-p^2a,cb-p^2a,pb-bab,pc,class=3>(all x)
<a,b,c|baa,ca-xbab-wp^2a,cb-p^2a,pb-bab,pc,class=3>(all x)
<a,b,c|bab,ca,cb,pb,pc,class=3>
<a,b,c|bab,ca-p^2a,cb,pb,pc,class=3>
<a,b,c|bab,ca,cb-baa,pb,pc,class=3>
<a,b,c|bab,ca-p^2a,cb-baa,pb,pc,class=3>
<a,b,c|bab,ca-wp^2a,cb-baa,pb,pc,class=3>
<a,b,c|bab,ca,cb-p^2a,pb,pc,class=3>
<a,b,c|bab,ca,cb-baa-p^2a,pb,pc,class=3>
<a,b,c|bab,ca,cb,pb,pc-baa,class=3>
<a,b,c|bab,ca-p^2a,cb,pb,pc-baa,class=3>
<a,b,c|bab,ca,cb-baa,pb,pc-baa,class=3>
<a,b,c|bab,ca-p^2a,cb-baa,pb,pc-baa,class=3>
<a,b,c|bab,ca-wp^2a,cb-baa,pb,pc-baa,class=3>
<a,b,c|bab,ca,cb-p^2a,pb,pc-baa,class=3>
<a,b,c|bab,ca,cb-baa-p^2a,pb,pc-baa,class=3>
<a,b,c|bab,ca,cb,pb-baa,pc,class=3>
<a,b,c|bab,ca-p^2a,cb,pb-baa,pc,class=3>
<a,b,c|bab,ca-xp^2a,cb-baa,pb-baa,pc,class=3>(all x)
<a,b,c|bab,ca,cb-p^2a,pb-baa,pc,class=3>
<a,b,c|bab,ca,cb-baa-p^2a,pb-baa,pc,class=3>
<a,b,c|bab,ca,cb,pb-wbaa,pc,class=3>
<a,b,c|bab,ca-p^2a,cb,pb-wbaa,pc,class=3>
<a,b,c|bab,ca-xp^2a,cb-baa,pb-wbaa,pc,class=3>(all x)
<a,b,c|bab,ca,cb-p^2a,pb-wbaa,pc,class=3>
<a,b,c|bab,ca,cb-baa-p^2a,pb-wbaa,pc,class=3>
<a,b,c|p^2a,ca,cb,pb,pc,class=3>
<a,b,c|p^2a,ca,cb,pb-baa,pc,class=3>
<a,b,c|p^2a,ca,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a,ca,cb,pb-bab,pc,class=3>
<a,b,c|p^2a,ca,cb,pb,pc-baa,class=3>
<a,b,c|p^2a,ca,cb,pb-bab,pc-baa,class=3>
<a,b,c|p^2a,ca,cb,pb,pc-bab,class=3>
<a,b,c|p^2a,ca,cb,pb-baa,pc-bab,class=3>
<a,b,c|p^2a,ca,cb,pb-wbaa,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-bab,pb,pc,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-baa,pc,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-wbaa,pc,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-baa-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-wbaa-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-bab,pb,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-baa,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-wbaa,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-bab,pb,pc-baa,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-bab,pc-baa,class=3>
<a,b,c|p^2a,ca,cb-bab,pb-xbab,pc-baa-bab,class=3>(all x)
<a,b,c|p^2a,ca,cb-baa,pb,pc,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-baa,pc,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-wbaa,pc,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-baa-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-wbaa-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-baa,pb,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-baa,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-wbaa,pc-bab,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-w^2baa,pc-bab,class=3>(p=1 mod 4)
<a,b,c|p^2a,ca,cb-baa,pb-w^3baa,pc-bab,class=3>(p=1 mod 4)
<a,b,c|p^2a,ca,cb-baa,pb,pc-baa,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-bab,pc-baa,class=3>
<a,b,c|p^2a,ca,cb-baa,pb-xbab,pc-baa-bab,class=3>(all x)
<a,b,c|p^2a,ca,cb-baa-bab,pb,pc,class=3>
<a,b,c|p^2a,ca,cb-baa-bab,pb-bab,pc,class=3>
<a,b,c|p^2a,ca,cb-baa-bab,pb-wbab,pc,class=3>(p=1 mod 4)
<a,b,c|p^2a,ca,cb-baa-bab,pb-baa-xbab,pc,class=3>(all x, x~1-x)
<a,b,c|p^2a,ca,cb-baa-bab,pb-wbaa-xbab,pc,class=3>(all x, x~w-x)
<a,b,c|p^2a,ca,cb-baa-bab,pb-xbaa,pc-bab,class=3>(all x)
<a,b,c|p^2a,ca,cb-baa-bab,pb-xbab,pc-baa-ybab,class=3>(all x, y ne 1/2, y~1-y)
<a,b,c|p^2a,ca,cb-baa-bab,pb-xbab,pc-baa-ybab,class=3>(all x, x~-x, y=1/2)
<a,b,c|p^2a,ca-bab,cb,pb,pc,class=3>
<a,b,c|p^2a,ca-bab,cb,pb-baa,pc,class=3>
<a,b,c|p^2a,ca-bab,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a,ca-bab,cb,pb-bab,pc,class=3>
<a,b,c|p^2a,ca-bab,cb,pb,pc-baa,class=3>
<a,b,c|p^2a,ca-bab,cb,pb-bab,pc-baa,class=3>
<a,b,c|p^2a,ca-bab,cb,pb-wbab,pc-baa,class=3>(p=1 mod 3)
<a,b,c|p^2a,ca-bab,cb,pb-w^2bab,pc-baa,class=3>(p=1 mod 3)
<a,b,c|p^2a,ca-bab,cb,pb-xbaa,pc-bab,class=3>(all x)
<a,b,c|p^2a,ca-bab,cb-wbaa,pb,pc,class=3>
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-bab,pc,class=3>
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-wbab,pc,class=3>(p=1 mod 4)
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-baa-xbab,pc,class=3>(all x, x~-x)
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-wbaa-xbab,pc,class=3>(all x, x~-x)
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-xbaa,pc-bab,class=3>(all x)
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-xbab,pc-baa,class=3>(all x, x~-x)
<a,b,c|p^2a,ca-bab,cb-wbaa,pb-ybab,pc-xbaa-bab,class=3>(x ne 0, all y, x~-x)
<a,b,c|p^2a-baa,ca,cb,pb,pc-bab,class=3>
<a,b,c|p^2a-baa,ca,cb,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca,cb-baa,pb,pc-bab,class=3>
<a,b,c|p^2a-baa,ca,cb-baa,pb,pc-wbab,class=3>(p=1 mod 3)
<a,b,c|p^2a-baa,ca,cb-baa,pb,pc-w^2bab,class=3>(p=1 mod 3)
<a,b,c|p^2a-baa,ca,cb-baa,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca,cb-bab,pb,pc-bab,class=3>
<a,b,c|p^2a-baa,ca,cb-bab,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca,cb-baa-bab,pb,pc-xbab,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-baa,ca,cb-baa-bab,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca,cb-wbaa-bab,pb,pc-xbab,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-baa,ca,cb-wbaa-bab,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca-bab,cb,pb,pc-bab,class=3>
<a,b,c|p^2a-baa,ca-bab,cb,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca-bab,cb-baa,pb,pc-xbab,class=3>(x ne 0, x~x' if x^4=x'^4 mod p)
<a,b,c|p^2a-baa,ca-bab,cb-wbaa,pb,pc-xbab,class=3>(x ne 0, x~x' if x^4=x'^4 mod p)
<a,b,c|p^2a-baa,ca-bab,cb-w^2baa,pb,pc-xbab,class=3>(x ne 0, x~x' if x^4=x'^4 mod p)(p=1 mod 4)
<a,b,c|p^2a-baa,ca-bab,cb-w^3baa,pb,pc-xbab,class=3>(x ne 0, x~x' if x^4=x'^4 mod p)(p=1 mod 4)
<a,b,c|p^2a-baa,ca-bab,cb-baa,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca-bab,cb-wbaa,pb-xbab,pc,class=3>(all x)
<a,b,c|p^2a-baa,ca-bab,cb-w^2baa,pb-xbab,pc,class=3>(all x)(p=1 mod 4)
<a,b,c|p^2a-baa,ca-bab,cb-w^3baa,pb-xbab,pc,class=3>(all x)(p=1 mod 4)
<a,b,c|p^2a-baa,ca-bab,cb-xbaa-bab,pb,pc-ybab,class=3>(all x, y ne 0, y~-y)
<a,b,c|p^2a-baa,ca-bab,cb-xbaa-bab,pb-ybab,pc,class=3>(all x,y)
<a,b,c|p^2a-baa,ca-bab,cb-xbaa-wbab,pb,pc-ybab,class=3>(all x, y ne 0, y~-y)
<a,b,c|p^2a-baa,ca-bab,cb-xbaa-wbab,pb-ybab,pc,class=3>(all x,y)
<a,b,c|p^2a-bab,ca,cb,pb,pc,class=3>
<a,b,c|p^2a-bab,ca,cb,pb-baa,pc,class=3>
<a,b,c|p^2a-bab,ca,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a-bab,ca,cb,pb,pc-baa,class=3>
<a,b,c|p^2a-bab,ca-baa,cb,pb,pc,class=3>
<a,b,c|p^2a-bab,ca-baa,cb,pb-baa,pc,class=3>
<a,b,c|p^2a-bab,ca-baa,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a-bab,ca-baa,cb,pb,pc-baa,class=3>
<a,b,c|p^2a-bab,ca-bab,cb,pb,pc,class=3>
<a,b,c|p^2a-bab,ca-bab,cb,pb-baa,pc,class=3>
<a,b,c|p^2a-bab,ca-bab,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a-bab,ca-bab,cb,pb,pc-baa,class=3>
<a,b,c|p^2a-bab,ca-bab,cb,pb,pc-wbaa,class=3>(p=1 mod 4)
<a,b,c|p^2a-bab,ca,cb-baa,pb,pc,class=3>
<a,b,c|p^2a-bab,ca,cb-baa,pb-baa,pc,class=3>
<a,b,c|p^2a-bab,ca,cb-baa,pb-wbaa,pc,class=3>
<a,b,c|p^2a-bab,ca,cb-baa,pb,pc-xbaa,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-bab,ca-bab,cb-baa,pb-xbaa,pc,class=3>(all x)
<a,b,c|p^2a-bab,ca-bab,cb-baa,pb,pc-xbaa,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-bab,ca-wbab,cb-baa,pb-xbaa,pc,class=3>(all x)
<a,b,c|p^2a-bab,ca-wbab,cb-baa,pb,pc-xbaa,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-wbab,ca,cb,pb,pc,class=3>
<a,b,c|p^2a-wbab,ca,cb,pb-baa,pc,class=3>
<a,b,c|p^2a-wbab,ca,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a-wbab,ca,cb,pb,pc-baa,class=3>
<a,b,c|p^2a-wbab,ca-baa,cb,pb,pc,class=3>
<a,b,c|p^2a-wbab,ca-baa,cb,pb-baa,pc,class=3>
<a,b,c|p^2a-wbab,ca-baa,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a-wbab,ca-baa,cb,pb,pc-baa,class=3>
<a,b,c|p^2a-wbab,ca-bab,cb,pb,pc,class=3>
<a,b,c|p^2a-wbab,ca-bab,cb,pb-baa,pc,class=3>
<a,b,c|p^2a-wbab,ca-bab,cb,pb-wbaa,pc,class=3>
<a,b,c|p^2a-wbab,ca-bab,cb,pb,pc-baa,class=3>
<a,b,c|p^2a-wbab,ca-bab,cb,pb,pc-wbaa,class=3>(p=1 mod 4)
<a,b,c|p^2a-wbab,ca,cb-baa,pb,pc,class=3>
<a,b,c|p^2a-wbab,ca,cb-baa,pb-baa,pc,class=3>
<a,b,c|p^2a-wbab,ca,cb-baa,pb-wbaa,pc,class=3>
<a,b,c|p^2a-wbab,ca,cb-baa,pb,pc-xbaa,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-wbab,ca-bab,cb-baa,pb-xbaa,pc,class=3>(all x)
<a,b,c|p^2a-wbab,ca-bab,cb-baa,pb,pc-xbaa,class=3>(x ne 0, x~-x)
<a,b,c|p^2a-wbab,ca-wbab,cb-baa,pb-xbaa,pc,class=3>(all x)
<a,b,c|p^2a-wbab,ca-wbab,cb-baa,pb,pc-xbaa,class=3>(x ne 0, x~-x)