zbMATH — the first resource for mathematics

Towards the decidability of the theory of modules over finite commutative rings. (English) Zbl 1168.03024
The reviewer conjectured that if \(R\) is a sufficiently recursively given ring then the theory of \(R\)-modules is decidable iff \(R\) is of tame representation type. This paper begins with an excellent summary of the history of work on the problem and the current state of knowledge. It should also be recalled that the decidability problem for modules over finite rings effectively contains that for the variety generated by a finite universal algebra.
The authors concentrate on the case that \(R\) is a finite commutative ring, without loss of generality local, but a good deal of their careful style of analysis applies much more generally. They make essential use of the Klingler-Levy analysis of finitely generated modules over commutative noetherian rings and they note that, in particular, this gives a clear distinction between the tame and wild cases in this context. They clearly present the interpretations involved and give a careful analysis of the information required on the Ziegler spectrum to prove decidability.
They are able to establish complete results, supporting the conjecture, except in the case that \(R\) is a pullback of two finite valuation rings over a field (the Gelfand-Ponomarev algebras are long-standing examples of this open case).
This is a clever and exemplary paper which might well fulfil the authors’ wish to inspire further work on the problem.

03C60 Model-theoretic algebra
03B25 Decidability of theories and sets of sentences
13L05 Applications of logic to commutative algebra
16D50 Injective modules, self-injective associative rings
16D70 Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras)
16P10 Finite rings and finite-dimensional associative algebras
Full Text: DOI
[1] Assem, I.; Simson, D.; Skowroński, A., ()
[2] Auslander, M.; Reiten, I.; Smalø, S., ()
[3] Butler, M.C.R.; Ringel, C.M., Auslander – reiten sequences with few middle terms and applications to string algebras, Comm. algebra, 15, 1-2, 145-179, (1987) · Zbl 0612.16013
[4] Baur, W., On the elementary theory of quadruples of vector spaces, Ann. math. logic, 19, 243-262, (1980) · Zbl 0453.03010
[5] Burke, K.; Prest, M., The ziegler and Zariski spectra of some domestic string algebras, Algebr. repres. theory, 5, 211-234, (2002) · Zbl 1061.16022
[6] Dlab, V.; Ringel, C.M., Indecomposable representations of graphs and algebras, Mem. amer. math. soc., 173, (1976) · Zbl 0332.16015
[7] Drozd, Y.A., Representations of finite commutative algebras, Funct. anal. appl., 6, 286-288, (1972) · Zbl 0289.13009
[8] Feferman, S.; Vaught, R.L., The first order properties of products of algebraic systems, Fund. math., 47, 57-103, (1959) · Zbl 0088.24803
[9] Geigle, W., Krull dimension and Artin algebras, (), 135-155
[10] G. Geisler, Zur Modelltheorie von Moduln, Ph.D. Thesis, University of Freiburg, 1994
[11] Guralnik, R.; Levy, L.; Warfield, R., Cancellation counterexamples in Krull dimension 1, Proc. amer. math. soc., 109, 323-326, (1990) · Zbl 0706.13010
[12] Herzog, I., Elementary duality for modules, Trans. amer. math. soc., 340, 37-69, (1993) · Zbl 0815.16002
[13] Herzog, I., The ziegler spectrum of a locally coherent Grothendieck category, Proc. London math. soc., 74, 503-558, (1997) · Zbl 0909.16004
[14] Jensen, Ch.; Lenzing, H., Model-theoretic algebra with particular emphasis on fields, rings, modules, algebra, logic and applications, vol. 2, (1989), Gordon and Breach · Zbl 0728.03026
[15] Klingler, L.; Levy, L., Representation type of commutative Noetherian rings I: local wildness, Pacific. J. math., 200, 345-386, (2001) · Zbl 1019.13004
[16] Klingler, L.; Levy, L., Representation type of commutative Noetherian rings II: local tameness, Pacific. J. math., 200, 387-483, (2001) · Zbl 1019.13005
[17] Mckenzie, R.; Valeriote, M., ()
[18] Point, F., Problèmes de décidabilité pour LES théories de modules, Bull. soc. math. belg., 38, 58-74, (1986) · Zbl 0612.03018
[19] Point, F., Decidability questions for theories of modules, (), 266-280 · Zbl 0795.03016
[20] M. Prest, The categories of modules and decidability, Preprint, University of Liverpool, 1985
[21] Prest, M., ()
[22] Prest, M., Wild representation type and undecidability, Comm. algebra, 19, 3, 919-929, (1991) · Zbl 0735.16011
[23] Prest, M., Ziegler spectra of tame hereditary algebras, J. algebra, 207, 146-164, (1998) · Zbl 0936.16014
[24] Prest, M.; Puninski, G., One-directed indecomposable pure injective modules over string algebras, Colloq. math., 101, 89-112, (2004) · Zbl 1085.16011
[25] Rabin, M., Decidable theories, (), 595-629
[26] Ringel, C.M., The representation type of local algebras, (), 285-305
[27] Ringel, C.M., Infinite dimensional representations of finite dimensional hereditary algebras, Sympos. math., 23, 321-412, (1979)
[28] Ringel, C.M., ()
[29] Ringel, C.M., Some algebraically compact modules. I, (), 419-439 · Zbl 0848.16011
[30] Ringel, C.M., The ziegler spectrum of a tame hereditary algebra, Colloq. math., 76, 105-115, (1998) · Zbl 0901.16006
[31] Simson, D., Linear representations of partially ordered sets and vector space categories, algebra, logic and applications, vol. 4, (1992), Gordon and Breach
[32] Warfield, R.B., Large modules over Artinian rings, (), 451-463 · Zbl 0389.16012
[33] Ziegler, M., Model theory of modules, Ann. pure appl. logic, 26, 149-213, (1984) · Zbl 0593.16019
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.