Semilattice-Based Dualities 227 the Ptonka Sum Category 2~ (Theorem 4.2)
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
ON F-DERIVATIONS from SEMILATTICES to LATTICES
Commun. Korean Math. Soc. 29 (2014), No. 1, pp. 27–36 http://dx.doi.org/10.4134/CKMS.2014.29.1.027 ON f-DERIVATIONS FROM SEMILATTICES TO LATTICES Yong Ho Yon and Kyung Ho Kim Abstract. In this paper, we introduce the notion of f-derivations from a semilattice S to a lattice L, as a generalization of derivation and f- derivation of lattices. Also, we define the simple f-derivation from S to L, and research the properties of them and the conditions for a lattice L to be distributive. Finally, we prove that a distributive lattice L is isomorphic to the class SDf (S,L) of all simple f-derivations on S to L for every ∧-homomorphism f : S → L such that f(x0) ∨ f(y0) = 1 for ∼ some x0,y0 ∈ S, in particular, L = SDf (S,L) for every ∧-homomorphism f : S → L such that f(x0) = 1 for some x0 ∈ S. 1. Introduction In some of the literature, authors investigated the relationship between the notion of modularity or distributivity and the special operators on lattices such as derivations, multipliers and linear maps. The notion and some properties of derivations on lattices were introduced in [10, 11]. Sz´asz ([10, 11]) characterized the distributive lattices by multipliers and derivations: a lattice is distributive if and only if the set of all meet- multipliers and of all derivations coincide. In [5] it was shown that every derivation on a lattice is a multiplier and every multiplier is a dual closure. Pataki and Sz´az ([9]) gave a connection between non-expansive multipliers and quasi-interior operators. -
Introduction to Linear Bialgebra
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of New Mexico University of New Mexico UNM Digital Repository Mathematics and Statistics Faculty and Staff Publications Academic Department Resources 2005 INTRODUCTION TO LINEAR BIALGEBRA Florentin Smarandache University of New Mexico, [email protected] W.B. Vasantha Kandasamy K. Ilanthenral Follow this and additional works at: https://digitalrepository.unm.edu/math_fsp Part of the Algebra Commons, Analysis Commons, Discrete Mathematics and Combinatorics Commons, and the Other Mathematics Commons Recommended Citation Smarandache, Florentin; W.B. Vasantha Kandasamy; and K. Ilanthenral. "INTRODUCTION TO LINEAR BIALGEBRA." (2005). https://digitalrepository.unm.edu/math_fsp/232 This Book is brought to you for free and open access by the Academic Department Resources at UNM Digital Repository. It has been accepted for inclusion in Mathematics and Statistics Faculty and Staff Publications by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected], [email protected], [email protected]. INTRODUCTION TO LINEAR BIALGEBRA W. B. Vasantha Kandasamy Department of Mathematics Indian Institute of Technology, Madras Chennai – 600036, India e-mail: [email protected] web: http://mat.iitm.ac.in/~wbv Florentin Smarandache Department of Mathematics University of New Mexico Gallup, NM 87301, USA e-mail: [email protected] K. Ilanthenral Editor, Maths Tiger, Quarterly Journal Flat No.11, Mayura Park, 16, Kazhikundram Main Road, Tharamani, Chennai – 600 113, India e-mail: [email protected] HEXIS Phoenix, Arizona 2005 1 This book can be ordered in a paper bound reprint from: Books on Demand ProQuest Information & Learning (University of Microfilm International) 300 N. -
VENN DIAGRAM Is a Graphic Organizer That Compares and Contrasts Two (Or More) Ideas
InformationVenn Technology Diagram Solutions ABOUT THE STRATEGY A VENN DIAGRAM is a graphic organizer that compares and contrasts two (or more) ideas. Overlapping circles represent how ideas are similar (the inner circle) and different (the outer circles). It is used after reading a text(s) where two (or more) ideas are being compared and contrasted. This strategy helps students identify Wisconsin similarities and differences between ideas. State Standards Reading:INTERNET SECURITYLiterature IMPLEMENTATION OF THE STRATEGY •Sit Integration amet, consec tetuer of Establish the purpose of the Venn Diagram. adipiscingKnowledge elit, sed diam and Discuss two (or more) ideas / texts, brainstorming characteristics of each of the nonummy nibh euismod tincidunt Ideas ideas / texts. ut laoreet dolore magna aliquam. Provide students with a Venn diagram and model how to use it, using two (or more) ideas / class texts and a think aloud to illustrate your thinking; scaffold as NETWORKGrade PROTECTION Level needed. Ut wisi enim adK- minim5 veniam, After students have examined two (or more) ideas or read two (or more) texts, quis nostrud exerci tation have them complete the Venn diagram. Ask students leading questions for each ullamcorper.Et iusto odio idea: What two (or more) ideas are we comparing and contrasting? How are the dignissimPurpose qui blandit ideas similar? How are the ideas different? Usepraeseptatum with studentszzril delenit Have students synthesize their analysis of the two (or more) ideas / texts, toaugue support duis dolore te feugait summarizing the differences and similarities. comprehension:nulla adipiscing elit, sed diam identifynonummy nibh. similarities MEASURING PROGRESS and differences Teacher observation betweenPERSONAL ideas FIREWALLS Conferring Tincidunt ut laoreet dolore Student journaling magnaWhen aliquam toerat volutUse pat. -
On Free Quasigroups and Quasigroup Representations Stefanie Grace Wang Iowa State University
Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2017 On free quasigroups and quasigroup representations Stefanie Grace Wang Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Wang, Stefanie Grace, "On free quasigroups and quasigroup representations" (2017). Graduate Theses and Dissertations. 16298. https://lib.dr.iastate.edu/etd/16298 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. On free quasigroups and quasigroup representations by Stefanie Grace Wang A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Jonathan D.H. Smith, Major Professor Jonas Hartwig Justin Peters Yiu Tung Poon Paul Sacks The student author and the program of study committee are solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2017 Copyright c Stefanie Grace Wang, 2017. All rights reserved. ii DEDICATION I would like to dedicate this dissertation to the Integral Liberal Arts Program. The Program changed my life, and I am forever grateful. It is as Aristotle said, \All men by nature desire to know." And Montaigne was certainly correct as well when he said, \There is a plague on Man: his opinion that he knows something." iii TABLE OF CONTENTS LIST OF TABLES . -
Compact Topologically Torsion Elements of Topological Abelian Groups Peter Loth Sacred Heart University, [email protected]
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Sacred Heart University: DigitalCommons@SHU Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics 2005 Compact Topologically Torsion Elements of Topological Abelian Groups Peter Loth Sacred Heart University, [email protected] Follow this and additional works at: http://digitalcommons.sacredheart.edu/math_fac Part of the Algebra Commons, and the Set Theory Commons Recommended Citation Loth, P. (2005). Compact topologically torsion elements of topological abelian groups. Rendiconti del Seminario Matematico della Università di Padova, 113, 117-123. This Peer-Reviewed Article is brought to you for free and open access by the Mathematics at DigitalCommons@SHU. It has been accepted for inclusion in Mathematics Faculty Publications by an authorized administrator of DigitalCommons@SHU. For more information, please contact [email protected], [email protected]. REND. SEM. MAT. UNIV. PADOVA, Vol. 113 (2005) Compact Topologically Torsion Elements of Topological Abelian Groups. PETER LOTH (*) ABSTRACT - In this note, we prove that in a Hausdorff topological abelian group, the closed subgroup generated by all compact elements is equal to the closed sub group generated by all compact elements which are topologically p-torsion for some prime p. In particular, this yields a new, short solution to a question raised by Armacost [A]. Using Pontrjagin duality, we obtain new descriptions of the identity component of a locally compact abelian group. 1. Introduction. All considered groups in this paper are Hausdorff topological abelian groups and will be written additively. Let us establish notation and ter minology. The set of all natural numbers is denoted by N, and P is the set of all primes. -
The Probability Set-Up.Pdf
CHAPTER 2 The probability set-up 2.1. Basic theory of probability We will have a sample space, denoted by S (sometimes Ω) that consists of all possible outcomes. For example, if we roll two dice, the sample space would be all possible pairs made up of the numbers one through six. An event is a subset of S. Another example is to toss a coin 2 times, and let S = fHH;HT;TH;TT g; or to let S be the possible orders in which 5 horses nish in a horse race; or S the possible prices of some stock at closing time today; or S = [0; 1); the age at which someone dies; or S the points in a circle, the possible places a dart can hit. We should also keep in mind that the same setting can be described using dierent sample set. For example, in two solutions in Example 1.30 we used two dierent sample sets. 2.1.1. Sets. We start by describing elementary operations on sets. By a set we mean a collection of distinct objects called elements of the set, and we consider a set as an object in its own right. Set operations Suppose S is a set. We say that A ⊂ S, that is, A is a subset of S if every element in A is contained in S; A [ B is the union of sets A ⊂ S and B ⊂ S and denotes the points of S that are in A or B or both; A \ B is the intersection of sets A ⊂ S and B ⊂ S and is the set of points that are in both A and B; ; denotes the empty set; Ac is the complement of A, that is, the points in S that are not in A. -
Arxiv:Math/9407203V1 [Math.LO] 12 Jul 1994 Notbr 1993
REDUCTIONS BETWEEN CARDINAL CHARACTERISTICS OF THE CONTINUUM Andreas Blass Abstract. We discuss two general aspects of the theory of cardinal characteristics of the continuum, especially of proofs of inequalities between such characteristics. The first aspect is to express the essential content of these proofs in a way that makes sense even in models where the inequalities hold trivially (e.g., because the continuum hypothesis holds). For this purpose, we use a Borel version of Vojt´aˇs’s theory of generalized Galois-Tukey connections. The second aspect is to analyze a sequential structure often found in proofs of inequalities relating one characteristic to the minimum (or maximum) of two others. Vojt´aˇs’s max-min diagram, abstracted from such situations, can be described in terms of a new, higher-type object in the category of generalized Galois-Tukey connections. It turns out to occur also in other proofs of inequalities where no minimum (or maximum) is mentioned. 1. Introduction Cardinal characteristics of the continuum are certain cardinal numbers describing combinatorial, topological, or analytic properties of the real line R and related spaces like ωω and P(ω). Several examples are described below, and many more can be found in [4, 14]. Most such characteristics, and all those under consideration ℵ in this paper, lie between ℵ1 and the cardinality c =2 0 of the continuum, inclusive. So, if the continuum hypothesis (CH) holds, they are equal to ℵ1. The theory of such characteristics is therefore of interest only when CH fails. That theory consists mainly of two sorts of results. First, there are equations and (non-strict) inequalities between pairs of characteristics or sometimes between arXiv:math/9407203v1 [math.LO] 12 Jul 1994 one characteristic and the maximum or minimum of two others. -
Notes and Solutions to Exercises for Mac Lane's Categories for The
Stefan Dawydiak Version 0.3 July 2, 2020 Notes and Exercises from Categories for the Working Mathematician Contents 0 Preface 2 1 Categories, Functors, and Natural Transformations 2 1.1 Functors . .2 1.2 Natural Transformations . .4 1.3 Monics, Epis, and Zeros . .5 2 Constructions on Categories 6 2.1 Products of Categories . .6 2.2 Functor categories . .6 2.2.1 The Interchange Law . .8 2.3 The Category of All Categories . .8 2.4 Comma Categories . 11 2.5 Graphs and Free Categories . 12 2.6 Quotient Categories . 13 3 Universals and Limits 13 3.1 Universal Arrows . 13 3.2 The Yoneda Lemma . 14 3.2.1 Proof of the Yoneda Lemma . 14 3.3 Coproducts and Colimits . 16 3.4 Products and Limits . 18 3.4.1 The p-adic integers . 20 3.5 Categories with Finite Products . 21 3.6 Groups in Categories . 22 4 Adjoints 23 4.1 Adjunctions . 23 4.2 Examples of Adjoints . 24 4.3 Reflective Subcategories . 28 4.4 Equivalence of Categories . 30 4.5 Adjoints for Preorders . 32 4.5.1 Examples of Galois Connections . 32 4.6 Cartesian Closed Categories . 33 5 Limits 33 5.1 Creation of Limits . 33 5.2 Limits by Products and Equalizers . 34 5.3 Preservation of Limits . 35 5.4 Adjoints on Limits . 35 5.5 Freyd's adjoint functor theorem . 36 1 6 Chapter 6 38 7 Chapter 7 38 8 Abelian Categories 38 8.1 Additive Categories . 38 8.2 Abelian Categories . 38 8.3 Diagram Lemmas . 39 9 Special Limits 41 9.1 Interchange of Limits . -
Basic Structures: Sets, Functions, Sequences, and Sums 2-2
CHAPTER Basic Structures: Sets, Functions, 2 Sequences, and Sums 2.1 Sets uch of discrete mathematics is devoted to the study of discrete structures, used to represent discrete objects. Many important discrete structures are built using sets, which 2.2 Set Operations M are collections of objects. Among the discrete structures built from sets are combinations, 2.3 Functions unordered collections of objects used extensively in counting; relations, sets of ordered pairs that represent relationships between objects; graphs, sets of vertices and edges that connect 2.4 Sequences and vertices; and finite state machines, used to model computing machines. These are some of the Summations topics we will study in later chapters. The concept of a function is extremely important in discrete mathematics. A function assigns to each element of a set exactly one element of a set. Functions play important roles throughout discrete mathematics. They are used to represent the computational complexity of algorithms, to study the size of sets, to count objects, and in a myriad of other ways. Useful structures such as sequences and strings are special types of functions. In this chapter, we will introduce the notion of a sequence, which represents ordered lists of elements. We will introduce some important types of sequences, and we will address the problem of identifying a pattern for the terms of a sequence from its first few terms. Using the notion of a sequence, we will define what it means for a set to be countable, namely, that we can list all the elements of the set in a sequence. -
Z-Continuous Posets
DISCRETE MATHEMATICS ELSEVIERI Discrete Mathematics 152 (1996) 33-45 Z-continuous posets Andrei Baranga Department ofMathematics, University ofBucharest, Str. Academiei 14, 70109, Bucharest, Romania Received 19 July 1994 Abstract The concept of 'subset system on the category Po of posets (Z-sets) was defined by Wright, Wagner and Thatcher in 1978. The term Z-set becomes meaningful if we replace Z by 'directed', 'chain', 'finite'. At the end of the paper (Wright et al. 1978), the authors suggested an attempt to study the generalized counterpart of the term 'continuous poset (lattice)' obtained by replacing directed sets by Z-sets, Z being an arbitary subset system on Po. We present here some results concerning this investigation. These results are generalized counterparts of some purely order theoretical facts about continuous posets. Keywords: Poset; Subset system; Z-set; Continuous poset; Continuous lattice; Algebraic poset; Algebraic lattice; Moore family; Closure operator; Ideal; Z-inductive poset Introduction The concept of 'subset system on the category Po of posets' (Z-sets) was defined by Wright et al. in [12]. The term Z-set becomes meaningful if we replace Z by 'directed', 'chain', 'finite', etc. On the other hand, the concept of continuous lattice was defined by Scott in [9] in a topological manner as a mathematical tool in computation theory (see [10, 11]) although it has appeared in other fields of mathematics as well, such as general topology, analysis, algebra, category theory, logic and topological algebra (see [4]), This concept was defined later in purely order theoretical terms (see [8]) and now this definition has became the one used in almost all references. -
Arxiv:2011.04704V2 [Cs.LO] 22 Mar 2021 Eain,Bttre Te Opttoal Neetn Oessuc Models Interesting Well
Domain Semirings United Uli Fahrenberg1, Christian Johansen2, Georg Struth3, and Krzysztof Ziemia´nski4 1Ecole´ Polytechnique, Palaiseau, France 2 University of Oslo, Norway 3University of Sheffield, UK 4University of Warsaw, Poland Abstract Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive lattice bounded by the two units as its image. This note presents classes of semirings where these approaches coincide. Keywords: semirings, quantales, domain operations 1 Introduction Domain semirings and Kleene algebras with domain [DMS06, DS11] yield particularly simple program ver- ification formalisms in the style of dynamic logics, algebras of predicate transformers or boolean algebras with operators (which are all related). There are two kinds of axiomatisation. Both are inspired by properties of the domain operation on binary relations, but target other computationally interesting models such as program traces or paths on digraphs as well. The initial two-sorted axiomatisation [DMS06] models the domain operation as a map d : S → B from an additively idempotent semiring (S, +, ·, 0, 1) into a boolean subalgebra B of S bounded by 0 and 1. This seems natural as domain elements form powerset algebras in the target models mentioned. Yet the domain algebra B cannot be chosen freely: B must be the maximal boolean subalgebra of S bounded by 0 and 1 and equal to the set Sd of fixpoints of d in S. The alternative, one-sorted axiomatisation [DS11] therefore models d as an endofunction on a semiring S that induces a suitable domain algebra on Sd—yet generally only a bounded distributive lattice. -
Completeness and Compact Generation in Partially Ordered Sets
Available online at www.isr-publications.com/jmcs J. Math. Computer Sci. 16 (2016), 69{76 Research Article Completeness and compact generation in partially ordered sets A. Vaezia, V. Kharatb aDepartment of Mathematics, University of Mazandaran, P. O. Box 95447, Babolsar, Iran. bDepartment of Mathematics, University of Pune, Pune 411007, India. Abstract In this paper we introduce a notion of density in posets in a more general fashion. We also introduce completeness in posets and study compact generation in posets based on such completeness and density. c 2016 All rights reserved. Keywords: U-density, U-complete poset, U-compactly generated poset, U-regular interval. 1. Introduction We begin with the necessary definitions and terminologies in a poset P . An element x of a poset P is an upper bound of A ⊆ P if a ≤ x for all a 2 A. A lower bound is defined dually. The set of all upper bounds of A is denoted by Au (read as, A upper cone), where Au = fx 2 P : x ≤ a for every a 2 Ag and dually, we have the concept of a lower cone Al of A. If P contains a finite number of elements, it is called a finite poset. A subset A of a poset P is called a chain if all the elements of A are comparable. A poset P is said to be of length n, where n is a natural number, if there is a chain in P of length n and all chains in P are of length n. A poset P is of finite length if it is of length n for some natural number n.