Bourbaki

Exercice 36, § 7

Algèbre, II, p. 198

It is set in small type as supplementary.

a) Soient K0K_0 un corps commutatif, K=K0(X)K = K_0(X) le corps des fractions rationnelles à une indéterminée sur K0K_0 (A, IV). On définit sur KK une structure de (K,K)(K, K)-bimodule, de la manière suivante: le produit t.ut.u d’un élément u∈Ku \in K par un opérateur à gauche t∈Kt \in K est la fraction rationnelle t(X)u(X)t(X)u(X); le produit u.tu.t de uu par un opérateur à droite t∈Kt \in K est la fraction rationnelle u(X)t(X2)u(X)t(X^2); la structure de KK-espace vectoriel à gauche (resp. à droite) ainsi définie sur KK est alors de dimension 1 (resp. de dimension 2). En déduire des exemples de (K,K)(K, K)-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 (K,K)(K, K)-bimodule EE dont les deux structures d’espace vectoriel aient même dimension, et tel qu’il existe un sous-bimodule FF de EE, dont les deux structures d’espace vectoriel n’aient pas même dimension.*

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.