(partial) tilting module
Let be an associative, finite-dimensional algebra over a field . Throughout all modules are finite-dimensional.
A right -module is called a partial tilting module if the projective dimension of is at most () and .
Recall that if is an -module, then by we denote the class of all -modules which are direct sums of direct summands
of . Since Krull-Schmidt Theorem holds in the category
of finite-dimensional -modules, then this means, that if
for some indecomposable modules , then consists of all modules which are isomorphic
to
for some nonnegative integers .
A partial tiliting module is called a tilting module if there exists a short exact sequence
such that both . Here we treat the algebra is a right module via multiplication.
Note that every projective module is partial tilting. Also a projective module is tilting if and only if every indecomposable
direct summand of is a direct summand of .