Théorème de Cauchy (théorie des groupes)

Théorème de Cauchy (théorie des groupes)

Théorème de Cauchy (groupes)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Cauchy.

En mathématiques, le théorème de Cauchy fournit l'existence d'éléments d'ordre diviseur premier du cardinal d'un groupe fini. Il est nommé ainsi en l'honneur du mathématicien Augustin Louis Cauchy.

Théorème de Cauchy — Soit G un groupe fini et p un diviseur premier du cardinal n de G. Alors il existe un élément d'ordre p dans G (distinct de l'élément neutre).

Démonstration

Comme p est premier, il suffit de montrer l'existence d'un élément ζ non neutre tel que ζp = e. On pose

E= \{(g)=(g_1,\ldots,g_p) \in G^p\ /\ g_1\cdot g_2\cdots g_p = e \}.

E est en bijection avec Gp − 1:

Remarquons alors que

(g_1,\ldots,g_p) \in E \Rightarrow g_2\cdots g_p \cdot g_1=e .

On peut donc définir \sigma: E \rightarrow E,\ (g_1,\ldots,g_p) \rightarrow (g_2,\ldots,g_p,g_1) qui engendre un groupe de permutations circulaires \sigma^{\mathbb N} = \{\sigma^1,\dots,\sigma^p \} agissant sur E via \phi: \Z/p\Z \times E \rightarrow E,\ ( \bar k,(g_1,\dots,g_p)) \rightarrow (g_{1+k\mod p},\dots,g_{p+k\mod p}).

Les orbites \Z/p\Z \cdot (g) de φ sont de cardinaux divisant p,et elles partitionnent E avec a le nombre d'orbites réduites à un élément et b celui des orbites à p éléments, il est donc clair que

a + pb =\# E=n^{p-1}.

Par suite p divise a, donc a est strictement plus grand que 1. Il existe donc un élément (h_1,...,h_p)\in E autre que (e,\dots,e) tel que

(h_1,\dots,h_p)=(h_2,\dots,h_1)=\dots=(h_p,\dots,h_{p-1})

c'est-à-dire

h_1=h_2=\dots=h_p.

Finalement

h_1 \cdots h_p= h_1 \cdots h_1=h_1^p=e.

Ceci achève la preuve.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Cauchy (groupes) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Cauchy (théorie des groupes) de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Théorie des Groupes — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Theoreme de Lagrange sur les groupes — Théorème de Lagrange sur les groupes Pour les articles homonymes, voir Théorème de Lagrange. Joseph Louis Lagrange En mathématiques, et p …   Wikipédia en Français

  • Théorème de lagrange sur les groupes — Pour les articles homonymes, voir Théorème de Lagrange. Joseph Louis Lagrange En mathématiques, et p …   Wikipédia en Français

  • Théorème de Lagrange sur les groupes — Pour les articles homonymes, voir Théorème de Lagrange. Joseph Louis Lagrange En mathématiques, le théorème de Lagrange en …   Wikipédia en Français

  • Theoreme de Cauchy (groupes) — Théorème de Cauchy (groupes) Pour les articles homonymes, voir Cauchy. En mathématiques, le théorème de Cauchy fournit l existence d éléments d ordre diviseur premier du cardinal d un groupe fini. Il est nommé ainsi en l honneur du mathématicien… …   Wikipédia en Français

  • Théorème de cauchy (groupes) — Pour les articles homonymes, voir Cauchy. En mathématiques, le théorème de Cauchy fournit l existence d éléments d ordre diviseur premier du cardinal d un groupe fini. Il est nommé ainsi en l honneur du mathématicien Augustin Louis Cauchy.… …   Wikipédia en Français

  • Ordre (theorie des groupes) — Ordre (théorie des groupes) Pour les articles homonymes, voir ordre. En théorie des groupes, une branche des mathématiques, le terme ordre est utilisé dans deux sens intimement liés : L ordre d un groupe est son cardinal, i.e. le nombre de… …   Wikipédia en Français

  • Ordre (théorie des groupes) —  Ne doit pas être confondu avec Groupe ordonné. En théorie des groupes, une branche des mathématiques, le terme ordre est utilisé dans deux sens intimement liés : L ordre d un groupe est son nombre d éléments si ce groupe est fini, et l …   Wikipédia en Français

  • Théorème de Cauchy (groupes) — Pour les articles homonymes, voir Cauchy. En mathématiques, le théorème de Cauchy fournit l existence d éléments d ordre diviseur premier du cardinal d un groupe fini. Il est nommé ainsi en l honneur du mathématicien Augustin Louis Cauchy.… …   Wikipédia en Français

  • Theoreme de Cauchy — Théorème de Cauchy Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Augustin Louis Cauchy a laissé son nom à plusieurs théorèmes. En théorie des groupes, le théorème de Cauchy. En algèbre bilinéaire, l… …   Wikipédia en Français

Share the article and excerpts

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