Partie génératrice d'un groupe

Partie génératrice d'un groupe
Page d'aide sur l'homonymie Pour les articles homonymes, voir Génératrice.

En théorie des groupes, une partie génératrice d'un groupe est une partie A telle que tout élément du groupe s'écrit comme produit d'un nombre fini d'éléments de A et de leurs inverses.

Un groupe est dit de type fini lorsqu'il admet une partie génératrice finie. Un groupe engendré par un seul élément est isomorphe soit au groupe additif des entiers relatifs (Z,+), soit à un groupe additif de classes modulo n (Z/nZ,+) ; on dit que c'est un groupe monogène. Les sous-groupes des groupes commutatifs de type fini sont également de type fini, mais cela n'est pas vrai sans hypothèse de commutativité.

Sommaire

Sous-groupe engendré par une partie

Soit G un groupe. L'intersection de sous-groupes de G est un sous-groupe de G. Pour une partie S \subset G de G, il existe un sous-groupe de G, minimal pour l'inclusion parmi les sous-groupes contenant S, à savoir l'intersection de tous les sous-groupes contenant S. On l'appelle sous-groupe engendré par S, et on le note \left \langle S \right \rangle .

Description : On dispose d'une description explicite des éléments du groupe \left \langle S \right \rangle . Ce sont exactement les produits d'éléments ou d'inverses de S :

\left\langle S \right\rangle = \left\{ x_1^{\varepsilon _1} x_2^{\varepsilon _2} \cdots x_n^{\varepsilon _n} | n \in \mathbb{N} \; \mbox{et} \; \forall i, x_i \in S, \varepsilon_i = \pm 1 \right\} .

Exemples

  • Dans le groupe cyclique Z/ nZ, le sous-groupe engendré par la classe d'un entier k est le sous-groupe Z/ (n/d) Z où d désigne le PGCD de k et de n.
  • Dans le cas d'un groupe G fini, l'inverse d'un élément x est une puissance de x (plus précisément, on a x − 1 = xd − 1, où d désigne l'ordre de x). Par suite, le sous-groupe engendré par un sous-ensemble S d'un groupe fini G, est l'ensemble des éléments de G qui sont produits d'éléments de S.

Partie génératrice d'un groupe

On dit que S est une partie génératrice du groupe G, ou que G est engendré par S, lorsque le sous-groupe engendré par S est G :

G = \langle S \rangle~.

Autrement dit, tout élément de G est produit d'éléments de S ou de leurs inverses.

Groupes de type fini

Groupe monogène

Article détaillé : Groupe cyclique.

Un groupe est dit cyclique, ou monogène, s'il est engendré par un seul de ses éléments :

G est monogène s'il existe \exists a \in G tel que G = \langle a \rangle .

La classification des groupes monogènes n'est pas difficile. Si a engendre G, le morphisme de groupes \Z\rightarrow G:n\mapsto a^n est surjectif. Par le théorème d'isomorphisme, cet homomorphisme induit l'isomorphisme :

G\simeq\Z/ \ker f~.

Or, ker f est un sous-groupe de Z, et ces sous-groupes sont bien connus : il s'agit des groupes nZ avec n entier naturel. L'isomorphisme ci-dessus s'écrit alors :

G\simeq\Z/n\Z~.

À isomorphisme près, il existe un unique groupe monogène infini (correspondant à n = 0), et pour chaque entier n > 0, un unique groupe cyclique de cardinal n.

Les générateurs de Z/nZ sont exactement les classes des entiers k premiers avec n. Le nombre de ces classes est noté φ(n). La fonction φ est l'indicatrice d'Euler, elle joue un grand rôle en arithmétique.

Groupe de type fini

Un groupe est dit de type fini s'il possède une partie génératrice finie.

Cela revient à dire que le groupe est un quotient d'un groupe libre sur un nombre fini de générateurs.

Pour les groupes de type fini quelconques, on peut faire quelques remarques générales :

  • Tout groupe de type fini est au plus dénombrable, mais la réciproque est fausse : par exemple, le groupe additif des rationnels n'est pas de type fini.
  • Un sous-groupe distingué d'un groupe de type fini n'est pas toujours de type fini : par exemple, le groupe dérivé du groupe libre F{a,b} sur deux générateurs a et b est le groupe libre sur une infinité dénombrable de générateurs : les commutateurs [am, bn] pour tous les entiers m, n non nuls. Cependant, tout sous-groupe d'un groupe abélien de type fini est de type fini.

La structure des groupes abéliens de type fini est parfaitement connue : ce sont les groupes isomorphes à des produits directs d'un nombre fini de groupes monogènes :

Si G est un groupe commutatif finiment engendré, il existe un unique entier r et une unique suite finie d'entiers naturels dont chacun divise le suivant, n_1|n_2|\dots|n_s, tels qu'il existe un isomorphisme :
G\simeq \Z^r\times \Z/n_1\Z\times \dots\times \Z/n_s\Z.
Article détaillé : Groupe abélien de type fini.

Le cas r = 0 correspond au théorème de Kronecker, qui montre que tout groupe abélien fini est un produit direct de groupes cycliques.

Un exemple de partie génératrice

Soit K un corps commutatif, le groupe spécial linéaire SLn(K) est engendré par les matrices de transvection.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Partie génératrice d'un groupe de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Partie generatrice d'un groupe — Partie génératrice d un groupe En théorie des groupes, une partie génératrice d un groupe G est une partie A telle que tout élément du groupe s écrit comme produit d un nombre fini d éléments de A et de leurs inverses. L ensemble G lui même est… …   Wikipédia en Français

  • Groupe de type fini — Partie génératrice d un groupe En théorie des groupes, une partie génératrice d un groupe G est une partie A telle que tout élément du groupe s écrit comme produit d un nombre fini d éléments de A et de leurs inverses. L ensemble G lui même est… …   Wikipédia en Français

  • génératrice — ● génératrice nom féminin Nom souvent donné au générateur de courant continu. Mathématiques Courbe (pouvant être une droite) qui permet de définir un cône, un conoïde, un cylindre, une surface réglée ou une surface de révolution. ● génératrice… …   Encyclopédie Universelle

  • Groupe (mathématiques) — Pour les articles homonymes, voir Groupe. Les manipulations possibles du cube de Rubik forment un groupe. En mathématiques, un groupe est un ensemble …   Wikipédia en Français

  • Groupe Abélien De Type Fini — Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi de composition interne est… …   Wikipédia en Français

  • Groupe abelien de type fini — Groupe abélien de type fini Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi… …   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 auxilaire de puissance — Groupe auxiliaire de puissance Pour les articles homonymes, voir APU. Le groupe auxiliaire de puissance (GAP), ou en anglais Auxiliary Power Unit (APU), désigne un groupe turbogénérateur auxiliaire destiné à produire de l énergie à bord des… …   Wikipédia en Français

  • Génération d'un groupe — Partie génératrice d un groupe En théorie des groupes, une partie génératrice d un groupe G est une partie A telle que tout élément du groupe s écrit comme produit d un nombre fini d éléments de A et de leurs inverses. L ensemble G lui même est… …   Wikipédia en Français

  • Groupe abélien de type fini — En mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Les produits, les quotients, mais aussi les sous groupes des groupes abéliens de type fini sont eux mêmes de type fini. Un théorème… …   Wikipédia en Français

Share the article and excerpts

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