Synthse de cours (CPGE) Lois de composition internes et externes

Lois de composition internes

Dfinitions
Loi de composition interne (LCI)

Soit E un ensemble. On appelle loi de composition interne (LCI) sur E toute application de E E dans E :

EE E

( x, y )
Remarque :

x* y

Traditionnellement, et sans prcision ou contexte particulier, une LCI est note * comme ci-dessus ou ("truc"). On peut galement adopter un formalisme additif (la LCI est alors note +) ou multiplicatif ( ou .).

Partie stable par une LCI, loi induite

Soit E un ensemble muni dune loi de composition interne *. Soit F une partie de E. On dit que F est stable par * si :
( x, y ) F2 , x * y F

Si F est une partie stable par *, alors la restriction de * F est une loi de composition interne sur F dite loi induite par * dans F .

PanaMaths

[1-5]

Dcembre 2009

Elment neutre gauche, neutre droite, lment neutre

Soit E un ensemble muni dune loi de composition interne *. On dit que llment e de E est un lment :

neutre gauche si : x E, e * x = x ; neutre droite si : x E, x * e = x ; neutre si e est neutre gauche et droite : x E, e * x = x * e = x .

Symtrique gauche, symtrique droite, symtrique

Soit E un ensemble muni dune loi de composition interne *. On suppose que ( E,*) possde un lment neutre e. On dit que llment x de E possde :

un symtrique gauche xg si : xg * x = e . On dit alors que x est symtrisable

gauche ; un symtrique droite xd si : x * xd = e . On dit alors que x est symtrisable droite ; un symtrique x ' si : x '* x = x * x ' = e . On dit alors que x est symtrisable .

Distributivit

Soit E un ensemble muni de deux lois de composition internes * et On dit que est :

distributive gauche par rapport * si on a : ( x, y , z ) E 3 , x ( y * z ) = ( x distributive droite par rapport * si on a : ( x, y , z ) E 3 , ( y * z ) x = ( y

y)*( x

z)

x)*( z

x)

distributive par rapport * si elle distributive gauche et droite par rapport *.

PanaMaths

[2-5]

Dcembre 2009

Proprits
Proprits de la loi de composition interne
Commutativit

Soit E un ensemble muni dune loi de composition interne *. On dit que * est commutative si :
( x, y ) E 2 , x * y = y * x

Associativit

Soit E un ensemble muni dune loi de composition interne *. On dit que * est associative si :
( x, y , z ) E 3 , ( x * y ) * z = x * ( y * z )

Proprit de llment neutre

Soit E un ensemble muni dune loi de composition interne *.
Si ( E,*) possde un lment neutre alors il est unique.

Remarques : 1. Lorsque la loi est note additivement, llment neutre est not 0 ; 2. Lorsque la loi est note multiplicativement, llment neutre est not 1 .

Soit E un ensemble muni dune loi de composition interne *.

Si ( E,*) possde un lment neutre gauche et un lment neutre droite alors ils sont

gaux et il sagit de llment neutre de E.

PanaMaths

[3-5]

Dcembre 2009

Proprit des lments symtriques

Soit E un ensemble muni dune loi de composition interne *. On suppose que ( E,*) possde un lment neutre e et que la loi * est associative.
Si un lment x de E possde un symtrique gauche et un symtrique droite alors ils sont gaux. Si un lment x de E est symtrisable alors il admet un unique symtrique.

Remarques : 1. Lorsque la loi est note additivement, le symtrique sil existe, est appel oppos et est not x ; 2. Lorsque la loi est note multiplicativement, le symtrique, sil existe, est appel inverse et est not x 1 ;

Loi de composition externe

Dfinitions
Loi de composition externe (LCE)

Soit E et X des ensembles. On appelle loi de composition externe (LCE) sur E toute application de X E dans E : XE E

( , x )

Dans ce cadre gnral, les lments de X sont appels oprateurs et on dit que E est muni dune loi de composition externe oprateurs dans X .

Remarque : la loi peut tre note multiplicativement laide dun point.

PanaMaths

[4-5]

Dcembre 2009

Partie stable par une LCE, loi induite

Soit E un ensemble muni dune loi de composition externe oprateurs dans X. Soit F une partie de E. On dit que F est stable par si : X, x F, x F Si F est une partie stable par , alors la restriction de F est une loi de composition externe sur F dite loi induite par dans F .

Distributivit

Soit E un ensemble muni : Dune loi de composition interne * ; Dune loi de composition externe oprateurs dans X.

On dit que la loi est distributive par rapport la loi * si :

X, ( x, y ) E 2 , ( x * y ) = ( x ) * ( y )

PanaMaths

[5-5]

Dcembre 2009