PlanetPhysics/Center of Abelian Category
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}