Structures Algébriques
Structures Algébriques
Structures Algébriques
a ,b ,c E , (a b ) c = a (b c ) .
Le magma (E , ) est alors dit associatif.
4) Elments particuliers
Soit (E , ) un magma
a) lment rgulier
Df : On appelle lment rgulier de (E , ) tout lment x de E tel que
a ,b E , x a = x b a = b (rgularit gauche)
et a x = b x a = b (rgularit droite).
b) lment neutre
Df : On appelle lment neutre de (E , ) tout lment e de E tel que x E
e x = x (neutre gauche) et x e = x (neutre droite).
2) Partie stable
Df : On appelle partie stable dun magma (E , ) toute partie A de E telle que
x , y A, x y A .
AA A
dfinit une loi de composition
Lapplication restreinte
(x , y ) x y
c) lment symtrisable
Soit (E , ) un monode dlment neutre e .
-1/7-
b) structure sur F (X , E )
= x ,x
= x x . De plus on pose x
=e .
+
ou .
p , q , x p x q = x ( p +q ) et (x p ) q = x ( pq ) .
6) Structures produits
a) structure sur E n
Soit (E , ) un magma et X un ensemble non vide.
e
x y
0
x +y
1
xy ou x .y
sym(x )
x 1
xi
i =1
x n
-2/7-
x
i =1
n .x
n
i
x
i =1
xn
II. Groupes
1) Dfinition
Soit n * et U n = {z / z n = 1} .
Prop : (U n ,) est un groupe ablien.
1 .
1 1
j2
j2
j2
j2
j2
1
1
j
i
1 i
1 i
1 i
1 .
1 1 i
c) groupes gomtrique
P le plan gomtrique de direction P .
tu : translation de vecteur u .
3) x , y H , x y H (stabilit).
Thorme :
Si H est un sous-groupe de (G , ) alors (H , ) est un groupe.
H
(ii)
.
x , y H , x sym(y ) H
H 1 H 2 est un sous-groupe de (G , ) .
f (A) f (B ) = AB .
Prop : Lensemble I des isomtries du plan est un sous-groupe de (S(P ), ) .
-3/7-
3) Morphisme de groupes
Soit (G , ) , (G , ) et (G , ) trois groupes dlments neutres e ,e et e .
a) dfinition
(G , ) .
:G G telle que : x , y G , f (x y ) = f (x ) f (y ) .
(image de la compose est la compose des images).
Si f est bijective, on dite que f est un isomorphisme.
Si (G , ) = (G , ) , on dit que f est un endomorphisme.
Thorme :
Soit f : G G un morphisme de groupes.
+ f est surjective ssi Im f = G ,
+ f est injective ssi ker f = {e } .
d) morphisme gomtrique
P le plan gomtrique
Prop : Soit a G . :
est un morphisme de groupes.
n a
b) proprits
x G , p , f (x
n
) = ( f (x ))
et
x1 ,, x n G , f ( x i ) = f (x i ) .
i =1
i =1
Prop : Soit f : G G .
c) noyau et image
symtrique dordre n .
(G , ) .
1
2
... n
pour visualiser laction
Df : Pour Sn , on note =
(1) (2) ... (n )
de .
(G , ) .
-4/7-
2) Cycles
Soit p tel que 2 p n .
Soit a1 ,...,a p une liste de p lments deux deux distincts de n .
Thorme :
Lapplication : Sn {1,1} est un morphisme du groupe (Sn , ) sur
({1,1} ,) .
Cor : Ainsi (1 p ) = (1 ) (p ) .
... a p ) .
p , ( p ) = ( ) p et en particulier ( 1 ) = ( ) .
a (b c ) = (a b ) (a c ) (distributivit gauche)
et (b c ) a = (b a ) (c a ) (distributivit droite).
Prop : Si (A, +,) est un anneau et n * alors (An , +,) est un anneau.
4) Elments inversibles
Prop : Si (A, +,) est un anneau et X un ensemble alors (F (X , A), +,) est un
anneau.
Df : Un lment a A est dit inversible ssi il est symtrisable pour i.e. ssi il
existe b A tel que ab = ba = 1A .
Cet lment b est alors unique, on lappelle inverse de a , on le note a 1 .
2) Sous-anneau
Df : On appelle sous-anneau dun anneau (A, +,) toute partie B incluse dans
A telle que :
1) 1A B ,
2) x , y B , x y B ,
3) x , y B , xy B .
Thorme :
Si B est un sous-anneau de (A, +,) alors (B , +,) est un anneau.
Prop : a A, 0 a = a 0 = 0 .
Prop : a ,b A, (a )b = (ab ) = a (b ) .
a ,b A, ab = 0A a = 0A ou b = 0A (implication dintgrit)
Prop : Dans un anneau (A, +,) sans diviseurs de zro tout lment non nul est
rgulier.
c) idempotent et nilpotent
Prop : a ,b A, (a + b ) = a + ab + ba + b , (a + b ) = ...
Thorme : (Formule du binme de Newton)
Soit a ,b A tels que a et b commutent.
n
()
n , (a + b )n = n a n kb k .
k
k =0
V. Corps
Thorme :
Soit a ,b A tels que a et b commutent.
1) Dfinition
n 1
n ,a b = (a b ) a
n
n 1k k
k =0
= (a b )(a n 1 + a n 2b + ... + ab n 2 + b n 1 )
-6/7-
2) Sous-corps
Soit (K , +,) un corps.
Df : On appelle sous-corps dun (K , +,) toute partie L de K telle que :
1) L est un sous-anneau de (K , +,) ,
2) x L \ {0K } , x 1 L .
Thorme :
Si L est un sous-corps de (K , +,) alors (L , +,) est un corps.
-7/7-