Coproducts and some universal ring constructions

Abstract

Let R be an algebra over a field k, and P, Q be two nonzero finitely generated projective .R-modules. By adjoining further generators and relations to R, one can obtain an extension S of R having a universal isomorphism of modules, i: PRS s Q <8)R S