PlanetPhysics/Center of Abelian Category

From Wikiversity
Jump to navigation Jump to search

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 (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\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}