title: (p, q)-shuffle
text: # (p, q)-shuffle
  
  En mathématiques, pour deux entiers naturels p et q, un (p, q)-shuffle $est^,$ un élément σ du groupe symétrique $S_{p+q}$ des permutations de l'ensemble {1, …, p + q}, tel que
  
  $\sigma (1)<\ldots <\sigma (p)\quad {\rm {et}}\quad \sigma (p+1)<\ldots <\sigma (p+q).$
  
  Les (p, q)-shuffles sont en bijection avec — et parfois définis $comme^,$ — les partitions de l'ensemble = {0, …, p + q – 1} en deux sous-ensembles complémentaires μ, ν à p et q éléments, numérotés en croissant :
  
  $\mu _{1}<\ldots <\mu _{p}\quad {\rm {et}}\quad \nu _{1}<\ldots <\nu _{q}.$
  
  Leur nombre est donc égal au coefficient binomial
  
  ${p+q \choose p}$
  
  et la signature de la permutation σ associée à la partition (μ, ν) est égale à
  
  $(-1)^{\varepsilon (\mu )},\quad {\rm {avec}}\quad \varepsilon (\mu )=\sum _{i=1}^{p}(\mu _{i}-(i-1)).$
  
  ## Utilisations
  
  Le produit extérieur de deux formes multilinéaires alternées, une p-forme et une q-forme, peut être défini comme une somme indexée par l'ensemble des (p, q)-shuffles et pondérée par leurs signatures.
  
  Le shuffle, ou « produit de mélange », ou « application d'Eilenberg-MacLane », défini de façon analogue, intervient dans une démonstration explicite du théorème d'Eilenberg-Zilber, comme quasi-isomorphisme réciproque de l'application $d'Alexander-Whitney^,^,.$
  
  Le même type de sommes permet de munir l'algèbre tensorielle d'un espace vectoriel d'une structure de bigèbre.
  
  