PlanetPhysics/Center of Abelian Category

Let be an abelian category. Then one also has the identity morphism (or identity functor) . One defines the center of the Abelian category Failed to parse (syntax error): {\displaystyle \mathcal{A } } by

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. \begin{theorem} {\mathbf Associative Algebra Lemma}

If is a associative algebra then its center \end{theorem}