In this paper we provide a bijective proof of a theorem of Garsia and Gessel describing the generating function of the major index over the set of all permu- tations of = {1, ., n} which are shuffles of given disjoint ordered sequences π1, ., πk whose union is . The proof is based on a result (an “insertion lemma”) of Haglund, Loehr, and Remmel which describes the change in major index resulting from the insertion of a given new element in any place in a given permutation. Using this lemma we prove the theorem by establishing a bijection between shuffles of ordered sequences and a certain set of partitions. A special case of Garsia and Gessel’s theorem provides a proof of the equidistribution of major index and inver- sion number over inverse descent classes, a result first proved bijectively by Foata and Schutzenberger in 1978. We provide, based on the method of our first proof, another bijective proof of...