Definition 0.1
Let
be an abelian category. Then one also has the identity morphism (or identity functor)
. One defines the center of the Abelian category
by
Example 0.1
One can show that the center is
for any algebraic variety where
is the ring of global regular functions
on
and
is the Abelian category of coherent sheaves over
.
One can show also prove the following lemma.
Theorem 0.1Associative Algebra Lemma
If
is a associative algebra then its center
Contributors to this entry (in most recent order):