Exposant d'un groupe
- Exposant d'un groupe
-
En algèbre générale, l'exposant d'un groupe est une notion de théorie des groupes.
On peut l'utiliser pour démontrer le théorème de Kronecker sur la structure des groupes abéliens finis.
Elle correspond à une hypothèse du problème de Burnside de 1902 (en), on la trouve donc dans le théorème de Burnside associé.
Définition
-
- Soit G un groupe, d'élément neutre noté e. On appelle exposant[1],[2]de G le plus petit entier strictement positif n, s'il existe, tel que
.
- S'il n'en existe pas, on dit que G est d'exposant infini[1].
Cette définition équivaut à : l'exposant de G est le plus petit commun multiple des ordres[3] des éléments du groupe si tous ces ordres sont finis et admettent un majorant commun, et l'infini sinon.
Une condition nécessaire (mais pas suffisante) pour que l'exposant d'un groupe soit fini est donc que ce groupe soit de torsion.
Propriétés
-
- L'exposant d'un groupe fini est nécessairement fini : c'est même un diviseur de l'ordre du groupe. En effet, dans un groupe fini, l'ordre de chaque élément divise l'ordre du groupe d'après le théorème de Lagrange.
-
- Tout groupe abélien d'exposant fini contient au moins un élément dont l'ordre est égal à l'exposant du groupe. En effet, dans un groupe abélien, l'ensemble des ordres des éléments est stable par PPCM, donc si cet ensemble possède un maximum, cet ordre est multiple de tous les autres.
Notes et Références
Notes
- ↑ a et b Aviva Szpirglas, Algèbre L3 : Cours complet avec 400 tests et exercices corrigés [détail des éditions], définition 6.82
- ↑ Serge Lang, Algèbre [détail des éditions] chap. I, § 3
- ↑ L'ordre d'un élément g de G désigne le plus petit entier strictement positif n vérifiant gn = e, s'il existe, et l'infini sinon.
Références
- Serge Lang, Algèbre [détail des éditions]
- J.F. Labarre, La théorie des groupes, PUF, 1978
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Exposant d'un groupe de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Exposant D'un Groupe — L exposant d un groupe est une notion mathématiques et plus précisément d algèbre, en théorie des groupes. Elle est utilisée surtout pour les groupe abélien finis, par exemple pour la démonstration du théorème de Kronecker. Elle correspond à une… … Wikipédia en Français
Exposant (Mathématiques) — Pour les articles homonymes, voir Exposant. En mathématiques, il est souvent intéressant de multiplier un nombre a par lui même plusieurs fois de suite. Dans une telle opération, l exposant est le nombre de facteurs intervenant dans cette… … Wikipédia en Français
Exposant (mathematiques) — Exposant (mathématiques) Pour les articles homonymes, voir Exposant. En mathématiques, il est souvent intéressant de multiplier un nombre a par lui même plusieurs fois de suite. Dans une telle opération, l exposant est le nombre de facteurs… … Wikipédia en Français
Groupe Abélien Fini — Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont le cardinal est fini.… … Wikipédia en Français
Groupe abelien fini — Groupe abélien fini Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont le… … Wikipédia en Français
Groupe abélien fini — Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont l ensemble sous jacent… … Wikipédia en Français
Exposant — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Exposant », sur le Wiktionnaire (dictionnaire universel) Exposant peut signifier: L exposant, une… … Wikipédia en Français
exposant — exposant, ante [ ɛkspozɑ̃, ɑ̃t ] n. • 1389 dr. « demandeur »; subst. particip. de exposer 1 ♦ (1820) Personne dont les œuvres, les produits sont présentés dans une exposition (2o). Le stand d un exposant, dans une foire. « Je regrette de ne pas… … Encyclopédie Universelle
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
