×

Classification theory for abelian groups with an endomorphism. (English) Zbl 0723.03020

The paper considers classifiability for Abelian groups with an endomorphism x, hence for Z[x]-modules. In stability theory, classifying the models of some complete theory means to determine their isomorphism types by some kind of invariant (like a “short” sequence of cardinals). When the models are modules over some fixed countable ring R, this assignment of invariants can be done if and only if the theory is superstable. Moreover there are good reasons to believe that, if the ring R is of wild representation type, then this classification is strongly complicated, even if not compromised.
The authors first provide a full characterization of superstable K[x]- modules where K is any countable field (notice that this includes the case \(K={\mathbb{Q}}\), hence Z[x]-modules which are divisible and torsionfree over Z). Secondly they consider Z[x]-modules whose underlying group has a finite exponent m, hence Z/m[x]-modules. Here it is shown that in most cases Z/m[x] and its quotient rings are of wild representation type, and the corresponding theories of modules are undecidable. The same happens for Z[x]-modules which are divisible (or torsionfree) as Z-modules. A parallel analysis is given when x is an automorphism, so for \(Z[x,x^{- 1}]\)-modules.
Reviewer: C.Toffalori

MSC:

03C45 Classification theory, stability, and related concepts in model theory
20A15 Applications of logic to group theory
03C60 Model-theoretic algebra
20E99 Structure and classification of infinite or finite groups
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] [B] Baudisch, A.: Magidor-Malitz quantifiers in modules. J. Symb. Logic49, 1-8 (1984) · Zbl 0584.03023 · doi:10.2307/2274085
[2] [Br] Brenner, S.: On four subspaces of a vector space. J. Algebra29, 587-599 (1974) · Zbl 0279.15002 · doi:10.1016/0021-8693(74)90092-1
[3] [BR] Baudisch, A., Rothmaler, P.: The stratified order in modules. In: Frege Conference, Schwerin 1984. Math. Res.20, 44-56 (1984) · Zbl 0551.03020
[4] [C-B] Crawley-Boevey, W.W.: On tame algebras and bocses, Proc. Lond. Math. Soc., III. Ser.56, 451-483 (1988) · Zbl 0661.16026 · doi:10.1112/plms/s3-56.3.451
[5] [CR] Curtis, C.W., Reiner, I.: Representation theory of finite groups and associative algebras. New York: Interscience, 1962 · Zbl 0131.25601
[6] [D] Drozd, J.A.: Representations of commutative algebras. Translated in Funct. Anal. Appl.6, 286-288 (1972)
[7] [EF] Eklof, P.C., Fisher, E.: The elementary theory of abelian groups. Ann. Math. Logic4, 115-171 (1972) · Zbl 0248.02049 · doi:10.1016/0003-4843(72)90013-7
[8] [F] Fisher, E.: Powers of saturated modules. J. Symb. Logic37, 777 (1972)
[9] [GP] Gelfand, I.M., Ponomarev, V.A.: Problems of linear algebra and classification of quadruples of subspaces in a finite-dimensional vector space. Colloq. Math. Soc. Janos Bolyai5, 163-237 (1972) · Zbl 0294.15002
[10] [P1] Prest, M.: Model theory and representation type of algebras. In: Drake, F.R., Truss, J.K. (eds.) Logic Colloquium ’86, pp. 219-260. Amsterdam: North-Holland 1988
[11] [P2] Prest, M.: Model theory and modules. Lond. Math. Soc. Lect. Note Ser., vol. 130, 1988
[12] [Po] Point, F.: Problemes de decidabilite pour le theories des modules. Bull. Belg. Math. Soc. Ser. B,38, 58-74 (1986)
[13] [R] Ringel, C.M.: The indecomposable representation of dihedral 2-groups. Math. Ann.214, 19-34 (1975) · Zbl 0299.20005 · doi:10.1007/BF01428252
[14] [Ro] Rothmaler, P.: Total transzendente abelsche Gruppen und Morley-Rang. Akad. Wiss. der DDR, Berlin, 1978 · Zbl 0388.03012
[15] [S] Shelah, S.: Classification theory and the number of non-isomorphic models. Amsterdam: North-Holland 1978 · Zbl 0388.03009
[16] [T1] Toffalori, C.: Classification theory for a 1-ary function. III. J. Math. (to appear)
[17] [T2] Toffalori, C.: 1-ary functions and the f.c.p. Ill. J. Math. (to appear)
[18] [Z] Ziegler, M.: Model theory and modules. Ann. Pure Appl. Logic26, 149-213 (1984) · Zbl 0593.16019 · doi:10.1016/0168-0072(84)90014-9
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.