Aller à :Navigation,rechercher
En mathématiques, étant donné un ensemble E une loi de composition, sur E, ou loi tout court, est
une application, soit de E × Edans E, on dit alors que la loi est interne, soit
de K× E dans E (ou E× K dans E), où K est un autre ensemble et la loi est dite alorsexterne. Par exemple
la loi de groupe, la loi additive sur un espace vectoriel, les lois additive et multiplicative des anneaux et
des corps commutatif sont des lois internes, la loi de multiplication d'un vecteur par un scalaire sur un
espace vectoriel est une loi externe.
Un ensemble E muni d'un nombre fini de lois de composition vérifiant certaines conditions, est
une structure algébrique. Les conditions vérifiées par les lois s’appellent les axiomes de la structure de E.
Sommaire
[masquer]
• 1 Notion de loi
• 2 Remarque
• 3 Exemples
• 4 Lois internes
• 5 Lois externes
• 6 Voir aussi
Notion de loi[modifier]
Une loi (de composition) * : E × F → G, avec G = E ou G = F, est une application de E × F dans G qui
associe à chaque couple ( x, y) de E × F, un élément de G noté habituellement « x * y » (au lieu de la
notation fonctionnelle « * ( x, y ) ») et appelé composé de x et de y, ou encore produit de x et y.
x et y sont parfois qualifiés d’opérandes, car une loi n'est autre qu'une fonction binaire, donc un cas
particulier d’opération (i.e. de fonction n-aire).
Remarque[modifier]
Il existe plusieurs notations pour les lois :
la plus courante est la notation infixe; elle nécessite le recours à des parenthèses pour préciser
l’ordre d’exécution des opérations, s’il y en a plusieurs :
x*y
le symbole de la loi est parfois omis, la multiplication est par exemple souvent notée par simple
juxtaposition :
xy
xy * , parfois x,y *
Exemples[modifier]
Lois internes[modifier]
Les lois internes sont la clef de voûte des structures algébriques étudiées
en algèbre générale; elles définissent les groupes, lesmonoïdes, les semi-
groupes, les anneaux, etc.
Lois externes[modifier]
Par rapport à une loi interne, une loi externe fait intervenir des éléments de
l’extérieur, appelés opérateurs ou scalaires. Une loi externeE × F → F peut
être vue comme une opération de E sur F et on dit que E opère sur F.