Universal derivations and universal ring constructions
Universal derivations and universal ring constructions
If a ϋΓ-ring S is constructed from a iΓ-ring R by adjoining certain new generators and relations, then the S-bimodule Ωκ(S) with a universal ϋΓ-derivation d: S -+Ω K (S) can be constructed from the corresponding ϋN-bimodule Ω K (R) by extending scalars to S, and adjoining formal derivatives of …