Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Algèbre commutative - Le radical d'un ideal

Posté par
square09
08-03-08 à 18:26

Bonjour, voilà j'ai découvert dans des livres l'existence de radical d'ideaux et j'ai voulu faire la preuve des propositions proposées. J'ai réussi sauf une : montrer que le radical d'un ideal est un ideal. Je bloque pour montrer que (rad(I),+) est un sous groupe de (A,+). Comment montrer que pour a,b dans rad(I),a+b appartient à rad(I) aussi. Merci d'avance.  

Posté par
monrow Posteur d'énigmes
re : Algèbre commutative - Le radical d'un ideal 08-03-08 à 19:06

Bonjour

il suffit de montrer que Rad(I) est aussi un idéal

Posté par
square09
re : Algèbre commutative - Le radical d'un ideal 08-03-08 à 22:04

oui merci, je sais c'est la question du problème. Mais pour montrer que c'est un ideal il fautr montrer que c'est un sous groupe, c'est à dire, pour tout a et b dans rad(I) on a a-b dans rad(I)

Posté par
1 Schumi 1
re : Algèbre commutative - Le radical d'un ideal 09-03-08 à 08:31

Salut,

Une question toute bête en rapport avec ton titre:  est-il supposé commutatif?

Posté par
1 Schumi 1
re : Algèbre commutative - Le radical d'un ideal 09-03-08 à 08:32

Je parlais de A. Ma question c'est bien: "A est-il supposé commutatif,".

Posté par
square09
re : Algèbre commutative - Le radical d'un ideal 09-03-08 à 12:21

Non justement, on ne sait pas que l'anneau est commutatif donc on ne peut pas utiliser la formule du binome.

Posté par
Camélia Correcteur
re : Algèbre commutative - Le radical d'un ideal 09-03-08 à 16:32

Bonjour

Si l'anneau n'est pas commutatif, c'est faux! Dans l'anneau des matrices carrées à coefficients dans un corps, Rad({0}) est l'ensemble des matrices nilpotentes. Or la somme de deux matrices nilpotentes peut très bien ne pas l'être, elle peut même être inversible!

Posté par
square09
re : Algèbre commutative - Le radical d'un ideal 10-03-08 à 10:38

ok d'accord l'anneau est commutatif donc on peut utiliser la formule du binome. Mais quel indice prendre pour que (a+b)^n soit dans I.

Posté par
1 Schumi 1
re : Algèbre commutative - Le radical d'un ideal 10-03-08 à 10:51

Bon on suppose que pour "a" l'entier c'est "n" et pour "b" c'est "m".

Alors essaie avec n+m+1 ça devrait suffir.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !