![Page 1: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/1.jpg)
Semilocal categories, local functors andapplications
Alberto FacchiniUniversity of Padova, Italy
Lens, 1 July 2013
![Page 2: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/2.jpg)
Semilocal Rings
A ring R is semilocal if R/J(R) is semisimple artinian, that is, afinite direct product of rings of matrices over division rings.
If R is commutative,R semilocal ⇔ R has finitely many maximal ideals.
![Page 3: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/3.jpg)
Semilocal Rings
A ring R is semilocal if R/J(R) is semisimple artinian, that is, afinite direct product of rings of matrices over division rings.
If R is commutative,R semilocal ⇔ R has finitely many maximal ideals.
![Page 4: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/4.jpg)
Examples of endomorphism rings that are semilocal rings
I Endomorphism rings of artinian modules are semilocal rings.(Camps and Dicks)
I Endomorphism rings of finitely generated modules over asemilocal commutative ring are semilocal rings. (Warfield)
I Endomorphism rings of finitely presented modules over asemilocal ring are semilocal rings. (- and Herbera)
I A module is uniserial if its lattice of submodules is linearlyordered by ⊆. Endomorphism rings of finite direct sums ofuniserial modules are semilocal rings. (Herbera andShamsuddin)
I Endomorphism rings of modules of finite Goldie dimensionand finite dual Goldie dimension are semilocal rings. (Herberaand Shamsuddin)
![Page 5: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/5.jpg)
Examples of endomorphism rings that are semilocal rings
I Endomorphism rings of artinian modules are semilocal rings.(Camps and Dicks)
I Endomorphism rings of finitely generated modules over asemilocal commutative ring are semilocal rings. (Warfield)
I Endomorphism rings of finitely presented modules over asemilocal ring are semilocal rings. (- and Herbera)
I A module is uniserial if its lattice of submodules is linearlyordered by ⊆. Endomorphism rings of finite direct sums ofuniserial modules are semilocal rings. (Herbera andShamsuddin)
I Endomorphism rings of modules of finite Goldie dimensionand finite dual Goldie dimension are semilocal rings. (Herberaand Shamsuddin)
![Page 6: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/6.jpg)
Examples of endomorphism rings that are semilocal rings
I Endomorphism rings of artinian modules are semilocal rings.(Camps and Dicks)
I Endomorphism rings of finitely generated modules over asemilocal commutative ring are semilocal rings. (Warfield)
I Endomorphism rings of finitely presented modules over asemilocal ring are semilocal rings. (- and Herbera)
I A module is uniserial if its lattice of submodules is linearlyordered by ⊆. Endomorphism rings of finite direct sums ofuniserial modules are semilocal rings. (Herbera andShamsuddin)
I Endomorphism rings of modules of finite Goldie dimensionand finite dual Goldie dimension are semilocal rings. (Herberaand Shamsuddin)
![Page 7: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/7.jpg)
Examples of endomorphism rings that are semilocal rings
I Endomorphism rings of artinian modules are semilocal rings.(Camps and Dicks)
I Endomorphism rings of finitely generated modules over asemilocal commutative ring are semilocal rings. (Warfield)
I Endomorphism rings of finitely presented modules over asemilocal ring are semilocal rings. (- and Herbera)
I A module is uniserial if its lattice of submodules is linearlyordered by ⊆. Endomorphism rings of finite direct sums ofuniserial modules are semilocal rings. (Herbera andShamsuddin)
I Endomorphism rings of modules of finite Goldie dimensionand finite dual Goldie dimension are semilocal rings. (Herberaand Shamsuddin)
![Page 8: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/8.jpg)
Examples of endomorphism rings that are semilocal rings
I Endomorphism rings of artinian modules are semilocal rings.(Camps and Dicks)
I Endomorphism rings of finitely generated modules over asemilocal commutative ring are semilocal rings. (Warfield)
I Endomorphism rings of finitely presented modules over asemilocal ring are semilocal rings. (- and Herbera)
I A module is uniserial if its lattice of submodules is linearlyordered by ⊆. Endomorphism rings of finite direct sums ofuniserial modules are semilocal rings. (Herbera andShamsuddin)
I Endomorphism rings of modules of finite Goldie dimensionand finite dual Goldie dimension are semilocal rings. (Herberaand Shamsuddin)
![Page 9: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/9.jpg)
Examples of endomorphism rings that are semilocal rings
I Endomorphism rings of artinian modules are semilocal rings.(Camps and Dicks)
I Endomorphism rings of finitely generated modules over asemilocal commutative ring are semilocal rings. (Warfield)
I Endomorphism rings of finitely presented modules over asemilocal ring are semilocal rings. (- and Herbera)
I A module is uniserial if its lattice of submodules is linearlyordered by ⊆. Endomorphism rings of finite direct sums ofuniserial modules are semilocal rings. (Herbera andShamsuddin)
I Endomorphism rings of modules of finite Goldie dimensionand finite dual Goldie dimension are semilocal rings. (Herberaand Shamsuddin)
![Page 10: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/10.jpg)
Local Morphisms
A ring morphism ϕ : R → S is a local morphism if, for every r ∈ R,ϕ(r) invertible in S implies r invertible in R.
(First studied, in thenon-commutative setting, by P. M. Cohn in the case of S adivision ring.)
![Page 11: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/11.jpg)
Local Morphisms
A ring morphism ϕ : R → S is a local morphism if, for every r ∈ R,ϕ(r) invertible in S implies r invertible in R. (First studied, in thenon-commutative setting, by P. M. Cohn in the case of S adivision ring.)
![Page 12: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/12.jpg)
Semilocal Rings and Local Morphisms
Theorem(Camps and Dicks) A ring R is semilocal if and only if thereexists a local morphism R → S for some semilocal ring S, if andonly if there exists a local morphism R → S for some semisimpleartinian ring S.
![Page 13: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/13.jpg)
Rings of finite type
[F.-Prıhoda, 2011]
A special example of semilocal rings is given by rings of finite type,that is, the rings R with R/J(R) a finite direct product of divisionrings.
More precisely:
![Page 14: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/14.jpg)
Rings of finite type
[F.-Prıhoda, 2011]
A special example of semilocal rings is given by rings of finite type,that is, the rings R with R/J(R) a finite direct product of divisionrings.
More precisely:
![Page 15: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/15.jpg)
Rings of finite type
[F.-Prıhoda, 2011]
A special example of semilocal rings is given by rings of finite type,that is, the rings R with R/J(R) a finite direct product of divisionrings.
More precisely:
![Page 16: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/16.jpg)
Rings of type n
Proposition
Let S be a ring with Jacobson radical J(S) and n ≥ 1 be aninteger. The following conditions are equivalent:
(a) The ring S/J(S) is a direct product of n division rings.
(b) n is the smallest of the positive integers m for which there is alocal morphism of S into a direct product of m division rings.
(c) The ring S has exactly n distinct maximal right ideals, andthey are all two-sided ideals in S.
(d) The ring S has exactly n distinct maximal left ideals, and theyare all two-sided ideals in S.
A ring is said to be of type n if it satisfies the equivalent conditionsof the Proposition.
![Page 17: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/17.jpg)
Rings of type n
Proposition
Let S be a ring with Jacobson radical J(S) and n ≥ 1 be aninteger. The following conditions are equivalent:
(a) The ring S/J(S) is a direct product of n division rings.
(b) n is the smallest of the positive integers m for which there is alocal morphism of S into a direct product of m division rings.
(c) The ring S has exactly n distinct maximal right ideals, andthey are all two-sided ideals in S.
(d) The ring S has exactly n distinct maximal left ideals, and theyare all two-sided ideals in S.
A ring is said to be of type n if it satisfies the equivalent conditionsof the Proposition.
![Page 18: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/18.jpg)
Rings and modules of finite type
A ring is of finite type if it is of type n for some n ≥ 1.
A module is of type n if its endomorphism ring is a ring of type n.
A module is of finite type if it is of type n for some n.
![Page 19: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/19.jpg)
Rings and modules of finite type
A ring is of finite type if it is of type n for some n ≥ 1.
A module is of type n if its endomorphism ring is a ring of type n.
A module is of finite type if it is of type n for some n.
![Page 20: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/20.jpg)
Rings and modules of finite type
A ring is of finite type if it is of type n for some n ≥ 1.
A module is of type n if its endomorphism ring is a ring of type n.
A module is of finite type if it is of type n for some n.
![Page 21: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/21.jpg)
Examples of modules of finite type
A module has type 0 if and only if it is the zero module.
A module has type 1 if and only if its endomorphism ring is local.
A module has type 2 if and only if its endomorphism ring hasexactly two maximal right ideals, necessarily two-sided.
Uniserial modules are of type ≤ 2.
Cyclically presented modules over local rings are of type ≤ 2.
![Page 22: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/22.jpg)
Examples of modules of finite type
A module has type 0 if and only if it is the zero module.
A module has type 1 if and only if its endomorphism ring is local.
A module has type 2 if and only if its endomorphism ring hasexactly two maximal right ideals, necessarily two-sided.
Uniserial modules are of type ≤ 2.
Cyclically presented modules over local rings are of type ≤ 2.
![Page 23: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/23.jpg)
Examples of modules of finite type
A module has type 0 if and only if it is the zero module.
A module has type 1 if and only if its endomorphism ring is local.
A module has type 2 if and only if its endomorphism ring hasexactly two maximal right ideals, necessarily two-sided.
Uniserial modules are of type ≤ 2.
Cyclically presented modules over local rings are of type ≤ 2.
![Page 24: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/24.jpg)
Examples of modules of finite type
A module has type 0 if and only if it is the zero module.
A module has type 1 if and only if its endomorphism ring is local.
A module has type 2 if and only if its endomorphism ring hasexactly two maximal right ideals, necessarily two-sided.
Uniserial modules are of type ≤ 2.
Cyclically presented modules over local rings are of type ≤ 2.
![Page 25: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/25.jpg)
Examples of modules of finite type
A module has type 0 if and only if it is the zero module.
A module has type 1 if and only if its endomorphism ring is local.
A module has type 2 if and only if its endomorphism ring hasexactly two maximal right ideals, necessarily two-sided.
Uniserial modules are of type ≤ 2.
Cyclically presented modules over local rings are of type ≤ 2.
![Page 26: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/26.jpg)
Examples of modules of finite type
If f : E → E ′ is a homomorphism between injectiveindecomposable modules, then ker f is of type ≤ 2.
If f : P → P ′ is a homomorphism between couniform projectivemodules, then cokerf is of type ≤ 2.
A module MR is square-free if it does not contain a direct sum oftwo non-zero isomorphic submodules.
A finitely generated square-free semisimple module is a module offinite type.
![Page 27: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/27.jpg)
Examples of modules of finite type
If f : E → E ′ is a homomorphism between injectiveindecomposable modules, then ker f is of type ≤ 2.
If f : P → P ′ is a homomorphism between couniform projectivemodules, then cokerf is of type ≤ 2.
A module MR is square-free if it does not contain a direct sum oftwo non-zero isomorphic submodules.
A finitely generated square-free semisimple module is a module offinite type.
![Page 28: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/28.jpg)
Examples of modules of finite type
If f : E → E ′ is a homomorphism between injectiveindecomposable modules, then ker f is of type ≤ 2.
If f : P → P ′ is a homomorphism between couniform projectivemodules, then cokerf is of type ≤ 2.
A module MR is square-free if it does not contain a direct sum oftwo non-zero isomorphic submodules.
A finitely generated square-free semisimple module is a module offinite type.
![Page 29: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/29.jpg)
Examples of modules of finite type
If f : E → E ′ is a homomorphism between injectiveindecomposable modules, then ker f is of type ≤ 2.
If f : P → P ′ is a homomorphism between couniform projectivemodules, then cokerf is of type ≤ 2.
A module MR is square-free if it does not contain a direct sum oftwo non-zero isomorphic submodules.
A finitely generated square-free semisimple module is a module offinite type.
![Page 30: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/30.jpg)
Examples of modules of finite type
An injective module of finite Goldie dimension is of finite type ifand only if it is square-free.
If MR is an artinian module with a square-free socle, then MR is amodule of finite type.
If MR is a noetherian module with MR/MRJ(R) a semisimplesquare-free module, then MR is a module of finite type.
Let E ,E ′ be injective square-free modules of finite Goldiedimension and let ϕ : E → E ′ be a module morphism. Then kerϕis a module of finite type.
![Page 31: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/31.jpg)
Examples of modules of finite type
An injective module of finite Goldie dimension is of finite type ifand only if it is square-free.
If MR is an artinian module with a square-free socle, then MR is amodule of finite type.
If MR is a noetherian module with MR/MRJ(R) a semisimplesquare-free module, then MR is a module of finite type.
Let E ,E ′ be injective square-free modules of finite Goldiedimension and let ϕ : E → E ′ be a module morphism. Then kerϕis a module of finite type.
![Page 32: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/32.jpg)
Examples of modules of finite type
An injective module of finite Goldie dimension is of finite type ifand only if it is square-free.
If MR is an artinian module with a square-free socle, then MR is amodule of finite type.
If MR is a noetherian module with MR/MRJ(R) a semisimplesquare-free module, then MR is a module of finite type.
Let E ,E ′ be injective square-free modules of finite Goldiedimension and let ϕ : E → E ′ be a module morphism. Then kerϕis a module of finite type.
![Page 33: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/33.jpg)
Examples of modules of finite type
An injective module of finite Goldie dimension is of finite type ifand only if it is square-free.
If MR is an artinian module with a square-free socle, then MR is amodule of finite type.
If MR is a noetherian module with MR/MRJ(R) a semisimplesquare-free module, then MR is a module of finite type.
Let E ,E ′ be injective square-free modules of finite Goldiedimension and let ϕ : E → E ′ be a module morphism. Then kerϕis a module of finite type.
![Page 34: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/34.jpg)
Local Functors
An additive functor F : A → B between preadditive categories Aand B is said to be a local functor if, for every morphism f : A→ A′
in A, F (f ) isomorphism in B implies f isomorphism in A.
It must not be confused with isomorphism reflecting functor: forevery A,A′ objects of A, F (A) ∼= F (A′) implies A ∼= A′.
The functor −⊗Z Q of { f. g. free Z-modules } to vect-Q isisomorphism reflecting but not local.
The functor −⊗Z Z/pZ× soc of {Z/pZ,Z/p2Z} tovect-Z/pZ× vect-Z/pZ is local but not isomorphism reflecting.
![Page 35: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/35.jpg)
Local Functors
An additive functor F : A → B between preadditive categories Aand B is said to be a local functor if, for every morphism f : A→ A′
in A, F (f ) isomorphism in B implies f isomorphism in A.
It must not be confused with isomorphism reflecting functor: forevery A,A′ objects of A, F (A) ∼= F (A′) implies A ∼= A′.
The functor −⊗Z Q of { f. g. free Z-modules } to vect-Q isisomorphism reflecting but not local.
The functor −⊗Z Z/pZ× soc of {Z/pZ,Z/p2Z} tovect-Z/pZ× vect-Z/pZ is local but not isomorphism reflecting.
![Page 36: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/36.jpg)
Local Functors
An additive functor F : A → B between preadditive categories Aand B is said to be a local functor if, for every morphism f : A→ A′
in A, F (f ) isomorphism in B implies f isomorphism in A.
It must not be confused with isomorphism reflecting functor: forevery A,A′ objects of A, F (A) ∼= F (A′) implies A ∼= A′.
The functor −⊗Z Q of { f. g. free Z-modules } to vect-Q isisomorphism reflecting but not local.
The functor −⊗Z Z/pZ× soc of {Z/pZ,Z/p2Z} tovect-Z/pZ× vect-Z/pZ is local but not isomorphism reflecting.
![Page 37: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/37.jpg)
Local Functors
An additive functor F : A → B between preadditive categories Aand B is said to be a local functor if, for every morphism f : A→ A′
in A, F (f ) isomorphism in B implies f isomorphism in A.
It must not be confused with isomorphism reflecting functor: forevery A,A′ objects of A, F (A) ∼= F (A′) implies A ∼= A′.
The functor −⊗Z Q of { f. g. free Z-modules } to vect-Q isisomorphism reflecting but not local.
The functor −⊗Z Z/pZ× soc of {Z/pZ,Z/p2Z} tovect-Z/pZ× vect-Z/pZ is local but not isomorphism reflecting.
![Page 38: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/38.jpg)
Jacobon radical
LemmaLet A be a preadditive category and A,B objects of A. Thefollowing conditions are equivalent for a morphism f : A→ B:(a) 1A − gf has a left inverse for every morphism g : B → A;(b) 1B − fg has a left inverse for every morphism g : B → A;(c) 1A − gf has a two-sided inverse for every morphism g : B → A.
Let J (A,B) be the set of all morphisms f ∈ HomA(A,B)satisfying the equivalent conditions of the Lemma. Then J turnsout to be an ideal of the category A, called the Jacobson radicalof A.
![Page 39: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/39.jpg)
Jacobon radical
LemmaLet A be a preadditive category and A,B objects of A. Thefollowing conditions are equivalent for a morphism f : A→ B:(a) 1A − gf has a left inverse for every morphism g : B → A;(b) 1B − fg has a left inverse for every morphism g : B → A;(c) 1A − gf has a two-sided inverse for every morphism g : B → A.
Let J (A,B) be the set of all morphisms f ∈ HomA(A,B)satisfying the equivalent conditions of the Lemma. Then J turnsout to be an ideal of the category A, called the Jacobson radicalof A.
![Page 40: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/40.jpg)
Local Functors and Jacobson radical
I The canonical functor A → A/J , with A a preadditivecategory and J its Jacobson radical, is a local functor.
I More generally, if A is a preadditive category and I is anyideal of A contained in the Jacobson radical, the canonicalfunctor A → A/I is a local functor.
I Conversely, the kernel of any local functor F : A → B iscontained in the Jacobson radical of A.
I A full functor F : A → B is a local functor if and only if itskernel is contained in the Jacobson radical J of A.
![Page 41: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/41.jpg)
Local Functors and Jacobson radical
I The canonical functor A → A/J , with A a preadditivecategory and J its Jacobson radical, is a local functor.
I More generally, if A is a preadditive category and I is anyideal of A contained in the Jacobson radical, the canonicalfunctor A → A/I is a local functor.
I Conversely, the kernel of any local functor F : A → B iscontained in the Jacobson radical of A.
I A full functor F : A → B is a local functor if and only if itskernel is contained in the Jacobson radical J of A.
![Page 42: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/42.jpg)
Local Functors and Jacobson radical
I The canonical functor A → A/J , with A a preadditivecategory and J its Jacobson radical, is a local functor.
I More generally, if A is a preadditive category and I is anyideal of A contained in the Jacobson radical, the canonicalfunctor A → A/I is a local functor.
I Conversely, the kernel of any local functor F : A → B iscontained in the Jacobson radical of A.
I A full functor F : A → B is a local functor if and only if itskernel is contained in the Jacobson radical J of A.
![Page 43: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/43.jpg)
Local Functors and Jacobson radical
I The canonical functor A → A/J , with A a preadditivecategory and J its Jacobson radical, is a local functor.
I More generally, if A is a preadditive category and I is anyideal of A contained in the Jacobson radical, the canonicalfunctor A → A/I is a local functor.
I Conversely, the kernel of any local functor F : A → B iscontained in the Jacobson radical of A.
I A full functor F : A → B is a local functor if and only if itskernel is contained in the Jacobson radical J of A.
![Page 44: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/44.jpg)
The canonical functor A → A/I1 × · · · × A/In
[Alahmadi-F., 2013]
Problem: Let A be a preadditive category and let I1, . . . , In beideals of A.When is the canonical functor A → A/I1 × · · · × A/In a localfunctor?
![Page 45: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/45.jpg)
The canonical functor A → A/I1 × · · · × A/In
[Alahmadi-F., 2013]
Problem: Let A be a preadditive category and let I1, . . . , In beideals of A.
When is the canonical functor A → A/I1 × · · · × A/In a localfunctor?
![Page 46: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/46.jpg)
The canonical functor A → A/I1 × · · · × A/In
[Alahmadi-F., 2013]
Problem: Let A be a preadditive category and let I1, . . . , In beideals of A.When is the canonical functor A → A/I1 × · · · × A/In a localfunctor?
![Page 47: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/47.jpg)
For our problem, we will introduce non-commutative polynomialspn = pn(x , y1, . . . , yn) with coefficients in the ring Z of integers.
More precisely, let x , y1, y2, y3, . . . be infinitely manynon-commutative indeterminates over the ring Z. There is astrictly ascending chain
Z〈x , y1〉 ⊂ Z〈x , y1, y2〉 ⊂ Z〈x , y1, y2, y3〉 ⊂ . . .
of non-commutative integral domains, where Z〈x , y1, . . . , yn〉indicates the ring of polynomials in the non-commutativeindeterminates x , y1, . . . , yn with coefficients in Z.
![Page 48: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/48.jpg)
For our problem, we will introduce non-commutative polynomialspn = pn(x , y1, . . . , yn) with coefficients in the ring Z of integers.More precisely, let x , y1, y2, y3, . . . be infinitely manynon-commutative indeterminates over the ring Z.
There is astrictly ascending chain
Z〈x , y1〉 ⊂ Z〈x , y1, y2〉 ⊂ Z〈x , y1, y2, y3〉 ⊂ . . .
of non-commutative integral domains, where Z〈x , y1, . . . , yn〉indicates the ring of polynomials in the non-commutativeindeterminates x , y1, . . . , yn with coefficients in Z.
![Page 49: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/49.jpg)
For our problem, we will introduce non-commutative polynomialspn = pn(x , y1, . . . , yn) with coefficients in the ring Z of integers.More precisely, let x , y1, y2, y3, . . . be infinitely manynon-commutative indeterminates over the ring Z. There is astrictly ascending chain
Z〈x , y1〉 ⊂ Z〈x , y1, y2〉 ⊂ Z〈x , y1, y2, y3〉 ⊂ . . .
of non-commutative integral domains, where Z〈x , y1, . . . , yn〉indicates the ring of polynomials in the non-commutativeindeterminates x , y1, . . . , yn with coefficients in Z.
![Page 50: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/50.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z.
Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1. Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 51: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/51.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z. Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1.
Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 52: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/52.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z. Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1. Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 53: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/53.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z. Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1. Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:
(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 54: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/54.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z. Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1. Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.
(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 55: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/55.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z. Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1. Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.
(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 56: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/56.jpg)
Proposition
Let Z be the ring of integers and x , y1, y2, y3, . . . benon-commutative indeterminates over Z. Let Z〈x , y1, . . . , yn〉 bethe ring of non-commutative polynomials in the indeterminatesx , y1, . . . , yn with coefficients in Z for every n ≥ 1. Then thereexists, for each n ≥ 1, a unique polynomialpn = pn(x , y1, . . . , yn) ∈ Z〈x , y1, . . . , yn〉 such that
1− pnx = (1− y1x)(1− y2x) . . . (1− ynx). (1)
Moreover, the polynomials pn, n ≥ 1, have the following properties:(a) 1− xpn = (1− xy1)(1− xy2) . . . (1− xyn) for every n ≥ 1.(b) p1 = y1, and pn+1 = yn+1 + pn(1− xyn+1) for every n ≥ 1.(c)
pn =∑
1≤i≤n yi −∑
1≤i1<i2≤n yi1xyi2+
+∑
1≤i1<i2<i3≤n yi1xyi2xyi3 − · · ·+ (−1)n−1y1xy2x . . . xyn
for every n ≥ 1.
![Page 57: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/57.jpg)
Proposition
Let A be a preadditive category, and I1, . . . , In be ideals of A. Letf : A→ B be a morphism in A.
Assume that the image f : A→ Bof f in the factor category A/Ii is an isomorphism for everyi = 1, 2, . . . , n. Let gi : B → A be a morphism in A whose imagein A/Ii is the inverse of f in A/Ii , for all i = 1, 2, . . . , n. Thenthe image of f in A/I1 ∩ · · · ∩ In is an isomorphism. Its inverse inA/I1 ∩ · · · ∩ In is the image of the morphismpn(f , g1, . . . , gn) : B → A.
![Page 58: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/58.jpg)
Proposition
Let A be a preadditive category, and I1, . . . , In be ideals of A. Letf : A→ B be a morphism in A. Assume that the image f : A→ Bof f in the factor category A/Ii is an isomorphism for everyi = 1, 2, . . . , n.
Let gi : B → A be a morphism in A whose imagein A/Ii is the inverse of f in A/Ii , for all i = 1, 2, . . . , n. Thenthe image of f in A/I1 ∩ · · · ∩ In is an isomorphism. Its inverse inA/I1 ∩ · · · ∩ In is the image of the morphismpn(f , g1, . . . , gn) : B → A.
![Page 59: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/59.jpg)
Proposition
Let A be a preadditive category, and I1, . . . , In be ideals of A. Letf : A→ B be a morphism in A. Assume that the image f : A→ Bof f in the factor category A/Ii is an isomorphism for everyi = 1, 2, . . . , n. Let gi : B → A be a morphism in A whose imagein A/Ii is the inverse of f in A/Ii , for all i = 1, 2, . . . , n.
Thenthe image of f in A/I1 ∩ · · · ∩ In is an isomorphism. Its inverse inA/I1 ∩ · · · ∩ In is the image of the morphismpn(f , g1, . . . , gn) : B → A.
![Page 60: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/60.jpg)
Proposition
Let A be a preadditive category, and I1, . . . , In be ideals of A. Letf : A→ B be a morphism in A. Assume that the image f : A→ Bof f in the factor category A/Ii is an isomorphism for everyi = 1, 2, . . . , n. Let gi : B → A be a morphism in A whose imagein A/Ii is the inverse of f in A/Ii , for all i = 1, 2, . . . , n. Thenthe image of f in A/I1 ∩ · · · ∩ In is an isomorphism. Its inverse inA/I1 ∩ · · · ∩ In is the image of the morphismpn(f , g1, . . . , gn) : B → A.
![Page 61: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/61.jpg)
Theorem
The following conditions are equivalent for n ideals I1, . . . , In of apreadditive category A with Jacobson radical J :
(a) The canonical functor A → A/I1 × · · · × A/In is local.(b) The canonical functor A → A/I1 ∩ · · · ∩ In is local.(c) I1 ∩ · · · ∩ In ⊆ J .
![Page 62: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/62.jpg)
Theorem
The following conditions are equivalent for n ideals I1, . . . , In of apreadditive category A with Jacobson radical J :(a) The canonical functor A → A/I1 × · · · × A/In is local.
(b) The canonical functor A → A/I1 ∩ · · · ∩ In is local.(c) I1 ∩ · · · ∩ In ⊆ J .
![Page 63: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/63.jpg)
Theorem
The following conditions are equivalent for n ideals I1, . . . , In of apreadditive category A with Jacobson radical J :(a) The canonical functor A → A/I1 × · · · × A/In is local.(b) The canonical functor A → A/I1 ∩ · · · ∩ In is local.
(c) I1 ∩ · · · ∩ In ⊆ J .
![Page 64: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/64.jpg)
Theorem
The following conditions are equivalent for n ideals I1, . . . , In of apreadditive category A with Jacobson radical J :(a) The canonical functor A → A/I1 × · · · × A/In is local.(b) The canonical functor A → A/I1 ∩ · · · ∩ In is local.(c) I1 ∩ · · · ∩ In ⊆ J .
![Page 65: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/65.jpg)
Corollary
Let I1, . . . , In be n ideals of a preadditive category B, and let C bethe full subcategory of B whose objects are all the objects A of Bwith I1(A,A) ∩ · · · ∩ In(A,A) ⊆ J(EndB(A)).
Then the idealI1 ∩ · · · ∩ In restricted to the full subcategory C, is contained inthe Jacobson radical J of C, so that the canonical functorC : C → C/I1 × · · · × C/In is local. The category C turns out tobe the largest full subcategory of B with this property. Moreover, ifB is an additive category, then C is also an additive category, and ifB is additive and idempotents split in B, then idempotents splitalso in C.
![Page 66: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/66.jpg)
Corollary
Let I1, . . . , In be n ideals of a preadditive category B, and let C bethe full subcategory of B whose objects are all the objects A of Bwith I1(A,A) ∩ · · · ∩ In(A,A) ⊆ J(EndB(A)). Then the idealI1 ∩ · · · ∩ In restricted to the full subcategory C, is contained inthe Jacobson radical J of C, so that the canonical functorC : C → C/I1 × · · · × C/In is local.
The category C turns out tobe the largest full subcategory of B with this property. Moreover, ifB is an additive category, then C is also an additive category, and ifB is additive and idempotents split in B, then idempotents splitalso in C.
![Page 67: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/67.jpg)
Corollary
Let I1, . . . , In be n ideals of a preadditive category B, and let C bethe full subcategory of B whose objects are all the objects A of Bwith I1(A,A) ∩ · · · ∩ In(A,A) ⊆ J(EndB(A)). Then the idealI1 ∩ · · · ∩ In restricted to the full subcategory C, is contained inthe Jacobson radical J of C, so that the canonical functorC : C → C/I1 × · · · × C/In is local. The category C turns out tobe the largest full subcategory of B with this property.
Moreover, ifB is an additive category, then C is also an additive category, and ifB is additive and idempotents split in B, then idempotents splitalso in C.
![Page 68: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/68.jpg)
Corollary
Let I1, . . . , In be n ideals of a preadditive category B, and let C bethe full subcategory of B whose objects are all the objects A of Bwith I1(A,A) ∩ · · · ∩ In(A,A) ⊆ J(EndB(A)). Then the idealI1 ∩ · · · ∩ In restricted to the full subcategory C, is contained inthe Jacobson radical J of C, so that the canonical functorC : C → C/I1 × · · · × C/In is local. The category C turns out tobe the largest full subcategory of B with this property. Moreover, ifB is an additive category, then C is also an additive category, and ifB is additive and idempotents split in B, then idempotents splitalso in C.
![Page 69: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/69.jpg)
Semilocal Categories
A preadditive category A is a null category if all its objects arezero objects.
A preadditive category is semilocal if it is non-null and theendomorphism ring of every non-zero object is a semilocal ring.
![Page 70: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/70.jpg)
Semilocal Categories
A preadditive category A is a null category if all its objects arezero objects.
A preadditive category is semilocal if it is non-null and theendomorphism ring of every non-zero object is a semilocal ring.
![Page 71: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/71.jpg)
Examples of Full Semilocal Subcategories of Mod-R
I The full subcategory of all artinian right R-modules.
I The full subcategory of all finitely generated R-modules, for Ra semilocal commutative ring.
I The full subcategory of all finitely presented modules rightR-modules, for R a semilocal ring.
I The full subcategory of all serial modules of finite Goldiedimension.
I The full subcategory of all modules of finite Goldie dimensionand finite dual Goldie dimension.
![Page 72: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/72.jpg)
Examples of Full Semilocal Subcategories of Mod-R
I The full subcategory of all artinian right R-modules.
I The full subcategory of all finitely generated R-modules, for Ra semilocal commutative ring.
I The full subcategory of all finitely presented modules rightR-modules, for R a semilocal ring.
I The full subcategory of all serial modules of finite Goldiedimension.
I The full subcategory of all modules of finite Goldie dimensionand finite dual Goldie dimension.
![Page 73: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/73.jpg)
Examples of Full Semilocal Subcategories of Mod-R
I The full subcategory of all artinian right R-modules.
I The full subcategory of all finitely generated R-modules, for Ra semilocal commutative ring.
I The full subcategory of all finitely presented modules rightR-modules, for R a semilocal ring.
I The full subcategory of all serial modules of finite Goldiedimension.
I The full subcategory of all modules of finite Goldie dimensionand finite dual Goldie dimension.
![Page 74: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/74.jpg)
Examples of Full Semilocal Subcategories of Mod-R
I The full subcategory of all artinian right R-modules.
I The full subcategory of all finitely generated R-modules, for Ra semilocal commutative ring.
I The full subcategory of all finitely presented modules rightR-modules, for R a semilocal ring.
I The full subcategory of all serial modules of finite Goldiedimension.
I The full subcategory of all modules of finite Goldie dimensionand finite dual Goldie dimension.
![Page 75: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/75.jpg)
Examples of Full Semilocal Subcategories of Mod-R
I The full subcategory of all artinian right R-modules.
I The full subcategory of all finitely generated R-modules, for Ra semilocal commutative ring.
I The full subcategory of all finitely presented modules rightR-modules, for R a semilocal ring.
I The full subcategory of all serial modules of finite Goldiedimension.
I The full subcategory of all modules of finite Goldie dimensionand finite dual Goldie dimension.
![Page 76: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/76.jpg)
Examples of Full Semilocal Subcategories of Mod-R
I The full subcategory of all artinian right R-modules.
I The full subcategory of all finitely generated R-modules, for Ra semilocal commutative ring.
I The full subcategory of all finitely presented modules rightR-modules, for R a semilocal ring.
I The full subcategory of all serial modules of finite Goldiedimension.
I The full subcategory of all modules of finite Goldie dimensionand finite dual Goldie dimension.
![Page 77: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/77.jpg)
Local functors and maximal ideals
Proposition
Let A be a preadditive category and I1, . . . , In be finitely manyideals of A.(a) If the canonical functor A → A/I1 ×A/I2 × · · · × A/In is alocal functor, then every maximal ideal of A contains at least oneof the ideals Ii .(b) If the category A is semilocal and every maximal ideal of Acontains at least one of the ideals Ii , then the canonical functorA → A/I1 ×A/I2 × · · · × A/In is local.
Proposition
If C is a semilocal category, the canonical functorF : C → ⊕M∈Max(C)C/M is local.
![Page 78: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/78.jpg)
Local functors and maximal ideals
Proposition
Let A be a preadditive category and I1, . . . , In be finitely manyideals of A.(a) If the canonical functor A → A/I1 ×A/I2 × · · · × A/In is alocal functor, then every maximal ideal of A contains at least oneof the ideals Ii .
(b) If the category A is semilocal and every maximal ideal of Acontains at least one of the ideals Ii , then the canonical functorA → A/I1 ×A/I2 × · · · × A/In is local.
Proposition
If C is a semilocal category, the canonical functorF : C → ⊕M∈Max(C)C/M is local.
![Page 79: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/79.jpg)
Local functors and maximal ideals
Proposition
Let A be a preadditive category and I1, . . . , In be finitely manyideals of A.(a) If the canonical functor A → A/I1 ×A/I2 × · · · × A/In is alocal functor, then every maximal ideal of A contains at least oneof the ideals Ii .(b) If the category A is semilocal and every maximal ideal of Acontains at least one of the ideals Ii , then the canonical functorA → A/I1 ×A/I2 × · · · × A/In is local.
Proposition
If C is a semilocal category, the canonical functorF : C → ⊕M∈Max(C)C/M is local.
![Page 80: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/80.jpg)
Local functors and maximal ideals
Proposition
Let A be a preadditive category and I1, . . . , In be finitely manyideals of A.(a) If the canonical functor A → A/I1 ×A/I2 × · · · × A/In is alocal functor, then every maximal ideal of A contains at least oneof the ideals Ii .(b) If the category A is semilocal and every maximal ideal of Acontains at least one of the ideals Ii , then the canonical functorA → A/I1 ×A/I2 × · · · × A/In is local.
Proposition
If C is a semilocal category, the canonical functorF : C → ⊕M∈Max(C)C/M is local.
![Page 81: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/81.jpg)
Local functor implies isomorphism reflecting functor forsemilocal categories
TheoremIf A is a semilocal category and I1, . . . , In are ideals of A suchthat the canonical functor A → A/I1 × · · · × A/In is local, thentwo objects of A are isomorphic in A if and only if they areisomorphic in A/Ii for every i = 1, 2, . . . , n.
![Page 82: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/82.jpg)
Example 1
[Alahmadi-F., 2013]
R a ring, ideals in the category Mod-R.(1) The ideal ∆, defined by
∆(AR ,BR) := { f : AR → BR | ker f essential in AR }
for every pair AR ,BR of right R-modules.
(2) The ideal Σ, defined by
Σ(AR ,BR) := { f : AR → BR | f (AR) is superfluous in BR }
for every pair AR ,BR of right R-modules.
Notice that ∆ + Σ is not the improper ideal of Mod-R in general.For instance, if R is a division ring, then both ∆ and Σ are thezero ideal.
![Page 83: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/83.jpg)
Example 1
[Alahmadi-F., 2013]
R a ring, ideals in the category Mod-R.(1) The ideal ∆, defined by
∆(AR ,BR) := { f : AR → BR | ker f essential in AR }
for every pair AR ,BR of right R-modules.
(2) The ideal Σ, defined by
Σ(AR ,BR) := { f : AR → BR | f (AR) is superfluous in BR }
for every pair AR ,BR of right R-modules.
Notice that ∆ + Σ is not the improper ideal of Mod-R in general.For instance, if R is a division ring, then both ∆ and Σ are thezero ideal.
![Page 84: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/84.jpg)
Example 1
[Alahmadi-F., 2013]
R a ring, ideals in the category Mod-R.(1) The ideal ∆, defined by
∆(AR ,BR) := { f : AR → BR | ker f essential in AR }
for every pair AR ,BR of right R-modules.
(2) The ideal Σ, defined by
Σ(AR ,BR) := { f : AR → BR | f (AR) is superfluous in BR }
for every pair AR ,BR of right R-modules.
Notice that ∆ + Σ is not the improper ideal of Mod-R in general.For instance, if R is a division ring, then both ∆ and Σ are thezero ideal.
![Page 85: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/85.jpg)
Example 1
[Alahmadi-F., 2013]
R a ring, ideals in the category Mod-R.(1) The ideal ∆, defined by
∆(AR ,BR) := { f : AR → BR | ker f essential in AR }
for every pair AR ,BR of right R-modules.
(2) The ideal Σ, defined by
Σ(AR ,BR) := { f : AR → BR | f (AR) is superfluous in BR }
for every pair AR ,BR of right R-modules.
Notice that ∆ + Σ is not the improper ideal of Mod-R in general.For instance, if R is a division ring, then both ∆ and Σ are thezero ideal.
![Page 86: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/86.jpg)
Example 1
TheoremThe product functor Mod-R → Mod-R/∆×Mod-R/Σ is a localfunctor.
![Page 87: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/87.jpg)
Spectral Category (Gabriel and Oberst)
Let A be any Grothendieck category.
If A,A′ ∈ Ob(A), write A′ ≤e A for “A′ is an essential subobjectof A”.
The spectral category Spec A of A:• the same objects as A;• for objects A and B of A,
HomSpec A(A,B) := lim−→HomA(A′,B),
where the direct limit is taken over the family of all essentialsubobjects A′ of A.
![Page 88: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/88.jpg)
Spectral Category (Gabriel and Oberst)
Let A be any Grothendieck category.If A,A′ ∈ Ob(A), write A′ ≤e A for “A′ is an essential subobjectof A”.
The spectral category Spec A of A:• the same objects as A;• for objects A and B of A,
HomSpec A(A,B) := lim−→HomA(A′,B),
where the direct limit is taken over the family of all essentialsubobjects A′ of A.
![Page 89: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/89.jpg)
Spectral Category (Gabriel and Oberst)
Let A be any Grothendieck category.If A,A′ ∈ Ob(A), write A′ ≤e A for “A′ is an essential subobjectof A”.
The spectral category Spec A of A:
• the same objects as A;• for objects A and B of A,
HomSpec A(A,B) := lim−→HomA(A′,B),
where the direct limit is taken over the family of all essentialsubobjects A′ of A.
![Page 90: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/90.jpg)
Spectral Category (Gabriel and Oberst)
Let A be any Grothendieck category.If A,A′ ∈ Ob(A), write A′ ≤e A for “A′ is an essential subobjectof A”.
The spectral category Spec A of A:• the same objects as A;
• for objects A and B of A,
HomSpec A(A,B) := lim−→HomA(A′,B),
where the direct limit is taken over the family of all essentialsubobjects A′ of A.
![Page 91: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/91.jpg)
Spectral Category (Gabriel and Oberst)
Let A be any Grothendieck category.If A,A′ ∈ Ob(A), write A′ ≤e A for “A′ is an essential subobjectof A”.
The spectral category Spec A of A:• the same objects as A;• for objects A and B of A,
HomSpec A(A,B) := lim−→HomA(A′,B),
where the direct limit is taken over the family of all essentialsubobjects A′ of A.
![Page 92: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/92.jpg)
Spectral Category
The category Spec A turns out to be a Grothendieck category inwhich every exact sequence splits, that is, every object is bothprojective and injective.
There is a canonical, left exact, covariant, additive functorP : A → Spec A, which is the identity on objects and maps anymorphism f ∈ HomA(A,B) to its canonical image inHomSpec A(A,B).
The ideal ∆ is the kernel of the functor P.
![Page 93: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/93.jpg)
Spectral Category
The category Spec A turns out to be a Grothendieck category inwhich every exact sequence splits, that is, every object is bothprojective and injective.
There is a canonical, left exact, covariant, additive functorP : A → Spec A, which is the identity on objects and maps anymorphism f ∈ HomA(A,B) to its canonical image inHomSpec A(A,B).
The ideal ∆ is the kernel of the functor P.
![Page 94: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/94.jpg)
Spectral Category
The category Spec A turns out to be a Grothendieck category inwhich every exact sequence splits, that is, every object is bothprojective and injective.
There is a canonical, left exact, covariant, additive functorP : A → Spec A, which is the identity on objects and maps anymorphism f ∈ HomA(A,B) to its canonical image inHomSpec A(A,B).
The ideal ∆ is the kernel of the functor P.
![Page 95: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/95.jpg)
The Dual Construction (- and Herbera)
The construction of the spectral category can be dualized.
Let A be any Grothendieck category.If B,B ′ ∈ Ob(A), write B ′ ≤s B for “B ′ is a superfluous subobjectof B”.
The category A′:• the same objects as A;• for objects A and B of A,
HomA′(A,B) := lim−→HomA(A,B/B ′),
where the direct limit is taken over the family of all superfluoussubobjects B ′ of B.
![Page 96: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/96.jpg)
The Dual Construction (- and Herbera)
The construction of the spectral category can be dualized.
Let A be any Grothendieck category.
If B,B ′ ∈ Ob(A), write B ′ ≤s B for “B ′ is a superfluous subobjectof B”.
The category A′:• the same objects as A;• for objects A and B of A,
HomA′(A,B) := lim−→HomA(A,B/B ′),
where the direct limit is taken over the family of all superfluoussubobjects B ′ of B.
![Page 97: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/97.jpg)
The Dual Construction (- and Herbera)
The construction of the spectral category can be dualized.
Let A be any Grothendieck category.If B,B ′ ∈ Ob(A), write B ′ ≤s B for “B ′ is a superfluous subobjectof B”.
The category A′:• the same objects as A;• for objects A and B of A,
HomA′(A,B) := lim−→HomA(A,B/B ′),
where the direct limit is taken over the family of all superfluoussubobjects B ′ of B.
![Page 98: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/98.jpg)
The Dual Construction (- and Herbera)
The construction of the spectral category can be dualized.
Let A be any Grothendieck category.If B,B ′ ∈ Ob(A), write B ′ ≤s B for “B ′ is a superfluous subobjectof B”.
The category A′:
• the same objects as A;• for objects A and B of A,
HomA′(A,B) := lim−→HomA(A,B/B ′),
where the direct limit is taken over the family of all superfluoussubobjects B ′ of B.
![Page 99: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/99.jpg)
The Dual Construction (- and Herbera)
The construction of the spectral category can be dualized.
Let A be any Grothendieck category.If B,B ′ ∈ Ob(A), write B ′ ≤s B for “B ′ is a superfluous subobjectof B”.
The category A′:• the same objects as A;
• for objects A and B of A,
HomA′(A,B) := lim−→HomA(A,B/B ′),
where the direct limit is taken over the family of all superfluoussubobjects B ′ of B.
![Page 100: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/100.jpg)
The Dual Construction (- and Herbera)
The construction of the spectral category can be dualized.
Let A be any Grothendieck category.If B,B ′ ∈ Ob(A), write B ′ ≤s B for “B ′ is a superfluous subobjectof B”.
The category A′:• the same objects as A;• for objects A and B of A,
HomA′(A,B) := lim−→HomA(A,B/B ′),
where the direct limit is taken over the family of all superfluoussubobjects B ′ of B.
![Page 101: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/101.jpg)
The Dual Construction
The category A′ is an additive category in which every morphismhas a cokernel, but A′ does not have kernels in general.
There is a canonical functor F : A → A′ which is the identity onobjects and maps any morphism f ∈ HomA(A,B) to its canonicalimage in HomA′(A,B).
The ideal Σ is the kernel of the functor F .
![Page 102: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/102.jpg)
The Dual Construction
The category A′ is an additive category in which every morphismhas a cokernel, but A′ does not have kernels in general.
There is a canonical functor F : A → A′ which is the identity onobjects and maps any morphism f ∈ HomA(A,B) to its canonicalimage in HomA′(A,B).
The ideal Σ is the kernel of the functor F .
![Page 103: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/103.jpg)
The Dual Construction
The category A′ is an additive category in which every morphismhas a cokernel, but A′ does not have kernels in general.
There is a canonical functor F : A → A′ which is the identity onobjects and maps any morphism f ∈ HomA(A,B) to its canonicalimage in HomA′(A,B).
The ideal Σ is the kernel of the functor F .
![Page 104: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/104.jpg)
Example 2
∆(1) = kernel of the right derived functor
P(1) : Mod-R → Spec(Mod-R)
of the left exact, covariant, additive functorP : Mod-R → Spec(Mod-R).
TheoremThe product functor Mod-R → Mod-R/∆×Mod-R/∆(1) is alocal functor.
![Page 105: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/105.jpg)
Example 2
∆(1) = kernel of the right derived functor
P(1) : Mod-R → Spec(Mod-R)
of the left exact, covariant, additive functorP : Mod-R → Spec(Mod-R).
TheoremThe product functor Mod-R → Mod-R/∆×Mod-R/∆(1) is alocal functor.
![Page 106: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/106.jpg)
Example 3
C = full subcategory of Mod-R whose objects are all rightR-modules with a projective cover.
Σ(1) = kernel of the “derived functor” F(1) : C → (Mod-R)′ of thefunctor F : C → (Mod-R)′.
TheoremThe product functor C → C/Σ× C/Σ(1) is a local functor.
![Page 107: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/107.jpg)
Example 3
C = full subcategory of Mod-R whose objects are all rightR-modules with a projective cover.
Σ(1) = kernel of the “derived functor” F(1) : C → (Mod-R)′ of thefunctor F : C → (Mod-R)′.
TheoremThe product functor C → C/Σ× C/Σ(1) is a local functor.
![Page 108: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/108.jpg)
Example 3
C = full subcategory of Mod-R whose objects are all rightR-modules with a projective cover.
Σ(1) = kernel of the “derived functor” F(1) : C → (Mod-R)′ of thefunctor F : C → (Mod-R)′.
TheoremThe product functor C → C/Σ× C/Σ(1) is a local functor.
![Page 109: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/109.jpg)
An application
Two R-modules M and N belong to the same monogeny class(written [M]m = [N]m) if there exist a monomorphism M → N anda monomorphism N → M.
Similarly, M and N belong to the same epigeny class (written[M]e = [N]e) if there exist an epimorphism M → N and anepimorphism N → M.
![Page 110: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/110.jpg)
An application
Two R-modules M and N belong to the same monogeny class(written [M]m = [N]m) if there exist a monomorphism M → N anda monomorphism N → M.
Similarly, M and N belong to the same epigeny class (written[M]e = [N]e) if there exist an epimorphism M → N and anepimorphism N → M.
![Page 111: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/111.jpg)
Weak Krull-Schmidt for uniserial modules
[F, TAMS 1996].
Let U1, . . . , Un, V1, . . . , Vt be non-zero uniserial right modulesover an arbitrary ring R. Then U1 ⊕ · · · ⊕ Un
∼= V1 ⊕ · · · ⊕ Vt ifand only if n = t and there are two permutations σ, τ of{1, 2, . . . , n} such that [Ui ]m = [Vσ(i)]m and [Ui ]e = [Vτ(i)]e forevery i = 1, 2, . . . , n.
![Page 112: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/112.jpg)
Weak Krull-Schmidt for uniserial modules
[F, TAMS 1996].
Let U1, . . . , Un, V1, . . . , Vt be non-zero uniserial right modulesover an arbitrary ring R. Then U1 ⊕ · · · ⊕ Un
∼= V1 ⊕ · · · ⊕ Vt ifand only if n = t and there are two permutations σ, τ of{1, 2, . . . , n} such that [Ui ]m = [Vσ(i)]m and [Ui ]e = [Vτ(i)]e forevery i = 1, 2, . . . , n.
![Page 113: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/113.jpg)
Ideal ∆ and monogeny classes
If two modules AR ,BR are isomorphic objects in the categoryMod-R/∆, then they have the same monogeny class
![Page 114: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/114.jpg)
The general result
Theorem(Weak Krull-Schmidt Theorem for additive categories) Let A bean additive category and I1, . . . , In be ideals of A such that thecanonical functor A → A/I1 × · · · × A/In is a local functor. LetAi , i = 1, 2, . . . , t, and Bj , j = 1, 2, . . . ,m, be objects of A suchthat the endomorphism rings EndA/Ik (Ai ) are local rings for everyi = 1, 2, . . . , t and every k = 1, 2, . . . , n and the endomorphismrings EndA/Ik (Bj) are all local rings for every j = 1, 2, . . . ,m andevery k = 1, 2, . . . , n. Then A1 ⊕ · · · ⊕ At
∼= B1 ⊕ · · · ⊕ Bm if andonly if t = m and there exist n permutations σk , k = 1, 2, . . . , n,of {1, 2, . . . , t} with Ai isomorphic to Bσk (i) in A/Ik for everyi = 1, 2, . . . , t and every k = 1, 2, . . . , n.
![Page 115: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/115.jpg)
A curiosity: Birkhoff’s Theorem for skeletally smallpreadditive categories
[F.- Fernandez-Alonso, 2008]
A ring R is subdirectly irreducible if the intersection of all non-zerotwo-sided ideals of R is non-zero.
Birkhoff’s Theorem. Any ring is a subdirect product ofsubdirectly irreducible rings.
![Page 116: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/116.jpg)
A curiosity: Birkhoff’s Theorem for skeletally smallpreadditive categories
[F.- Fernandez-Alonso, 2008]
A ring R is subdirectly irreducible if the intersection of all non-zerotwo-sided ideals of R is non-zero.
Birkhoff’s Theorem. Any ring is a subdirect product ofsubdirectly irreducible rings.
![Page 117: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/117.jpg)
A curiosity: Birkhoff’s Theorem for skeletally smallpreadditive categories
[F.- Fernandez-Alonso, 2008]
A ring R is subdirectly irreducible if the intersection of all non-zerotwo-sided ideals of R is non-zero.
Birkhoff’s Theorem. Any ring is a subdirect product ofsubdirectly irreducible rings.
![Page 118: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/118.jpg)
Subdirectly irreducible rings
R subdirect product of a family of rings Ri (i ∈ I ) = there is anembedding R ↪→
∏i∈I Ri in such a way that πj(R) = Rj for each
projection πj :∏
i∈I Ri → Rj .
R ↪→∏
i∈I Ri is called a subdirect embedding.
R is subdirectly irreducible if and only if for every family of rings Ri
and every subdirect embedding ε : R →∏
i∈I Ri , there exists anindex i ∈ I such that πiε : R → Ri is an isomorphism.
![Page 119: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/119.jpg)
Subdirectly irreducible rings
R subdirect product of a family of rings Ri (i ∈ I ) = there is anembedding R ↪→
∏i∈I Ri in such a way that πj(R) = Rj for each
projection πj :∏
i∈I Ri → Rj .
R ↪→∏
i∈I Ri is called a subdirect embedding.
R is subdirectly irreducible if and only if for every family of rings Ri
and every subdirect embedding ε : R →∏
i∈I Ri , there exists anindex i ∈ I such that πiε : R → Ri is an isomorphism.
![Page 120: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/120.jpg)
Subdirectly irreducible rings
R subdirect product of a family of rings Ri (i ∈ I ) = there is anembedding R ↪→
∏i∈I Ri in such a way that πj(R) = Rj for each
projection πj :∏
i∈I Ri → Rj .
R ↪→∏
i∈I Ri is called a subdirect embedding.
R is subdirectly irreducible if and only if for every family of rings Ri
and every subdirect embedding ε : R →∏
i∈I Ri , there exists anindex i ∈ I such that πiε : R → Ri is an isomorphism.
![Page 121: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/121.jpg)
Birkhoff’s Theorem
Birkhoff’s Theorem hold for rings, right modules, lattices, anyuniversal algebra.
![Page 122: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/122.jpg)
Birkhoff’s Theorem for skeletally small preadditivecategories
Let Ai (i ∈ I ) be a family of preadditive categories,∏i∈I Ai the product category and,
for every j ∈ I , Pj :∏
i∈I Ai → Aj be the canonical projection.We say that a preadditive category A is a subdirect product of theindexed family {Ai | i ∈ I } of preadditive categories if A is asubcategory of the product category
∏i∈I Ai and, for every i ∈ I ,
the restriction Pi |A : A → Ai is a full functor that induces an ontomapping Ob(A)→ Ob(Ai ).
![Page 123: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/123.jpg)
Birkhoff’s Theorem for skeletally small preadditivecategories
A functor F : A → B between two categories A,B is dense if everyobject of B is isomorphic to F (A) for some object A of A.
A subdirect embedding F : A →∏
i∈I Ai is a faithful additivefunctor F such that, for every i ∈ I , PiF : A → Ai is a dense fullfunctor.
A preadditive category A is subdirectly irreducible if, for everysubdirect embedding F : A →
∏i∈I Ai , there exists an index i ∈ I
such that PiF : A → Ai is a category equivalence.
![Page 124: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/124.jpg)
Birkhoff’s Theorem for skeletally small preadditivecategories
A functor F : A → B between two categories A,B is dense if everyobject of B is isomorphic to F (A) for some object A of A.
A subdirect embedding F : A →∏
i∈I Ai is a faithful additivefunctor F such that, for every i ∈ I , PiF : A → Ai is a dense fullfunctor.
A preadditive category A is subdirectly irreducible if, for everysubdirect embedding F : A →
∏i∈I Ai , there exists an index i ∈ I
such that PiF : A → Ai is a category equivalence.
![Page 125: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/125.jpg)
Birkhoff’s Theorem for skeletally small preadditivecategories
A functor F : A → B between two categories A,B is dense if everyobject of B is isomorphic to F (A) for some object A of A.
A subdirect embedding F : A →∏
i∈I Ai is a faithful additivefunctor F such that, for every i ∈ I , PiF : A → Ai is a dense fullfunctor.
A preadditive category A is subdirectly irreducible if, for everysubdirect embedding F : A →
∏i∈I Ai , there exists an index i ∈ I
such that PiF : A → Ai is a category equivalence.
![Page 126: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/126.jpg)
TheoremThe following conditions are equivalent for a skeletally smallpreadditive category A:(1) A is subdirectly irreducible.(2) There exists a nonzero ideal I of A such that I ⊆ J for everynonzero ideal J of A.(3) If the intersection of a set F of ideals of A is the zero ideal,then one of the ideals in F is zero.(4) There exist two objects A and B of A and a nonzero morphismf : A→ B such that, for every nonzero morphism f : A→ B in A,there exist a positive integer n and morphisms g1, . . . , gn : A→ Aand h1, . . . , hn : B → B with f =
∑ni=1 hi fgi .
(5) There exist two objects A and B of A with the following twoproperties: (a) The (EndA(B),EndA(A))-bimodule A(A,B) is anessential extension of a simple (EndA(B),EndA(A))-subbimodule;(b) For every A,B objects of A and nonzero morphism f : A→ Bin A, one has that A(B,B)fA(A,A) 6= 0.
![Page 127: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/127.jpg)
Birkhoff’s Theorem for skeletally small preadditivecategories
For every skeletally small preadditive category A, there exists asubdirect embedding of A into a direct product of subdirectlyirreducible preadditive categories.
![Page 128: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/128.jpg)
An example
Let A,Af be the full subcategories of Ab whose objects are alltorsion-free abelian groups and all torsion-free abelian groups offinite rank, respectively.
Then A and Af are subdirectly irreduciblecategories and their least nonzero ideal is generated by theinclusion ε : Z→ Q. [F., 2009]
![Page 129: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/129.jpg)
An example
Let A,Af be the full subcategories of Ab whose objects are alltorsion-free abelian groups and all torsion-free abelian groups offinite rank, respectively. Then A and Af are subdirectly irreduciblecategories and their least nonzero ideal is generated by theinclusion ε : Z→ Q.
[F., 2009]
![Page 130: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/130.jpg)
An example
Let A,Af be the full subcategories of Ab whose objects are alltorsion-free abelian groups and all torsion-free abelian groups offinite rank, respectively. Then A and Af are subdirectly irreduciblecategories and their least nonzero ideal is generated by theinclusion ε : Z→ Q. [F., 2009]
![Page 131: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/131.jpg)
The case of Mod-R
TheoremLet R be a ring, S a set of representatives of the simple rightR-modules up to isomorphism, and M the set of all minimalnonzero ideals of Mod-R. Then:
(1) Every nonzero ideal of Mod-R contains an element of M.(2) There is a one-to-one correspondence between S and M. IfSR ∈ S, the corresponding element JSR of M is the ideal ofMod-R generated by any morphism f : RR → E (SR) with imageSR .
Corollary
Let R be a ring. The category Mod-R is subdirectly irreducible ifand only if R has a unique simple right module up to isomorphism.
![Page 132: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/132.jpg)
The case of Mod-R
TheoremLet R be a ring, S a set of representatives of the simple rightR-modules up to isomorphism, and M the set of all minimalnonzero ideals of Mod-R. Then:(1) Every nonzero ideal of Mod-R contains an element of M.
(2) There is a one-to-one correspondence between S and M. IfSR ∈ S, the corresponding element JSR of M is the ideal ofMod-R generated by any morphism f : RR → E (SR) with imageSR .
Corollary
Let R be a ring. The category Mod-R is subdirectly irreducible ifand only if R has a unique simple right module up to isomorphism.
![Page 133: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/133.jpg)
The case of Mod-R
TheoremLet R be a ring, S a set of representatives of the simple rightR-modules up to isomorphism, and M the set of all minimalnonzero ideals of Mod-R. Then:(1) Every nonzero ideal of Mod-R contains an element of M.(2) There is a one-to-one correspondence between S and M. IfSR ∈ S, the corresponding element JSR of M is the ideal ofMod-R generated by any morphism f : RR → E (SR) with imageSR .
Corollary
Let R be a ring. The category Mod-R is subdirectly irreducible ifand only if R has a unique simple right module up to isomorphism.
![Page 134: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/134.jpg)
The case of Mod-R
TheoremLet R be a ring, S a set of representatives of the simple rightR-modules up to isomorphism, and M the set of all minimalnonzero ideals of Mod-R. Then:(1) Every nonzero ideal of Mod-R contains an element of M.(2) There is a one-to-one correspondence between S and M. IfSR ∈ S, the corresponding element JSR of M is the ideal ofMod-R generated by any morphism f : RR → E (SR) with imageSR .
Corollary
Let R be a ring. The category Mod-R is subdirectly irreducible ifand only if R has a unique simple right module up to isomorphism.
![Page 135: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/135.jpg)
The torsion theory (TS ,FS)
R a ring
S a set of representatives of the simple right R-modules up toisomorphism
S = SR a fixed module in S(TS ,FS) the torsion theory cogenerated by E (SR), i.e., FS is thesmallest class containing E (SR) and closed under subobjects,products and extensions, that is, a module is in FS if and only if itis isomorphic to a submodule of a direct product of copies ofE (SR). Equivalently, FS the class of all right R-modulescogenerated by E (S).
⇒ (TS ,FS) is hereditary (= TS is closed under submodules).
![Page 136: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/136.jpg)
The torsion theory (TS ,FS)
R a ring
S a set of representatives of the simple right R-modules up toisomorphism
S = SR a fixed module in S(TS ,FS) the torsion theory cogenerated by E (SR), i.e., FS is thesmallest class containing E (SR) and closed under subobjects,products and extensions, that is, a module is in FS if and only if itis isomorphic to a submodule of a direct product of copies ofE (SR). Equivalently, FS the class of all right R-modulescogenerated by E (S).
⇒ (TS ,FS) is hereditary (= TS is closed under submodules).
![Page 137: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/137.jpg)
The torsion theory (TS ,FS)
R a ring
S a set of representatives of the simple right R-modules up toisomorphism
S = SR a fixed module in S
(TS ,FS) the torsion theory cogenerated by E (SR), i.e., FS is thesmallest class containing E (SR) and closed under subobjects,products and extensions, that is, a module is in FS if and only if itis isomorphic to a submodule of a direct product of copies ofE (SR). Equivalently, FS the class of all right R-modulescogenerated by E (S).
⇒ (TS ,FS) is hereditary (= TS is closed under submodules).
![Page 138: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/138.jpg)
The torsion theory (TS ,FS)
R a ring
S a set of representatives of the simple right R-modules up toisomorphism
S = SR a fixed module in S(TS ,FS) the torsion theory cogenerated by E (SR), i.e., FS is thesmallest class containing E (SR) and closed under subobjects,products and extensions
, that is, a module is in FS if and only if itis isomorphic to a submodule of a direct product of copies ofE (SR). Equivalently, FS the class of all right R-modulescogenerated by E (S).
⇒ (TS ,FS) is hereditary (= TS is closed under submodules).
![Page 139: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/139.jpg)
The torsion theory (TS ,FS)
R a ring
S a set of representatives of the simple right R-modules up toisomorphism
S = SR a fixed module in S(TS ,FS) the torsion theory cogenerated by E (SR), i.e., FS is thesmallest class containing E (SR) and closed under subobjects,products and extensions, that is, a module is in FS if and only if itis isomorphic to a submodule of a direct product of copies ofE (SR). Equivalently, FS the class of all right R-modulescogenerated by E (S).
⇒ (TS ,FS) is hereditary (= TS is closed under submodules).
![Page 140: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/140.jpg)
The torsion theory (TS ,FS)
R a ring
S a set of representatives of the simple right R-modules up toisomorphism
S = SR a fixed module in S(TS ,FS) the torsion theory cogenerated by E (SR), i.e., FS is thesmallest class containing E (SR) and closed under subobjects,products and extensions, that is, a module is in FS if and only if itis isomorphic to a submodule of a direct product of copies ofE (SR). Equivalently, FS the class of all right R-modulescogenerated by E (S).
⇒ (TS ,FS) is hereditary (= TS is closed under submodules).
![Page 141: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/141.jpg)
The torsion theory (TS ,FS)
The class TS consists of all R-modules TR withHom(TR ,E (SR)) = 0
; equivalently, TS consists of all modules TR
in Mod-R with no subquotient isomorphic to SR .
Let tS : Mod-R → Mod-R be the left exact radical correspondingto (TS ,FS).
Let IS be the ideal of Mod-R defined, for every AR ,BR , by
IS(AR ,BR) := { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Equivalently, IS(AR ,BR) consists of all morphismsf ∈ Hom(AR ,BR) that factor through a module in TS , so thatMod-R/IS is the stable category of Mod-R modulo thesubcategory TS .
![Page 142: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/142.jpg)
The torsion theory (TS ,FS)
The class TS consists of all R-modules TR withHom(TR ,E (SR)) = 0; equivalently, TS consists of all modules TR
in Mod-R with no subquotient isomorphic to SR .
Let tS : Mod-R → Mod-R be the left exact radical correspondingto (TS ,FS).
Let IS be the ideal of Mod-R defined, for every AR ,BR , by
IS(AR ,BR) := { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Equivalently, IS(AR ,BR) consists of all morphismsf ∈ Hom(AR ,BR) that factor through a module in TS , so thatMod-R/IS is the stable category of Mod-R modulo thesubcategory TS .
![Page 143: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/143.jpg)
The torsion theory (TS ,FS)
The class TS consists of all R-modules TR withHom(TR ,E (SR)) = 0; equivalently, TS consists of all modules TR
in Mod-R with no subquotient isomorphic to SR .
Let tS : Mod-R → Mod-R be the left exact radical correspondingto (TS ,FS).
Let IS be the ideal of Mod-R defined, for every AR ,BR , by
IS(AR ,BR) := { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Equivalently, IS(AR ,BR) consists of all morphismsf ∈ Hom(AR ,BR) that factor through a module in TS , so thatMod-R/IS is the stable category of Mod-R modulo thesubcategory TS .
![Page 144: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/144.jpg)
The torsion theory (TS ,FS)
The class TS consists of all R-modules TR withHom(TR ,E (SR)) = 0; equivalently, TS consists of all modules TR
in Mod-R with no subquotient isomorphic to SR .
Let tS : Mod-R → Mod-R be the left exact radical correspondingto (TS ,FS).
Let IS be the ideal of Mod-R defined, for every AR ,BR , by
IS(AR ,BR) := { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Equivalently, IS(AR ,BR) consists of all morphismsf ∈ Hom(AR ,BR) that factor through a module in TS , so thatMod-R/IS is the stable category of Mod-R modulo thesubcategory TS .
![Page 145: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/145.jpg)
The torsion theory (TS ,FS)
The class TS consists of all R-modules TR withHom(TR ,E (SR)) = 0; equivalently, TS consists of all modules TR
in Mod-R with no subquotient isomorphic to SR .
Let tS : Mod-R → Mod-R be the left exact radical correspondingto (TS ,FS).
Let IS be the ideal of Mod-R defined, for every AR ,BR , by
IS(AR ,BR) := { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Equivalently, IS(AR ,BR) consists of all morphismsf ∈ Hom(AR ,BR) that factor through a module in TS
, so thatMod-R/IS is the stable category of Mod-R modulo thesubcategory TS .
![Page 146: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/146.jpg)
The torsion theory (TS ,FS)
The class TS consists of all R-modules TR withHom(TR ,E (SR)) = 0; equivalently, TS consists of all modules TR
in Mod-R with no subquotient isomorphic to SR .
Let tS : Mod-R → Mod-R be the left exact radical correspondingto (TS ,FS).
Let IS be the ideal of Mod-R defined, for every AR ,BR , by
IS(AR ,BR) := { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Equivalently, IS(AR ,BR) consists of all morphismsf ∈ Hom(AR ,BR) that factor through a module in TS , so thatMod-R/IS is the stable category of Mod-R modulo thesubcategory TS .
![Page 147: Semilocal categories, local functors and applicationsleroy.perso.math.cnrs.fr/Congres 2013/TALKS/Facchini.pdf · Semilocal Rings A ring R is semilocal if R=J(R) is semisimple artinian,](https://reader033.vdocuments.us/reader033/viewer/2022050423/5f927a691c7dfa5c2e77369b/html5/thumbnails/147.jpg)
The case of Mod-R
TheoremLet R be a ring, S a set of representatives of the simple rightR-modules up to isomorphism, and, for every S ∈ S,
IS(AR ,BR) = { f ∈ Hom(AR ,BR) | f (AR) ⊆ tS(BR) }.
Then:(1) For every S ∈ S, the category Mod-R/IS is subdirectlyirreducible.(2) The canonical functor Mod-R →
∏S∈SMod-R/IS is a
subdirect embedding.