Hecke algebras, U(q)sl(n), and the Donald-Flanigan conjecture for S-n

The Donald-Flanigan conjecture asserts that the integral group ring ZG of a finite group G can be deformed to an algebra A over the power series ring Z[[t]] with underlying module ZG[[t]] such that if p is any prime dividing #G then A x(Z[[t]]) <(F-p((t)))over bar> is a direct sum of total matric algebras whose blocks are in natural bijection with and of the same dimensions as those of CG. We prove this for G = S-n using the natural representation of its Hecke algebra 7-1 by quantum Yang-Baxter matrices to show that over Z[q] localized at the multiplicatively closed set generated by q and all i(q2) = 1+q(2)+q(4)+...+q(2(i-1)), i = 1, 2,..., n, the Hecke algebra becomes a direct sum of total matric algebras. The corresponding ''canonical'' primitive idempotents are distinct from Wenzl's and in the classical case (q = 1), from those of Young.