Interpretations of module varieties (Q805646): 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/0021-8693(90)90301-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2052342930 / rank | |||
Normal rank |
Revision as of 03:43, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interpretations of module varieties |
scientific article |
Statements
Interpretations of module varieties (English)
0 references
1990
0 references
For R any ring with unit, \({}_ R{\mathcal M}\) denote the variety of all R- modules. In this paper, the lattice \(L^{int}\) of varieties ordered by the relation of interpretability of varieties is studied, mainly applied to the varieties \({}_ R{\mathcal M}\). The main results are the following. Theorem 1. There is a finitely presented commutative ring S such that \(_{{\mathbb{Z}}}{\mathcal M}<_ S{\mathcal M}\) and such that \({}_ S{\mathcal M}\leq_ R{\mathcal M}\) both for R any ring of algebraic numbers other than \({\mathbb{Z}}\) itself and for \(R={\mathbb{Z}}/n\) \((n=2,3,...)\). In fact, \({}_ S{\mathcal M}\) is equivalent to a finitely axiomatized variety in finitely many operation symbols. Theorem 2. If \({\mathcal K}\) is a set of varieties, each \(>_{{\mathbb{Z}}}{\mathcal M}\), and \(| {\mathcal K}| <\mu\), where \(\mu\) is the least measurable cardinal, then \(\bigwedge {\mathcal K}>_{{\mathbb{Z}}}{\mathcal M}.\) Theorem 3. If \({\mathcal W}>_{{\mathbb{Z}}}{\mathcal M}\) and \({\mathcal W}\) has fewer than \(\mu\) operations, then there exists a ring R with \(| R| <\mu\) such that \(_{{\mathbb{Z}}}{\mathcal M}<_ R{\mathcal M}\) and \({\mathcal W}\nleq_ R{\mathcal M}.\) In some of the sections, some of the theorems are proved in a more general way. In section 9, Theorems 2 and 3 are proved with \(_{{\mathbb{Z}}}{\mathcal M}\) replaced by the variety of groups.
0 references
variety of R-modules
0 references
interpretability of varieties
0 references
finitely axiomatized variety
0 references