Salle 1
le 06 novembre 2015 à 14:00
Soit
un anneau commutatif et
un entier naturel strictement positif. On montre que l'algèbre de matrices
est euclidienne si et seulement si
est un anneau principal. Une preuve constructive de ce résultat donne des informations sur le type d'ordre euclidien de
, comme défini par Clark. Par ailleurs, nous verrons quelles hypothèses sur
permettent de calculer effectivement un algorithme d'Euclide dans
. Nous verrons aussi comment obtenir des suites de divisions courtes. Enfin, nous nous intéresserons à certaines hypothèses plus faibles sur
(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
ou
étapes).