Representation embeddings and the Ziegler spectrum (Q1126247): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(95)00155-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2009259385 / rank | |||
Normal rank |
Revision as of 18:04, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representation embeddings and the Ziegler spectrum |
scientific article |
Statements
Representation embeddings and the Ziegler spectrum (English)
0 references
28 October 1998
0 references
The right Ziegler spectrum \(Zg_R\) of a ring \(R\) is a topological space whose points are the isomorphism classes of indecomposable pure-injective (right) \(R\)-modules. Given rings \(R\) and \(S\), the author proves (Theorem 7) that every representation embedding from the category \(\text{Mod-}S\) of all right \(S\)-modules to the category \(\text{Mod-}R\) of all right \(R\)-modules induces a homeomorphic embedding of \(Zg_S\) as a closed subset of \(Zg_R\) (a representation embedding from \(\text{Mod-}S\) to \(\text{Mod-}R\) is a functor which is of the form \(-\otimes{_SB_R}\) for some bimodule \(_SB_R\) which is a finitely generated progenerator over \(S\) and which preserves indecomposability and reflects isomorphisms). The aforementioned result is proved by using model theory of modules. It is also shown (Theorem 9) that a functor of the form \(-\otimes{_SB_R}\colon\text{Mod-}S\to\text{Mod-}R\) with \(_SB\) finitely generated and which is of finite endolength as a bimodule induces a continuous map from \(Zg_S\) to \(Zg_R\), whenever it sends indecomposable pure-injectives to indecomposable pure-injectives. Finally, the author considers the question: when is the image of a representation embedding an elementary class? The question is reduced, up to Morita equivalence, to the restriction of scalars functor defined by a ring extension \(R\subseteq S\). The answer is positive under the condition that every pure-injective \(S\)-module is discrete as an \(R\)-module (Proposition 13).
0 references
Ziegler spectrum
0 references
representation embeddings
0 references
elementary classes of modules
0 references
indecomposable pure injective modules
0 references
finitely generated progenerators
0 references
model theory of modules
0 references
categories of modules
0 references