added tensor product of rings and enveloping algebra