Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
121 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

QDV21: Le Seigneur des Anneaux (1er épisode)

Envoyé par Norbert Verdier 
QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
Bonjour,


Nous vous proposons une première QDV sur les anneaux, il y aura deux autres fils relatifs à ce thème par la suite, en quelque sorte ce sera une trilogie mathématique des anneaux.



Q0 : Dans quel groupe de heavy-metal chantait le père de l'actrice qui interprète le rôle d’Arwen dans la trilogie du Seigneur des Anneaux, réponse sans Gogol ou Wikiki souhaitée :)

Q1 : Quel mathématicien a créé le mot Anneau en algèbre.

Q2 : Exhiber au moins trois anneaux non commutatifs.

Q3 : Exhiber au moins trois anneaux commutatifs non euclidiens.

Q4 : Qui a créé la notion d'anneau euclidien ?

Q5 : Exhiber au moins trois anneaux euclidiens distincts.

Bernard p/o Le Comité Du Vendredi.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Q2: $(L(E),+,\circ )$
$(M_n(\K),+,\times )$
et l'anneau des quaternions.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
0) Aerosmith ?

1) Dedekind ?

5) $\Z$, $\R[X]$, $\Z$ ? (petit doute pour le dernier)
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Aerosmith.

Hilbert

Les endomorphismes, les quaternions et je suppose que si $A$ est un anneau non commutatif $A[X]$ ne l'´est pas non plus.

$\R[X,Y]/(X^{2}+Y^{2}+1)$, $\Z\[\frac{1+i\sqrt{19}}{2}\]$ et ?

? Eisenstein?

$\mathbb{F}_{p}$, $\Z$ et $\Z$ et $K[[X]]$.
JLT
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
La Q3 est facile parce qu'il suffit de trouver des anneaux non principaux, comme $\R[X,Y]$, $\R[X,Y,Z]$, $\R[X,Y,Z,T]$,... Il y a aussi beaucoup d'exemples d'anneaux d'entiers quadratiques non principaux :
[www.les-mathematiques.net]
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Q0 : egoroffski thumbs down Amédé

[attachment 27946 LivTyler50.jpg] et [attachment 27947 SteveTyler.jpg]


Aerosmith en concert.

L'avatar d'Alannaria est d'ailleurs Liv Tyler : [www.les-mathematiques.net]

Amicalement.



Edité 1 fois. La dernière correction date de il y a six années et a été effectuée par bs.


bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Re,

Q1 : thumbs down egoroffski pour Richard Dedekind.

Extrait de ORIGINES DE CERTAINS TERMES ET NOTATIONS MATHÉMATIQUES de Robert Ferréol. [mapage.noos.fr]:
"Les mots « anneau » et « corps » (sous la forme Ring et Körper) [sont dus] à l’Allemand Richard Dedekind en 1871 dans son livre : Lehrbuch des Algebra."
...Et pour le mot Anneau en français ?
[attachment 27948 Dedekind.jpg]

Richard Dedekind


Amicalement.



Edité 2 fois. La dernière correction date de il y a six années et a été effectuée par bs.


Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Attention, si quelqu'un dit qu'Aerosmith est du heavy metal et non du hard rock, une horde de métalleux va déferler sur le forum pour rétablir la vérité. :D

Le café est un breuvage qui fait dormir,
quand on n’en prend pas.
-+- Alphonse Allais -+-
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Re,

Q2 thumbs down bisam

Amédé : "je suppose que si $A$ est un anneau non commutatif $A[X]$ ne l'´est pas non plus", je suppose également.

Q0 Oui Nicolas, il me semble que le terme hard-rock n'est utilisé qu'en France, partout ailleurs c'est heavy-metal qui prévaut...

Amicalement.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
T'es sur que c'est pas Hilbert qui a employé le mot anneau en premier?
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Re,

Q1 : Amédé, je ne suis pas trop certain : dans le document de Robert Ferréol proposé en lien dans le message-réponse Q1, est mentionné Dedekind avec une référence. Possèdes-tu de ton côté une réfénce ?

Atendons d'autres réactions, merci.

Amicalement.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Re,

Q3 : Trois anneaux non euclidiens ?

thumbs down JLT : "la Q3 est facile parce qu'il suffit de trouver des anneaux non principaux, comme $\R[X,Y]$, $\R[X,Y,Z]$, $\R[X,Y,Z,T]$".

thumbs down Amédé : $\R[X,Y]/(X^{2}+Y^{2}+1)$ n'est pas un anneau euclidien [Référence et preuve : Perrin].

Amicalement.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Re,

Q4 : peut-être Eisenstein, mais je ne suis pas parvenu à trouver le nom du mathématicien ayant créé cette expression d'anneau euclidien. Ici aussi, attendons...

Amicalement.



Edité 1 fois. La dernière correction date de il y a six années et a été effectuée par bs.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Merci pour vos réponses, nous allons continuer à visiter le zoo des anneaux.

Q6 : Qui a créé la notion d'anneau principal ?

Q7 : Exhiber au moins trois anneaux principaux non euclidiens..

Q8 : Qui a créé la notion d'anneau factoriel ?

Q9 : Exhiber au moins trois anneaux factoriels non principaux.

Amicalement.



Edité 1 fois. La dernière correction date de il y a six années et a été effectuée par bs.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Re,

Q5 : Au moins trois anneaux euclidiens ? \begin{itemize}

\item egoroffski thumbs down Amédé pour $\Z$, $\Z$, $\R[X]$, $\mathbb{F}_{p}$, $K[[X]]$.

\item Rappels : l'anneau $A_{\K}$ des entiers d'un corps de nombres quadratiques $\K=\Q(\sqrt{d})$ est euclidien si et seulement si $d$ est l'une des $21$ valeurs suivantes :
$ -11, -7, -3, -2, -1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73.$

(Pour $d =$ –$1$, l'anneau $A_{\K}$ correspond aux entiers de Gauss $\Z$, pour $d =$ –$3$ l'anneau $A_{\K}$ correspond à $\Z[j]$, ce sont les entiers d'Eiseinstein et pour $d = 5$ l'anneau $A_{\K}$ est l'anneau $\Z[\Phi] ).$
Référence : OEIS A048981

\item Autre anneau euclidien : l'anneau des nombres décimaux.

\item Si $\K$ est un corps, $\K[X]$ est euclidien. [Perrin - corollaire 3.32] \end{itemize}

Amicalement.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Zahlbericht de David Hilbert chez Springer en anglais malheureusement.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
$Q_{7}$ $\Q(i)$ , $\Q(i\sqrt{2})$ et $\Q(i\sqrt{163})$.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Q9 : Z[X], Z[X,Y], Z[X,Y,Z] :P
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonsoir,

Q1 : Jean Dieudonné écrit dans son Abrégé d'Histoire des Mathématiques : "Le terme d'anneau ne sera introduit que par Hilbert en 1897."
[attachment 27979 hilbert.jpg]


Alors, Dedekind ou Hibert ?

Q7 : Trois anneaux principaux non euclidiens ? \begin{itemize}
\item $\R[X,Y]/(X^{2}+Y^{2}+1)$
Ref : Exercices de mathématiques pour l'agrégation - Algèbre 1 -- Francinou_Gianella -- Masson (pages 63 à 65).

\item L''anneau $A_{\K}$ des entiers d'un corps quadratique $\K=\Q(\sqrt{d})$ est principal et non euclidien pour $d = -19,\ -43,\ -67,\ -163$.
Pour ces valeurs de $d$, alors $A_{\K}= \Z\bigg[\dfrac{1+i\sqrt{-d}}{2}\bigg].$
Ref : Pour $d=-19$, exercice 17 dans ce pdf de Rennes.
\end{itemize}
Amicalement.

[Merci Alain pour la présentation du message :) ]
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonsoir,

Q10 : Exhiber trois anneaux non factoriels.

Q11 : Tout anneau principal est noethérien; merci d'exhiber des anneaux noethériens non principaux.

Amicalement.



Edité 5 fois. La dernière correction date de il y a six années et a été effectuée par bs.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Q11 : je pense à K[X,Y] ou à Z[X].

Le café est un breuvage qui fait dormir,
quand on n’en prend pas.
-+- Alphonse Allais -+-



Edité 1 fois. La dernière correction date de il y a six années et a été effectuée par nicolas.patrois.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Q9 : Trois anneaux factoriels non principaux thumbs down Nîmes-man \begin{itemize}

\item $\Z[X]$ avec preuve de Nîmes-man pour $\Z[X] $ : ici.

\item si $\K$ est un corps, pour $n \geq 2$, l'anneau des polynômes à $n$ indéterminées $\K[X_1,X_2,...,X_n]$ est factoriel et non principal.
\end{itemize}Amicalement.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
J'avais donc raison pour Hilbert! smoking smiley
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Les deux exemples donnés par bs peuvent se déduire du résultat suivant : si $A$ est factoriel, alors $A[X]$ l'est aussi. Ce résultat est connu dans la littérature, il me semble, sous le nom de théorème (ou lemme) de Gauss.


il existe un analogue de ce résultat pour les anneaux noethériens, connu, il me semble, sous le nom de théorème de la base de Hilbert : si $A$ est noethérien, alors $A[X]$ l'est aussi.


Dans les deux cas, cela donne des exemples d'anneaux non principaux qui soient factoriels et noethériens, puisqu'un anneau $A[X]$ est principal ssi il est euclidien ssi $A$ est un corps (donc cela répond à deux des questions de bs).


bs n'a pas encore demandé d'exemple d'anneau factoriel non noethérien, mais je sens que ça va venir, alors je prends de l'avance : si $A$ est factoriel (par exemple un corps), $A[X_1,X_2,\ldots,X_n,\ldots]$ (anneau de polynômes en une infinité d'indéterminées) convient.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
J'y pense, il demandera aussi probablement un exemple d'anneau noethérien non factoriel. J'en ai deux en tête, mais je laisse jouer les autres.
QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
Euh, je suis sans doute naïf, mais quel est le statut de $\mathbb{A}[X]$ si $\mathbb{A}$ n'est pas commutatif ? Il me semble que pour parler de polynômes on impose la commutativité de l'anneau de base, ne serait-ce que pour pourvoir faire un produit $(aX +b)(cX+d)=aXcX+aXd+bcX+cd$ me paraît assez impraticable, et je n'ai pas écrit le cas général d'un "polynôme" du premier degré $aX +bXc +Xd +e$ sans compter le fameux $x^2+1 = 0$ qui admet trois solutions dans $\mathbb{H}$

Amicalement
Volny
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
@Volny: si $A$ est quelconque, on demande que $X$ soit une indéterminée centrale, i.e. $aX=Xa$ pour tout $a\in A$.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonsoir,

On n'anticipe pas sur les questions à venir ;)

Parait que factoriel et noethérien n'ont aucun lien entre eux, de quoi remplir quatre nouvelles cages de notre zoo d'anneaux :

Q12 : Anneaux factoriels et noethériens.

Q13 : Anneaux factoriels non noethériens.

Q14 : Anneaux non factoriels et noethériens.

Q15 : Anneaux non factoriels et non noethériens.

Merci pour vos propositions.

Amicalement.



Edité 1 fois. La dernière correction date de il y a six années et a été effectuée par AD.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
{\bf Q12}: un anneau principal est noethérien et factoriel, $\Z[X_1,\ldots,X_n]$ est factoriel noethérien

{\bf Q13}:$\C[X_1,\ldots,X_n,\ldots]$ est factoriel non noethérien

{\bf Q14}: $\Z[i\sqrt{5}]$ est noethérien non factoriel, de même que $\Z[i\sqrt{d}]$ pour presque tout $d>0$ entier positif sans facteurs carrés sauf un nombre fini, ou $K[T^2,T^3]$ ($K$ corps).

{\bf Q15}: $\C[X_1,\ldots,X_n,\ldots]\times \C[X_1,\ldots,X_n,\ldots]$ est non noetherien et non factoriel (car non intègre), l'anneau des complexes algébriques entiers sur $\Z$ est intègre, non factoriel, et non noethérien. L'anneau des fonctions méromorphes est intègre non factoriel, non noethérien.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Q10 : Exhiber trois anneaux non factoriels. \begin{itemize}

\item voir Q14 et Q15.

\item $\R[X,Y]/(X^{2}+Y^{2}-1)$ n'est pas un anneau factoriel.
Ref : Exercices de mathématiques pour l'agrégation - Algèbre 1 -- Exercice : 2.28 -- Francinou_Gianella -- Masson
\end{itemize}

Q11 : Anneaux noethériens non principaux thumbs down Nicolas.


Comme le rappelle Nîmes-man ici , le théorème de transfert de Hilbert assure que : si $A$ est noethérien, alors $A[X]$ l'est aussi.

Conséquence : \begin{itemize}
\item $\Z[X]$ noethérien non principal.

\item si $\K$ est un corps, pour $n \geq 2$, l'anneau des polynômes à $n$ indéterminées $\K[X_1,X_2,...,X_n]$ est noethérien et non principal.
\end{itemize}Amicalement.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Pour {\bf Q11}, signalons deux compléments: un classique, et un moins classique qui a été démontré sur ce forum.

Soit $A$ un anneau commutatif unitaire. Alors:

- $A[X]$ est principal si et seulement si $A$ est un corps

- tous les idéaux de $A[X]$ sont principaux si et seulement si $A$ est un produit direct de corps.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Q12 - Q13 - Q14 - Q15 thumbs down Greg

Q12 : Anneaux factoriels et noethériens : \begin{itemize}

\item Un anneau principal est noethérien et factoriel : cela nous en fournit un gros paquet.

\item exemples d'anneaux factoriels et noethériens non principaux, suffit de relire Q9 et Q11 : \begin{itemize}
\item $\Z[X]$,
\item si $\K$ est un corps, pour $n \geq 2$, l'anneau des polynômes à $n$ indéterminées $\K[X_1,X_2,...,X_n]$, ou encore,
\item $\Z[X_1,\ldots,X_n].$
\end{itemize}
\end{itemize} Amicalement.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Q13 : Anneaux factoriels non noethériens :

Si $\K$ est un corps, $\K[X_1,\ldots,X_n,\ldots]$ est factoriel non noethérien.

C'est l'exemple que l'on retrouve dans tous les bons recueuils sur les anneaux. En connaissez-vous d'autres ?


Q14 : Anneaux non factoriels et noethériens.

Rappel : Un anneau principal ou un anneau factoriel se doit d'être intègre, ce qui n'est pas demandé à un anneau noethérien. \begin{itemize}
\item {\bf Q14(1)} Anneau noethérien et intègre non factoriel :
$\Z[i\sqrt{5}]$ est noethérien non factoriel, de même que $\Z[i\sqrt{d}]$ pour presque tout $d>0$ entier positif sans facteurs carrés sauf un nombre fini. [Réf : message de Greg plus haut]. $\Z[i\sqrt{5}]$ se rencontre par exemple chez Perrin, (Remarque 3.18).
Pour les autres anneaux du type $\Z[i\sqrt{d}]$ pour presque tout $d>0$..., peut-être une référence ? Merci.

\item {\bf Q14(2)} Anneau noethérien et non intègre donc non factoriel :

Exemples : ?
\end{itemize} Amicalement.
Une remarque sur
Citation

Anneau noethérien et intègre non factoriel

Il suffit de prendre tout anneau des entiers d'un corps de nombres algébrique dont le nombre de classes est $>1$. Ceux-ci sont des anneaux de Dedekind, donc noethériens, et comme le nombre de classes est $>1$, ils sont non principaux.

Cela en fait donc un paquet d'exemples...

Les exemples donnés ici sont des anneaux d'entiers de corps quadratiques imaginaires, dont on sait que seulement neuf d'entre eux ont un nombre de classes égal à $1$ (Baker, 1966 et Stark, 1967).
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Anneau noetherien non intègre : tout produit direct d'anneaux noethériens non triviaux (le produit d'anneaux noethérien est noethérien)

Un exemple rigolo concernant les anneaux factoriels: si $A_1$ et $A_2$ sont deux anneaux factoriels, alors, sauf erreur (j'ai fait ça vite fait sur un coin de table), tout élément non nul se décompose de manière unique en produit d'une unité et d'éléments irréductibles, à association et permutation près des facteurs. Mais il n'est pas pour autant factoriel, car non intègre.
bs
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour,

Merci pour vos réponses, petit résumé des réponses obtenues.

Q5, Q7, Q14(1) à travers l'anneau $A_{\K}$ des entiers des corps quadratiques imaginaires $\K=Q(i\sqrt{\mid d \mid}).$

Le problème du nombre de classes de Gauss pour les corps quadratiques imaginaires $\K=Q(i\sqrt{\mid d \mid})$ consiste à fournir pour chaque entier $n \geq 1$, la liste complète des corps quadratiques imaginaires dont l'anneau $A_{\K}$ des entiers a un nombre de classes égal à $n$.

Pour $n=1$, le problème a été résolu par Alan Baker (1966), Harold Stark (1967), Heegner (1952). Il n'existe que neuf corps quadratiques imaginaires dont l'anneau des entiers a un nombre de classes égal à $1$, ils correspondent aux valeurs de $d$ suivantes : $d \in \{-1,~ -2,~ -3,~ -7,~ -11,~-19, ~-43,~ -67, ~-163\}$. Ce sont les nombres de Heegner encore appelés nombres de Gauss : [oeis.org]

Pour ces neuf valeurs de $d$, l'anneau $A_{\K}$ des entiers du corps de nombres quadratiques $\K=\Q(i\sqrt{\mid d} \mid)$ est alors principal. Plus précisément : \begin{itemize}
\item {\bf Q5} : l'anneau $A_{\K}$ des entiers du corps de nombres quadratiques $\K=\Q(\sqrt{d})$ est euclidien si et seulement si $d \in \{-1,~-2,~-3,~-7,~-11\}$.
\item {\bf Q7} : l'anneau $A_{\K}$ des entiers du corps de nombres quadratiques $\K=\Q(\sqrt{d})$ est principal non euclidien si et seulement si $d \in \{-19,~-43,~-67,~-163\}$.
.\item {\bf Q14(1)} : pour toutes les autres valeurs de $d$ avec $\mid d \mid$ premier, l'anneau $A_{\K}$ des entiers du corps de nombres quadratiques $\K=\Q(\sqrt{d})$ n'est ni principal, ni factoriel mais noethérien et intègre; c'est à dire
pour $d$premier et $d \notin \{-1, -2, -3, -7, -11,-19, ~-43,~ -67, ~-163\} $ et donc
pour $d$ premier avec $d \in \{-5,~-13,~-17,~23,~-29,~-31,~-37,\dots\}$
\end{itemize}
Rappel : le problème de Mathématiques Générales de l'agrégation 1989 démontre quelques uns de ces résultats, quelques fils sur notre forum en font référence : [attachment 28072 AgregMatgn89.pdf]
Amicalement.
Rappelons aussi qu'Heegner avait annoncé une démonstration sur les corps quadratiques imaginaires principaux, mais sa preuve comportait quelques "sauts". Ne faisant pas tout à fait partie du "sérail", il a été proprement snobé par certains spécialistes de l'époque, et est mort sans que son travail fut réellement considéré à sa juste valeur. Il est aujourd'hui réhabilité comme le montre l'exemple des "nombres d'Heegner" dont parle bs ci-dessus.
Re: QDV21: Le Seigneur des Anneaux (1er épisode)
il y a six années
avatar
Bonjour

Souvenirs !

[www.les-mathematiques.net]



Edité 1 fois. La dernière correction date de il y a six années et a été effectuée par Bouzar.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 136 771, Messages: 1 322 716, Utilisateurs: 24 194.
Notre dernier utilisateur inscrit insulaeworld.


Ce forum
Discussions: 877, Messages: 11 299.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page