Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

On pairs of free modules over a Dedekind domain

On pairs of free modules over a Dedekind domain The study of pairs of modules (over a Dedekind domain) arises from two different perspectives, as a starting step in the analysis of tuples of submodules of a given module, or also as a particular case in the analysis of Abelian structures made by two modules and a morphism between them. We discuss how these two perspectives converge to pairs of modules, and we follow the latter one to obtain an alternative approach to the classification of pairs of torsionfree objects. Then we restrict our attention to pairs of free modules. Our main results are that the theory of pairs of free Abelian groups is co-recursively enumerable, and that a few remarkable extensions of this theory are decidable. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

On pairs of free modules over a Dedekind domain

Loading next page...
 
/lp/springer-journals/on-pairs-of-free-modules-over-a-dedekind-domain-7LPR0A6TKl

References (13)

Publisher
Springer Journals
Copyright
Copyright © 2005 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematics, general; Algebra; Mathematical Logic and Foundations
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-005-0311-1
Publisher site
See Article on Publisher Site

Abstract

The study of pairs of modules (over a Dedekind domain) arises from two different perspectives, as a starting step in the analysis of tuples of submodules of a given module, or also as a particular case in the analysis of Abelian structures made by two modules and a morphism between them. We discuss how these two perspectives converge to pairs of modules, and we follow the latter one to obtain an alternative approach to the classification of pairs of torsionfree objects. Then we restrict our attention to pairs of free modules. Our main results are that the theory of pairs of free Abelian groups is co-recursively enumerable, and that a few remarkable extensions of this theory are decidable.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Sep 27, 2005

There are no references for this article.