Exercice 36, § 7
Algèbre, II, p. 198
It is set in small type as supplementary.
a) Soient un corps commutatif, le corps des fractions rationnelles à une indéterminée sur (A, IV). On définit sur une structure de -bimodule, de la manière suivante: le produit d’un élément par un opérateur à gauche est la fraction rationnelle ; le produit de par un opérateur à droite est la fraction rationnelle ; la structure de -espace vectoriel à gauche (resp. à droite) ainsi définie sur est alors de dimension 1 (resp. de dimension 2). En déduire des exemples de -bimodules tels que les dimensions des deux structures d’espace vectoriel d’un tel bimodule soient des entiers arbitraires. b) Déduire de a) un exemple de -bimodule dont les deux structures d’espace vectoriel aient même dimension, et tel qu’il existe un sous-bimodule de , dont les deux structures d’espace vectoriel n’aient pas même dimension.*
Solution
Aucune solution n’a encore été écrite.