PCSI - Mathematiques

2013/2014 - Lycee DAMAS

Structures alg
ebriques usuelles
D
efinitions: Soit E un ensemble, une loi de composition interne (l.c.i.) sur E est une application:
?:EE

(x, y) 7

E
x?y

Une l.c.i. est associative si (x, y, z) E 3 , (x ? y) ? z = x ? (y ? z).

Une l.c.i. est commutative si (x, y) E 2 , x ? y = y ? x.
e est un
el
ement neutre pour ? si x E, x ? e = e ? x = x.
Si ? admet un element neutre e, on dit que y est le sym
etrique de x pour la loi ? si x ? y = y ? x = e.
Si ? et sont deux l.c.i. sur E. On dit que ? est distributive `
a gauche par rapport `a si
(x, y, z) E 3 , x ? (yz) = (x ? y)(x ? z)
Si ? et sont deux l.c.i. sur E. On dit que ? est distributive `
a droite par rapport `a si
(x, y, z) E 3 , (yz) ? x = (y ? x)(z ? x)
Si ? et sont deux l.c.i. sur E. On dit que ? est distributive par rapport `a si elle est distributive `
a
droite et `
a gauche par rapport `
a .

Groupe: (G, ?) est un groupe si

G est un ensemble
? est un l.c.i associative sur G.
? admet un
el
ement neutre dans G.
Tout element de G admet un sym
etrique pour la loi ?.
Si, de plus, ? est commutative, (G, ?) est un groupe commutatif.

Anneau: (A, +, ) est un anneau si

(A, +) est un groupe commutatif. On note 0A lelement neutre pour +.
A poss`ede au moins 2
el
ements.
est une l.c.i. associative sur A.
poss`ede un
el
ement neutre dans A, que lon note 1A .
est distributive par rapport `
a+
Si, de plus, la loi est commutative, (A, +, ) est un anneau commutatif.

Corps: (K, +, ) est un corps si

(K, +, ) est un anneau.
Tout element de K\{0K } admet un sym
etrique pour la loi .
Si, de plus, la loi est commutative, (K, +, ) est un corps commutatif.

PCSI - Mathematiques

2013/2014 - Lycee DAMAS

Espace vectoriel: Soit (K, +, ) un corps commutatif. (E, +, ) est un K-espace vectoriel si
(E, +) est un groupe commutatif.
est une loi externe:
:K E

(, x) 7

E
x

verifiant
x E, 1K x = x. (invariance par le neutre)
(, , x) K 2 E, ( x) = ( ) x. (associativite)
(, , x) K 2 E, ( + ) x = x + x. (distributivite `a droite)
(, x, y) K E 2 , (x + y) = x + y. (distributivite `a gauche)

Alg`
ebre: Soit (K, +, ) un corps commutatif. (E, +, , ) est une K-alg`
ebre si
(E, +, ) est un anneau.
(E, +, ) est un K-espace vectoriel.
(, x, y) K 2 E, (x y) = x ( y) = ( x) y
Si, de plus, la loi sur E est commutative, (E, +, , ) est une K-alg`
ebre commutative.