Difference between revisions of "Jacobson category"
(Importing text file) |
m (link) |
||
Line 7: | Line 7: | ||
3) regular epimorphisms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/j/j110/j110020/j1100204.png" /> are universal, i.e., stable under pull-backs along any morphism (cf. also [[Morphism|Morphism]]); | 3) regular epimorphisms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/j/j110/j110020/j1100204.png" /> are universal, i.e., stable under pull-backs along any morphism (cf. also [[Morphism|Morphism]]); | ||
− | 4) the terminal object of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/j/j110/j110020/j1100205.png" /> is finitely presentable and has no proper subobject; | + | 4) the [[terminal object]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/j/j110/j110020/j1100205.png" /> is finitely presentable and has no proper subobject; |
5) the product of two objects in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/j/j110/j110020/j1100206.png" /> is co-universal, i.e., stable under pushouts along any morphism. | 5) the product of two objects in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/j/j110/j110020/j1100206.png" /> is co-universal, i.e., stable under pushouts along any morphism. |
Revision as of 20:58, 21 December 2017
An abstract model of the category of Jacobson-commutative algebras (cf. Commutative algebra). It is a special instance of a Zariski category. To be precise, it a Zariski category in which all objects are Jacobson objects, i.e., objects whose prime congruences are meets of maximal congruences. Jacobson categories are axiomatically defined as categories satisfying the following five axioms:
1) is co-complete, i.e., has all small colimits;
2) has a strong generating set of objects whose objects are finitely presentable and directly co-disjunctable;
3) regular epimorphisms in are universal, i.e., stable under pull-backs along any morphism (cf. also Morphism);
4) the terminal object of is finitely presentable and has no proper subobject;
5) the product of two objects in is co-universal, i.e., stable under pushouts along any morphism.
The notion of a directly co-disjunctable object used in 2) is defined as follows. A morphism in
is a direct factor morphism if there is a morphism
in
such that
is a product of objects in
. An object
is directly co-disjunctable if the pair of inductions
of
into its coproduct by itself has a co-disjunctor (cf. Zariski category) that is a direct factor morphism.
What makes Jacobson categories special is the fact that co-disjunctors are co-equalizers or, more concretely, that algebras of fractions are quotient algebras. It follows that integral or local reduced algebras are fields, that reduced algebras are von Neumann regular (cf. also Regular ring (in the sense of von Neumann)), that prime ideals are maximal, that prime spectra are Hausdorff and Boolean spaces, that the set of finitely generated ideals of an algebra is equipped with, next to the usual addition and multiplication of ideals, an extra multiplication of ideals, giving it the structure of a Stone semi-algebra, etc.
A typical example of a Jacobson category is the category of algebraic commutative algebras over a commutative ring
(cf. also Algebraic algebra), i.e., algebras whose elements are algebraic over
. More generally, the category of algebraic objects of any Zariski category
is a Jacobson category, and is indeed the universal Jacobson category associated to
[a2].
References
[a1] | Y. Diers, "Jacobson categories" J. Algebra , 168 : 3 (1994) pp. 949–967 |
[a2] | Y. Diers, "Clear objects in categories of commutative algebras" J. Pure Appl. Algebra , 10 (1995) pp. 155–171 |
Jacobson category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Jacobson_category&oldid=12131