Minimal embeddings of central simple algebras (Q805714)

Le présent article peut être considéré comme un chapitre dans la théorie classique des algèbres simples centrales. Soit K un corps. Une algèbre simple centrale A/K de dimension finie sur son centre K s'écrit comme une algèbre de matrices \(M_ r(D)\) sur un corps gauche D de centre K. On définit l'indice \(i(A)=i(D)=\sqrt{[D:K]}\), puis \(ms(A)=r\) (ici \(ms=matrix\) size), enfin le degré \(\deg (A)=ri(A)=\sqrt{[A:K]}.\) Soit L/K une extension finie de corps, et A/L une algèbre simple centrale. Les auteurs s'intéressent aux K-algèbres simples centrales B dans lesquelles on peut plonger l'algèbre A (vue comme K-algèbre). Ils introduisent les invariants \(d_ K(A)=\min_ B\deg_ K(B)\); \(ms_ K(A)=\min_ Bms_ K(B)\). On a toujours l'inégalité \(\deg_ L(A).[L:K]\leq d_ K(A)\). Pour obtenir des informations plus précises, les auteurs introduisent d'autres invariants plus agréables. Le premier, \(r_ K(A)\), est le minimum des i(C) pour C/L simple centrale et de même classe que A dans le quotient de groupes de Brauer Br(L)/Res(Br(K)). Le second, \(e_ K(A)\), est l'exposant de la classe de A dans Br(L)/Res(Br(K)). Il y a aussi un troisième invariant, \(k_ K(A)\), utile dans l'étude de \(ms_ K(A)\). Les auteurs établissent la formule \(d_ K(A)=[L:K].\deg_ L(A).r_ k(A).\) Comme l'invariant \(r_ K(A)\) (à la différence de \(d_ K(A))\) se calcule composante p-primaire par composante p-primaire, cela permet aux auteurs de montrer que \(d_ K(A)\) divise \(\deg_ K(B)\) pour toute K- algèbre simple centrale B dans laquelle A se plonge. Ce résultat de divisibilité vaut aussi pour \(ms_ K(A)\), grâce à une formule analogue. Sur des corps raisonnables comme les corps de nombres, exposant et indice d'une algèbre simple centrale coïncident. Les auteurs font une analyse systématique de leurs invariants sur de tels corps. Ils montrent en particulier qu'alors \(d_ K(A)=e_ K(A)\) ou \(2e_ K(A)\), et montrent que l'égalité \(d_ K(A)=2e_ K(A)\), bien qu'exceptionnelle, peut être réalisée. Il y a des résultats analogues pour \(ms_ K(A)\) sur de tels corps.