Modules with an almost categorical theory
type: Item
instance of: scholarly article
title: Modules with an almost categorical theory
zbMATH Open document ID: 0584.03024
DOI: 10.1007/BF00968943
author: E. M. Kremer
published in: Siberian Mathematical Journal
publication date: 1984-01-01T00:00:00Z
review text: A complete theory is called almost categorical [\textit{O. V. Belegradek}, Sib. Math. Zh. 14, 277-288 (1973; Zbl 0262.02047)] if it is totally transcendental and a certain principal extension of it has a finite set of strongly minimal formulas whose disjunction is non-two-cardinal. We consider left modules over R (an associative ring with unity) as algebraic systems of the signature \(<+,0,r>_{r\in R}\) where r are symbols of unary operations, and give a characterization of modules with almost categorical elementary theory. For a module M let us denote by \(T_ M\) its elementary theory, \(E_ M\) be the class of all indecomposable, algebraically compact modules U such that \(M\oplus U\equiv M\), and \(\hat E_ M\) be the set of isomorphism types for modules from \(E_ M.\) Theorem. The theory \(T_ M\) is almost categorical if and only if \(T_ M\) is totally transcendental and the following conditions are fulfilled: 1) \(| \tilde E_ M| <\omega\); 2) for every \(U\in E_ M\), there exists a positively primitive formula \(\phi_ U(x)\) such that for \(U'\in E_ M:\) \(\phi_ U(U')\neq 0\Leftrightarrow U'\simeq U.\) Corollary. Let G be an abelian group, \[ \check S(G)=\oplus_{p\in P}\oplus_{k\in \omega}Z(p^{(k)})^{(\alpha_{p,k})}\oplus \oplus_{p\in P}Z(p^{\infty})^{(\beta_ p)}\oplus \oplus_{p\in P}R_ p^{(\gamma_ p)}\oplus Q^{(\epsilon)} \] be its Shmelev canonical form. The group G is almost categorical if and only if the following conditions are fulfilled: 1) \(\gamma_ p=0\) for all \(p\in P\); 2) \(\beta_ p<\omega\) for all \(p\in P\); 3) \(\alpha_{p,k}=\omega\) only for a finite number of pairs (p,k).
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 08C10
Mathematics Subject Classification ID: 03C35
Mathematics Subject Classification ID: 16Y99
Mathematics Subject Classification ID: 20K99
zbMATH DE Number: 3935018
zbMATH Keywords: totally transcendental theory
zbMATH Keywords: left modules
zbMATH Keywords: abelian group
MaRDI profile type: Publication
cites work: Discussion of some objections to thermomechanical orthogonality
cites work: ℵ0-categorical modules
cites work: On strongly minimal sets
cites work: Almost categorical theories
cites work: Elimination of quantifiers for modules
cites work: Decomposition of totally transcendental modules
cites work: Q5830671
cites work: Q5182382
cites work: On $ω_1$-categorical theories of abelian groups
description: scientific article; zbMATH DE number 3935018