Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

Anneau euclidien

Posté par
fusionfroide
09-03-08 à 17:08

Salut

J'aimerai eclaircir quelques points.

J'étudie la preuve de la porposition : tout anneau euclidien est principal.

Donc pas de problème de compréhension, sinon à la fin :

On considère en fait dans la preuve un idéal I non réduit à 0.
A la fin, on trouve que y=qx_0 avec y\in I, x_0 \in I privé de 0 et q \in A

Donc on a bien : I \subset Ax_0

Par contre, est-ce trivial que Ax_0\in \subset I ?

Pour la définition d'idéal principal, j'ai que A=(a)

Mais (a) c'est quoi comme ensemble ? {a^n/n dans Z} ??

Désolé pour ces questions un peu bêtes mais je ne maîtrise pas encore toutes ces notions.

Merci

Posté par
kaiser Moderateur
re : Anneau euclidien 09-03-08 à 17:15

re

Citation :
Par contre, est-ce trivial que Ax_0 \subsetI ?


oui, parce que I et un idéal.

Citation :
Pour la définition d'idéal principal, j'ai que A=(a)Mais (a) c'est quoi comme ensemble ? {a^n/n dans Z} ??


non, c'est l'ensemble des xa avec x dans A si A est supposé commutatif.

Kaiser

Posté par
Camélia Correcteur
re : Anneau euclidien 09-03-08 à 17:15

Bonjour

Justement (a)=Aa. Il s'agit du plus petit idéal qui contient a. Il faut bien que xa soit dedans pour tout x, donc Aa(a). Par ailleurs on vérifie que Aa est un idéal, et comme (a) est le plus petit, on a bien (a)(a).

Dans Z, (a)=aZ.

De tout ça il résulte que si x0 est dans un idéal I, on a Ax0I.

Posté par
Camélia Correcteur
re : Anneau euclidien 09-03-08 à 17:16

En retard! je ne sais plus si j'ai dit "Bonjour" à kaiser aujourd'hui, mais maintenant je dis Au revoir!

Posté par
fusionfroide
re : Anneau euclidien 09-03-08 à 17:16

Merci à vous

Posté par
fusionfroide
re : Anneau euclidien 09-03-08 à 17:20

Citation :
Il s'agit du plus petit idéal qui contient a. Il faut bien que xa soit dedans pour tout x


Ok il s'agit bien du plus petit idéal qui contient a.
Pourquoi cela implique-t-il que xa soit dans (a) ?

Posté par
fusionfroide
re : Anneau euclidien 09-03-08 à 17:21

Ah c'est par définition de (a) tout simplement, non ?

Posté par
kaiser Moderateur
re : Anneau euclidien 09-03-08 à 17:24

Salut Camélia (et au revoir ! )

Kaiser

Posté par
kaiser Moderateur
re : Anneau euclidien 09-03-08 à 17:24

Citation :
Ah c'est par définition de (a) tout simplement, non ?


oui, car c'est un idéal.

Kaiser

Posté par
fusionfroide
re : Anneau euclidien 09-03-08 à 17:27

OK

Puis-je raisonner également ainsi :

On a x_0 dans I. Or, Ax_0 est le plus petit idéal contenant x_0, donc Ax_0 \subset I

En fait ça revient à ce que vous m'avez dit en gros...

Posté par
fusionfroide
re : Anneau euclidien 09-03-08 à 17:28

Ok je viens de comprendre ton post de 17h15

Désolé

Posté par
fusionfroide
re : Anneau euclidien 09-03-08 à 17:29

C'est effectivement trivial !



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 !