Ivan Shishkin, Birch Grove

Sous-groupe normal

Concept history

A revision trail for this concept page.

7 revisions

Revision 3251

8/31/2026, 8:11:47 PM · visitor

Concept reviewed

statusUsableReviewed

Revision 2231

8/24/2026, 10:12:45 AM · Sequoia

Concept marked usable

statusStubUsable

Revision 2230

8/24/2026, 10:12:42 AM · Sequoia

Updated text

Compare with revision 22296 changed lines
1Un [[Subgroup|sous-groupe]] $N$ d'un [[Group|groupe]] $G$ est un sous-groupe normal (appelé aussi _distingué_) de $G$ si, pour tout $g \in G$,
2$$
3gN = Ng.
4$$
5C'est exactement la bonne notion de groupe qui permet de considérer le [[Quotient group|groupe quotient]] $G/N$.
6
7**Exemples:**
8$\bullet$ Les groupes triviaux $\{e\}$ et $G$ sont des sous-groupes normaux de $G$.
9$\bullet$ Tout sous-groupe d'un groupe [[Groupe abélien|abélien]] est normal.
10$\bullet$ L'ensemble $\{(12)(34), (13)(24), (14)(23)\}$ est un sous-groupe normal du groupe des [[permutation-fr|permutations]] $\mathfrak{S}_4$.
11$\bullet$ L'ensemble des permutations de taille $n$ et de [[signature|signature]] $1$, le [[sous-groupe alterné|sous-groupe alterné]], est un sous-groupe normal de $\mathfrak{S}_n$

Revision 2229

8/24/2026, 9:58:09 AM · Sequoia

Updated text

Compare with revision 21893 changed lines
1Un [[Subgroup|sous-groupe]] $N$ d'un [[Group|groupe]] $G$ est un sous-groupe normal de $G$ si, pour tout $g \in G$,
1Un [[Subgroup|sous-groupe]] $N$ d'un [[Group|groupe]] $G$ est un sous-groupe normal (appelé aussi _distingué_) de $G$ si, pour tout $g \in G$,
2$$
3gN = Ng.
4$$
5C'est exactement la bonne notion de groupe qui permet de considérer le [[Quotient group|groupe quotient]] $G/N$.

Revision 2189

8/23/2026, 8:36:02 PM · Ancient Tree

Updated aliases and linked exercises

aliasesSous-groupe distinguéNone
linked exercisesNoneScoop sur la caractérisation des sous-groupes distingués

Revision 2188

8/23/2026, 8:35:12 PM · Ancient Tree

Updated aliases

aliasesNoneSous-groupe distingué

Revision 2185

8/23/2026, 8:26:43 PM · Ancient Tree

Concept created

Un [[Subgroup|sous-groupe]] $N$ d'un [[Group|groupe]] $G$ est un sous-groupe normal de $G$ si, pour tout $g \in G$,
$$
gN = Ng.
$$