Ziegler spectrum

In mathematics, the (right) Ziegler spectrum of a ring R is a topological space whose points are (isomorphism classes of) indecomposable pure-injective right modules. Its closed subsets correspond to theories of modules closed under arbitrary products and direct summands. Ziegler spectra are named after Martin Ziegler, who first defined and studied them.^[1]

Definition

Let R be a ring. A (right) pp-n-formula is a formula in the language of (right) R-modules of the form

\exists {\overline {y}}\ ({\overline {y}},{\overline {x}})A=0

where $\ell ,n,m$ are natural numbers, $A$ is an $(\ell +n)\times m$ matrix with entries from R, and ${\overline {y}}$ is an $\ell$ -tuple of variables and ${\overline {x}}$ is an $n$ -tuple of variables.

The (right) Ziegler spectrum, $\operatorname {Zg} _{R}$ , of R is the topological space whose points are isomorphism classes of indecomposable pure-injective right modules, denoted by $\operatorname {pinj} _{R}$ ; The topology has the sets

(\varphi /\psi )=\{N\in \operatorname {pinj} _{R}\mid \varphi (N)\supsetneq \psi (N)\cap \varphi (N)\}

as subbasis of open sets, where $\varphi ,\psi$ range over (right) pp-1-formulae. One can show that these sets form a basis.

Properties

Ziegler spectra are rarely hausdorff and often fail to have the $T_{0}$ -property. However they are always compact and have a basis of compact open sets given by the sets $(\varphi /\psi )$ where $\varphi ,\psi$ are pp-1-formulae.

When the ring R is countable $\operatorname {Zg} _{R}$ is sober.^[2] It is not currently known if all Ziegler spectra are sober.

References

↑ Martin Ziegler (1984). Model theory of modules. Ann. Pure Appl. Logic, 26:2 149–213
↑ Ivo Herzog (1993). Elementary duality of modules. Trans. Amer. Math. Soc., 340:1 37–69

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Martin Ziegler (1984). Model theory of modules. Ann. Pure Appl. Logic, 26:2 149–213

[2] Ivo Herzog (1993). Elementary duality of modules. Trans. Amer. Math. Soc., 340:1 37–69