Mathematics 676 Homework (due Apr 28) A. Hulpke

advertisement
Mathematics 676
Homework (due Apr 28)
A. Hulpke
52) What is “wrong” with the following pc-presentation? (What order do you “expect” from the presentation?)
⟨a, b ∣ a 2 = b5 = 1, b a = b2 ⟩
53) Let M be the monoid with the presentation ⟨x, y ∣ x 3 = 1, y3 = 1, (x y)3 = 1⟩.
a) Determine (by hand) a confluent rewriting system for M with respect to length+lexicographic ordering.
b) Using the rules determined in a), construct an infinite set of words in normal form, thus proving that M
is infinite.
54) A Dynkin diagram is a graph on the vertices {1, . . . , n}, whose edges {i, j} are labelled with weights
e i, j ∈ {3, 4, . . .} (often, weight k is indicated by drawing the edge in multiplicity k − 2, i.e. no edge would be
weight 2, which is consistent with the rest of the definition). We set e i, j = 2 if i and j are not connected.
We now associate to such a diagram on the vertices 1, . . . , n a finitely presented group (called the “Weyl group”
or “Coxeter group” for this diagram) on n generators a1 , . . . , a n with the relations: a 2i = 1 and for i < j and
a j ai a j ai ⋯ = ai a j ai a j⋯
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¶ ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¶
e i, j letters e i, j letters
a) We now consider the Dynkin-diagram called “A n ”, which has the form 0 − 0 − 0 − ⋯ − 0 with n vertices.
So for example for n = 3 we get the presentation
⟨a1 , a2 , a3 ∣ a12 = a22 = a33 = 1, a2 a1 a2 = a1 a2 a1 , a3 a1 = a1 a3 , a3 a2 a3 = a2 a3 a2 ⟩
Show that the Weyl group defined by this diagram is isomorphic to S n+1 .
b) Show that the rules for the Dynkin diagram of type A n yield a confluent rewriting system for len/lex
ordering.
c) Give an example of a Dynkin diagram, whose presentation does not define a confluent rewriting system.
55) If you define a finitely presented group in GAP, you can enforce reduction of elements to normal form
(running a length/lex Knuth-Bendix algorithm on the presentation to obtain a confluent rewriting system)
by calling SetReducedMultiplication(G); Why do you think this is not turned on by default?
56) a) Why is a pure lexicographic ordering not a reduction ordering? Give a (counter)example.
b) Prove that the wreath product ordering of reduction orderings is again a reduction ordering.
57) Let G = ⟨a, b, c, d ∣ a 3 = 1, b2 = d, c 2 = d, d 2 = 1, b a = c, c a = bc, c b = cd, d a = d, d b = d, d c = d⟩. Use these
relations (which form a pc-presentation) to write the word dbcdab in normal form (i.e. letters in alphabetical
order and exponents bounded by the relative orders).
Download