Gröbner Bases Syzygies Resolutions Quantum Alg. Left Maximality Max. Twosided	Testing the maximality of a particular left ideal 2 We will check the ideal: ==> J2[1]=e J2[2]=h*a2 J2[3]=f*a2+h^2+h*a1 J2[4]=h^3+h^2*a1+2*h^2+2*h*a1 Clearly, if a2!=0, this ideal is equal to < e,f,h > which is maximal but is not of the form we are interested. If a2=0, this ideal is equal to < e, h2 + a1 h > which is not maximal since the second generator is not irreducible polynomial.
KL, 06/03	http://www.singular.uni-kl.de