Lecture Notes of 14 the Unione Matematica Italiana For further volumes: http://www.springer.com/series/7172
Editorial Board Franco Brezzi (Editor in Chief) IMATI-CNR Via Ferrata 5a 27100 Pavia, Italy e-mail: brezzi@imati.cnr.it John M. Ball Mathematical Institute 24-29 St Giles Oxford OX1 3LB United Kingdom e-mail: ball@maths.ox.ac.uk Alberto Bressan Department of Mathematics Penn State University University Park State College PA. 16802, USA e-mail: bressan@math.psu.edu Fabrizio Catanese Mathematisches Institut Universitatstraße 30 95447 Bayreuth, Germany e-mail: fabrizio.catanese@uni-bayreuth.de Corrado De Concini Dipartimento di Matematica Universitá di Roma La Sapienza Piazzale Aldo Moro 2 00185 Roma, Italy e-mail: deconcini@mat.uniroma1.it Nicola Fusco Dipartimento di Matematica e Applicazioni Universitá di Napoli Federico II, via Cintia Complesso Universitario di Monte S. Angelo 80126 Napoli, Italy e-mail: nfusco@unina.it Carlos E. Kenig Department of Mathematics University of Chicago 5734 University Avenue Chicago, IL 60637-1514 USA e-mail: cek@math.uchicago.edu Fulvio Ricci Scuola Normale Superiore di Pisa Piazza dei Cavalieri 7 56126 Pisa, Italy e-mail: fricci@sns.it Gerard Van der Geer Korteweg-de Vries Instituut Universiteit van Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands e-mail: geer@science.uva.nl Cédric Villani Institut Henri Poincaré 11 rue Pierre et Marie Curie 75230 Paris Cedex 05 France e-mail: cedric.villani@upmc.fr Persi Diaconis Department of Statistics Stanford University 450 Serra Mall Stanford, CA 94305-4065, USA e-mail: diaconis@math.stanford.edu, cgates@stat.stanford.edu The Editorial Policy can be found at the back of the volume.
Marco Fontana Evan Houston Thomas Lucas Factoring Ideals in Integral Domains 123
Marco Fontana Università degli Studi Roma Tre Dipartimento di Matematica Rome, Italy Evan Houston Thomas Lucas University of North Carolina Mathematics and Statistics Charlotte, NC, USA ISSN 1862-9113 ISBN 978-3-642-31711-8 ISBN 978-3-642-31712-5 (ebook) DOI 10.1007/978-3-642-31712-5 Springer Heidelberg New York Dordrecht London Library of Congress Control Number: 2012947649 Mathematics Subject Classification (2010): 13AXX, 13CXX, 13GXX, 14A05, 11AXX c Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface A classical generalization of the Fundamental Theorem of Arithmetic states that an integral domain is a principal ideal domain if and only if each of its proper ideals can be factored as a finite product of principal prime ideals. If the principal restriction is removed, one has a characterization of (nontrivial) Dedekind domains. The purpose of this work is to study other types of ideal factorization. Most that we consider involve writing certain types of ideals in the form J,whereJ is an ideal of some special type and is a (finite) product of prime ideals. For example, we say that a domain has weak factorization if each nondivisorial ideal can be factored as above with J the divisorial closure of the ideal and a product of maximal ideals. In a different direction, we say that a domain has pseudo-dedekind factorization if each nonzero, noninvertible ideal can be factored as above with J invertible and a product of pairwise comaximal prime ideals. In each of these cases, if the domain in question is integrally closed, then it must be a Prüfer domain. While this implies, as is often the case in multiplicative ideal theory, that Prüfer domains play an important role in our study, we do provide non-integrally closed examples for each of these types of ideal factorization. On the other hand, we also consider domains in which each proper ideal can be factored as a product of radical ideals, and such domains must be almost Dedekind (hence Prüfer) domains. This volume provides a wide-ranging survey of results on various important types of ideal factorization actively investigated by several authors in recent years, often with new or simplified proofs; it also includes many new results. It is our hope that the material contained herein will be useful to researchers and graduate students interested in commutative algebra with an emphasis on the multiplicative theory of ideals. During the preparation of this work, Marco Fontana was partially supported by a Grant MIUR-PRIN (Ministero dell Istruzione, dell Università e della Ricerca, Progetti di Ricerca di Interesse Nazionale), and Evan Houston and Thomas G. Lucas v
vi Preface were supported by a visiting grant from GNSAGA of INdAM (Istituto Nazionale di Alta Matematica). Rome, Italy Charlotte, North Carolina May 2012 Marco Fontana Evan Houston Thomas G. Lucas
Contents 1 Introduction... 1 2 Sharpness and Trace Properties... 5 2.1 h-local Domains... 5 2.2 Sharp and Double Sharp Domains... 9 2.3 Sharp and Antesharp Primes... 11 2.4 Trace Properties... 20 2.5 Sharp Primes and Intersections... 28 3 Factoring Ideals in Almost Dedekind Domains and Generalized Dedekind Domains... 39 3.1 Factoring with Radical Ideals... 39 3.2 Factoring Families for Almost Dedekind Domains... 45 3.3 Factoring Divisorial Ideals in Generalized Dedekind Domains... 47 3.4 Constructing Almost Dedekind Domains... 50 4 Weak, Strong and Very Strong Factorization... 71 4.1 History... 71 4.2 Weak Factorization... 73 4.3 Overrings and Weak Factorization... 82 4.4 Finite Divisorial Closure... 87 5 Pseudo-Dedekind and Strong Pseudo-Dedekind Factorization... 95 5.1 Pseudo-Dedekind Factorization... 95 5.2 Local Domains with Pseudo-Dedekind Factorization... 100 5.3 Strong Pseudo-Dedekind Factorization... 108 5.4 Factorization and the Ring R.X/... 114 6 Factorization and Intersections of Overrings... 119 6.1 h-local Maximal Ideals... 119 6.2 Independent Pairs of Overrings... 126 vii
viii Contents 6.3 Jaffard Families and Matlis Partitions... 129 6.4 Factorization Examples... 136 Symbols and Definitions... 153 References... 159 Index... 163