Integrations and cohomology theory
type: Item
instance of: scholarly article
title: Integrations and cohomology theory
zbMATH Open document ID: 0569.16027
DOI: 10.1016/0022-4049(85)90056-8
published in: Journal of Pure and Applied Algebra
publication date: 1985-01-01T00:00:00Z
review text: This paper introduces integrations of one bimodule into another, a notion which extends that of derivation of a ring into a bimodule. Let \(\Lambda\) be a K-ring, i.e. a homomorphism \(i: K\to \Lambda\) of two associative rings with a unit. Let \(\Gamma\) be an associative ring. Given \(\Lambda\)- \(\Gamma\)-bimodules M and N, a left K-integration of M into N is a \(\Lambda\)-\(\Gamma\)-linear map \(f: \Lambda\) \(\otimes_ KM\to N\) satisfying \(f(\lambda_ 1\lambda_ 2x)=\lambda_ 1f(\lambda_ 2\otimes x)+f(\lambda_ 1\otimes \lambda_ 2x)\) for \(\lambda_ 1,\lambda_ 2\in \Lambda\), \(x\in M.\) It is shown that the left K-integrations of M into N correspond to K- derivations \(\Lambda \to Hom_{\Gamma}(M,N)\) under the natural isomorphism \(Hom_{K-\Gamma}(\Lambda \otimes_ KM,N)\to Hom_{K- K}(\Lambda,Hom_{\Gamma}(M,N))\). Thus given an integration f, \(f(\lambda \otimes x)=D(\lambda)(x)\) for some derivation D. Further it is shown that the relative bifunctor Ext for two bimodules, when suitably renumbered is the derived functor of derivations. This extends a result of Barr and Rinehart. Relatively projective and injective modules have a nice characterization in terms of integrations: a bimodule is relatively projective (injective) if and only if its universal (couniversal) integration is inner.
Mathematics Subject Classification ID: 16W20
Mathematics Subject Classification ID: 16E40
Mathematics Subject Classification ID: 16Exx
zbMATH DE Number: 3908631
zbMATH Keywords: integrations
zbMATH Keywords: bimodules
zbMATH Keywords: left K-integrations
zbMATH Keywords: K-derivations
zbMATH Keywords: relative bifunctor
zbMATH Keywords: derived functor of derivations
zbMATH Keywords: Relatively projective and injective modules
author: Mark Kleiner
reviewed by: Ann K. Boyle
MaRDI profile type: Publication
full work available at URL: 0022-4049(85)90056-8
OpenAlex ID: W2042286429
cites work: Cohomology as the Derived Functor of Derivations
cites work: On universal derivations
cites work: Q3760711
cites work: Q3240881
cites work: Q4115302
cites work: On semisimple extensions and separable extensions over non commutative rings
cites work: On the cohomology groups of an associative algebra
cites work: Relative Homological Algebra
cites work: The Dual Ring to a Coring with a Grouplike
cites work: A Matrix Representation for Associative Algebras. I
cites work: Q5343374
description: scientific article; zbMATH DE number 3908631