lift

Next: monomial Up: FiniteFreeModule Previous: coefficient Contents Index

lift

$\begin{usage} lift(D,$\partial$)\\ lift($\sigma$,$\tau$) \end{usage}$

$\begin{signatures} lift: & (\htmlref{\texttt{Derivation}}{Derivation} R, V $\t... ...%\\ lift: & (R $\to$\ R, V $\to$\ \%) $\to$\ \% $\to$\ \%\\\end{signatures}$

$\begin{params} {\em D} & \htmlref{\texttt{Derivation}}{Derivation} R & A deriv... ... R\\ $\tau$\ & V $\to$\ \% & A morphism on the basis elements\\\end{params}$

$\begin{descr} lift(D,$\partial$) returns the derivation $\Delta$\ on \% given b... ...i a_i t_i}\right)} = \sum_i \sigma(a_i) \tau(t_i) \end{displaymath} \end{descr}$

$\begin{remarks} $\partial$\ must be a derivation, $\sigma$\ and $\tau$\ must be morphisms. \end{remarks}$

Manuel Bronstein 2000-12-13