DERIVATION MODULES OF GROUP RINGS AND INTEGERS OF CYCLOTOMIC FIELDS

  • Chung, I.Y. (Dept. of Mathematical Sciences, University of Cincinnati)
  • Published : 1983.04.01

Abstract

Let R be a commutative ring with 1, and A a unitary commutative R-algebra. By a derivation module of A, we mean a pair (M, d), where M is an A-module and d: A.rarw.M and R-derivation, i.e., d is an R-linear mapping such that d(ab)=a)db)+b(da). A derivation module homomorphism f:(M,d).rarw.(N, .delta.) is an A-homomorphism f:M.rarw.N such that f.d=.delta.. A derivation module of A, (U, d), there exists a unique derivation module homomorphism f:(U, d).rarw.(M,.delta.). In fact, a universal derivation module of A exists in the category of derivation modules of A, and is unique up to unique derivation module isomorphisms [2, pp. 101]. When (U,d) is a universal derivation module of R-algebra A, the A-module U is denoted by U(A/R). For out convenience, U(A/R) will also be called a universal derivation module of A, and d the R-derivation corresponding to U(A/R).

Keywords