# Question:Solving Associative algebras

## Question:Solving Associative algebras

Maple
Hey... i urgently need help from the experts out there. Could someone tell what's wrong with these equation? Maple only returns solutions may have been lost! Thank you. solve({(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b*d211+b*c*a^(-1)*d221-(b*d121+c*b*a^(-1)*d221)),(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)((-c)*d211+a*d212-c^2*a^(-1)*d221+c*d222-((-c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)),((-c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)(b*d211+b*c*a^(-1)*d221)=(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b^2*a^(-1)*d221),(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b*d211+b*c*a^(-1)*d221-(-(b*c)*a^(-1)*d221+b*d222))=(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221-(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)),(b*d121+c*b*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)+(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(b*d211+b*c*a^(-1)*d221)=(-(c)*d211+a*s212-c^2*a^(-1)*d221+c*d222)(b*d121+c*b*a^(-1)*d221)+(b*d211+b*c*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221),(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b*d121+c*b*a^(-1)*d221-(b*d211+b*c*a^(-1)*d221)),(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b^2*a^(-1)*d221)=(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(b*d121+c*b*a^(-1)*d221),(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221-(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222))=(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b*d121+c*b*a^(-1)*d221-(-(b*c)*a^(-1)*d221+b*d222)),(b^2*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221-(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222))=(b*d211+b*c*a^(-1)*d221)(b*d211+b*c*a^(-1)*d221-(-(b*c)*a^(-1)*d221+b*d222)),(b^2*a^(-1)*d221)(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)=(b*d211+b*c*a^(-1)*d221)(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222),(b^2*a^(-1)*d221)(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222-(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)),(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(b*d211+b*c*a^(-1)*d221-(-(b*c)*a^(-1)*d221+b*d222))=(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)(b*d121+c*b*a^(-1)*d221-(-(b*c)*a^(-1)*d221+b*d222)),(b*d121+c*b*a^(-1)*d221)(b*d121+c*b*a^(-1)*d221-(-(b*c)*a^(-1)*d221+b*d222))=(b^2*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221-(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)),(b*d121+c*b*a^(-1)*d221)(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)=(b^2*a^(-1)*d221)(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222),(b^2*a^(-1)*d221)(b*d211+b*c*a^(-1)*d221-(b*d211+b*c*a^(-1)*d221)),(b^2*a^(-1)*d221)(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222-(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)) , ((a*d111+c*d121+c*d211+c^2*a^(-1)*d221)^2)+(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b*d211+b*c*a^(-1)*d221),(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)+(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222),(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)(b*d121+c*b*a^(-1)*d221)+(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(b^2*a^(-1)*d221),(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)+(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)(-(b*c)*a^(-1)*d221+b*d222),(b*d121+c*b*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)+(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(b*d211+b*c*a^(-1)*d221)=(a*d111+c*d121+c*d211+c^2*a^(-1)*d221),(b*d121+c*b*a^(-1)*d221)(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)+(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)=(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222),((b*d121+c*b*a^(-1)*d221)^2)+(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(b^2*a^(-1)*d221)=(b*d121+c*b*a^(-1)*d221),(b*d121+c*b*a^(-1)*d221)(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)+(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)(-(b*c)*a^(-1)*d221+b*d222)=(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222),(b*d211+b*c*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)+(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)(b*d211+b*c*a^(-1)*d221)=(a*d111+c*d121+c*d211+c^2*a^(-1)*d221),(b*d211+b*c*a^(-1)*d221)(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)+(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)^2=(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222),(b*d211+b*c*a^(-1)*d221)(b*d121+c*b*a^(-1)*d221)+(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)(b^2*a^(-1)*d221)=(b*d121+c*b*a^(-1)*d221),(b*d211+b*c*a^(-1)*d221)(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)+(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)(-(b*c)*a^(-1)*d221+b*d222)=(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222),(b^2*a^(-1)*d221)(a*d111+c*d121+c*d211+c^2*a^(-1)*d221)+(-(b*c)*a^(-1)*d221+b*d222)(b*d211+b*c*a^(-1)*d221)=(b*d211+b*c*a^(-1)*d221),(b^2*a^(-1)*d221)(-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222)+(-(b*c)*a^(-1)*d221+b*d222)(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222)=(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222),(b^2*a^(-1)*d221)(b*d121+c*b*a^(-1)*d221)+(-(b*c)*a^(-1)*d221+b*d222)(b^2*a^(-1)*d221)=(b^2*a^(-1)*d221),(b^2*a^(-1)*d221)(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)+((-(b*c)*a^(-1)*d221+b*d222)^2)=(-(b*c)*a^(-1)*d221+b*d222) , (-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222),(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222)=(a*d111+c*d121+c*d211+c^2*a^(-1)*d221),(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222),(-(b*c)*a^(-1)*d221+b*d222)=(b*d211+b*c*a^(-1)*d221),(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222) , (-(a*c)*b^(-1)*d111+a^2*b^(-1)*d112-c^2*b^(-1)*d121+a*c*b^(-1)*d122-c^2*b^(-1)*d211+c*a*b^(-1)*d212-c^3*(b*a)^(-1)*d221+c^2*b^(-1)*d222),(-(c)*d121+a*d122-c^2*a^(-1)*d221+c*d222),(-(c)*d211+a*d212-c^2*a^(-1)*d221+c*d222),(-(b*c)*a^(-1)*d221+b*d222)=1,(a*d111+c*d121+c*d211+c^2*a^(-1)*d221),(b*d121+c*b*a^(-1)*d221)=1,(b*d211+b*c*a^(-1)*d221)=1,(b^2*a^(-1)*d221),(-(b*c)*a^(-1)*d221+b*d222)=1},{a,b,c,d111,d112,d121,d122,d211,d212,d221,d222});
﻿