Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
A, B modules sur R (commutatif, unitaire). Si P est une classe héréditaire de R-modules A de type dénombrable B ∈ P^⊥ pour tout G sous-module de type fini de A. (P^⊥ = { L | Ext^1_R(P,L)=0, P ∈ P }) alors Hom(A,B) est isomorphe à un produit direct de sous-modules de B. Généralisations. Exemples. Applications.