logo IMB
Retour

Séminaire de Théorie des Nombres

Algèbres de matrices euclidiennes

Pierre Lezowski

( Université Blaise Pascal )

Salle 1

le 06 novembre 2015 à 14:00

Soit RR un anneau commutatif et nn un entier naturel strictement positif. On montre que l'algèbre de matrices Mn(R)M_n(R) est euclidienne si et seulement si RR est un anneau principal. Une preuve constructive de ce résultat donne des informations sur le type d'ordre euclidien de Mn(R)M_n(R), comme défini par Clark. Par ailleurs, nous verrons quelles hypothèses sur RR permettent de calculer effectivement un algorithme d'Euclide dans Mn(R)M_n(R). Nous verrons aussi comment obtenir des suites de divisions courtes. Enfin, nous nous intéresserons à certaines hypothèses plus faibles sur RR (anneau à diviseurs élémentaires ou anneau de Bézout) et nous verrons quelles propriétés euclidiennes sont vérifiées dans ces cas (euclidianité en kk ou ω\omega étapes).