Christophe Bertault — Mathématiques en MPSI
1.2 COMMUTATIVITÉ ET ASSOCIATIVITÉ
Définition (Commutativité et associativité) Soit (E,⋆)un magma.
•On dit que (E,⋆)est associatif ou que ⋆est associative si : ∀x,y,z∈E,(x⋆y)⋆z=x⋆(y⋆z).
•On dit que (E,⋆)est commutatif ou que ⋆est commutative si : ∀x,y∈E,x⋆y=y⋆x.
Explication
•L’associativité permet d’oublier les parenthésages. Ainsi, calculer : (a⋆b)⋆(c⋆d)⋆eou a⋆(b⋆c)⋆d⋆e,
c’est la même chose, raison pour laquelle le résultat sera simplement noté : a⋆b⋆c⋆d⋆e.
•L’associativité permet en particulier la définition des puissances. Deux notations sont utilisées selon le contexte :
—Notation multiplicative : Pour tous x∈Eet n∈N∗, on pose : xn=
nfois
z}| {
x⋆...⋆x.
—Notation additive : Pour tous x∈Eet n∈N∗, on pose : nx =
nfois
z}| {
x⋆...⋆x. On préfère ici souvent le mot
«multiple » au mot « puissance », mais c’est au fond la même chose.
Il ne s’agit là bien sûr que d’une question de NOTATION. Il n’y a pas les lois multiplicatives d’un côté et les lois additives
de l’autre. Il y a seulement un point de vue multiplicatif et un point de vue additif sur une même loi donnée. Les deux
points de vue sont toujours possibles, mais l’usage veut qu’on en choisisse un et qu’on s’y tienne.
Exemple
•Les magmas (N,+),(N,×),(Z,+),(Z,×),(Q,+),(Q,×),(R,+),(R,×),(C,+) et (C,×)sont commutatifs et associatifs.
•Les magmas Mn(K),+et Mn(K),×sont associatifs. Le premier est commutatif, mais le second non pour n¾2.
•Les magmas P(E),∪et P(E),∩sont commutatifs et associatifs.
•Le magma EE,◦est associatif, mais non commutatif si Epossède au moins eux éléments. En effet, par exemple, si x
et ysont deux éléments distints de Eet si f:E−→ Eest l’application constante égale à xet g:E−→ El’application
constante égale à y, alors f◦gest constante égale à xet g◦fconstante égale à y, donc : f◦g6=g◦f.
•Le magma (Z,−)n’est ni commutatif ni associatif car par exemple : 3 −1=2 alors que : 1 −3=−1, et :
(3−1)−1=1 alors que : 3 −(1−1) = 3.
1.3 ÉLEMENT NEUTRE ET ÉLÉMENTS INVERSIBLES
Définition (Élément neutre) Soient (E,⋆)un magma et e∈E. On dit que eest un élément neutre de (E,⋆)(ou pour ⋆)
si : ∀x∈E,x⋆e=e⋆x=x.
Théorème (Unicité de l’élément neutre) Soit (E,⋆)un magma. Alors Epossède au plus un élément neutre.
On peut donc parler, QUAND IL EXISTE, de L’élément neutre de Eplutôt que d’« un » élément neutre de E. On le note
généralement 1Eou 1 en notation multiplicative et 0Eou 0 en notation additive.
Démonstration Si e,e′∈Esont deux éléments neutres pour ⋆, alors : e=e⋆e′=e′, i.e. e=e′.
Exemple
•Les magmas (N,+),(Z,+),(Q,+),(R,+) et (C,+) admettent 0 pour élément neutre et les magmas (N,×),(Z,×),
(Q,×),(R,×)et (C,×)le nombre 1. Le magma (N∗,+), en revanche, ne possède pas d’élément neutre.
•Le magma Mn(K),+admet la matrice nulle 0n,npour élément neutre et le magma Mn(K),×la matrice In.
•Le magma P(E),∪admet ∅pour élément neutre, P(E),∩l’ensemble Eet EE,◦l’identité IdE.
2