Lemme de Burnside
De Wikipedia, l'encyclopédie encyclopedia
Le lemme de Burnside, ou lemme de Cauchy-Frobenius ou encore formule de Burnside, est un résultat de théorie des groupes souvent utile lorsqu'on doit prendre en compte les symétries lors d'un dénombrement. Il a été découvert par Augustin Louis Cauchy et Ferdinand Georg Frobenius puis est devenu célèbre après que William Burnside l'ait mentionné[1]. Ce résultat permet de dénombrer les orbites de l'action d'un groupe sur un ensemble, autrement dit les classes d'équivalence formées par l'action de ce groupe. Par exemple, certains composés organiques sont chimiquement identiques si on effectue des rotations et le lemme permet de les dénombrer.
Formellement, soit un groupe fini opérant sur un ensemble
. Pour tout élément
de
,
désigne le fixateur de
, ensemble des éléments de
fixés par
(soit laissés invariants sous l'action de
) :
. Le lemme de Burnside consiste en la formule suivante donnant le nombre d'orbites sous l'action de
, autrement dit le nombre d'éléments de l'ensemble quotient
[2] :
Autrement dit, le nombre d'orbites est égal au nombre moyen d'éléments de
fixés par les éléments de
. Pour un groupe
infini, le lemme s'énonce sous la forme de l'existence d'une bijection :