Arithmetic-arboreal residue structures induced by Prufer extensions : An axiomatic approach
Abstract
We present an axiomatic framework for the residue structures induced by Prufer extensions with a stress upon the intimate connection between their arithmetic and arboreal theoretic properties. The main result of the paper provides an adjunction relationship between two naturally defined functors relating Prufer extensions and superrigid directed commutative regular quasi-semirings.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2010
- DOI:
- 10.48550/arXiv.1011.0855
- arXiv:
- arXiv:1011.0855
- Bibcode:
- 2010arXiv1011.0855B
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Logic;
- Primary 13F05;
- Secondary 13A15;
- 13A18;
- 06F20;
- 05C05
- E-Print:
- 56 pages