CAMPUS è l'Archivio istituzionale delle pubblicazioni scientifiche dell’Università di Camerino. E’ un sistema aperto, pubblico e interoperabile che raccoglie, conserva ed espone i dati relativi alle attività e ai prodotti della ricerca dell’Ateneo con lo scopo di migliorarne la visibilità e di favorirne l’impatto a livello nazionale e internazionale.
EnglishOn the basis of the Klingler-Levy classification of finitely generated modules over commutative noetherian rings we approach the old problem of classifying finite commutative rings R with the decidable theory of modules. We prove that if R is (finite length) wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11581/115121| Titolo: | Towards the decidability of the theory of modules over finite commutative rings |
| Autori interni: | TOFFALORI, Carlo |
| Data di pubblicazione: | 2009 |
| Rivista: | ANNALS OF PURE AND APPLIED LOGIC |
| Abstract: | On the basis of the Klingler-Levy classification of finitely generated modules over commutative noetherian rings we approach the old problem of classifying finite commutative rings R with the decidable theory of modules. We prove that if R is (finite length) wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings. |
| Handle: | http://hdl.handle.net/11581/115121 |
| Appare nelle tipologie: | Articolo |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017