DOCSLIB.ORG

Cyclic Ordered Groups and MV-Algebras

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Cyclic Ordered Groups and MV-Algebras Czechoslovak Mathematical Journal Daniel Gluschankof Cyclic ordered groups and MV-algebras Czechoslovak Mathematical Journal, Vol. 43 (1993), No. 2, 249–263 Persistent URL: http://dml.cz/dmlcz/128391 Terms of use: © Institute of Mathematics AS CR, 1993 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 43 (118) 1993, Praha CYCLIC ORDERED GROUPS AND MV-ALGEBRAS DANIEL GLUSCHANKOF, Angers and Paris (Received September 10, 1991) In the forties and fifties two—at the moment—unrelated concepts derived from that of an ordered group appeared. The notion of cyclic-ordered group (c-group) (see [9], [10], [13] and [14]) and that of MV-algebra (see [4] and [5]). The first one appeared as a way of generalizing the notion of totally ordered groups. That notion was further extended to that of partially cyclically ordered groups. The notion of MV-algebras resulted from a succesfull attempt of giving an algebraic structure to the infinite-valued Lukasievicz propositional logics. In the last decade, that theory was fruitfully linked with that of a class of C*-algebras (see [8]). The objective of this work is to show that suitable subclasses of that notions can be linked by the way of a covariant functor. 1. DEFINITIONS AND FIRST FACTS A cyclically ordered group (c-group) is a system (G, +, —, 0,T) where (G, +, —, 0) is a group (not necessarilly commutative) and T is a ternary relation verifying the following properties: CI. Va6c (if a -^ 6 -^ c 7- a then exactly one of T(a^ 6, c) and T(a, c, 6) holds); C2. Va6c (T(a, 6, c) => a £ b ± c ± a); C3. Va6c (T(a, 6, c) => T(c, a, 6)); C4. Va6cd (T(6, c, a) k T(c, d, a) => T(6, d, a)); C5. Va6cd (T(a, 6, c) =t> T(d + a, d + 6, d + c) k T(a + a1, 6 + a1, c + d)). A fundamental result of Rieger (see [9]) says that any such a group is isomorphic to a quotient of a totally ordered group (o-group) by the subgroup generated by a strong unit (a cofinal element in its centre). In that case, if G = (G, +, —, 0, w, -$) is an o-group with strong unit u, the quotient group Gu = G/(u) can be endowed with a cyclic order by defining T(a,6,c) if and only if, for the only representatives a, 6, c such that 0 $C a, 6, c < uy either a<6<cor6<c<aorc<a<6 holds. 249 The notion of c-group generalizes that of totally ordered groups (o-groups) in the sense that for a c-group with the property: for all a £ G} T(—a,0,a) implies, for all n € N, T(—na,0, na) a total order (compatible with the group operation) can be defined by 0 < a if and only if T(—a,0,a). Conversely, an o-group can be endowed with a c-group structure by defining T(a, 6, c) if and only ifa<6<cor6<c<a or c < a < 6. A partially cyclically ordered group (pco-group) is a system (C,+, —,0,T) where the axioms C3, C4, C5 and Clp. Va6c(T(a,6,c)=>-1T(a,c,6)); C6. Va6c(T(a, 6, c) => T(-c, -6, -a)) hold. This last axiom is consequence of axioms CI . • .C5 and C2 is consequence of Clp and C3. Observe that, Rieger's theorem also holds in this case by replacing the o-group by a partially ordered group (po-grup) (see [13] or [14]). An M V-algebra (see [4], [5] and [8]) is a system (-4, ©,*,-», 0,1) which satisfies the following universal identities: mi xф(yфz) = (xфy)фz ITІ2 xфQ = x m3 xфy=yфx m.4 xф 1 = 1 -i-iX =. x m5 m6 -Ю = 1 ПI7 x ф -.x = 1 m8 -•(-•* Фy)Фy = -i(xф^y)фx m9 x*y = -Ҷ-чe ^y) By defining iVj/:=(.c* -»t/) ££ y and, by duality, x A y := -i(-»x V -»t/) we have that (.A, V, A,0,1) is a bounded distributive lattice. Another approach for this structures is that of Wajsberg algebras (W-algebras) (see [6] and [11]). Such an algebra is a system {A, —•, -i, 0,1) satisfying the following 250 universal identities: Wl. (x - y) - ((y -> z) - (x -* *)) = 1; W2. (a: — y) —• y = (y -+ x) —• x; W3. (-»x —> -iy) —* (y —• x) = 1; W4. l-->x = x; W5. x -* 0 = -•*; W6. -M = 0; W7. -.0=1. By defining x V y := (x —• y) —• y and x A y := -»(-»x V -«y) (.4, V, A, 0,1) results also a bounded distributive lattice. In [6] it is proved that a W-algebra can be thought of as an MV-algebra (and viceversa) by identifying the respective 0,1 and -» and defining: a —• b := -»a 0 6 and a 0 b := -ia —• 6; (recall that the operation * of the MV-algebra can be defined in terms of 0 and -»). In [4] it is proved that any MV-algebra A can be obtained from an abelian lattice- ordered group (1-group) with strong unit u G = (G, V, A,+,— ,0, u) by defining: A = [0, u] = {a | 0 ^ a ^ u); a 0 6 = (a + 6) A w; -ia = u — a and 1 = «. Since any MV-algebra derives from an abelian 1-group, in the sequel group will stand for abelian group, homomorphism and subgroup for homomorphism and sub­ group for the respective structures (o-groups, c-groups, pco-groups, 1-groups, MV- algebras). 2. LATTICE PCO-GROUPS For any pco-group G, a partial order be defined by (*) a ^ b if and only if a = 6 or T(0, a, b) or a = 0. This order makes every element "positive". Observe that, in general, .$ is not compatible with the group operation, for example, by setting G = Z/3Z with its natural cyclical order, the total order (*) induced is given by the set of pairs {(0,0), (1,1), (2,2), (0,1), (0,2), (1,2)} which is obviously non-compatible, since 1 ^ 2 holds but 2=1 + 1^2+1 = 0 does not hold. 251 We say that a group homomorphism /: G —• H between pco-groups is a pco- homomorphism if, for a,6,c G G such that T(a,6,c), if/(a) ^ f(b) -/ f(c) ^ f(a) then T(/(a),/(6),/(c)). Observe that a pco-homomorphism is also a homomorphism for the order given in (*). Definition 2.1. A pco-group G will be called a lattice-cyclical-group (and de­ noted lc-group), if, for the order defined in (*) the structure (G,0,i$) admits a distributive lattice structure with first element. Lemma 2.2. Let G be an lc-group, a, 6 G G. If a ^. a + b (b ^. a + b) then 6 ^ a-f 6 (a -$ a -f b), implying a V 6 :$ a -f 6. Proof. Suppose 0 < a < a -f 6 (the other cases are immediate). Then we have T(0, a, a -f 6), which, adding —(a -f 6) to each term, implies T(—(a -f 6), —6,0) which, by axiom C6, is equivalent to T(0, 6, a -f 6), proving our claim. D Definition 2.3, Let G be an lc-group and H a subgroup. (i) II is called an lc-ideal if it is convex for the order .$ (that is, for all x G H, z G G, z ^ x implies z G H), and is an 1-subgroup (that is, for x, y G H, xWy G H). (ii) II is called a pc-subgroup if it is convex for the relation T (that is, for x, y G H and z G G, T(x, z, y) implies z G G). Observe that the lc-ideals (pc-subgroups) are the kernels of lc(pc)-homomor- phisms. Moreover, the lc-ideals are lattice-ideals for the structure (G,0, V, A). Ob­ serve also that for cyclically ordered groups, the T-convex subgroups are always trivial. Lemma 2.4. Let G be an lc-group and H a subgroup. H is T-convex if and only if it is ^-convex. So, any pc-subgroup preserving the lattice operations is also an lc-ideal. Proof. Let H be T-convex, a e H, b e G such that 0^6^ a. If 6 = 0 or 6 = a, it is immediate that 6 G H. So we can write T(0,6,a), implying, by T-convexity, that 6 G H. For the converse, if H is ^-convex, a,c G H, 6 G G such that T(a, 6, c). By axiom C5 we have T(0, 6 — a, c — a). Since II is ^-convex, we conclude that 6 — a G Hand then6GH. • So, without abuse of notation, we can speak about convex subgroups. Lemma 2.5. Let G be an lc-group, H C G a.* lc-ideal. H is prime if and only if the quotient G/H is cyclically ordered. 252 Proof. By a result on distributive lattices (see [1, II1.3]) we have that the lattice (G///,0,V,A) ~ (G,0,V,A)/H is totally ordered if and only if H is prime as a lattice ideal.
Load more

Recommended publications
  • ORDERED GROUPS VM Kopytov UDC 512.545
    ORDERED GROUPS V. M. Kopytov UDC 512.545 In the paper "Ordered groups" there is given a survey of papers on ordered groups, reviewed in RZh Mathematika in 1975-1980. Starting in 1963 there occurred a qualitative jump in the theory of ordered groups, evoked by the inten- sive investigation of linerarly ordered (l. o. ) groups and the development of the theory of groups of automor- phisms of I.o. sets. As a result many sections of the theory of lattice ordered groups (l-groups) acquired an orderly and organized form, and profound classificationalresults were obtained in them. A natural con- sequence of this was the appearance in the recent past of several monographs on the theory of ordered groups, in particular, the books of Kokorin and Kopytov [26] (English translation [154]), Mura and Rhemtulla [182], Bigard, Keimel, and Wolfenstein [78]. The present survey is written on the materials of the Ref. Zh. "Matematika," mainly for the years 1975-1980, and reflects practicallyall directions of development of the theory of ordered groups with some accent on linearly and lattice ordered groups, which is explained by the intensivity and diversity of the inves- tigations in these domains. In the survey there are included some results reviewed in the years 1970-1974 and not reflected in previous surveys of the collection "Algebra. Topology. Geometry" of the annual 'Itogi Nauki i Tekhniki" [12, 13] or the book [26]. i. Linearly Ordered Groups Investigations on 1. o. groups were carried out mainly in the directions designated at the end of the six- ties and formulated in [26].
    [Show full text]
  • Weakly Abelian Lattice-Ordered Groups 1
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 129, Number 3, Pages 677{684 S 0002-9939(00)05706-3 Article electronically published on September 20, 2000 WEAKLY ABELIAN LATTICE-ORDERED GROUPS A. M. W. GLASS (Communicated by Stephen D. Smith) Respectfully dedicated (with gratitude) to W. Charles Holland on his 65th Birthday Abstract. Every nilpotent lattice-ordered group is weakly Abelian; i.e., sat- isfies the identity x−1(y _ 1)x _ (y _ 1)2 =(y _ 1)2. In 1984, V. M. Kopytov asked if every weakly Abelian lattice-ordered group belongs to the variety generated by all nilpotent lattice-ordered groups [The Black Swamp Prob- lem Book, Question 40]. In the past 15 years, all attempts have centred on finding counterexamples. We show that two constructions of weakly Abelian lattice-ordered groups fail to be counterexamples. They include all preiously considered potential counterexamples and also many weakly Abelian ordered free groups on finitely many generators. If every weakly Abelian ordered free group on finitely many generators belongs to the variety generated by all nilpo- tent lattice-ordered groups, then every weakly Abelian lattice-ordered group belongs to this variety. This paper therefore redresses the balance and suggests that Kopytov's problem is even more intriguing. 1. Basic definitions and facts A group equipped with a partial order ≤ is called a p.o.group if axb ≤ ayb whenever x ≤ y. If, further, the partial order is a lattice (any pair of elements x & y have a least upper bound (denoted by x_y) and a greatest lower bound (denoted by x ^ y)), then the p.o.
    [Show full text]
  • The Theory of Lattice-Ordered Groups
    The Theory ofLattice-Ordered Groups Mathematics and Its Applications Managing Editor: M. HAZEWINKEL Centre for Mathematics and Computer Science, Amsterdam, The Netherlands Volume 307 The Theory of Lattice-Ordered Groups by V. M. Kopytov Institute ofMathematics, RussianAcademyof Sciences, Siberian Branch, Novosibirsk, Russia and N. Ya. Medvedev Altai State University, Bamaul, Russia Springer-Science+Business Media, B.Y A C.I.P. Catalogue record for this book is available from the Library ofCongress. ISBN 978-90-481-4474-7 ISBN 978-94-015-8304-6 (eBook) DOI 10.1007/978-94-015-8304-6 Printed on acid-free paper All Rights Reserved © 1994 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1994. Softcover reprint ofthe hardcover Ist edition 1994 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrie val system, without written permission from the copyright owner. Contents Preface IX Symbol Index Xlll 1 Lattices 1 1.1 Partially ordered sets 1 1.2 Lattices .. ..... 3 1.3 Properties of lattices 5 1.4 Distributive and modular lattices. Boolean algebras 6 2 Lattice-ordered groups 11 2.1 Definition of the l-group 11 2.2 Calculations in I-groups 15 2.3 Basic facts . 22 3 Convex I-subgroups 31 3.1 The lattice of convex l-subgroups .......... .. 31 3.2 Archimedean o-groups. Convex subgroups in o-groups. 34 3.3 Prime subgroups 39 3.4 Polars ... ..................... 43 3.5 Lattice-ordered groups with finite Boolean algebra of polars ......................
    [Show full text]
  • Lazy Monoids and Reversible Computation
    Imaginary group: lazy monoids and reversible computation J. Gabbay and P. Kropholler REPORT No. 22, 2011/2012, spring ISSN 1103-467X ISRN IML-R- -22-11/12- -SE+spring Imaginary groups: lazy monoids and reversible computation Murdoch J. Gabbay and Peter H. Kropholler Abstract. By constructions in monoid and group theory we exhibit an adjunction between the category of partially ordered monoids and lazy monoid homomorphisms, and the category of partially ordered groups and group homomorphisms, such that the unit of the adjunction is in- jective. We also prove a similar result for sets acted on by monoids and groups. We introduce the new notion of lazy homomorphism for a function f be- tween partially-ordered monoids such that f (m m ) f (m) f (m ). ◦ ′ ≤ ◦ ′ Every monoid can be endowed with the discrete partial ordering (m m ≤ ′ if and only if m = m′) so our constructions provide a way of embed- ding monoids into groups. A simple counterexample (the two-element monoid with a non-trivial idempotent) and some calculations show that one can never hope for such an embedding to be a monoid homomor- phism, so the price paid for injecting a monoid into a group is that we must weaken the notion of homomorphism to this new notion of lazy homomorphism. The computational significance of this is that a monoid is an abstract model of computation—or at least of ‘operations’—and similarly a group models reversible computations/operations. By this reading, the adjunc- tion with its injective unit gives a systematic high-level way of faithfully translating an irreversible system to a ‘lazy’ reversible one.
    [Show full text]
  • Groups of Divisibility
    University of South Dakota USD RED Honors Thesis Theses, Dissertations, and Student Projects Spring 3-5-2020 Groups of Divisibility Seth J. Gerberding University of South Dakota Follow this and additional works at: https://red.library.usd.edu/honors-thesis Part of the Algebra Commons Recommended Citation Gerberding, Seth J., "Groups of Divisibility" (2020). Honors Thesis. 76. https://red.library.usd.edu/honors-thesis/76 This Honors Thesis is brought to you for free and open access by the Theses, Dissertations, and Student Projects at USD RED. It has been accepted for inclusion in Honors Thesis by an authorized administrator of USD RED. For more information, please contact [email protected]. Groups of Divisibility by Seth Gerberding A thesis submitted in partial fulfillment of the requirements for the University Honors Program Department of Mathematical Sciences The University of South Dakota May 2020 The members of the Honors Thesis Committee appointed to examine the thesis of Seth Gerberding find it satisfactory and recommend that it be accepted. Dr. Ramiro Lafuente-Rodriguez Department of Mathematical Sciences Director of the Committee Dr. Gabriel Picioroaga Department of Mathematical Sciences Dr. Dan Van Peursem Department of Mathematical Sciences ii ABSTRACT Groups of Divisibility Seth Gerberding Director: Ramiro Lafuente-Rodriguez, Ph.D. In this thesis, we examine a part of abstract algebra known as Groups of Divisibility. We construct these special groups from basic concepts. We begin with partially-ordered sets, then build our way into groups, rings, and even structures akin to rings of poly- nomials. In particular, we explore how elementary algebra evolves when an ordering is included with the operations.
    [Show full text]
  • Studying Monoids Is Not Enough to Study Multiplicative Properties of Rings: an Elementary Approach
    Arab. J. Math. (2015) 4:29–34 DOI 10.1007/s40065-014-0118-1 Arabian Journal of Mathematics Marco Fontana · Muhammad Zafrullah Studying monoids is not enough to study multiplicative properties of rings: an elementary approach Received: 15 April 2014 / Accepted: 27 August 2014 / Published online: 25 September 2014 © The Author(s) 2014. This article is published with open access at Springerlink.com Abstract The aim of these notes is to indicate, using very simple examples, that not all results in ring theory can be derived from monoids and that there are results that deeply depend on the interplay between “+”and “·”. Mathematics Subject Classification 20M14 · 20M12 · 20M25 · 13A15 · 13G05 In a commutative unitary ring (R, +, ·), with 0 = 1, there are two binary operations, denoted by “+”, addition, and by “·”, multiplication, at work. So, in particular, we can consider R as an algebraic system closed under one of the binary operations, that is (R, +) or (R, ·). In both cases, R is at least a monoid. This state of affairs could lead one to think that perhaps it is sufficient to study monoids to get a handle on ring theory. The aim of these notes is to indicate, using elementary and easily accessible results available in literature, that not all results in ring theory can be derived separately from semigroups or monoids and that there are results that deeply depend on the interplay between “+”and“·”. Following the custom, we choose to use the simplest examples that can be developed with a minimum of jargon to establish our thesis. We shall restrict our attention to integral domains and to results of multiplicative nature, as that is our area of interest.
    [Show full text]
  • Algebraic Aspects in Tropical Mathematics
    Algebraic Aspects in Tropical Mathematics Tal Perri Mathematics Department, Bar-Ilan University Under the supervision of Professor Louis Rowen November 1, 2018 arXiv:1305.2764v3 [math.AG] 22 Jun 2013 Abstract Much like in the theory of algebraic geometry, we develop a correspondence be- tween certain types of algebraic and geometric objects. The basic algebraic envi- ronment we work in is the a semifield of fractions H(x1, ..., xn) of the polynomial semidomain H[x1, ..., xn], where H is taken to be a bipotent semifield, while for the geometric environment we have the space Hn (where addition and scalar mul- tiplication are defined coordinate-wise). We show that taking H to be bipotent n makes both H(x1, ..., xn) and H idempotent which turn out to satisfy many de- sired properties that we utilize for our construction. The fundamental algebraic and geometric objects having interrelations are called kernels, encapsulating congruences over semifields (analogous to ideals in alge- braic geometry) and skeletons which serve as the analogue for zero-sets of alge- braic geometry. As an analogue for the celebrated Nullstellenzats theorem which provides a correspondence between radical ideals and zero sets, we develop a correspondence between skeletons and a family of kernels called polars originally developed in the theory of lattice-ordered groups. For a special kind of skeletons, called principal skeletons, we have simplified the correspondence by restricting our algebraic environment to a very special semifield which is also a kernel of H(x1, ..., xn). After establishing the linkage between kernels and skeletons we proceed to con- struct a second linkage, this time between a family of skeletons and what we call ‘corner-loci’.
    [Show full text]
  • Effect Algebras and AF C
    E®ect algebras and AF C*-algebras Sylvia Pulmannov¶a The aim of this lecture is to show that there is a close connection between e®ect algebras with the Riesz de- composition property and dimension theory of AF C*- algebras. De¯nition 1. (Foulis and Bennett, 1994) An e®ect algebra is an algebraic system (E; 0; 1; ©), where © is a partial binary operation and 0 and 1 are constants, such that the following axioms are satis¯ed for every a; b; c 2 E: (i) if a©b is de¯ned then b©a is de¯ned and a©b = b © a (commutativity); (ii) if a©b and (a©b)©c is de¯ned then a©(b©c) is de¯ned and (a©b)©c = a©(b©c) (associativity); (iii) for every a 2 E there is a unique a0 2 E such that a © a0 = 1; (iv) a © 1 is de¯ned i® a = 0. 1 2 In an e®ect algebra E, we de¯ne: - a · b if there is c 2 E with a © c = b. - · is a partial order, 0 · a · 1 for all a 2 E. - Cancelation: a © c1 = a © c2, then c1 = c2, and we de¯ne c = b ª a i® a © c = b. - 1 ¡ a = a0 is called the orthosupplement of a. E is: - orthoalgebra i® a ? a implies a = 0; - orthomodular poset i® a © b = a _ b; - orthomodular lattice if it is a lattice-ordered or- thomodular poset; - MV-e®ect algebra if it is lattice-ordered and a ^ b = 0 =) a ? b; - boolean algebra if it is an MV-e®ect algebra and an orthoalgebra in the same time.
    [Show full text]
  • The Classes of Partially Ordered Groups Compositio Mathematica, Tome 9 (1951), P
    COMPOSITIO MATHEMATICA F. LOONSTRA The classes of partially ordered groups Compositio Mathematica, tome 9 (1951), p. 130-140 <http://www.numdam.org/item?id=CM_1951__9__130_0> © Foundation Compositio Mathematica, 1951, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utili- sation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ The classes of partially ordered groups by F. Loonstra The Hague § 1. In 1907 H. Hahn published a paper: Über die nicht- archimedischen Größensysteme 1). It is a study of commutative simply ordered groups, especially concerning the non -archimedean groups. Hahn uses the additive notation for the group operation, and he de fines the group G to be Archimedean, if the Archiinedean postulate (A) is satisfied: (A) . For each pair of positive elements a and b of G (a &#x3E; 0, b &#x3E; 0), there exists a natural multiple n - a of a with the property n - a &#x3E; b, and conversely there is a natural multiple m · b of b with the property m · b &#x3E; a. If the postulate (A) is not satisfied for all pairs of positive elements, we call the ordering of G non-archimedean. Suppose G is a commutative simply ordered group, a and b positive elements, then there are only four mutually exclusive possibilities: I.
    [Show full text]
  • A Structure Theory for a Class of Lattice-Ordered Rings
    A STRUCTURE THEORY FOR A CLASS OF LATTICE-ORDERED RINGS BY D. G. JOHNSON University Park, Pennsylvania, U.S.A. (1) The foundations of a systematic general theory of lattice-ordered rings were laid by Birkhoff and Pierce in [3]. They introduced, as an object for further study, the class of/- rings. This special class of lattice-ordered rings displays a rich structure: it can be charac- terized as the class of all subdirect unions of ordered rings. Birkhoff and Pierce obtained many properties of/-rings, basing their structure theory on the /-radical of an/-ring. In [20], Pierce obtained an important decomposition theorem for/-rings with zero /-radical. This paper continues the study of the structure of/-rings. In Chapter I, we present the necessary background material and obtain a characteriza- tion of the/-radical of an/-ring that yields a new proof of the decomposition theorem of Pierce. In Chapter II, we present a structure theory for/-rings based on an/-ring analogue of the Jacobson radical for abstract rings. In Section 1, the J-radical of an/-ring A is defined to be the intersection of the maximal modular right/-ideals of A. In Section 2, the J-radical is characterized in terms of the notion of/-quasi-regularity, and this characterization is used to obtain certain properties of the J-radical. In Section 3, we consider a representation theory for/-rings. We show that every/-ring that has a faithful, irreducible,/-representation is a totally ordered ring with identity that contains no non-zero proper one-sided/-ideals.
    [Show full text]
  • 1U - 16 May, 19^9
    ABSTRACTS OF CONTRIBUTED PAPERS The Fourth New Zealand Mathematics Colloquium held at the University of Otago, Dunedin, 1U - 16 May, 19^9 LOGIC AND FOUNDATIONS K. ASHTON, University of Auckland. Algebraic Structures in Linguistic Theory. Let A be a finite set and F(A) the free semigroup of strings over A. L is a "language" if L C F(A). An environment is a string of the form a *a , where a , a € F(A) and 3 x € A such that the string 12’ 1 2 a x a € L. Let E be the set of environments of L and denote a x a 1 2 1 2 by a 1*a2(x). Define E(x) = (e € EJe(x) € L) and W(e) = {x € Ate(x) € L} The binary relation x € W(e) (or e € E(x)) defines a polarity between A and E. Consequently, if for X C A we define E£(X) = ^X£x®(x ) ant* for C C E , VJC) = U w(c) it is well known that the mapping X -* W (E (X)) w. 2 CcC 2 2 K(X) is a closure operator on A. Further if E (X) = f ^ ^ ^ x ) an<3 W (C) = ^c£Cw(c ) then X "* W (Ex(X)) = H(X) is again a closure operator on A. If we interpret A as the vocabulary and L as the grammatically correct sentences of a language these closed sets, especially those closed under H,bear a close relationship to the concept of "grammatical category". Using the ordering x < y iff E(y) C E(x), we define a lattice on A in which the H-closed sets appear as principle ideals.
    [Show full text]
  • Arxiv:2008.00093V2 [Math.AC]
    PRIMARY DECOMPOSITION OVER PARTIALLY ORDERED GROUPS EZRA MILLER Abstract. Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the introduction of basic notions in the relevant generality, such as closedness of partially ordered abelian groups, faces and their coprimary modules, and finiteness conditions as well local and global support functors for modules over partially ordered groups. Contents 1. Introduction 1 2. Polyhedral partially ordered groups 4 3. Primary decomposition of downsets 6 4. Localization and support 9 5. Primary decomposition of modules 11 References 13 1. Introduction Primary decomposition yields concrete answers in combinatorial commutative al- gebra, particularly in monomial [MS05, Example 7.13] and binomial [ES96, KM14, KMO16] contexts. These answers come most naturally in the presence of a multigrad- ing that is positive [MS05, §8.1]. When the grading is by a torsion-free abelian group, arXiv:2008.00093v2 [math.AC] 11 Aug 2020 positivity is equivalent to the group being partially ordered: one element precedes another if their difference lies in the positive cone of elements greater than 0. What happens when the grading set isn’t necessarily discrete? Substantial parts of commutative algebra—especially homological algebra including the syzygy theorem [Mil20a]—generalize to modules over arbitrary posets and have no need to rest on an underlying ring. Alas, the part of the theory relating to primary decomposition is not amenable to arbitrary posets, because of a lack of natural prime ideals and inability to localize.
    [Show full text]