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.
EnglishLet B be a commutative Bézout domain and let MSpec(B) be the maximal spectrum of B. We obtain a Feferman-Vaught type theorem for the class Mod-B of all (right) B-modules. We analyze the definable sets in terms, on the one hand, of the definable sets in the classes Mod-BM, where BM ranges over the localizations of B at M, M ∈ MSpec(B), and on the other hand, of the constructible subsets of MSpec(B). This allows us to derive decidability results for the class Mod-B, in particular when B is the ring Z of algebraic integers or one of the rings Z ∩ R, Z ∩ Qp.
| Titolo: | Bézout domains and lattice-valued modules |
| Autori: | |
| Data di pubblicazione: | 2020 |
| Rivista: | |
| Handle: | http://hdl.handle.net/11581/430942 |
| Appare nelle tipologie: | Articolo |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| LP2020 arxiv.pdf | Documento in Pre-print | DRM non definito | Open Access Visualizza/Apri |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11581/430942
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021