• Aucun résultat trouvé

6.1 D´ eterminer toutes les structures d’anneaux possibles sur les ensembles ` a deux et trois ´ el´ ements. (On pourra commencer par chercher les structures possibles de groupe ab´ elien).

N/A
N/A
Protected

Academic year: 2022

Partager "6.1 D´ eterminer toutes les structures d’anneaux possibles sur les ensembles ` a deux et trois ´ el´ ements. (On pourra commencer par chercher les structures possibles de groupe ab´ elien)."

Copied!
3
0
0

Texte intégral

(1)

Universit´ e de Strasbourg Ann´ ee 2015/2016 D´ epartement de Math´ ematiques

L3- Alg` ebre S5 Feuille d’exercices 10

6.1 D´ eterminer toutes les structures d’anneaux possibles sur les ensembles ` a deux et trois ´ el´ ements. (On pourra commencer par chercher les structures possibles de groupe ab´ elien).

6.2 On consid` ere le groupe additif ( Z /4 Z , +). On suppose que ? est une multi- plication sur ce groupe qui est commutative, associative, et distributive sur l’addition. L’´ el´ ement 2 peut-il ˆ etre ´ el´ ement neutre de ? ? D´ eterminer toutes les structures d’anneau sur Z /4 Z .

6.3 On consid` ere le groupe additif Z /2 Z × Z /2 Z . On le munit d’une loi ? qui en fait un anneau. On nomme ses ´ el´ ements 0, 1, a, b (0 et 1 sont respectivement les ´ el´ ements neutres pour + et ?).

— Montrer que a + b = 1.

— On suppose qu’un des ´ el´ ements, disons a, est de carr´ e nul. Montrer qu’alors ab = a et b

2

= 1.

— On suppose que a

2

et b

2

6= 0 mais que ab = 0. Montrer qu’alors a

2

= a et b

2

= b. Montrer que l’anneau obtenu est isomorphe ` a l’anneau produit ( Z /2 Z , +, ·) × ( Z /2 Z , +, ·).

— On suppose maintenant que a

2

, b

2

et ab sont non nuls. Montrer qu’alors a

2

= b, b

2

= a et ab = 1. Montrer que l’anneau obtenu est un corps.

— Montrer qu’il existe un unique (` a isomorphisme pr` es) corps ` a quatre

´ el´ ements.

6.7 Anneaux de Boole. On dit qu’un anneau A est un anneau de Boole si, pour tout x ∈ A, on a x

2

= x. On ne suppose pas ici a priori que A est commutatif, ni qu’il est unitaire.

(a) V´ erifier que ( Z /2 Z , +, ×) est un anneau de Boole.

1

(2)

(b) Soit E un ensemble. On note P (E) l’ensemble des parties de E. On reprend la loi ∆ de l’exercice 1.2 :

A∆B = A ∪ B − A ∩ B,

pour A, B ∈ P (E). V´ erifier que (P (E), ∆, ∩) est un anneau de Boole.

(c) Soit A un anneau de Boole. Montrer que l’on a x + x = 0 pour tout x ∈ A.

(d) Montrer que tout anneau de Boole est commutatif.

(e) Soit A un anneau de Boole. Soient x et y des ´ el´ ements de A. Calculer xy(x + y). En d´ eduire qu’un anneau de Boole ayant au moins trois

´ el´ ements ne peut pas ˆ etre int` egre.

6.8 Soit A un anneau (commutatif mais pas n´ ecessairement unitaire). On munit B = A × Z des lois

(a, m) + (b, n) = (a + b, m + n) et (a, m) · (b, n) = (mb + na + ab, mn).

Montrer que B est un anneau (commutatif et unitaire).

6.12 On consid` ere l’ensemble Z [i] des nombres complexes de la forme a + ib avec a, b ∈ Z . Montrer que Z [i] est un sous-anneau de C . Soit U le sous-groupe des unit´ es de Z [i].

(a) Montrer que l’application norme N : U → R

+

est un morphisme de groupes.

(b) Montrer que U est l’ensemble des ´ el´ ements de Z [i] de norme 1.

6.14 Soit X un ensemble. On consid` ere l’ensemble F(X) = {f : X → R }

de toutes les applications de X dans R , muni des lois + et · induites par celles de R . V´ erifier que (F (X), +, ·) est un anneau.

(a) Montrer que cet anneau est int` egre si X est r´ eduit ` a un ´ element.

(b) Montrer que cet anneau n’est pas int` egre si X est un ensemble de deux

´ el´ ements distincts.

2

(3)

(c) Montrer que si X contient au moins deux ´ el´ ements distincts alors cet anneau n’est pas int` egre.

6.16 Soit C( R , R ) l’anneau des applications continues de R dans R .

(a) Soit f : R → R telle que f

−1

(0) = ∅. Montrer que f est inversible dans C( R , R ). Quel est son inverse ?

(b) Soit f ∈ C( R , R ) telles que f

−1

(0) contienne un intervalle ouvert ]a, b[.

Montrer que f est diviseur de z´ ero dans C ( R , R ).

(c) (plus difficile). Soit f ∈ C( R , R ) telle que f

−1

(0) ne contienne aucun intervalle ouvert ]a, b[. Soit a ∈ R , et V = f

−1

( R

). Montrer qu’il existe une suite x

n

d’´ el´ ements de V qui converge vers a (on pourra proc´ eder par l’absurde). En d´ eduire que f h = 0, avec h ∈ C( R , R ), implique que h = 0 et donc que f n’est pas diviseur de 0 dans C ( R , R )

7.2 Montrer qu’il n’existe pas de morphisme d’anneau de Z /3 Z dans Z /4 Z . 7.6 Soit A un anneau (commutatif). Soit I un id´ eal de A. Montrer que les

conditions suivantes sont ´ equivalentes : (a) I = A ;

(b) I contient un ´ el´ ement inversible de A.

7.7 Soit A un anneau commutatif int` egre. Soient a et b des ´ el´ ements non nuls de A. On note (a) (resp. (b)) l’id´ eal de A engendr´ e par a (resp. b). Montrer que les conditions suivantes sont ´ equivalentes :

(a) on a (a) = (b) ;

(b) il existe un ´ el´ ement inversible u ∈ A tel que a = ub.

7.8 Montrer que l’ensemble

I = {P ∈ Z [X] | P (0) est divisible par 5}

est un id´ eal de l’anneau Z [X], contenant 5 et X. Montrer que l’id´ eal I n’est pas principal.

3

Références

Documents relatifs

(a) D’apr` es l’´ enonc´ e, la pi` ece est lanc´ ee trois fois ssi les deux premiers lancers donnent Face et le troisi` eme Pile, ou les trois premiers lancers

a) Pour un ensemble donn´ e A, on appelle cardinal de A la classe de tous les ensembles qui lui sont ´ equipotents (pour des raisons li´ ees ` a l’axiomatique de la th´ eorie

D´emontrer qu’il existe deux ordinateurs dans le r´eseau qui ont le mˆeme nombre de connexions (qui sont reli´es au mˆeme nombre d’ordinateurs).... Le r´esultat

On ouvrira le fichier tp1.v ` a l’aide de la commande coqide, on pourra alors le compl´ eter dans la fenˆ etre de script de CoqIDE et utiliser le bouton ⇓ pour commencer la

L’op´eration r´eciproque, de passage d’un arbre binaire de recherche `a un arbre balis´e, peut se faire en ajoutant d’abord des feuilles pour compl´eter l’arbre (au sens

El´ ements d’algorithmique. EA4 (3

Quels sont les ´ el´ ements nilpotents d’un anneau int`

Dans la logique du second ordre, on utilise un deuxi`eme type de variables, appel´ees variables du second ordre, qui repr´esentent des relations.. LIAFA, CNRS et Universit´ e