Exemples.
(i) Si
, alors
l'addition
est une loi de
composition interne dans
.
(ii) Soit
,
alors la multiplication
est
une loi de composition interne dans
.
(iii) Soit
,
alors
n'est pas une loi
de composition interne sur
car
.
(iv) Si
ou
,
n'est pas une loi de
composition interne sur
car
.
(v) Soient
un ensemble
non vide et
l'ensemble des applications
de
dans
; alors
est une loi de composition interne dans
.
Remarques. Pour définir une loi de composition interne dans
, il est important de noter que:
1. pour toute paire d'éléments
,
doit être bien défini et
2.
doit
être un élément de
pour tous
.
Il existe un certain nombre de propriétés qu'une loi de composition interne peut vérifier ou pas.
Défnition Soit
un
ensemble non vide muni d'une loi de composition interne notée
; on dit que la loi
est associative si, quels que soient
,
et
dans
, on a
Exemples.
(i) L'addition est associative dans
Remarque : Si la loi
est la somme des
est le produit des
quels que soient
Définition Soit
un ensemble non vide muni d'une loi de composition interne, notée
. On dit que
est un élément neutre de
si pour tout
,
L'élément neutre
de
laisse invariant tout élément de
par la loi de composition interne.
Exemples
(i) L'addition dans
admet 0 comme élément neutre; en effet
pour tout
.
(ii) La multiplication dans
admet
comme élément
neutre; en effet pour tout
.
(iii) La soustraction dans
n'admet pas d'élément neutre; en effet, s'il existe
tel que , alors on
au
rait
. Or aucun élément
de
ne peut remplir cette condition à la fois pour tous les éléments
de
.
(iv) Si
, Id
définie pour tout
par Id
ément neutre de
. On vérifie que
Id
Id
, pour tout
.
Défnition Soient
muni d'une loi de composition interne
d'élément neutre
et
un élément de
. On appelle symétrique (ou inverse) de
, l'élément
qui vérifie
Remarques :
| Décembre 2008 | ||||||||||
| L | M | M | J | V | S | D | ||||
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | ||||
| 8 | 9 | 10 | 11 | 12 | 13 | 14 | ||||
| 15 | 16 | 17 | 18 | 19 | 20 | 21 | ||||
| 22 | 23 | 24 | 25 | 26 | 27 | 28 | ||||
| 29 | 30 | 31 | ||||||||
|
||||||||||