www.lirepdf.com
www.lirepdf.com
Alg`ebre 1-GROUPES David Harari
1.
G´ en´ eralit´ es
1.1.
D´ efinitions, premi` eres propri´ et´ es
D´ efinition 1.1 Un groupe (G, .) est la donn´ee d’un ensemble G et d’une loi interne (not´ee multiplicativement) G × G → G, (x, y) 7→ xy v´erifiant : 1. . est associative : pour tous x, y, z de G, on a (xy)z = x(yz). 2. . poss`ede un ´el´ement neutre (n´ecessairement unique), not´e e ou 1, i.e. : xe = ex = x pour tout x de G. 3. Tout ´el´ement x admet un sym´etrique (qui est forc´ement unique), c’esta`-dire un ´el´ement x0 tel que xx0 = x0 x = e. On note en g´en´eral x0 = x−1 et on dit que x0 est l’inverse de x. D´ efinition 1.2 On dit que G est ab´elien (ou commutatif) si on a de plus xy = yx pour tous x, y de G. Dans ce cas on notera souvent + la loi, 0 le neutre, et −x le sym´etrique de x qu’on appelle alors l’oppos´e de x. Remarques : • Si (G, +) est un groupe ab´elien, on peut noter x − y pour x + (−y) = (−x) + y. On se gardera par contre bien d’utiliser une notation du genre ”x/y” si G n’est pas ab´elien car on ne saurait pas si cela signifie xy −1 ou y −1 x. • Ne pas oublier de v´erifier les deux sens pour le neutre et le sym´etrique si on veut montrer que (G, .) est un groupe. • Si G et H sont deux groupes, l’ensemble G × H est muni ipso facto d’une structure de groupe d´efinie par (g, h).(g 0, h0 ) := (gg 0 , hh0 ). Ceci se g´en´eralise imm´ediatement a` une famille (pas forc´ement finie) de groupes. On dit que le groupe ainsi obtenu est le produit direct des groupes consid´er´es. 1