Sökning: id:"swepub:oai:gup.ub.gu.se/232275" >
RING DIVIDERS AND K...
RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH) : Anneaux à diviseurs et anneaux de Krull (une approche constructive)
-
- Coquand, Thierry, 1961 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
-
Lombardi, H. (författare)
-
(creator_code:org_t)
- 2015-11-11
- 2016
- Franska.
-
Ingår i: Communications in Algebra. - : Informa UK Limited. - 0092-7872 .- 1532-4125. ; 44:2, s. 515-567
- Relaterad länk:
-
http://arxiv.org/pdf...
-
visa fler...
-
https://gup.ub.gu.se...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We give give an elementary and constructive version of the theory of "Prufer vMultiplication Domains" (which we call " anneaux a diseurs" in the article) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations.
Ämnesord
- NATURVETENSKAP -- Matematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics (hsv//eng)
Nyckelord
- Constructive mathematics
- Divisor theory
- Krull domains
- PvMD
- multiplication domains
- ideal theory
- divisors
- Mathematics
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas