Groupes diédraux

Groupes diédraux

Groupe diédral

Symétrie bidimensionnelle D4

En mathématiques, le groupe diédral noté Dn, pour n\geq 2, ou parfois D2n, est un groupe d'ordre 2n qui s'interprète notamment comme le groupe des isométries du plan conservant un polygone régulier à n côtés. Le groupe est constitué de n éléments correspondant aux rotations et n autres correspondant aux réflexions.

Pour n = 2, le groupe D2 est le groupe de Klein à quatre éléments. C'est le seul qui soit un groupe abélien.

Sommaire

Présentation et définitions équivalentes

Le groupe Dn peut être défini par la suite exacte scindée suivante :

1\to C_n\to D_n\to C_2\to 1

où Cn est un groupe cyclique d'ordre n, C2 est cyclique d'ordre 2, la section étant donnée par l'action d'un relevé σ du générateur de C2, sur un générateur τ du groupe cyclique d'ordre n :

στσ − 1 = τ − 1

Ce groupe est donc produit semi-direct de Cn par C2 suivant le morphisme ψ, où l'unité de C2 agit sur Cn comme l'application identique et l'autre élément de C2 agit sur Cn par inversion. Explicitement:

\text {si} \quad C_n=<\tau>, C_2=<\sigma> \text { alors}\quad \psi(1)(\tau^k)=\tau^k, \psi(\sigma)(\tau^k)=\tau^{-k} \quad \forall k \in \{0,1,2,..., n-1\}.

Une présentation est alors :

\left\langle\sigma,\tau|\sigma^2,\tau^n,\sigma\tau\sigma^{-1}\tau\right\rangle

On peut ainsi dresser une liste complète des éléments du groupe :

1,\tau,\tau^2,\dots,\tau^{n-1},\sigma,\sigma\tau,\sigma\tau^2,\dots,\sigma\tau^{n-1}

Une présentation alternative, où μ = τσ dans le système de générateurs de la présentation précédente, est :

\left\langle\sigma,\mu|\sigma^2,\mu^2,(\mu\sigma)^n\right\rangle

On voit ainsi que le groupe diédral admet un système de deux générateurs distincts tous deux d'ordre 2. Les groupes diédraux sont les seuls groupes finis possédant cette propriété[1].

Le groupe diédral d'ordre 2n peut aussi être vu comme le groupe d'automorphisme du graphe constitué seulement d'un cycle avec n sommets (si n ≥ 3).

Interprétation géométrique

On peut définir de la façon suivante une représentation du groupe diédral Dn :

\varphi : D_n\to \mathrm{GL}_2(\mathbb{R})

avec \varphi(\tau)=\begin{pmatrix}\cos{2\pi \over n} & -\sin{2\pi \over n} \\ \sin{2\pi \over n} & \cos{2\pi \over n}\end{pmatrix} et \varphi(\sigma)=\begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}. Cette représentation est en fait à valeurs dans le groupe O_2(\mathbb{R}).

On reconnaît que la matrice φ(τ) est une matrice de rotation d'angle 2\pi\over n, et la matrice φ(σ) une matrice de réflexion. Ces transformations laissent effectivement invariant le polygone régulier centré en l'origine à n côtés.

Graphe de cycle

Les graphes de cycle de groupes diédraux sont constitués d'un cycle à n éléments et de cycles à 2 éléments. Le sommet sombre dans les graphes de cycle ci-dessous de divers groupes diédraux représente l'élément identité, et les autres sommets sont les autres éléments du groupe. Un cycle est constitué des puissances successives de l'un ou l'autre élément connecté à l'élément identité.


GroupDiagramMiniD4.png
GroupDiagramMiniD6.png
GroupDiagramMiniD8.png
GroupDiagramMiniD10.png
GroupDiagramMiniD12.png
GroupDiagramMiniD14.png
D2 D3 D4 D5 D6 D7

Propriétés

Le sous-ensemble des rotations \{1,\tau,\tau^2,\dots,\tau^{n-1}\} est un sous-groupe normal.

Certaines propriétés des groupes diédraux Dn avec n ≥ 3 dépendent de la parité de n. Elles peuvent souvent facilement être déduites de la représentation géométrique de ce groupe.

  • Le centre de Dn est constitué seulement de l'identité si n est impair, mais si n est pair le centre a deux éléments : l'identité et l'élément τn / 2.
  • Pour n impair, le groupe D2n est isomorphe au produit direct de Dn et d'un groupe cyclique d'ordre 2. Cet isomorphisme est donné par :
\sigma^h\tau^{k+\epsilon n}\mapsto(\sigma^h\tau^k,\epsilon)

où D2n est l'ensemble de départ Dn*C2 celui d'arrivée, h et ε étant définis modulo 2, et k modulo n. Les générateurs des groupes diédraux sont choisis comme dans la première partie de l'article.

  • Toutes les réflexions sont conjuguées les unes les autres dans le cas où n est impair, mais elles sont contenues dans deux classes de conjugaison si n est pair.
  • Si m divise n, alors Dn a n / m sous-groupes de type Dm, et un sous-groupe cyclique Cm. Par conséquent, le nombre total de sous-groupes de Dn (n ≥ 1), est égal à d (n) + σ (n), où d (n) est le nombre de diviseurs positifs de n et σ (n) est la somme des diviseurs positifs de n (voir liste des petits groupes pour les cas n ≤ 8)

Représentations

Si n est impair, le groupe Dn admet 2 représentations irréductibles complexes de degré 1 :

\sigma\mapsto (-1)^k\;\tau\mapsto 1\;k\in\{0,1\}

En revanche, si n est pair, il existe 4 représentations irréductibles de degré 1 :

\sigma\mapsto (-1)^k\;\tau\mapsto (-1)^h\;k\in\{0,1\}\;h\in\{0,1\}

Les autres représentations irréductibles sont toutes de degré 2 ; elles sont en nombre \frac{n-1}{2} si n est impair, respectivement \frac{n}{2}-1 si n est pair. On peut les définir comme suit :

\tau\mapsto\begin{pmatrix} \omega^h & 0 \\ 0 & \omega^{-h}\end{pmatrix}\quad\mbox{ et }\quad\sigma\mapsto\begin{pmatrix} 0 & -1 \\ -1 & 0\end{pmatrix}

où ω désigne une racine primitive ne de l'unité, et h parcourt les entiers compris entre 1 et n-1. On peut vérifier que deux telles représentations sont isomorphes seulement pour h1 et h2 vérifiant h1+h2=n. On obtient alors le nombre annoncé de représentations irréductibles de degré 2 non isomorphes, et donc toutes les représentations irréductible du groupe diédral, par la formule liant le nombre de représentations irréductibles à l'ordre du groupe.

Groupe diédral infini

En plus des groupes diédraux finis, on trouve le groupe diédral infini D∞.

Tout groupe diédral est généré par une rotation r et une réflexion. Si la rotation est un multiple rationnel d’une rotation totale, alors il existe un entier n tel que rn soit l’identité, et on est en présence d’un groupe diédral fini d’ordre 2n. Mais si la rotation n’est pas un multiple rationnel d’une rotation totale, alors il n’existe pas de tel n et le groupe résultant a un nombre infini d’éléments ; on le note D∞. Il admet pour présentation

\langle r, f \mid f^2 = 1, frf = r^{-1} \rangle
\langle x, y \mid x^2 = y^2 = 1 \rangle

et est isomorphe au produit semi-direct de ℤ et ℤ/2ℤ, ainsi qu’au produit libre ℤ/2ℤ * ℤ/2ℤ. Il s’agit de l’automorphisme de groupes du graphe constitué d’un chemin infini vers les deux extrémités. De façon équivalente, il s’agit du groupe des isométries de ℤ.

Bibliographie

  • Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
  • Algèbre générale , Bernard Charles et denis Allouch , PUF , Paris 1984

Notes et références

  1. ↑ J. J. Rotman, An introduction to the Theory of Groups, 4e éd., tirage de 1999, théor. 3.32, p. 68.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Groupe di%C3%A9dral ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupes diédraux de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • GROUPES (mathématiques) - Généralités — On se propose de présenter ici les notions fondamentales de théorie des groupes qui interviendront constamment dans la suite des articles qui traitent des groupes. Ces articles contiennent un très grand nombre d’exemples, c’est pourquoi cet… …   Encyclopédie Universelle

  • Groupes finis — Groupe fini En mathématiques, un groupe fini est un groupe constitué d un nombre fini d éléments, c est à dire que son cardinal est fini. Sommaire 1 Introduction 2 Parité de l ordre et involution 3 Exemples …   Wikipédia en Français

  • Groupe diédral — Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des isométries du plan conservant un …   Wikipédia en Français

  • Groupe Diédral — Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des …   Wikipédia en Français

  • Groupe diedral — Groupe diédral Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des …   Wikipédia en Français

  • Groupe dihédral — Groupe diédral Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des …   Wikipédia en Français

  • Symmetrie dihédrale — Groupe diédral Symétrie bidimensionnelle D4 En mathématiques, le groupe diédral noté Dn, pour , ou parfois D2n, est un groupe d ordre 2n qui s interprète notamment comme le groupe des …   Wikipédia en Français

  • Groupe de Coxeter — Un groupe de Coxeter est un groupe généré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent virtuellement dans tous les domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d… …   Wikipédia en Français

  • Groupe Fini — En mathématiques, un groupe fini est un groupe constitué d un nombre fini d éléments, c est à dire que son cardinal est fini. Sommaire 1 Introduction 2 Parité de l ordre et involution 3 Exemples …   Wikipédia en Français

  • Groupe fini — En mathématiques, un groupe fini est un groupe constitué d un nombre fini d éléments. Sommaire 1 Introduction 2 Parité de l ordre et involution 3 Exemples 4 …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”