Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

Radical d'un idéal

Posté par
CC_
14-11-07 à 21:57

Bonjour,

Je bloque un peu sur un point de détail dans un exo.
On se donne un anneau A. Il s'agit de montrer que le radical d'un idéal I, défini par : \sqrt{I} = \{x \in A | \exists n, x^n \in I \} ; est un idéal de A.

Le seul point qui me chagrine un peu est de prouver c'est un sous-groupe additif de A. Plus précisément, je n'arrive pas à montrer que si x est dans \sqrt{I}, alors -x est dans \sqrt{I}.

J'arrive seulement à dire : si x est dans \sqrt{I}, alors x^n \in I. Or comme I est un groupe (car un idéal), on a -x^n \in I. Mais cela ne signifie pas que -x \in \sqrt{I}...

Alors comment faire? Merci!

Posté par
Rodrigo
re : Radical d'un idéal 14-11-07 à 22:08

Bonsoir,
Distingue les cas n pair et n impair

Posté par
CC_
re : Radical d'un idéal 14-11-07 à 22:56

Bonsoir Rodrigues,

J'y avais effectivement pensé, mais je crois que derrière cette question se cache une beaucoup plus grave incompréhension de ma part quant à la théorie générale des anneaux.

Par exemple, si n est impair, peut-on écrire (-x)^n = (-1x)^n = (-1)^n x^n = -(x^n)?
Cela peut sembler automatique à cause des habitudes prises depuis le collège. Mais quand je creuse, je ne trouve pas que cela soit évident... A l'aide quels axiomes ou de quelles propriétés justifier ce calcul?

La première égalité reste très mystérieuse pour moi. Elle sous-entend que -x n'est pas qu'une notation pour désigner l'inverse de x. Mais qu'en fait, on a bel et bien mathématiquement -x = -1x.
Mais alors, que représente le -1? Un entier relatif, ou l'inverse de l'élément 1 de l'anneau?

Bref, ce petit exo peut amener à se poser pas mal de questions... En tout cas, il montre que je suis loin d'avoir bien assimilé les notions de base du cours.

Posté par
CC_
re : Radical d'un idéal 14-11-07 à 23:07

Après avoir parcouru le cours de Ilemath.net, je vois donc qu'il s'agit bien de 1_A, l'élément neutre de A.

On a donc cette égalité là : -x = -1_A.x, qui ne figure pas de façon claire dans mon cours.
Et lorsqu'on la lit en Français, je trouve qu'il y a de quoi être perplexe : l'inverse d'un élément pour la loi +, est égal au produit de cet élément par l'inverse de [l'élément neutre de la loi .] pour la loi + ...

Ce me paraît quasi magique, dans la mesure où je ne vois pas comment retrouver cela à partir des axiomes de définition d'un anneau...

Posté par
H_aldnoer
re : Radical d'un idéal 14-11-07 à 23:14

-x est l'opposé de x pour la loi de groupe.
On a evidemment (-1)x=-x puisque (1+(-1)).x=0.x=0 soit x+(-1)x=0 donc (-1)x=-x

Posté par
CC_
re : Radical d'un idéal 14-11-07 à 23:21

Houla, ok... Pardon, mais j'suis un peu paumé avec ces anneaux. Autant ça allait à peu près avec les groupes, autant je "digère" mal le passage à deux lois internes... Il me faudra peut-être un peu de temps et de recul pour m'y habituer.

Donc, le calcul fait ci-dessus pour n impair est bien valable?

(Merci de votre patience en tout cas :p)

Posté par
H_aldnoer
re : Radical d'un idéal 14-11-07 à 23:27

bah oui je crois bien!

Posté par
CC_
re : Radical d'un idéal 14-11-07 à 23:32

Merci tout le monde, alors!

Vous êtes courageux d'assurer une permanence aussi tard, même pour les questions de cancre ^^

A bientôt!



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 !