DOCSLIB.ORG

Semiring Satisfying the Identity A.B = a + B + 1 P. Sreenivasulu

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Semiring Satisfying the Identity A.B = a + B + 1 P. Sreenivasulu International Refereed Journal of Engineering and Science (IRJES) ISSN (Online) 2319-183X, (Print) 2319-1821 Volume 3, Issue 6 (June 2014), PP.06-08 Semiring satisfying the identity a.b = a + b + 1 a a P. Sreenivasulu Reddy & Gosa Gadisa Department of Mathematics, Samara University Samara, Afar Region, Ethiopia. Post Box No.132 Abstract: Author determine some different additive and multiplicative structures of semiring which satisfies the identity a.b = a + b + 1. The motivation to prove this theorems in this paper is due to the results of P. Sreenivasulu Reddy and Guesh Yfter [6]. Keywords: Semiring, Rugular Semigroup I. INTRODUCTION Various concepts of regularity have been investigated by R.Croisot[7] and his study has been presented in the book of A.H.Clifford and G.B.Preston[1] as croisot’s theory. One of the central places in this theory is held by left regularity. Bogdanovic and Ciric in their paper, “A note on left regular semigroups” considered some aspects of decomposition of left regular semigroups. In 1998, left regular ordered semigroups and left regular partially ordered Г-semigroups were studied by Lee and Jung, kwan and Lee. In 2005, Mitrovic gave a characterization determining when every regular element of a semigroup is left regular. It is observed that many researchers studied on different structures of semigroups. The idea of generalization of a commutative semigroup was first introduced by Kazim and Naseeruddin in 1972 [2]. They named it as a left almost semigroup(LA-semigroup). It is also called an Abel Grassmanns groupoid (AG-semigroup)[2]. Q. Mushtaq and M. Khan[8] studied left almost semigroups in ideals, ideals in intra-regular left almost semigroups and proved that if P is left ideal and Q is right ideal of the regular left almost semigroup then PQ = P∩Q. They also proved that every right(left) ideal of regular LA-semigroup is an ideal and if S is an LA-semigroup having the left identity then S is total i.e.,S2 = S. An LA- semigroup S is called regular if for each aS, there exist xS such that a = (ax)a. In the paper P. Sreenivasulu Reddy and Guesh Yfter [6] discussed some results on simple semirings. Definition1.1. A semiring is a non empty set S on which operations of addition “+” and multiplication “.” have been defined such that the following conditions are satisfied: (i) (S, +) is a semigroup (ii) (S, .) is a semigroup (iii) Multiplication distributes over addition from either side. Definition1.2. An element a of a semigroup (S, .) is said to be regular if there exist x in S such that (ax)a = a Definition1.3. A semigroup (S, .) is called regular if every element of S is regular. Examples of regular semigroups: i) Every group is regular. ii) Every inverse semigroup is regular. iii) The bicyclic semigroup is regular. iv) Any full transformation semigroup is regular. v) A Rees matrix semigroup is regular. 2 2 Definition1.4. A semigroup S is called quasi- seperative if for any x,y S, x = xy = y implies x = y. Definition1.5. A semigroup S is called weakly seperative if x2 = xy = yx = y2 implies x = y for all x,y in S. 2 2 Definition1.6. A semigroup S is called seperative if i) x = xy and y = yx then x = y ii) x2 = yx and y2 = xy then x = y II. PRELIMANARIES Theorem 2.1. Let (S, +, .) be a left almost semiring and (S, .) is a regular semigroup which satisfies the identity a.b = a + b + 1, for all a, bϵ(S, .) then (S, +) is a i) regular semigroup ii) left (right) regular semigroup iii) completely regular semigroup Proof. Let (S, +, .) be a left almost semiring and (S, .) be a regular semigroup and it satisfiesthe identity a.b = a + b + 1, a, bϵ(S, .) and 1 is a multiplicative identity in (S, .) www.irjes.com 6 | Page Semiring satisfying the identity a.b = a + b + 1 i) Since (S, .) is a regular semigroup a = axa =(ax)a = (a + x + 1).a = a + x + 1 + a + 1= a + x + 1.a = a + x + a. Hence a is a regular element in S. Therefore (S, +) is a regular semigroup. ii) Let a + a + x = a + a + x.1 = a + a + x + 1 + 1= a + a.x + 1= a + ax + 1= aax = a. Hence a is a left regular element of (S, +). Therefore, (S, +) is a left regular semigroup Similarly (S, +) is also right regular semigroup. iii) Since (S, .) and (S, +) are regular and left regular , a + x + a = a = a + a + x = x + a + a. So, a + x + a = a + a + x → x + a + x + a = x + a + a + x → x + a = a + x. Hence, (S, +) is a completely regular semigroup. Theorem 2.2. Let (S, +, .) be a left almost semiring and (S, +) is a regular semigroup which satisfies the identity a.b = a + b + 1, For all a, b ϵ (S, +) then (S, .) is i) regular semigroup ii) left (right) regular semigroup iii) completely regular semigroup Proof. Let (S, +, .) be a left almost semiring and (S, +) be a regular semigroup and it satisfies the identity a.b= a + b + 1 a, bϵ(S, +) and 1 is multiplicative identity in (S, .) Since (S, +) is a regular semigroup, a = a + x + a = a + x + a.1 = a + x + a + 1 + 1 = a + x.a +1 = a + xa + 1 = a + 2 ax + 1 = aax = a x. a is a left regular element of (S, .). Hence every element of (S, +) is a left regular element of (S, .). Therefore (S, .) is a left regular semigroup. Similarly, (S, .) is also a right regular semigroup. ii) Since ( S, +) is a regular semigroup, a = a + x + a → a = a + x + a.1 = x + a + 1 +1 = a + x.a + 1 = a + xa + 1 = axa. Hence, a is a regular element of ( S, ·). Therefore, ( S, ·) is a regular semigroup. iii) Since ( S, ·) is a regular and left(right) regular semigroup, axa = xa2 → axax = xa2x → ax = xa. Therefore, ( S, ·) is a completely regular semigroup. Theorem 2.3. Let ( S, +, ·) be a semiring and ( S, ·) is a seperative semigroup which satisfies the identity a.b = a + b + 1 for all a, bϵ(S, .) then ( S, +) be a i) quasi-seperative semigroup ii) weakly seperative semigroup iii) seperative semigroup. Proof. Let ( S, +, ·) be a semiring and ( S, ·) is a seperative semigroup which satisfies the identity a.b = a + b + 1 for all a, bϵ(S, .) and 1 is the multiplicative identity. Consider a + a = a + b a + a + 1 = a + b +1 a.a = a.b a2 = ab ( since ( S, ·) is quasi-seperative ) 2 Similarlly, a + b = b + b a + b + 1 = b + b + 1 a.b = b.b ab = b a = b. Hence, a + a = a + b = b + b a = b. Therefore, ( S, +) is a quasi-seperative. ii) Let a + b = a.1 + b = a + 1 + 1 + b = a + b + 1 + 1 = 1+ b + 1 + a = 1.b + a = b + a Hence, ( S, +) is a commutative semigroup. Since ( S, +) is quasi- seperative and commutative semigroup we have a+ a = a + b = b + a = b + b a = b. Therefore, ( S, +) is waekly seperative. iii) Since ( S, +) is quasi-seperative and weakly- seperative, ( S, +) is seperative. Theorem 2.4. Let ( S, +, ·) be a semiring and ( S, +) is a quasi-seperative semigroup which satisfies the identity a.b = a + b + 1 then ( S, ·) is a i) quasi-seperarive semigroup ii) weakly- seperative semigroup iii) seperative semigroup. Proof. Proof of the theorem is similar to the above proof. Theorem 2.5. Let ( S, +, ·) be a left almost semiring which satisfies the identity a.b = a + b + 1 for all a,bϵ(S, +, .) then ( S, +, ·) is a i) commutative ii) medial iii) permutable. Proof. Let ( S, +, ·) be a left almost semiring which satisfies the identity a.b = a + b + 1 for all a, bϵ (S, +, .). Consider, a + b = a.1 + b = a + 1 + 1 + b = 1 + 1 + a + b = b + 1 + a + 1 = b + 1.a = b + a a + b = b + a. Hence ( S, +) is a commutative. Again, a.b = a + b + 1 = a + b.1 + 1 = a + b + 1 + 1 +1 = a + 1 + 1 + b + 1 = b + 1 + 1 + a + 1 = b + a + 1 + 1 + 1 = b + a + 1.1 = b + a + 1 a.b =b.a Hence ( S, ·) is commutative. Therefore, ( S, +, ·) is a commutative LA-semiring. Since (S, +, ·) is a commutative it is easy to prove ( S, +, ·) is medial and permutable. www.irjes.com 7 | Page Semiring satisfying the identity a.b = a + b + 1 REFERENCES [1] A.H.Clifford and G.B.Preston :”The algebraic theory of semigroups” Math.surveys7;vol .I Amer.math. soc 1961. [2] M.A. Kazim and M. naseeruddin: “On almost semigroups”, The Alig.Bull. Math.,2(1972),1-7. [3] J.M.Howie “ An introduction to semigroup theory” Academic Press (1976). [4] P.A. Grillet. “The Structure of regular Semigroups-.I”, Semigroup Forum 8 (1974), 177-183. [5] P.A. Grillet. “The Structure of regular Semigroups-.II”, Semigroup Forum 8 (1974), 254-259. [6] P. Sreenivasulu Reddy and Guesh Yfter “Simple semirings” International Journal of Engineering Inventions, Volume 2, Issue 7 2013, PP: 16-19. [7] R. Croisot. “Demi-groupes inversifs et demi-groupes reunions de demi-groupes simples.” Ann.Sci.Ecole norm.sup.(3) 70(1953), 361-379. [8] Q. Mushtaq and M. khan: “Ideals in LA-semigroups”, Proccedings of 4th international pure mathematics Conference, 2003, 65-77. www.irjes.com 8 | Page .
Load more

Recommended publications
  • Semiring Frameworks and Algorithms for Shortest-Distance Problems
    Journal of Automata, Languages and Combinatorics u (v) w, x–y c Otto-von-Guericke-Universit¨at Magdeburg Semiring Frameworks and Algorithms for Shortest-Distance Problems Mehryar Mohri AT&T Labs – Research 180 Park Avenue, Rm E135 Florham Park, NJ 07932 e-mail: [email protected] ABSTRACT We define general algebraic frameworks for shortest-distance problems based on the structure of semirings. We give a generic algorithm for finding single-source shortest distances in a weighted directed graph when the weights satisfy the conditions of our general semiring framework. The same algorithm can be used to solve efficiently clas- sical shortest paths problems or to find the k-shortest distances in a directed graph. It can be used to solve single-source shortest-distance problems in weighted directed acyclic graphs over any semiring. We examine several semirings and describe some specific instances of our generic algorithms to illustrate their use and compare them with existing methods and algorithms. The proof of the soundness of all algorithms is given in detail, including their pseudocode and a full analysis of their running time complexity. Keywords: semirings, finite automata, shortest-paths algorithms, rational power series Classical shortest-paths problems in a weighted directed graph arise in various contexts. The problems divide into two related categories: single-source shortest- paths problems and all-pairs shortest-paths problems. The single-source shortest-path problem in a directed graph consists of determining the shortest path from a fixed source vertex s to all other vertices. The all-pairs shortest-distance problem is that of finding the shortest paths between all pairs of vertices of a graph.
    [Show full text]
  • Subset Semirings
    University of New Mexico UNM Digital Repository Faculty and Staff Publications Mathematics 2013 Subset Semirings Florentin Smarandache University of New Mexico, [email protected] W.B. Vasantha Kandasamy [email protected] Follow this and additional works at: https://digitalrepository.unm.edu/math_fsp Part of the Algebraic Geometry Commons, Analysis Commons, and the Other Mathematics Commons Recommended Citation W.B. Vasantha Kandasamy & F. Smarandache. Subset Semirings. Ohio: Educational Publishing, 2013. This Book is brought to you for free and open access by the Mathematics at UNM Digital Repository. It has been accepted for inclusion in Faculty and Staff Publications by an authorized administrator of UNM Digital Repository. For more information, please contact [email protected], [email protected], [email protected]. Subset Semirings W. B. Vasantha Kandasamy Florentin Smarandache Educational Publisher Inc. Ohio 2013 This book can be ordered from: Education Publisher Inc. 1313 Chesapeake Ave. Columbus, Ohio 43212, USA Toll Free: 1-866-880-5373 Copyright 2013 by Educational Publisher Inc. and the Authors Peer reviewers: Marius Coman, researcher, Bucharest, Romania. Dr. Arsham Borumand Saeid, University of Kerman, Iran. Said Broumi, University of Hassan II Mohammedia, Casablanca, Morocco. Dr. Stefan Vladutescu, University of Craiova, Romania. Many books can be downloaded from the following Digital Library of Science: http://www.gallup.unm.edu/eBooks-otherformats.htm ISBN-13: 978-1-59973-234-3 EAN: 9781599732343 Printed in the United States of America 2 CONTENTS Preface 5 Chapter One INTRODUCTION 7 Chapter Two SUBSET SEMIRINGS OF TYPE I 9 Chapter Three SUBSET SEMIRINGS OF TYPE II 107 Chapter Four NEW SUBSET SPECIAL TYPE OF TOPOLOGICAL SPACES 189 3 FURTHER READING 255 INDEX 258 ABOUT THE AUTHORS 260 4 PREFACE In this book authors study the new notion of the algebraic structure of the subset semirings using the subsets of rings or semirings.
    [Show full text]
  • On Kleene Algebras and Closed Semirings
    On Kleene Algebras and Closed Semirings y Dexter Kozen Department of Computer Science Cornell University Ithaca New York USA May Abstract Kleene algebras are an imp ortant class of algebraic structures that arise in diverse areas of computer science program logic and semantics relational algebra automata theory and the design and analysis of algorithms The literature contains several inequivalent denitions of Kleene algebras and related algebraic structures In this pap er we establish some new relationships among these structures Our main results are There is a Kleene algebra in the sense of that is not continuous The categories of continuous Kleene algebras closed semirings and Salgebras are strongly related by adjunctions The axioms of Kleene algebra in the sense of are not complete for the universal Horn theory of the regular events This refutes a conjecture of Conway p Righthanded Kleene algebras are not necessarily lefthanded Kleene algebras This veries a weaker version of a conjecture of Pratt In Rovan ed Proc Math Found Comput Scivolume of Lect Notes in Comput Sci pages Springer y Supp orted by NSF grant CCR Intro duction Kleene algebras are algebraic structures with op erators and satisfying certain prop erties They have b een used to mo del programs in Dynamic Logic to prove the equivalence of regular expressions and nite automata to give fast algorithms for transitive closure and shortest paths in directed graphs and to axiomatize relational algebra There has b een some disagreement
    [Show full text]
  • Skew and Infinitary Formal Power Series
    Appeared in: ICALP’03, c Springer Lecture Notes in Computer Science, vol. 2719, pages 426-438. Skew and infinitary formal power series Manfred Droste and Dietrich Kuske⋆ Institut f¨ur Algebra, Technische Universit¨at Dresden, D-01062 Dresden, Germany {droste,kuske}@math.tu-dresden.de Abstract. We investigate finite-state systems with costs. Departing from classi- cal theory, in this paper the cost of an action does not only depend on the state of the system, but also on the time when it is executed. We first characterize the terminating behaviors of such systems in terms of rational formal power series. This generalizes a classical result of Sch¨utzenberger. Using the previous results, we also deal with nonterminating behaviors and their costs. This includes an extension of the B¨uchi-acceptance condition from finite automata to weighted automata and provides a characterization of these nonter- minating behaviors in terms of ω-rational formal power series. This generalizes a classical theorem of B¨uchi. 1 Introduction In automata theory, Kleene’s fundamental theorem [17] on the coincidence of regular and rational languages has been extended in several directions. Sch¨utzenberger [26] showed that the formal power series (cost functions) associated with weighted finite automata over words and an arbitrary semiring for the weights, are precisely the rational formal power series. Weighted automata have recently received much interest due to their applications in image compression (Culik II and Kari [6], Hafner [14], Katritzke [16], Jiang, Litow and de Vel [15]) and in speech-to-text processing (Mohri [20], [21], Buchsbaum, Giancarlo and Westbrook [4]).
    [Show full text]
  • Invertible Ideals and Gaussian Semirings
    ARCHIVUM MATHEMATICUM (BRNO) Tomus 53 (2017), 179–192 INVERTIBLE IDEALS AND GAUSSIAN SEMIRINGS Shaban Ghalandarzadeh, Peyman Nasehpour, and Rafieh Razavi Abstract. In the first section, we introduce the notions of fractional and invertible ideals of semirings and characterize invertible ideals of a semidomain. In section two, we define Prüfer semirings and characterize them in terms of valuation semirings. In this section, we also characterize Prüfer semirings in terms of some identities over its ideals such as (I + J)(I ∩J) = IJ for all ideals I, J of S. In the third section, we give a semiring version for the Gilmer-Tsang Theorem, which states that for a suitable family of semirings, the concepts of Prüfer and Gaussian semirings are equivalent. At last, we end this paper by giving a plenty of examples for proper Gaussian and Prüfer semirings. 0. Introduction Vandiver introduced the term “semi-ring” and its structure in 1934 [27], though the early examples of semirings had appeared in the works of Dedekind in 1894, when he had been working on the algebra of the ideals of commutative rings [5]. Despite the great efforts of some mathematicians on semiring theory in 1940s, 1950s, and early 1960s, they were apparently not successful to draw the attention of mathematical society to consider the semiring theory as a serious line of ma- thematical research. Actually, it was in the late 1960s that semiring theory was considered a more important topic for research when real applications were found for semirings. Eilenberg and a couple of other mathematicians started developing formal languages and automata theory systematically [6], which have strong connec- tions to semirings.
    [Show full text]
  • Continuous Monoids and Semirings
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 318 (2004) 355–372 www.elsevier.com/locate/tcs Continuous monoids and semirings Georg Karner∗ Alcatel Austria, Scheydgasse 41, A-1211 Vienna, Austria Received 30 October 2002; received in revised form 11 December 2003; accepted 19 January 2004 Communicated by Z. Esik Abstract Di1erent kinds of monoids and semirings have been deÿned in the literature, all of them named “continuous”. We show their relations. The main technical tools are suitable topologies, among others a variant of the well-known Scott topology for complete partial orders. c 2004 Elsevier B.V. All rights reserved. MSC: 68Q70; 16Y60; 06F05 Keywords: Distributive -algebras; Distributive multioperator monoids; Complete semirings; Continuous semirings; Complete partial orders; Scott topology 1. Introduction Continuous semirings were deÿned by the “French school” (cf. e.g. [16,22]) using a purely algebraic deÿnition. In a recent paper, Esik and Kuich [6] deÿne continuous semirings via the well-known concept of a CPO (complete partial order) and claim that this is a generalisation of the established notion. However, they do not give any proof to substantiate this claim. In a similar vein, Kuich deÿned continuous distributive multioperator monoids (DM-monoids) ÿrst algebraically [17,18] and then, again with Esik, via CPOs. (In the latter paper, DM-monoids are called distributive -algebras.) Also here the relation between the two notions of continuity remains unclear. The present paper clariÿes these issues and discusses also more general concepts. A lot of examples are included.
    [Show full text]
  • Simple Semirings
    International Journal of Engineering Inventions e-ISSN: 2278-7461, p-ISSN: 2319-6491 Volume 2, Issue 7 (May 2013) PP: 16-19 Simple Semirings P. Sreenivasulu Reddy1, Guesh Yfter tela2 Department of mathematics, Samara University, Samara, Afar Region, Ethiopia Post Box No.131 Abstract: Author determine different additive structures of simple semiring which was introduced by Golan [3]. We also proved some results based on the papers of Fitore Abdullahu [1]. I. Introduction This paper reveals the additive structures of simple semirings by considering that the multiplicative semigroup is rectangular band. 1.1. Definition: A semigroup S is called medial if xyzu = xzyu, for every x, y, z, u in S. 1.2. Definition: A semigroup S is called left (right) semimedial if it satisfies the identity x2yz = xyxz (zyx2 = zxyx), where x,y,z S and x, y are idempotent elements. 1.3. Definition: A semigroup S is called a semimedial if it is both left and right semimedial. Example: The semigroup S is given in the table is I-semimedial * a b c a b b b b b b b c c c c 1.4. Definition: A semigroup S is called I- left (right) commutative if it satisfies the identity xyz = yxz (zxy = zyx), where x, y are idempotent elements. 1.5. Definition: A semigroup S is called I-commutative if it satisfies the identity xy = yx, where x,y S and x, y are idempotent elements. Example: The semigroup S is given in the table is I-commutative. * a b c a b b a b b b b c c b c 1.6.
    [Show full text]
  • Ideals in Quotient Semirings Shahabaddin Ebrahimi Atani and Ameneh Gholamalipour Garfami Faculty of Mathematical Sciences, University of Guilan, P.O
    Chiang Mai J. Sci. 2013; 40(1) 77 Chiang Mai J. Sci. 2013; 40(1) : 77-82 http://it.science.cmu.ac.th/ejournal/ Contributed Paper Ideals in Quotient Semirings Shahabaddin Ebrahimi Atani and Ameneh Gholamalipour Garfami Faculty of Mathematical Sciences, University of Guilan, P.O. Box 1914, Rasht, Iran. *Author for correspondence; e-mail: [email protected] Received: 10 November 2010 Accepted: 5 October 2011 ABSTRACT Since the class of quotient rings is contained in the class of quotient semirings, in this paper, we will make an intensive study of the properties of quotient semirings as compared to similar properties of quotient rings. The main aim of this paper is that of extending some well-known theorems in the theory of quotient rings to the theory quotient semirings. Keywords: quotient semirings, weakly prime ideals, weakly primal ideal, semidomain like semirings 1. INTRODUCTION Semirings are natural topic in algebra ideal as in the ring case. There are many to study because they are the algebraic different definitions of a quotient semiring structure of the set of natural numbers. appearing in the literature. P.J. Allen ([2]) Semirings also appear naturally in many introduced the notion of Q-ideal and a areas of mathematics. For example, semirings construction process was presented by are useful in the area of theoretical computer which one can build the quotient structure science as well as in the solution of of a semiring modulo a Q-ideal (also see problem in graph theory and optimiza- the results listed in [3-5,7,8]). If I is an tion.
    [Show full text]
  • Bi-Atomic Classes of Positive Semirings
    BI-ATOMIC CLASSES OF POSITIVE SEMIRINGS NICHOLAS R. BAETH, SCOTT T. CHAPMAN, AND FELIX GOTTI Abstract. A subsemiring of R is called a positive semiring provided that it contains 1 and consists of nonnegative numbers. Here we study factorizations in both the additive monoid pS; q and the multiplicative monoid pSzt0u; ¤q. In particular, we investigate when, for a positive semiring S, both pS; q and pSzt0u; ¤q have the following properties: atomicity, the ACCP, the bounded factorization property (BFP), the finite factorization property (FFP), and the half-factorial property (HFP). It is well known that in the context of cancellative and commutative monoids, the chain of implications HFP ñ BFP and FFP ñ BFP ñ ACCP ñ atomicity holds. We construct classes of positive semirings S wherein the additive and multiplicative structures both satisfy each of these properties and give examples to show that, in general, none of the implications in the previous chain is reversible. 1. Introduction The atomic structure of positive monoids (i.e., additive submonoids of the nonnegative cone of the real line) has been the subject of much recent investigation. The simplest positive monoids are numerical monoids (i.e., additive monoids consisting of nonnegative integers, up to isomorphism), and their additive structure has been investigated by many authors during the last three decades (see [4, 23] and references therein). In addition, the atomicity of Puiseux monoids (i.e., additive monoids consisting of nonnegative rational numbers) has been the subject of various papers during the last four years (see [14, 15] and references therein). Puiseux monoids have also been studied in connection to commutative rings [20] and factorizations of matrices [6].
    [Show full text]
  • Some Aspects of Semirings
    Appendix A Some Aspects of Semirings Semirings considered as a common generalization of associative rings and dis- tributive lattices provide important tools in different branches of computer science. Hence structural results on semirings are interesting and are a basic concept. Semi- rings appear in different mathematical areas, such as ideals of a ring, as positive cones of partially ordered rings and fields, vector bundles, in the context of topolog- ical considerations and in the foundation of arithmetic etc. In this appendix some algebraic concepts are introduced in order to generalize the corresponding concepts of semirings N of non-negative integers and their algebraic theory is discussed. A.1 Introductory Concepts H.S. Vandiver gave the first formal definition of a semiring and developed the the- ory of a special class of semirings in 1934. A semiring S is defined as an algebra (S, +, ·) such that (S, +) and (S, ·) are semigroups connected by a(b+c) = ab+ac and (b+c)a = ba+ca for all a,b,c ∈ S.ThesetN of all non-negative integers with usual addition and multiplication of integers is an example of a semiring, called the semiring of non-negative integers. A semiring S may have an additive zero ◦ defined by ◦+a = a +◦=a for all a ∈ S or a multiplicative zero 0 defined by 0a = a0 = 0 for all a ∈ S. S may contain both ◦ and 0 but they may not coincide. Consider the semiring (N, +, ·), where N is the set of all non-negative integers; a + b ={lcm of a and b, when a = 0,b= 0}; = 0, otherwise; and a · b = usual product of a and b.
    [Show full text]
  • MULTIPLICATIVELY IDEMPOTENT SEMIRINGS 1. Introduction
    140 (2015) MATHEMATICA BOHEMICA No. 1, 35–42 MULTIPLICATIVELY IDEMPOTENT SEMIRINGS Ivan Chajda, Olomouc, Helmut Länger, Wien, Filip Švrček, Olomouc (Received December 11, 2012) Abstract. Semirings are modifications of unitary rings where the additive reduct does not form a group in general, but only a monoid. We characterize multiplicatively idempotent semirings and Boolean rings as semirings satisfying particular identities. Further, we work with varieties of enriched semirings. We show that the variety of enriched multiplicatively idempotent semirings differs from the join of the variety of enriched unitary Boolean rings and the variety of enriched bounded distributive lattices. We get a characterization of this join. Keywords: semiring; commutative semiring; multiplicatively idempotent semiring; semir- ing of characteristic 2; simple semiring; unitary Boolean ring; bounded distributive lattice MSC 2010 : 16Y60, 06E20 1. Introduction Boolean rings are important algebras used both in mathematics and applications. Several characterizations of Boolean rings were settled in [1], [2] and [8]. However, in some considerations in Computer Science as well as in Propositional Calculus we need to work with similar algebras which need not be rings. In particular, we often use semirings satisfying the condition xx = x and hence forming a certain generalization of Boolean rings. Of course, every unitary Boolean ring is a semiring satisfying this condition. However, also every bounded distributive lattice can be considered as a semiring satisfying xx = x. Hence, our class of semirings under consideration is broad enough to be treated from several points of view. We recall the definition of a semiring from [5]. Support of the research of the first two authors by the Austrian Science Fund (FWF) and the Czech Science Foundation (GAČR), Project I 1923-N25, and by AKTION Austria– Czech Republic, Grant No.
    [Show full text]
  • Arxiv:2001.00808V2
    LATTICES, SPECTRAL SPACES, AND CLOSURE OPERATIONS ON IDEMPOTENT SEMIRINGS JAIUNG JUN, SAMARPITA RAY, AND JEFFREY TOLLIVER Abstract. Spectral spaces, introduced by Hochster, are topological spaces homeomorphic to the prime spectra of commutative rings. In this paper we study spectral spaces in perspective of idempo- tent semirings which are algebraic structures receiving a lot of attention due to its several applications to tropical geometry. We first prove that a space is spectral if and only if it is the saturated prime spec- trum of an idempotent semiring. In fact, we enrich Hochster’s theorem by constructing a subcategory of idempotent semirings which is equivalent to the category of spectral spaces. We further provide examples of spectral spaces arising from sets of congruence relations of semirings. In particular, we prove that the space of valuations and the space of prime congruences on an idempotent semiring are spectral, and there is a natural bijection of sets between two; this shows a stark difference between rings and idempotent semirings. We then develop several aspects of commutative algebra of semirings. We mainly focus on the notion of closure operations for semirings, and provide several examples. In particular, we introduce an integral closure operation and a Frobenius closure operation for idempotent semirings. 1. Introduction A semiring is an algebraic structure which assumes the same axioms as a ring except that one does not necessarily require additive inverses to exist. Typical examples include the semiring N of natural numbers, the Boolean semiring B, or the tropical semiring T. The theory of semirings has its own charms, but also recently people have found several applications of semirings, making the theory of semirings even more interesting.
    [Show full text]