Table de Cayley

Une table de Cayley est un tableau à double entrée. Lorsqu'un ensemble fini E est muni d'une loi de composition interne •, il est possible de créer un tableau qui présente, pour tous les éléments a et b de E, les résultats obtenus par cette loi • : à l'intersection de la ligne représentant a et de la colonne b se trouve a•b. Le tableau ainsi constitué est appelé table de Cayley du magma (E,•). Cette présentation est semblable à la table de multiplication et à la table d'addition des écoliers.

Les tables de Cayley permettent de faciliter l'étude des groupes finis. La donnée d'une telle table équivaut à celle de la structure du groupe qu'elle représente. On peut se référer à cette table pour effectuer des calculs, comme avec une table de multiplication. Certaines propriétés sont immédiatement visibles dans la table, comme la commutativité ou le fait que le magma donné soit un quasigroupe.

Ces tableaux sont ainsi nommés en l'honneur du mathématicien Arthur Cayley qui les présenta pour la première fois en 1854.

Exemple de table :

*	a	b	c
a	a²	ab	ac
b	ba	b²	bc
c	ca	cb	c²

Propriétés pour les groupes finis

La ligne et la colonne dans la table de Cayley d'un groupe fini qui représentent l'élément neutre (typiquement écrits en premier) sont des copies de la ligne et de la colonne (respectivement) des entrées de la table. Cette propriété découle trivialement de la définition d'un élément neutre.

Tous les éléments d'une ligne ou d'une colonne donnée dans la table de Cayley d'un groupe fini sont représentés exactement une fois.

Démonstration

Soit $(G,*)$ le groupe représenté. Avoir un élément qui se répète dans une ligne donnée (soit $g\in G$ l'élément correspondant) signifie qu'il existe deux éléments (au moins) distincts $g_{1},g_{2}\in G$ tels que $g*g_{1}=g*g_{2}$ . Or, par la propriété d'existence d'éléments symétriques des groupes, il existe un élément $h\in G$ tel que $h*g=g*h=e$ où $e$ est l'élément neutre du groupe. Ainsi, $h*(g*g_{1})=h*(g*g_{2})$ . Donc, par la propriété d'associativité des groupes, $g_{1}=e*g_{1}=(h*g)*g_{1}=h*(g*g_{1})=h*(g*g_{2})=(h*g)*g_{2}=e*g_{2}=g_{2}$ . $g_{1}$ et $g_{2}$ ne sont donc pas distincts. Ceci est une contradiction.

La démonstration que tous les éléments d'une colonne donnée sont représentés exactement une fois utilise un raisonnement tout à fait analogue.

Exemple pour les groupes d'ordres 1, 2, 3 et 4

Il apparaît de ces propriétés que les seuls groupes (à un isomorphisme près) d'ordres respectifs 1, 2, 3 et 4 sont représentés par les tables de Cayley suivantes ( $e$ représente l'élément neutre pour chaque groupe). La propriété des groupes finis que tout groupe fini d'ordre premier est isomorphe au groupe cyclique de cet ordre est ici illustrée pour les groupes d'ordre 2 et 3.

Ordre 1 : il n'y a qu'un seul groupe d'ordre 1, soit le groupe trivial. Sa table de Cayley est la suivante.

*	e
e	e

Ordre 2 : le seul groupe d'ordre 2 est cyclique. Sa table de Cayley est la suivante.

*	e	a
e	e	a
a	a	e

Ordre 3 : le seul groupe d'ordre 3 est cyclique. Sa table de Cayley est la suivante.

*	e	a	b
e	e	a	b
a	a	b	e
b	b	e	a

Ordre 4 : il y a deux groupes d'ordre 4 : le groupe cyclique d'ordre 4 et un groupe isomorphe à $(\mathbb {F} _{4},+)$ où $\mathbb {F} _{4}$ est l'ensemble sur lequel est défini le corps d'ordre 4. Leurs tables de Cayley respectives sont les suivantes.

*	e	a	b	c
e	e	a	b	c
a	a	b	c	e
b	b	c	e	a
c	c	e	a	b

*	e	a	b	c
e	e	a	b	c
a	a	e	c	b
b	b	c	e	a
c	c	b	a	e

Notes et références

Portail de l’algèbre

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.