DOCSLIB.ORG

5 0.2. Why Study Commutative Algebra? 5 0.3

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

COMMUTATIVE ALGEBRA PETE L. CLARK Contents Introduction 5 0.1. What is Commutative Algebra? 5 0.2. Why study Commutative Algebra? 5 0.3. Acknowledgments 7 1. Commutative rings 7 1.1. Fixing terminology 7 1.2. Adjoining elements 10 1.3. Ideals and quotient rings 11 1.4. The monoid of ideals of R 14 1.5. Pushing and pulling ideals 15 1.6. Maximal and prime ideals 16 1.7. Products of rings 17 1.8. A cheatsheet 19 2. Galois Connections 20 2.1. The basic formalism 20 2.2. Lattice Properties 22 2.3. Examples of Antitone Galois Connections 22 2.4. Antitone Galois Connections Decorticated: Relations 25 2.5. Isotone Galois Connections 26 2.6. Examples of Isotone Galois Connections 26 3. Modules 27 3.1. Basic definitions 27 3.2. Finitely presented modules 32 3.3. Torsion and torsionfree modules 34 3.4. Tensor and Hom 35 3.5. Projective modules 37 3.6. Injective modules 44 3.7. Flat modules 51 3.8. Nakayama's Lemma 52 3.9. Ordinal Filtrations and Applications 56 3.10. Tor and Ext 64 3.11. More on flat modules 72 3.12. Faithful flatness 78 4. First Properties of Ideals in a Commutative Ring 81 4.1. Introducing maximal and prime ideals 81 4.2. Radicals 84 Date: March 9, 2015. 1 2 PETE L. CLARK 4.3. Comaximal ideals 87 4.4. Local rings 89 4.5. The Prime Ideal Principle of Lam and Reyes 90 4.6. Minimal Primes 93 5. Examples of Rings 94 5.1. Rings of numbers 94 5.2. Rings of continuous functions 95 5.3. Rings of holomorphic functions 102 5.4. Polynomial rings 104 5.5. Semigroup algebras 106 6. Swan's Theorem 112 6.1. Introduction to (topological) vector bundles 113 6.2. Swan's Theorem 114 6.3. Proof of Swan's Theorem 115 6.4. Applications of Swan's Theorem 118 6.5. Stably Free Modules 119 6.6. The Theorem of Bkouche and Finney-Rotman 126 7. Localization 126 7.1. Definition and first properties 126 7.2. Pushing and pulling via a localization map 128 7.3. The fibers of a morphism 130 7.4. Commutativity of localization and passage to a quotient 131 7.5. Localization at a prime ideal 131 7.6. Localization of modules 131 7.7. Local properties 133 7.8. Local characterization of finitely generated projective modules 135 8. Noetherian rings 139 8.1. Chain conditions on partially ordered sets 139 8.2. Chain conditions on modules 140 8.3. Semisimple modules and rings 141 8.4. Normal Series 144 8.5. The Krull-Schmidt Theorem 145 8.6. Some important terminology 150 8.7. Introducing Noetherian rings 151 8.8. Theorems of Eakin-Nagata, Formanek and Jothilingam 152 8.9. The Bass-Papp Theorem 154 8.10. Artinian rings: structure theory 155 8.11. The Hilbert Basis Theorem 158 8.12. The Krull Intersection Theorem 160 8.13. Krull's Principal Ideal Theorem 162 8.14. The Dimension Theorem, following [BMRH] 165 8.15. The Artin-Tate Lemma 165 9. Boolean rings 166 9.1. First Properties 166 9.2. Boolean Algebras 166 9.3. Ideal Theory in Boolean Rings 169 9.4. The Stone Representation Theorem 171 9.5. Boolean Spaces 172 COMMUTATIVE ALGEBRA 3 9.6. Stone Duality 175 9.7. Topology of Boolean Rings 176 10. Associated Primes and Primary Decomposition 176 10.1. Associated Primes 176 10.2. The support of a module 179 10.3. Primary Ideals 180 10.4. Primary Decomposition, Lasker and Noether 182 10.5. Irredundant primary decompositions 184 10.6. Uniqueness properties of primary decomposition 185 10.7. Applications in dimension zero 187 10.8. Applications in dimension one 187 11. Nullstellens¨atze 188 11.1. Zariski's Lemma 188 11.2. Hilbert's Nullstellensatz 189 11.3. The Real Nullstellensatz 193 11.4. The Combinatorial Nullstellensatz 196 11.5. The Finite Field Nullstellensatz 198 11.6. Terjanian's Homogeneous p-Nullstellensatz 199 12. Goldman domains and Hilbert-Jacobson rings 203 12.1. Goldman domains 203 12.2. Hilbert rings 206 12.3. Jacobson Rings 207 12.4. Hilbert-Jacobson Rings 208 13. Spec R as a topological space 209 13.1. The Zariski spectrum 209 13.2. Properties of the spectrum: quasi-compactness 210 13.3. Properties of the spectrum: separation and specialization 211 13.4. Irreducible spaces 213 13.5. Noetherian spaces 214 13.6. Hochster's Theorem 216 13.7. Rank functions revisited 217 14. Integrality in Ring Extensions 219 14.1. First properties of integral extensions 219 14.2. Integral closure of domains 221 14.3. Spectral properties of integral extensions 224 14.4. Integrally closed domains 225 14.5. The Noether Normalization Theorem 227 14.6. Some Classical Invariant Theory 229 14.7. Galois extensions of integrally closed domains 233 14.8. Almost Integral Extensions 234 15. Factorization 235 15.1. Kaplansky's Theorem (II) 236 15.2. Atomic domains, (ACCP) 237 15.3. EL-domains 238 15.4. GCD-domains 239 15.5. GCDs versus LCMs 241 15.6. Polynomial rings over UFDs 243 15.7. Application: the Sch¨onemann-EisensteinCriterion 247 4 PETE L. CLARK 15.8. Application: Determination of Spec R[t] for a PID R 248 15.9. Power series rings over UFDs 249 15.10. Nagata's Criterion 250 16. Principal rings and B´ezoutdomains 253 16.1. Principal ideal domains 253 16.2. Some structure theory of principal rings 256 16.3. Euclidean functions and Euclidean rings 257 16.4. B´ezoutdomains 259 17. Valuation rings 260 17.1. Basic theory 260 17.2. Ordered abelian groups 263 17.3. Connections with integral closure 267 17.4. Another proof of Zariski's Lemma 268 17.5. Discrete valuation rings 269 18. Normalization theorems 272 18.1. The First Normalization Theorem 272 18.2. The Second Normalization Theorem 274 18.3. The Krull-Akizuki Theorem 274 19. The Picard Group and the Divisor Class Group 276 19.1. Fractional ideals 276 19.2. The Ideal Closure 278 19.3. Invertible fractional ideals and the Picard group 279 19.4. Divisorial ideals and the Divisor Class Group 283 20. Dedekind domains 285 20.1. Characterization in terms of invertibility of ideals 285 20.2. Ideal factorization in Dedekind domains 286 20.3. Local characterization of Dedekind domains 288 20.4. Factorization into primes implies Dedekind 288 20.5. Generation of ideals in Dedekind domains 289 20.6. Finitely generated modules over a Dedekind domain 290 20.7. Injective Modules 292 21. Pr¨uferdomains 294 21.1. Characterizations of Pr¨uferDomains 294 21.2. Butts's Criterion for a Dedekind Domain 297 21.3. Modules over a Pr¨uferdomain 298 22. One Dimensional Noetherian Domains 299 22.1. Finite Quotient Domains 299 23. Structure of overrings 302 23.1. Introducing overrings 302 23.2. Overrings of Dedekind domains 303 23.3. Elasticity in Replete Dedekind Domains 307 23.4. Overrings of Pr¨uferDomains 310 23.5. Kaplansky's Theorem (III) 311 23.6. Every commutative group is a class group 312 References 316 COMMUTATIVE ALGEBRA 5 Introduction 0.1. What is Commutative Algebra? Commutative algebra is the study of commutative rings and attendant structures, especially ideals and modules. This is the only possible short answer I can think of, but it is not completely satisfying. We might as well say that Hamlet, Prince of Denmark is about a fic- tional royal family in late medieval Denmark and especially about the title (crown) prince, whose father (i.e., the King) has recently died and whose father's brother has married his mother (i.e., the Queen). Informative, but not the whole story! 0.2. Why study Commutative Algebra? What are the purely mathematical reasons for studying any subject of pure math- ematics? I can think of two: I. Commutative algebra is a necessary and/or useful prerequisite for the study of other fields of mathematics in which we are interested. II. We find commutative algebra to be intrinsically interesting and we want to learn more. Perhaps we even wish to discover new results in this area. Most beginning students of commutative algebra can relate to the first reason: they need, or are told they need, to learn some commutative algebra for their study of other subjects. Indeed, commutative algebra has come to occupy a remarkably central role in modern pure mathematics, perhaps second only to category theory in its ubiquitousness, but in a different way. Category theory provides a common language and builds bridges between different areas of mathematics: it is something like a circulatory system. Commutative algebra provides core results that other re- sults draw upon in a foundational way: it is something like a skeleton. The branch of mathematics which most of all draws upon commutative algebra for its structural integrity is algebraic geometry, the study of geometric properties of manifolds and singular spaces which arise as the loci of solutions to systems of polynomial equations. In fact there is a hard lesson here: in the 19th century al- gebraic geometry split off from complex function theory and differential geometry as its own discipline and then burgeoned dramatically at the turn of the century and the years thereafter. But by 1920 or so the practitioners of the subject had found their way into territory in which \purely geometric" reasoning led to seri- ous errors. In particular they had been making arguments about how algebraic varieties behave generically, but they lacked the technology to even give a precise meaning to the term.
Recommended publications
  • Multiplicative Theory of Ideals This Is Volume 43 in PURE and APPLIED MATHEMATICS a Series of Monographs and Textbooks Editors: PAULA

    Multiplicative Theory of Ideals This Is Volume 43 in PURE and APPLIED MATHEMATICS a Series of Monographs and Textbooks Editors: PAULA

    Multiplicative Theory of Ideals This is Volume 43 in PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Editors: PAULA. SMITHAND SAMUELEILENBERG A complete list of titles in this series appears at the end of this volume MULTIPLICATIVE THEORY OF IDEALS MAX D. LARSEN / PAUL J. McCARTHY University of Nebraska University of Kansas Lincoln, Nebraska Lawrence, Kansas @ A CADEM I C P RE S S New York and London 1971 COPYRIGHT 0 1971, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED NO PART OF THIS BOOK MAY BE REPRODUCED IN ANY FORM, BY PHOTOSTAT, MICROFILM, RETRIEVAL SYSTEM, OR ANY OTHER MEANS, WITHOUT WRITTEN PERMISSION FROM THE PUBLISHERS. ACADEMIC PRESS, INC. 111 Fifth Avenue, New York, New York 10003 United Kingdom Edition published by ACADEMIC PRESS, INC. (LONDON) LTD. Berkeley Square House, London WlX 6BA LIBRARY OF CONGRESS CATALOG CARD NUMBER: 72-137621 AMS (MOS)1970 Subject Classification 13F05; 13A05,13B20, 13C15,13E05,13F20 PRINTED IN THE UNITED STATES OF AMERICA To Lillie and Jean This Page Intentionally Left Blank Contents Preface xi ... Prerequisites Xlll Chapter I. Modules 1 Rings and Modules 1 2 Chain Conditions 8 3 Direct Sums 12 4 Tensor Products 15 5 Flat Modules 21 Exercises 27 Chapter II. Primary Decompositions and Noetherian Rings 1 Operations on Ideals and Submodules 36 2 Primary Submodules 39 3 Noetherian Rings 44 4 Uniqueness Results for Primary Decompositions 48 Exercises 52 Chapter Ill. Rings and Modules of Quotients 1 Definition 61 2 Extension and Contraction of Ideals 66 3 Properties of Rings of Quotients 71 Exercises 74 Vii Vlll CONTENTS Chapter IV.
  • Dedekind Domains

    Dedekind Domains

    Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K=F is a finite extension and A is a Dedekind domain with quotient field F , then the integral closure of A in K is also a Dedekind domain. As we will see in the proof, we need various results from ring theory and field theory. We first recall some basic definitions and facts. A Dedekind domain is an integral domain B for which every nonzero ideal can be written uniquely as a product of prime ideals. Perhaps the main theorem about Dedekind domains is that a domain B is a Dedekind domain if and only if B is Noetherian, integrally closed, and dim(B) = 1. Without fully defining dimension, to say that a ring has dimension 1 says nothing more than nonzero prime ideals are maximal. Moreover, a Noetherian ring B is a Dedekind domain if and only if BM is a discrete valuation ring for every maximal ideal M of B. In particular, a Dedekind domain that is a local ring is a discrete valuation ring, and vice-versa. We start by mentioning two examples of Dedekind domains. Example 1. The ring of integers Z is a Dedekind domain. In fact, any principal ideal domain is a Dedekind domain since a principal ideal domain is Noetherian integrally closed, and nonzero prime ideals are maximal. Alternatively, it is easy to prove that in a principal ideal domain, every nonzero ideal factors uniquely into prime ideals.
  • Factorization in Integral Domains, II

    Factorization in Integral Domains, II

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 152,78-93 (1992) Factorization in Integral Domains, II D. D. ANDERSON Department of Mathematics, The University of Iowa, Iowa City, Iowa 52242 DAVID F. ANDERSON* Department of Mathematics, The Unioersity of Tennessee, Knoxville, Tennessee 37996 AND MUHAMMAD ZAFRULLAH Department of Mathematics, Winthrop College, Rock Hill, South Carolina 29733 Communicated by Richard G. Swan Received June 8. 1990 In this paper, we study several factorization properties in an integral domain which are weaker than unique factorization. We study how these properties behave under localization and directed unions. 0 1992 Academic Press, Inc. In this paper, we continue our investigation begun in [l] of various factorization properties in an integral domain which are weaker than unique factorization. Section 1 introduces material on inert extensions and splitting multiplicative sets. In Section 2, we study how these factorization properties behave under localization. Special attention is paid to multi- plicative sets generated by primes. Section 3 consists of “Nagata-type” theorems about these properties. That is, if the localization of a domain at a multiplicative set generated by primes satisfies a certain ring-theoretic property, does the domain satisfy that property? In the fourth section, we consider Nagata-type theorems for root closure, seminormality, integral * Supported in part by a National Security Agency Grant. 78 OO21-8693/92$5.00 Copyright 0 1992 by Academic Press, Inc. All righrs of reproduction in any form reserved. FACTORIZATION IN INTEGRAL DOMAINS, II 79 closure: and complete integral closure.
  • Commutative Algebra, Lecture Notes

    Commutative Algebra, Lecture Notes

    COMMUTATIVE ALGEBRA, LECTURE NOTES P. SOSNA Contents 1. Very brief introduction 2 2. Rings and Ideals 2 3. Modules 10 3.1. Tensor product of modules 15 3.2. Flatness 18 3.3. Algebras 21 4. Localisation 22 4.1. Local properties 25 5. Chain conditions, Noetherian and Artin rings 29 5.1. Noetherian rings and modules 31 5.2. Artin rings 36 6. Primary decomposition 38 6.1. Primary decompositions in Noetherian rings 42 6.2. Application to Artin rings 43 6.3. Some geometry 44 6.4. Associated primes 45 7. Ring extensions 49 7.1. More geometry 56 8. Dimension theory 57 8.1. Regular rings 66 9. Homological methods 68 9.1. Recollections 68 9.2. Global dimension 71 9.3. Regular sequences, global dimension and regular rings 76 10. Differentials 83 10.1. Construction and some properties 83 10.2. Connection to regularity 88 11. Appendix: Exercises 91 References 100 1 2 P. SOSNA 1. Very brief introduction These are notes for a lecture (14 weeks, 2×90 minutes per week) held at the University of Hamburg in the winter semester 2014/2015. The goal is to introduce and study some basic concepts from commutative algebra which are indispensable in, for instance, algebraic geometry. There are many references for the subject, some of them are in the bibliography. In Sections 2-8 I mostly closely follow [2], sometimes rearranging the order in which the results are presented, sometimes omitting results and sometimes giving statements which are missing in [2]. In Section 9 I mostly rely on [9], while most of the material in Section 10 closely follows [4].
  • Open Problems

    Open Problems

    Open Problems 1. Does the lower radical construction for `-rings stop at the first infinite ordinal (Theorems 3.2.5 and 3.2.8)? This is the case for rings; see [ADS]. 2. If P is a radical class of `-rings and A is an `-ideal of R, is P(A) an `-ideal of R (Theorem 3.2.16 and Exercises 3.2.24 and 3.2.25)? 3. (Diem [DI]) Is an sp-`-prime `-ring an `-domain (Theorem 3.7.3)? 4. If R is a torsion-free `-prime `-algebra over the totally ordered domain C and p(x) 2C[x]nC with p0(1) > 0 in C and p(a) ¸ 0 for every a 2 R, is R an `-domain (Theorems 3.8.3 and 3.8.4)? 5. Does each f -algebra over a commutative directed po-unital po-ring C whose left and right annihilator ideals vanish have a unique tight C-unital cover (Theorems 3.4.5, 3.4.11, and 3.4.12 and Exercises 3.4.16 and 3.4.18)? 6. Can an f -ring contain a principal `-idempotent `-ideal that is not generated by an upperpotent element (Theorem 3.4.4 and Exercise 3.4.15)? 7. Is each C-unital cover of a C-unitable (totally ordered) f -algebra (totally or- dered) tight (Theorem 3.4.10)? 8. Is an archimedean `-group a nonsingular module over its f -ring of f -endomorphisms (Exercise 4.3.56)? 9. If an archimedean `-group is a finitely generated module over its ring of f -endomorphisms, is it a cyclic module (Exercise 3.6.20)? 10.
  • LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The

    LECTURE 6: FIBER BUNDLES in This Section We Will Introduce The

    LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class of fibrations given by fiber bundles. Fiber bundles play an important role in many geometric contexts. For example, the Grassmaniann varieties and certain fiber bundles associated to Stiefel varieties are central in the classification of vector bundles over (nice) spaces. The fact that fiber bundles are examples of Serre fibrations follows from Theorem ?? which states that being a Serre fibration is a local property. 1. Fiber bundles and principal bundles Definition 6.1. A fiber bundle with fiber F is a map p: E ! X with the following property: every ∼ −1 point x 2 X has a neighborhood U ⊆ X for which there is a homeomorphism φU : U × F = p (U) such that the following diagram commutes in which π1 : U × F ! U is the projection on the first factor: φ U × F U / p−1(U) ∼= π1 p * U t Remark 6.2. The projection X × F ! X is an example of a fiber bundle: it is called the trivial bundle over X with fiber F . By definition, a fiber bundle is a map which is `locally' homeomorphic to a trivial bundle. The homeomorphism φU in the definition is a local trivialization of the bundle, or a trivialization over U. Let us begin with an interesting subclass. A fiber bundle whose fiber F is a discrete space is (by definition) a covering projection (with fiber F ). For example, the exponential map R ! S1 is a covering projection with fiber Z. Suppose X is a space which is path-connected and locally simply connected (in fact, the weaker condition of being semi-locally simply connected would be enough for the following construction).
  • Arxiv:1601.07660V1 [Math.AC] 28 Jan 2016 2].Tesemigroup the [26])

    Arxiv:1601.07660V1 [Math.AC] 28 Jan 2016 2].Tesemigroup the [26])

    INTEGRAL DOMAINS WITH BOOLEAN t-CLASS SEMIGROUP S. KABBAJ AND A. MIMOUNI Abstract. The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by t- multiplication. This paper investigates integral domains with Boolean t-class semigroup with an emphasis on the GCD and stability conditions. The main results establish t-analogues for well-known results on Pr¨ufer domains and B´ezout domains of finite character. 1. Introduction All rings considered in this paper are integral domains (i.e., commutative with identity and without zero-divisors). The class semigroup of a domain R, denoted S(R), is the semigroup of nonzero fractional ideals modulo its subsemigroup of nonzero principal ideals [11, 41]. The t-class semigroup of R, denoted St(R), is the semigroup of fractional t-ideals modulo its subsemigroup of nonzero principal ideals, that is, the semigroup of the isomorphy classes of the t-ideals of R with the operation induced by ideal t-multiplication. Notice that St(R) is the t-analogue of S(R), as the class group Cl(R) is the t-analogue of the Picard group Pic(R). The following set-theoretic inclusions always hold: Pic(R) ⊆ Cl(R) ⊆ St(R) ⊆ S(R). Note that the first and third inclusions turn into equality for Pr¨ufer domains and the second does so for Krull domains. More details on these objects are provided in the next section. Divisibility properties of a domain R are often reflected in group or semigroup- theoretic properties of Cl(R) or S(R).
  • Quantizations of Regular Functions on Nilpotent Orbits 3

    Quantizations of Regular Functions on Nilpotent Orbits 3

    QUANTIZATIONS OF REGULAR FUNCTIONS ON NILPOTENT ORBITS IVAN LOSEV Abstract. We study the quantizations of the algebras of regular functions on nilpo- tent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quan- tization has integral central character in all cases but four (one orbit in E7 and three orbits in E8). We use this to complete the computation of Goldie ranks for primitive ideals with integral central character for all special nilpotent orbits but one (in E8). Our main ingredient are results on the geometry of normalizations of the closures of nilpotent orbits by Fu and Namikawa. 1. Introduction 1.1. Nilpotent orbits and their quantizations. Let G be a connected semisimple algebraic group over C and let g be its Lie algebra. Pick a nilpotent orbit O ⊂ g. This orbit is a symplectic algebraic variety with respect to the Kirillov-Kostant form. So the algebra C[O] of regular functions on O acquires a Poisson bracket. This algebra is also naturally graded and the Poisson bracket has degree −1. So one can ask about quantizations of O, i.e., filtered algebras A equipped with an isomorphism gr A −→∼ C[O] of graded Poisson algebras. We are actually interested in quantizations that have some additional structures mir- roring those of O. Namely, the group G acts on O and the inclusion O ֒→ g is a moment map for this action. We want the G-action on C[O] to lift to a filtration preserving action on A.
  • Algebraic Numbers

    Algebraic Numbers

    FORMALIZED MATHEMATICS Vol. 24, No. 4, Pages 291–299, 2016 DOI: 10.1515/forma-2016-0025 degruyter.com/view/j/forma Algebraic Numbers Yasushige Watase Suginami-ku Matsunoki 6 3-21 Tokyo, Japan Summary. This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field Q induced by substitution of an algebraic number to the polynomial ring of Q[x] turns to be a field. MSC: 11R04 13B21 03B35 Keywords: algebraic number; integral dependency MML identifier: ALGNUM 1, version: 8.1.05 5.39.1282 1. Preliminaries From now on i, j denote natural numbers and A, B denote rings. Now we state the propositions: (1) Let us consider rings L1, L2, L3. Suppose L1 is a subring of L2 and L2 is a subring of L3. Then L1 is a subring of L3. (2) FQ is a subfield of CF. (3) FQ is a subring of CF. R (4) Z is a subring of CF. Let us consider elements x, y of B and elements x1, y1 of A. Now we state the propositions: (5) If A is a subring of B and x = x1 and y = y1, then x + y = x1 + y1. (6) If A is a subring of B and x = x1 and y = y1, then x · y = x1 · y1.
  • MTH 304: General Topology Semester 2, 2017-2018

    MTH 304: General Topology Semester 2, 2017-2018

    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
  • 7902127 Fordt DAVID JAKES Oni the COMPUTATION of THE

    7902127 Fordt DAVID JAKES Oni the COMPUTATION of THE

    7902127 FORDt DAVID JAKES ON i THE COMPUTATION OF THE MAXIMAL ORDER IK A DEDEKIND DOMAIN. THE OHIO STATE UNIVERSITY, PH.D*, 1978 University. Microfilms International 3q o n . z e e b r o a o . a n n a r b o r , mi 48ios ON THE COMPUTATION OF THE MAXIMAL ORDER IN A DEDEKIND DOMAIN DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By David James Ford, B.S., M.S. # * * K * The Ohio State University 1978 Reading Committee: Approved By Paul Ponomarev Jerome Rothstein Hans Zassenhaus Hans Zassenhaus Department of Mathematics ACKNOWLDEGMENTS I must first acknowledge the help of my Adviser, Professor Hans Zassenhaus, who was a fountain of inspiration whenever I was dry. I must also acknowlegde the help, financial and otherwise, that my parents gave me. Without it I could not have finished this work. All of the computing in this project, amounting to between one and two thousand hours of computer time, was done on a PDP-11 belonging to Drake and Ford Engineers, through the generosity of my father. VITA October 28, 1946.......... Born - Columbus, Ohio 1967...................... B.S. in Mathematics Massachusetts Institute of Technology Cambridge, Massachusetts 1967-196 8 ................. Teaching Assistant Department of Mathematics The Ohio State University Columbus, Ohio 1968-197 1................. Programmer Children's Hospital Medical Center Boston, Massachusetts 1971-1975................. Teaching Associate Department of Mathematics The Ohio State University Columbus, Ohio 1975-1978................. Programmer Prindle and Patrick, Architects Columbus, Ohio PUBLICATIONS "Relations in Q (Zh X ZQ) and Q (ZD X ZD)" (with Michael Singer) n 4 o n o o Communications in Algebra, Vol.
  • Norms and Traces MAT4250 — Høst 2013 Norms and Traces

    Norms and Traces MAT4250 — Høst 2013 Norms and Traces

    Norms and traces MAT4250 — Høst 2013 Norms and traces Version 0.2 — 10. september 2013 klokken 09:55 We start by recalling a few facts from linear algebra that will be very useful for us, and we shall do it over a general base field K (of any characteristic). Assume that V is afinitedimensionalvectorspaceoverK.Toanylinearoperatorφ: V V there are ! associated two polynomials, both in a canonical way. Firstly, there is the characteristic polynomial Pφ(t), which is, as we know, defined by Pφ(t)=det(t id φ). It is a monic polynomial whose degree n equals the dimension · − dimK V .TwoofthecoefficientsofPφ(t) play a special prominent role, the trace and the determinant. They are up to sign, respectively the coefficient of the subdominant term and the constant term of the characteristic polynomial Pφ(t): n n 1 n P (t)=t tr φt − + +( 1) det φ φ − ··· − Secondly, there is the minimal polynomial of φ.Itisdefinedasthemonicgenerator of the annihilator of φ,thatisthemonicgeneratoroftheidealIφ = f(t) K[t] { 2 | f(φ)=0 . The two polynomials arise in very different ways, but they are intimately } related. The Cayley-Hamilton theorem states that Pφ(φ)=0,sothecharacteristic polynomial of φ belongs to the ideal Iφ,andtheminimalpolynomialdividesthecha- racteristic polynomial. In general they are different. For example, the degree of the characteristic poly is always equal to dimK V ,butthedegreeoftheminimalpolycan be anything between one and dimK V (degree one occurring for scalar multiples of the identity map). We often will work over extensions ⌦ of the base field K.AvectorspaceV and alinearoperatorφ may accordingly be extended as the tensor products V K ⌦ and ⌦ φ idK .Ifv1,...,vn is a basis for V ,thenv1 1,...,vn 1 will be a basis for V K ⌦— ⌦ ⌦ ⌦ ⌦ the only thing that changes, is that we are allowed to use elements from ⌦ as coefficients.