Téléchargez comme DOC, PDF, TXT ou lisez en ligne sur Scribd
Télécharger au format doc, pdf ou txt
Vous êtes sur la page 1/ 3
** Structures algbriques **
1 Loi de composition interne : a) Dfinition : Soit E un ensemble. On appelle loi de composition interne de E, note par exemple *, une opration qui permet d'associer, deux lments quelconques de E a et b, un troisime lment not a * b. Exemples : Les lois de compositions internes les plus courantes sont : + dans N ,Z ,Q ,R ou CC dans les mmes ensembles. dans les mmes ensembles. / dans Q *,R *, ou C *. div (division entire) dans N * ou Z *. o dans l'ensemble des applications de E dans E. dans l'ensemble E = P() des parties d'un ensemble . dans l'ensemble des parties d'un ensemble. (produit vectoriel) dans l'espace euclidien orient de dimension 3 b) Associativit : Soit E un ensemble muni d'une loi de composition interne note *. Cette loi est dite associative si : a E, b E, c E, (a * b) * c = a * (b * c) c) Commutativit : Soit E un ensemble muni d'une loi de composition interne note *. Cette loi est dite commutative si : a E, b E, a * b = a * b d) Elment neutre : Soit E muni d'une loi interne *. On dit que e est lment neutre de la loi * si : a E, a * e = e * a = a e) Elment symtrique :
Soit E muni d'une loi *, et d'un lment neutre e. On appelle symtrique d'un lment x un lment x' tel que : x * x' = x' * x = e 2 Dfinition d'un groupe : Un ensemble (G,*) est un groupe si : i) G est non vide. ii) * est une loi de composition interne. iii) * est associative. iv) * admet un lment neutre e. v) tout x de G admet un symtrique x'. Si, en outre, * est commutative, le groupe est dit commutatif ou ablien . 3 Sous-groupe : Dfinition : Soit (G,*) un groupe et G' une partie de G. On dit que G' est un sousgroupe de G si, muni de la loi *, (G',*) est un groupe. Il suffit de vrifier les proprits suivantes : * G' est non vide * G' est stable pour * (ce qui signifie que * est une loi interne G') : x G', y G', x * y G' 4 Morphismes, Exemples : Dfinition : Soit (G,*) et (G',#) deux groupes. On appelle morphisme (respectivement isomorphisme) de G dans G' toute application f (respectivement toute application bijective) vrifiant : x G, y G, f(x * y) = f(x) # f(y) 5 Proprits des morphismes : On pourra vrifier les proprits suivantes sur les exemples de morphismes vus prcdemment. * Si e est le neutre de G, alors f(e) est le neutre de G'. En effet, si e' est le neutre de G' : f(e) = f(e * e) = f(e) # f(e) et d'autre part, f(e) = f(e) # e' f(e) # f(e) = f(e) # e', et en composant gauche par f(e)1, on obtient f(e) = e' En effet : -DEFINITION : On appelle noyau de f l'ensemble Ker f = {x | f(x) = e'}. Alors : i) Ker f est un sousgroupe de G. ii) f est injective si et seulement si Ker f = {e}.
* x G, f(x1) = f(x)1. f(x1) # f(x) = f(x1 * x) = f(e) = e'
Dmonstration : i) est laiss au lecteur. Montrons ii). Si f est injective, alors e' a au plus un antcdent. Or e est un antcdent de e'. Donc Ker f = {e}. Rciproquement, si Ker f = {e}, alors : f(x) = f(y) f(x) # f(y)1 = e' f(x) # f(y1) = e' f(x * y1) = e' x * y1 Ker f x * y1 = e x = y. -DEFINITION : On appelle image de f l'ensemble Im(f) = {y | x, f(x) = y}. Alors : i) Im f est un sousgroupe de G'. ii) f est surjective si et seulement si Im(f) = G'. 6 Anneaux et corps : Un anneau (A, +, ) est un ensemble non vide muni de deux lois + et vrifiant les proprits suivantes : (A, +) est un groupe commutatif. Son neutre est not 0. est une loi associative possdant un lment neutre, et distributive par rapport l'addition, i.e. : a, b, c, a (b + c) = ab + ac et (b + c) a = ba + ca Il en rsulte que 0 est ncessairement absorbant. Soit x un lment quelconque. On a : x 0 = x (0 + 0) = x 0 + x 0 0 = x 0 en simplifiant par x 0 De mme, 0 x = 0. 0 ne peut donc avoir de symtrique pour le produit. Si tout lment non nul admet un symtrique pour le produit, l'ensemble considr est un corps ; on rserve en gnral cette appellation au cas o, de plus, le produit est commutatif. A' est un sous-anneau de A si A' est inclus dans A, si (A', +, ) est un anneau ; on convient galement que le neutre de A et de A' est identique.
