On the theory of primitive rings (Q2647321): Difference between revisions

Le Réf. a montré [Bull. Soc. Math. Fr. 70, 46-75 (1942)] que tout anneau simple ayant des idéaux minimaux est isomorphe à un anneau \(\mathfrak F(E, E')\) défini comme suit: \(E\) est un espace vectoriel sur un corps \(K\), \(E'\) un sous-espace du dual de \(E\) tel que \((x, x') = 0\) pour tout \(x' \in E'\) entraîne \(x = 0\), \(\sigma(E, E')\) la topologie la moins fine sur \(E\) rendant continues toutes les formes linéaires \(x'\in E'\), \(\mathfrak F(E, E')\) l'anneau des endomorphismes de \(E\), continus pour \(\sigma(E, E')\) et de rang fini. L'A. étend ce résultat aux anneaux primitifs (c'est-à-dire isomorphes aux anneaux irréductibles d'endomorphismes de groupes abéliens): il prouve que tout anneau primitif ayant des idéaux minimaux est isomorphe à un anneau \(A\) d'endomorphismes de \(E\) continus pour \(\sigma(E, E')\), \(A\) contenant \(\mathfrak F(E, E')\); réciproquement, un tel anneau \(A\) est primitif. Il étend aussi à ces anneaux des propriétés topologiques des idéaux des anneaux simples données par le Réf. (loc. cit.), en ce qui concerne leur fermeture pour la topologie de la convergence simple dans \((E\).