11.1 Lois de composition ⇑Chapitre 11 : Structures algébriques
Cette loi est associative, mais elle n’est pas commutative (sauf si Eest réduit à un singleton).
Même si la loi ◦n’est pas commutative, il existe des applications fet gqui commutent entre elles,
c’est-à-dire qui vérifient g◦f=f◦g.
Par exemple, en géométrie du plan, les rotations de même centre commutent deux à deux.
Lois sur l’ensemble des parties d’un ensemble
Soit Eun ensemble. Les lois ∪(union), ∩(intersection) et ∆(différence symétrique) sur P(E)sont
toutes trois commutatives et associatives.
En revanche, la « différence ensembliste » définie sur P(E)par A\B=A∩B={x∈A, x /∈B}, n’est
ni associative ni commutative.
Maximum et minimum sur un ensemble totalement ordonné
Soit Eun ensemble muni d’une relation d’ordre total note 6.
Les lois min et max (minimum et maximum) sont notées de façon préfixée : min(x, y)et max(x, y).
Ces deux lois sont associatives et commutatives.
Pgcd et ppcm sur les entiers
Les lois pgcd et ppcm sur Nou Zsont commutatives et associatives.
Elles sont notées de façon tantôt préfixe (pgcd(a, b)et ppcm(a, b)), tantôt infixe (a∧bet a∨b).
C’est l’associativité qui permet de noter, sans ambiguïté : (a∧b∧c∧ ···
a∨b∨c∨ ··· pour tous entiers a, b, c, . . .
Addition et produit « modulo n»
Si nest un entier strictement positif, notons Nn={0,1,2, . . . , n −1}.
Nnest donc l’ensemble des restes possibles dans la division euclidienne par n.
On peut définir deux lois sur Nnà partir des lois +et ×de N, en calculant le résultat modulo n.
Ces deux lois sont associatives et commutatives.
Par exemple, dans N15, on a 11 + 23 = 4 (car 34 ≡4 [15]) et 11 ·23 = 13 (car 11 ·23 = 253 ≡13 [15]).
Voici la table des lois +et ×dans l’ensemble N10 ={0,1,2,3,4,5,6,7,8,9}(la première ligne et la
première colonne de chaque tableau ne sont pas considérées comme faisant partie de la table : elles sont
simplement un rappel de la valeur des éléments de N10).
+0123456789
00123456789
11234567890
22345678901
33456789012
44567890123
55678901234
66789012345
77890123456
88901234567
99012345678
×0123456789
00000000000
10123456789
20246802468
30369258147
40482604826
50505050505
60628406284
70741852963
80864208642
90987654321
Table de l’addition Table du produit
dans N10 ={0,1,2,3,4,5,6,7,8,9}dans N10 ={0,1,2,3,4,5,6,7,8,9}
©Jean-Michel Ferrard Ce cours accompagne la souscription au site mathprepa.fr
Sa diffusion en dehors de ce cadre n’est pas autorisée
Page 256