MA341D Homework assignment 1 Due on February 4, 2016

advertisement
MA341D Homework assignment 1
Due on February 4, 2016
1. (a) Rewrite the following polynomial in the decreasing order of terms using the
standard glex order (with x1 < x2 < x3 ): 2x1 x2 + 3x2 x1 + x1 x3 + x32 − x21 x23 + x33 ;
(b) Answer the same question for the glex order with x3 < x2 < x1 .
(c) Answer the same question for the order glex(4,2,1) defined using the weights
wt(x1 ) = 4, wt(x2 ) = 2, wt(x3 ) = 1.
2. (a) For two noncommutative monomials m, m0 in x1 , x2 , we define m ≺ m0 if
• m has fewer occurrences of x2 than m0 , or
• m has the same number of occurrences of x2 as m0 , and m0 = mm00 for some
m00 6= 1, or
• m has the same number of occurrences of x2 as m0 , and in the first position
where the words m and m0 differ, the monomial m has the letter x2 (and the
monomial m0 has the letter x1 ).
Prove that ≺ is a well-order, and that it is admissible.
(b) Does there exist an admissible order of noncommutative monomials in x1 , x2 , x3
for which
x1 x2 > x23 , x2 x3 > x21 , x3 x1 > x22 ?
3. (a) Consider the noncommutative monomial x2 x1 x2 x1 . This polynomial has two
different divisors x2 x1 equal to the leading monomial of x1 x2 − x2 x1 (for the standard
glex order), so there are at least two different ways the long division algorithm may
proceed. Describe all possible ways for the long division to proceed. Do they lead to
the same or different results?
(b) Answer the same question for the long division of x32 by the noncommutative
polynomial x21 − x1 x2 + x22 .
4. (a) Prove that the quotient algebra F hx1 , x2 , x3 i/(x1 − x2 , x1 − x3 ) is isomorphic to
the algebra F [x].
(b) Show that the noncommutative polynomials x1 −x2 , x1 −x3 form a Gröbner basis
of the ideal they generate for the glex order with x1 < x2 < x3 , but do not form a
Gröbner basis of the ideal they generate for the glex order with x1 > x2 > x3 .
Download