Limits Commutative Algebra May 11 2020 1. Direct Limits Definition 1
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Table of Contents
UNIVERSAL PROPERTY & CASUALTY INSURANCE COMPANY MASSACHUSETTS PERSONAL PROPERTY MANUAL HOMEOWNERS PROGRAM EDITION 02/15 TABLE OF CONTENTS RULE CONTENT PAGE NO. 1 Application of Program Rules 1 2 Reserved for Future Use 1 3 Extent of Coverage 1 4 Reserved for Future Use 1 5 Policy Fee 1 6 Reserved for Future Use 1 7 Policy Period, Minimum Premium and Waiver of Premium 1 8 Rounding of Premiums 1 9 Changes and Mid-Term Premium Adjustments 2 10 Effective Date and Important Notices 2 11 Protective Device Credits 2 12 Townhouses or Rowhouses 2 13 Underwriting Surcharges 3 14 Mandatory Additional Charges 3 15 Payment and Payment Plan Options 4 16 Building Code Compliance 5 100 Reserved for Future Use 5 101 Limits of Liability and Coverage Relationship 6 102 Description of Coverages 6 103 Mandatory Coverages 7 104 Eligibility 7 105 Secondary Residence Premises 9 106 Reserved for Future Use 9 107 Construction Definitions 9 108 Seasonal Dwelling Definition 9 109 Single Building Definition 9 201 Policy Period 9 202 Changes or Cancellations 9 203 Manual Premium Revision 9 204 Reserved for Future Use 10 205 Reserved for Future Use 10 206 Transfer or Assignment 10 207 Reserved for Future Use 10 208 Premium Rounding Rule 10 209 Reserved for Future Use 10 300 Key Factor Interpolation Computation 10 301 Territorial Base Rates 11 401 Reserved for Future Use 20 402 Personal Property (Coverage C ) Replacement Cost Coverage 20 403 Age of Home 20 404 Ordinance or Law Coverage - Increased Limits 21 405 Debris Removal – HO 00 03 21 406 Deductibles 22 407 Additional -
Directed Sets and Topological Spaces Definable in O-Minimal Structures
Directed sets and topological spaces definable in o-minimal structures. Pablo And´ujarGuerrero∗ Margaret E. M. Thomas ∗ Erik Walsbergy 2010 Mathematics Subject Classification. 03C64 (Primary), 54A20, 54A05, 54D30 (Secondary). Key words. o-minimality, directed sets, definable topological spaces. Abstract We study directed sets definable in o-minimal structures, show- ing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case to definable families of sets with the finite intersection property. We then apply our results to the study of definable topologies. We prove that all de- finable topological spaces display properties akin to first countability, and give several characterizations of a notion of definable compactness due to Peterzil and Steinhorn [PS99] generalized to this setting. 1 Introduction The study of objects definable in o-minimal structures is motivated by the notion that o-minimality provides a rich but \tame" setting for the theories of said objects. In this paper we study directed sets definable in o-minimal structures, focusing on expansions of groups and fields. By \directed set" we mean a preordered set in which every finite subset has a lower (if downward ∗Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, IN 47907-2067, U.S.A. E-mail addresses: [email protected] (And´ujarGuer- rero), [email protected] (Thomas) yDepartment of Mathematics, Statistics, and Computer Science, Department of Math- ematics, University of California, Irvine, 340 Rowland Hall (Bldg.# 400), Irvine, CA 92697-3875, U.S.A. -
Chapter 4. Homomorphisms and Isomorphisms of Groups
Chapter 4. Homomorphisms and Isomorphisms of Groups 4.1 Note: We recall the following terminology. Let X and Y be sets. When we say that f is a function or a map from X to Y , written f : X ! Y , we mean that for every x 2 X there exists a unique corresponding element y = f(x) 2 Y . The set X is called the domain of f and the range or image of f is the set Image(f) = f(X) = f(x) x 2 X . For a set A ⊆ X, the image of A under f is the set f(A) = f(a) a 2 A and for a set −1 B ⊆ Y , the inverse image of B under f is the set f (B) = x 2 X f(x) 2 B . For a function f : X ! Y , we say f is one-to-one (written 1 : 1) or injective when for every y 2 Y there exists at most one x 2 X such that y = f(x), we say f is onto or surjective when for every y 2 Y there exists at least one x 2 X such that y = f(x), and we say f is invertible or bijective when f is 1:1 and onto, that is for every y 2 Y there exists a unique x 2 X such that y = f(x). When f is invertible, the inverse of f is the function f −1 : Y ! X defined by f −1(y) = x () y = f(x). For f : X ! Y and g : Y ! Z, the composite g ◦ f : X ! Z is given by (g ◦ f)(x) = g(f(x)). -
Scott Spaces and the Dcpo Category
SCOTT SPACES AND THE DCPO CATEGORY JORDAN BROWN Abstract. Directed-complete partial orders (dcpo’s) arise often in the study of λ-calculus. Here we investigate certain properties of dcpo’s and the Scott spaces they induce. We introduce a new construction which allows for the canonical extension of a partial order to a dcpo and give a proof that the dcpo introduced by Zhao, Xi, and Chen is well-filtered. Contents 1. Introduction 1 2. General Definitions and the Finite Case 2 3. Connectedness of Scott Spaces 5 4. The Categorical Structure of DCPO 6 5. Suprema and the Waybelow Relation 7 6. Hofmann-Mislove Theorem 9 7. Ordinal-Based DCPOs 11 8. Acknowledgments 13 References 13 1. Introduction Directed-complete partially ordered sets (dcpo’s) often arise in the study of λ-calculus. Namely, they are often used to construct models for λ theories. There are several versions of the λ-calculus, all of which attempt to describe the ‘computable’ functions. The first robust descriptions of λ-calculus appeared around the same time as the definition of Turing machines, and Turing’s paper introducing computing machines includes a proof that his computable functions are precisely the λ-definable ones [5] [8]. Though we do not address the λ-calculus directly here, an exposition of certain λ theories and the construction of Scott space models for them can be found in [1]. In these models, computable functions correspond to continuous functions with respect to the Scott topology. It is thus with an eye to the application of topological tools in the study of computability that we investigate the Scott topology. -
A Guide to Topology
i i “topguide” — 2010/12/8 — 17:36 — page i — #1 i i A Guide to Topology i i i i i i “topguide” — 2011/2/15 — 16:42 — page ii — #2 i i c 2009 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2009929077 Print Edition ISBN 978-0-88385-346-7 Electronic Edition ISBN 978-0-88385-917-9 Printed in the United States of America Current Printing (last digit): 10987654321 i i i i i i “topguide” — 2010/12/8 — 17:36 — page iii — #3 i i The Dolciani Mathematical Expositions NUMBER FORTY MAA Guides # 4 A Guide to Topology Steven G. Krantz Washington University, St. Louis ® Published and Distributed by The Mathematical Association of America i i i i i i “topguide” — 2010/12/8 — 17:36 — page iv — #4 i i DOLCIANI MATHEMATICAL EXPOSITIONS Committee on Books Paul Zorn, Chair Dolciani Mathematical Expositions Editorial Board Underwood Dudley, Editor Jeremy S. Case Rosalie A. Dance Tevian Dray Patricia B. Humphrey Virginia E. Knight Mark A. Peterson Jonathan Rogness Thomas Q. Sibley Joe Alyn Stickles i i i i i i “topguide” — 2010/12/8 — 17:36 — page v — #5 i i The DOLCIANI MATHEMATICAL EXPOSITIONS series of the Mathematical Association of America was established through a generous gift to the Association from Mary P. Dolciani, Professor of Mathematics at Hunter College of the City Uni- versity of New York. In making the gift, Professor Dolciani, herself an exceptionally talented and successfulexpositor of mathematics, had the purpose of furthering the ideal of excellence in mathematical exposition. -
Arxiv:1705.02246V2 [Math.RT] 20 Nov 2019 Esyta Ulsubcategory Full a That Say [15]
WIDE SUBCATEGORIES OF d-CLUSTER TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels, cokernels, and extensions. Wide subcategories provide a significant interface between representation theory and combinatorics. If Φ is a finite dimensional algebra, then each functorially finite wide subcategory of mod(Φ) is of the φ form φ∗ mod(Γ) in an essentially unique way, where Γ is a finite dimensional algebra and Φ −→ Γ is Φ an algebra epimorphism satisfying Tor (Γ, Γ) = 0. 1 Let F ⊆ mod(Φ) be a d-cluster tilting subcategory as defined by Iyama. Then F is a d-abelian category as defined by Jasso, and we call a subcategory of F wide if it is closed under sums, summands, d- kernels, d-cokernels, and d-extensions. We generalise the above description of wide subcategories to this setting: Each functorially finite wide subcategory of F is of the form φ∗(G ) in an essentially φ Φ unique way, where Φ −→ Γ is an algebra epimorphism satisfying Tord (Γ, Γ) = 0, and G ⊆ mod(Γ) is a d-cluster tilting subcategory. We illustrate the theory by computing the wide subcategories of some d-cluster tilting subcategories ℓ F ⊆ mod(Φ) over algebras of the form Φ = kAm/(rad kAm) . Dedicated to Idun Reiten on the occasion of her 75th birthday 1. Introduction Let d > 1 be an integer. This paper introduces and studies wide subcategories of d-abelian categories as defined by Jasso. The main examples of d-abelian categories are d-cluster tilting subcategories as defined by Iyama. -
Universal Properties, Free Algebras, Presentations
Universal Properties, Free Algebras, Presentations Modern Algebra 1 Fall 2016 Modern Algebra 1 (Fall 2016) Universal Properties, Free Algebras, Presentations 1 / 14 (1) f ◦ g exists if and only if dom(f ) = cod(g). (2) Composition is associative when it is defined. (3) dom(f ◦ g) = dom(g), cod(f ◦ g) = cod(f ). (4) If A = dom(f ) and B = cod(f ), then f ◦ idA = f and idB ◦ f = f . (5) dom(idA) = cod(idA) = A. (1) Ob(C) = O is a class whose members are called objects, (2) Mor(C) = M is a class whose members are called morphisms, (3) ◦ : M × M ! M is a binary partial operation called composition, (4) id : O ! M is a unary function assigning to each object A 2 O a morphism idA called the identity of A, (5) dom; cod : M ! O are unary functions assigning to each morphism f objects called the domain and codomain of f respectively. The laws defining categories are: Defn (Category) A category is a 2-sorted partial algebra C = hO; M; ◦; id; dom; codi where Modern Algebra 1 (Fall 2016) Universal Properties, Free Algebras, Presentations 2 / 14 (1) f ◦ g exists if and only if dom(f ) = cod(g). (2) Composition is associative when it is defined. (3) dom(f ◦ g) = dom(g), cod(f ◦ g) = cod(f ). (4) If A = dom(f ) and B = cod(f ), then f ◦ idA = f and idB ◦ f = f . (5) dom(idA) = cod(idA) = A. (2) Mor(C) = M is a class whose members are called morphisms, (3) ◦ : M × M ! M is a binary partial operation called composition, (4) id : O ! M is a unary function assigning to each object A 2 O a morphism idA called the identity of A, (5) dom; cod : M ! O are unary functions assigning to each morphism f objects called the domain and codomain of f respectively. -
The General Linear Group
18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices. -
Diagram Chasing in Abelian Categories
Diagram Chasing in Abelian Categories Daniel Murfet October 5, 2006 In applications of the theory of homological algebra, results such as the Five Lemma are crucial. For abelian groups this result is proved by diagram chasing, a procedure not immediately available in a general abelian category. However, we can still prove the desired results by embedding our abelian category in the category of abelian groups. All of this material is taken from Mitchell’s book on category theory [Mit65]. Contents 1 Introduction 1 1.1 Desired results ...................................... 1 2 Walks in Abelian Categories 3 2.1 Diagram chasing ..................................... 6 1 Introduction For our conventions regarding categories the reader is directed to our Abelian Categories (AC) notes. In particular recall that an embedding is a faithful functor which takes distinct objects to distinct objects. Theorem 1. Any small abelian category A has an exact embedding into the category of abelian groups. Proof. See [Mit65] Chapter 4, Theorem 2.6. Lemma 2. Let A be an abelian category and S ⊆ A a nonempty set of objects. There is a full small abelian subcategory B of A containing S. Proof. See [Mit65] Chapter 4, Lemma 2.7. Combining results II 6.7 and II 7.1 of [Mit65] we have Lemma 3. Let A be an abelian category, T : A −→ Ab an exact embedding. Then T preserves and reflects monomorphisms, epimorphisms, commutative diagrams, limits and colimits of finite diagrams, and exact sequences. 1.1 Desired results In the category of abelian groups, diagram chasing arguments are usually used either to establish a property (such as surjectivity) of a certain morphism, or to construct a new morphism between known objects. -
Derived Functors and Homological Dimension (Pdf)
DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION George Torres Math 221 Abstract. This paper overviews the basic notions of abelian categories, exact functors, and chain complexes. It will use these concepts to define derived functors, prove their existence, and demon- strate their relationship to homological dimension. I affirm my awareness of the standards of the Harvard College Honor Code. Date: December 15, 2015. 1 2 DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION 1. Abelian Categories and Homology The concept of an abelian category will be necessary for discussing ideas on homological algebra. Loosely speaking, an abelian cagetory is a type of category that behaves like modules (R-mod) or abelian groups (Ab). We must first define a few types of morphisms that such a category must have. Definition 1.1. A morphism f : X ! Y in a category C is a zero morphism if: • for any A 2 C and any g; h : A ! X, fg = fh • for any B 2 C and any g; h : Y ! B, gf = hf We denote a zero morphism as 0XY (or sometimes just 0 if the context is sufficient). Definition 1.2. A morphism f : X ! Y is a monomorphism if it is left cancellative. That is, for all g; h : Z ! X, we have fg = fh ) g = h. An epimorphism is a morphism if it is right cancellative. The zero morphism is a generalization of the zero map on rings, or the identity homomorphism on groups. Monomorphisms and epimorphisms are generalizations of injective and surjective homomorphisms (though these definitions don't always coincide). It can be shown that a morphism is an isomorphism iff it is epic and monic. -
Categories, Functors, and Natural Transformations I∗
Lecture 2: Categories, functors, and natural transformations I∗ Nilay Kumar June 4, 2014 (Meta)categories We begin, for the moment, with rather loose definitions, free from the technicalities of set theory. Definition 1. A metagraph consists of objects a; b; c; : : :, arrows f; g; h; : : :, and two operations, as follows. The first is the domain, which assigns to each arrow f an object a = dom f, and the second is the codomain, which assigns to each arrow f an object b = cod f. This is visually indicated by f : a ! b. Definition 2. A metacategory is a metagraph with two additional operations. The first is the identity, which assigns to each object a an arrow Ida = 1a : a ! a. The second is the composition, which assigns to each pair g; f of arrows with dom g = cod f an arrow g ◦ f called their composition, with g ◦ f : dom f ! cod g. This operation may be pictured as b f g a c g◦f We require further that: composition is associative, k ◦ (g ◦ f) = (k ◦ g) ◦ f; (whenever this composition makese sense) or diagrammatically that the diagram k◦(g◦f)=(k◦g)◦f a d k◦g f k g◦f b g c commutes, and that for all arrows f : a ! b and g : b ! c, we have 1b ◦ f = f and g ◦ 1b = g; or diagrammatically that the diagram f a b f g 1b g b c commutes. ∗This talk follows [1] I.1-4 very closely. 1 Recall that a diagram is commutative when, for each pair of vertices c and c0, any two paths formed from direct edges leading from c to c0 yield, by composition of labels, equal arrows from c to c0. -
The Left and Right Homotopy Relations We Recall That a Coproduct of Two
The left and right homotopy relations We recall that a coproduct of two objects A and B in a category C is an object A q B together with two maps in1 : A → A q B and in2 : B → A q B such that, for every pair of maps f : A → C and g : B → C, there exists a unique map f + g : A q B → C 0 such that f = (f + g) ◦ in1 and g = (f + g) ◦ in2. If both A q B and A q B 0 0 0 are coproducts of A and B, then the maps in1 + in2 : A q B → A q B and 0 in1 + in2 : A q B → A q B are isomorphisms and each others inverses. The map ∇ = id + id: A q A → A is called the fold map. Dually, a product of two objects A and B in a category C is an object A × B together with two maps pr1 : A × B → A and pr2 : A × B → B such that, for every pair of maps f : C → A and g : C → B, there exists a unique map (f, g): C → A × B 0 such that f = pr1 ◦(f, g) and g = pr2 ◦(f, g). If both A × B and A × B 0 are products of A and B, then the maps (pr1, pr2): A × B → A × B and 0 0 0 (pr1, pr2): A × B → A × B are isomorphisms and each others inverses. The map ∆ = (id, id): A → A × A is called the diagonal map. Definition Let C be a model category, and let f : A → B and g : A → B be two maps.