R S. Publication (rspublication.com), Page 316
|
|
- Letitia Cameron
- 6 years ago
- Views:
Transcription
1 BOOLEAN LIKE SEMIRINGS C. Venkata Lakshmi #1, T. Vasanthi #2 #1 Dept. of Applied Mathematics, Sri Padmavati Women s University, Tirupati, A.P., India. #2 Dept. of Applied Mathematics, Yogi Vemana University, Kadapa , A.P., India. ABSTRACT In this paper, we discuss bolean like semirings. This paper deals with some definitions, properties of bolean like semirings and ordered bolean like semirings. Here we proved that in a boolean like semiring (S, +, ), if (S, +) is regular, then (S, ) is a band. Key words:band; Left (Right) singular; Regular; Multiplicatively subidempotent; zero square elements ; Multiplicative ideal; E - inverse semigroup; Minimum (Maximum) element; Positively totally ordered semigroup; Negatively totally ordered semigroup Mathematics Subject Classification: 20M10, 16Y60. Corresponding Author: C. Venkata Lakshmi INTRODUCTION Semirings abound in the mathematical world around us. A semiring is one of the fundamental structures in mathematics. Indeed the first mathematical structure we encounter the set of natural numbers is a semiring. Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative, non-commutative ring theory and the mathematical modeling of quantum physics and parallel computation systems. The modern interest in semirings arises primarily from fields of Applied Mathematics such as Optimization theory, the theory of discrete-event dynamical systems, automata theory and formal language theory, as well as from the allied areas of theoretical computer science and theoretical physics and the questions being asked is, for the most part, motivated by applications. Semirings have been studied by various researchers [1,2,3,4,5] in an attempt to broaden techniques coming from the semigroup theory or ring theory or in connection with applications. The semiring identities are taken from the book of Jonathan S.Golan[2], entitled Semirings and their Applications. In this paper we investigate the additive and multiplicative properties of Boolean Like Semirings. R S. Publication (rspublication.com), rspublicationhouse@gmail.com Page 316
2 A triple (S, +, ) is said to be a semiring if S is a non - empty set and +, are binary operations on S satisfying that (i) (S, +) is a semigroup (ii) (S, ) is a semigroup (iii) a(b + c) = ab+ac and (b + c)a = ba+ca, for all a, b, c in S. A semiring (S, +, ) is said to be totally ordered semiring (t.o.s.r.) if there exists a partially order on S such that (i) (S, +) is a t. o. s. g. (ii) (S, ) is a t. o. s. g. It is usually denoted by (S, +,, ). In a totally ordered semiring (S, +,, ) (i) (S, +, ) is positively totally ordered (p.t.o.), if a + b a, b for all a, b in S and (ii) (S,, ) is positively totally ordered (p.t.o.), if ab a, b for all a, b in S. In a totally ordered semiring (S, +,, ) (i) (S, +, ) is negatively totally ordered (n.t.o.),if a + b a, b for all a, b in S and (ii) (S,, ) is negatively totally ordered (n.t.o.), if ab a, b for all a, b in S. 1. BOOLEAN LIKE SEMIRINGS In this section, the properties of boolean like semirings are studied. We proved that if (S, +, ) is a boolean like semiring, then the set X of all zero square elements is a multiplicative ideal of S. 1.1 A non empty set S together with two binary operations ` + and ` satisfying the following conditions is called a boolean like semiring (i) (S, +) is a semigroup (ii) (S, ) is a semigroup (iii) a.(b + c) = a.b + a.c and (b + c).a = b.a + c.a (iv) ab (a + b + ab) = ab, for all a,b in S and a.0 = 0.a = 0 (v) Weak commutative: a.b.c = b.a.c, for all a, b, c in S 1.2 An element `a of a semiring S is multiplicatively subidempotent if and only if a + a 2 = a and S is multiplicatively subidempotent if and only if each of its elements is multiplicatively subidempotent. THEOREM 1.3:Let (S, +, ) be a boolean like semiring. If S contains the multiplicative identity 1 and a + 1 = 1, then (S, ) is multiplicatively subidempotent. R S. Publication (rspublication.com), rspublicationhouse@gmail.com Page 317
3 PROOF:Given that (S, +, ) is a boolean like semiring We have ab (a + b + ab) = ab, for all a, b in S Taking b = 1 a (a a) = a a (1 + a) = a ( a + 1 = 1) a + a 2 = a (S, ) is multiplicatively subidempotent. 1.4 A semigroup (S, +) is said to be regular if it satisfying the identity x = x + y + x, for every x in S. THEOREM 1.5:Let (S, +, ) be a boolean like semiring containing the multiplicative identity 1. If (S, +) is regular, then (S, ) is a band. PROOF:Considerab (a + b + ab) = ab, for all a, b in S Taking b = 1 a(a a.1) = a.1 a(a a) = a a(a) = a a 2 = a ( (S, +) is regular, a + 1+ a = a) (S, ) is a band. 1.6 Anelement `a of a multiplicative semigroup `S is called an E inverse if there is an element `x in S such that ax + ax = ax, i.e. ax E (+), where E (+) is the set of all multiplicative idempotent elements of S. A Semigroup `S is called an E inverse Semigroup if every element of S is an E inverse. 1.7 Anelement `a of a multiplicative semigroup `S is called an E inverse if there is an element `x in S such that ax (ax) = ax, i.e. ax E ( ), where E ( ) is the set of all multiplicative idempotent elements of S. A Semigroup `S is called an E inverse Semigroup if every element of S is an E inverse. THEOREM 1.8:Let (S, +, ) be a boolean like semiring containing the multiplicative identity which is also an additive identity, then (S, ) is an E - inverse semigroup. PROOF:By hypothesis,(s, +, ) is a boolean like semiring Let `e be the multiplicative identity is also an additive identity Consider ab (a + b + ab) = ab, for all a, b in S ab (a + (e + a)b) = ab ab (a + ab) = ab ab (a (e + b)) = ab ab (ab) = ab R S. Publication (rspublication.com), rspublicationhouse@gmail.com Page 318
4 ab E[ ] Hence (S, ) is an E - inverse semigroup. 1.9 An element x in a semigroup (S, +) is said to be an absorbing if x + a = a + x = x, for every a in S. THEOREM 1.10:Let (S, +, ) be a boolean like semiring containing the multiplicative identity 1, which is also an absorbing element w.r.to. `+. If (S, ) is left cancellative, then a + b = 1, for all a, b in S. PROOF:Since (S, +, ) is a boolean like semiring Let 1 be the multiplicative identity is also an absorbing element w.r.to.`+ Consider ab (a + b + ab) = ab, for all a, b in S ab (a + (1 + a) b) = ab.1 ab (a + b) = ab.1 ( 1 + a = 1) a + b = 1 ( (S, ) is left cancellative) a + b = 1, for all a, b in S A semigroup (S, ) is said to be (i) left singular, if it satisfies the identity ab = a, for all a, b in S; (ii) right singular, if it satisfies the identity ab = b, for all a, b in S; (iii) singular, if it is both left as well as right singular A semigroup (S, +) is said to be (i) left singular, if it satisfies the identity a + b = a, for all a, b in S; (ii) right singular, if it satisfies the identity a + b = b, for all a, b in S; (iii) singular, if it is both left as well as right singular A semigroup (S, ) is said to be (i) left regular, if it satisfies the identity aba = ab, for all a, b in S; (ii) right regular, if it satisfies the identity aba = ba, for all a, b in S; (iii) regular, if it is both left as well as right regular. THEOREM 1.14:Let (S, +, ) be a boolean like semiring containing the multiplicative identity 1. If (S, +) is left singular, then (S, ) is left regular. PROOF:Considerab (a + b + ab) = ab, for all a, b in S ab (a + a b) = ab ( (S, +) is a left singular, a + b = a) ab (a [1 + b] ) = ab ab (a.1) = ab ( (S, +) is a left singular, 1 + b = 1) aba = ab (S, ) is left regular. R S. Publication (rspublication.com), rspublicationhouse@gmail.com Page 319
5 1.15 In a semigroup (S, ), a non-empty subset A of S is called (i) a multiplicative left ideal, if sa A, for every s S and for every a A (ii) a multiplicative right ideal, if as A, for every a A and for every s S (iii) a multiplicative ideal, if A is both a left ideal as well as a right ideal 1.16 A semiring (S, +, ) with multiplicative zero is said to be zero - square semiring if x 2 = 0, for all x S A semiring (S, +, ) with additive identity zero is said to be zerosumfree semiring if x + x = 0, for all x S. THEOREM 1.18:Let (S, +, ) be a boolean like semiring. Then the set X of all zero square elements is a multiplicative ideal of S. PROOF:Let s S and x X (xs) 2 = xs. xs (xs) 2 = sxxs ( by weak commutative : xsx = sxx) (xs) 2 = sx 2 s (xs) 2 = x 2 ss ( by weak commutative) (xs) 2 = x 2 s 2 (xs) 2 = 0.s 2 = 0 ( x is a zero square element, x 2 = 0) xs X Similarly, (sx) 2 = sx. sx (sx) 2 = xs sx ( by weak commutative: sxs = xss) (sx) 2 = xs 2 x (sx) 2 = s 2 x x ( by weak commutative) (sx) 2 = s 2 x 2 (sx) 2 = s 2. 0 = 0 ( x is a zero square element, x 2 = 0) sx X Hence X is a multiplicative ideal An element x in a totally ordered semiring (t.o.s.r) is minimal (maximal) if x a (x a) for every a in S. THEOREM 1.20:Let (S, +, ) be a totally ordered boolean like semiring. If (S, ) is positively totally ordered (p.t.o.) [negatively totally ordered (n.t.o.)], then 0 is the maximum (minimum) element. PROOF:Since (S, +, ) is a totally ordered boolean like semiring We have a.0 = 0.a = 0, for all `a in S Suppose (S, ) is positively totally ordered (p.t.o.) Then a.0 a and 0 a.0 a 0 a ( a.0 = 0) R S. Publication (rspublication.com), rspublicationhouse@gmail.com Page 320
6 0 is the maximum element. Suppose (S, ) is negatively totally ordered (n.t.o.) Then a.0 a and 0 a.0 a 0 a ( a.0 = 0) 0 is the minimum element. CONCLUSION 1. In Boolean Like Semirings, the algebraic structure of a multiplicative semigroup (S, ) determine the additive structure of (S, +) and viceversa. 2. In a Boolean like semiring, if the multiplicative semigroup (S, ) is positively totally ordered (negatively totally ordered) then 0(zero) becomes the maximum (minimum) element. REFERENCES 1. Arif Kaya and M.Satyanarayana Semirings satisfying properties of distributive type, Proceeding of the American Mathematical Society, Volume 82, Number 3, July Jonathan S.Golan Semirings and their Applications. 3. Jonathan S.Golan Semirings and Affine Equations over Them : Theory and Applications. Kluwer Academic Publishers (1999). 4. M.Satyanarayana On the additive semigroup of ordered semirings,semigroup forum vol.31 (1985), M.P.Grillet Subdivision rings of a semiring. Fund. Math., Vol.67 (1970), R S. Publication (rspublication.com), rspublicationhouse@gmail.com Page 321
ON FIELD Γ-SEMIRING AND COMPLEMENTED Γ-SEMIRING WITH IDENTITY
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 189-202 DOI: 10.7251/BIMVI1801189RA Former BULLETIN
More informationRight Derivations on Semirings
International Mathematical Forum, Vol. 8, 2013, no. 32, 1569-1576 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.38150 Right Derivations on Semirings S. P. Nirmala Devi Department of
More informationProve proposition 68. It states: Let R be a ring. We have the following
Theorem HW7.1. properties: Prove proposition 68. It states: Let R be a ring. We have the following 1. The ring R only has one additive identity. That is, if 0 R with 0 +b = b+0 = b for every b R, then
More information2-primal Semiring. M. L. Das Department of Mathematics, Saldiha College, Vill + P.O.- Saldiha, Dist- Bankura (West Bengal) Pin , India.
International Journal of Mathematics Research (IJMR). ISSN 0976-5840 Volume 7, Number 1 (2015), pp. 55-68 International Research Publication House http://www.irphouse.com 2-primal Semiring M. L. Das Department
More informationIntroduction to Kleene Algebras
Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)
More informationInternational Journal of Pure and Applied Sciences and Technology
Int. J. Pure Appl. Sci. Technol., 2(1) (2011), pp. 71-77 International Journal of Pure and Applied Sciences and Technology ISSN 2229-6107 Available online at www.ijopaasat.in Research Paper A Note on α
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More informationKleene Algebra and Arden s Theorem. Anshul Kumar Inzemamul Haque
Kleene Algebra and Arden s Theorem Anshul Kumar Inzemamul Haque Motivation Regular Expression is a Kleene Algebra. We can use the properties and theorems of Kleene Algebra to simplify regular expressions
More informationLeft Bipotent Seminear-Rings
International Journal of Algebra, Vol. 6, 2012, no. 26, 1289-1295 Left Bipotent Seminear-Rings R. Perumal Department of Mathematics Kumaraguru College of Technology Coimbatore, Tamilnadu, India perumalnew
More informationDivision of Marks TOTAL [3 +2] Part -A Part-B Part-C
GROUPS Division of Marks 1 2 5 MARK MARKS MARKS [3 +2] TOTAL Part -A Part-B Part-C 1 1 1 8 Set of Integers I or Z= Set Of Non negative integers ={0,1,2,3,4,--------,,,, -- - -- - - - -} Set Of Rationals=
More informationSolving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory
Solving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory Nada Damljanović University of Kragujevac, Faculty of Technical Sciences in Čačak, Serbia nada.damljanovic@ftn.kg.ac.rs
More informationA Weak Bisimulation for Weighted Automata
Weak Bisimulation for Weighted utomata Peter Kemper College of William and Mary Weighted utomata and Semirings here focus on commutative & idempotent semirings Weak Bisimulation Composition operators Congruence
More informationZERO DIVISORS FREE Γ SEMIRING
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 37-43 DOI: 10.7251/BIMVI1801037R Former BULLETIN OF
More informationStrong - Bi Near Subtraction Semigroups
International Journal of Mathematics Research. ISSN 0976-5840 Volume 8, Number 3 (2016), pp. 207-212 International Research Publication House http://www.irphouse.com Strong - Bi Near Subtraction Semigroups
More informationKleene Algebras and Algebraic Path Problems
Kleene Algebras and Algebraic Path Problems Davis Foote May 8, 015 1 Regular Languages 1.1 Deterministic Finite Automata A deterministic finite automaton (DFA) is a model of computation that can simulate
More informationSEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE
proceedings of the american mathematical society Volume 82, Number 3, July 1981 SEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE ARIF KAYA AND M. SATYANARAYANA Abstract. Any distributive lattice admits
More informationANNIHILATOR IDEALS IN ALMOST SEMILATTICE
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 7(2017), 339-352 DOI: 10.7251/BIMVI1702339R Former BULLETIN
More informationGROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION
Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations
More informationL fuzzy ideals in Γ semiring. M. Murali Krishna Rao, B. Vekateswarlu
Annals of Fuzzy Mathematics and Informatics Volume 10, No. 1, (July 2015), pp. 1 16 ISSN: 2093 9310 (print version) ISSN: 2287 6235 (electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com
More informationA GENERALIZATION OF BI IDEALS IN SEMIRINGS
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 123-133 DOI: 10.7251/BIMVI1801123M Former BULLETIN
More informationAxioms of Kleene Algebra
Introduction to Kleene Algebra Lecture 2 CS786 Spring 2004 January 28, 2004 Axioms of Kleene Algebra In this lecture we give the formal definition of a Kleene algebra and derive some basic consequences.
More informationOn Strongly Prime Semiring
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 30(2) (2007), 135 141 On Strongly Prime Semiring T.K. Dutta and M.L. Das Department
More informationSolutions to Assignment 3
Solutions to Assignment 3 Question 1. [Exercises 3.1 # 2] Let R = {0 e b c} with addition multiplication defined by the following tables. Assume associativity distributivity show that R is a ring with
More informationTHE ENDOMORPHISM SEMIRING OF A SEMILATTICE
THE ENDOMORPHISM SEMIRING OF A SEMILATTICE J. JEŽEK, T. KEPKA AND M. MARÓTI Abstract. We prove that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and describe
More informationON HOW TO CONSTRUCT LEFT SEMIMODULES FROM THE RIGHT ONES
italian journal of pure and applied mathematics n. 32 2014 (561 578) 561 ON HOW TO CONSTRUCT LEFT SEMIMODULES FROM THE RIGHT ONES Barbora Batíková Department of Mathematics CULS Kamýcká 129, 165 21 Praha
More informationPure Mathematical Sciences, Vol. 1, 2012, no. 3, On CS-Algebras. Kyung Ho Kim
Pure Mathematical Sciences, Vol. 1, 2012, no. 3, 115-121 On CS-Algebras Kyung Ho Kim Department of Mathematics Korea National University of Transportation Chungju 380-702, Korea ghkim@ut.ac.kr Abstract
More informationInvertible Matrices over Idempotent Semirings
Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep
More informationlanguages by semifilter-congruences
ideas Suffix semifilter-congruences Southwest Univ. Southwest Univ. Hongkong Univ. July 5 9, 2010, Nankai, China. Prefixsuffix Contents ideas 1 2 ideas 3 Suffix- 4 Prefix-suffix- Suffix Prefixsuffix ideas
More informationA Note on Linear Homomorphisms. in R-Vector Spaces
International Journal of Algebra, Vol. 5, 2011, no. 28, 1355-1362 A Note on Linear Homomorphisms in R-Vector Spaces K. Venkateswarlu Department of Mathematics, Addis Ababa University, Addis Ababa, Ethiopia
More informationA Note on Quasi and Bi-Ideals in Ordered Ternary Semigroups
Int. Journal of Math. Analysis, Vol. 6, 2012, no. 11, 527-532 A Note on Quasi and Bi-Ideals in Ordered Ternary Semigroups Thawhat Changphas 1 Department of Mathematics Faculty of Science Khon Kaen University
More informationPRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA
International Journal of Pure and Applied Mathematics Volume 94 No. 5 2014, 631-647 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v94i5.1
More informationOrthogonal Derivations on Semirings
International Journal of Contemporary Mathematical Sciences Vol. 9, 2014, no. 13, 645-651 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijcms.2014.49100 Orthogonal Derivations on Semirings N.
More informationHomework 3/ Solutions
MTH 310-3 Abstract Algebra I and Number Theory S17 Homework 3/ Solutions Exercise 1. Prove the following Theorem: Theorem Let R and S be rings. Define an addition and multiplication on R S by for all r,
More informationWhen does a semiring become a residuated lattice?
When does a semiring become a residuated lattice? Ivan Chajda and Helmut Länger arxiv:1809.07646v1 [math.ra] 20 Sep 2018 Abstract It is an easy observation that every residuated lattice is in fact a semiring
More informationDiameter of the Zero Divisor Graph of Semiring of Matrices over Boolean Semiring
International Mathematical Forum, Vol. 9, 2014, no. 29, 1369-1375 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.47131 Diameter of the Zero Divisor Graph of Semiring of Matrices over
More informationSubrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING
Subrings and Ideals Chapter 2 2.1 INTRODUCTION In this chapter, we discuss, subrings, sub fields. Ideals and quotient ring. We begin our study by defining a subring. If (R, +, ) is a ring and S is a non-empty
More informationMatrix operations Linear Algebra with Computer Science Application
Linear Algebra with Computer Science Application February 14, 2018 1 Matrix operations 11 Matrix operations If A is an m n matrix that is, a matrix with m rows and n columns then the scalar entry in the
More informationTropical matrix algebra
Tropical matrix algebra Marianne Johnson 1 & Mark Kambites 2 NBSAN, University of York, 25th November 2009 1 University of Manchester. Supported by CICADA (EPSRC grant EP/E050441/1). 2 University of Manchester.
More informationBoolean Algebra & Logic Gates. By : Ali Mustafa
Boolean Algebra & Logic Gates By : Ali Mustafa Digital Logic Gates There are three fundamental logical operations, from which all other functions, no matter how complex, can be derived. These Basic functions
More informationOn Regularity of Incline Matrices
International Journal of Algebra, Vol. 5, 2011, no. 19, 909-924 On Regularity of Incline Matrices A. R. Meenakshi and P. Shakila Banu Department of Mathematics Karpagam University Coimbatore-641 021, India
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationThe variety of commutative additively and multiplicatively idempotent semirings
Semigroup Forum (2018) 96:409 415 https://doi.org/10.1007/s00233-017-9905-2 RESEARCH ARTICLE The variety of commutative additively and multiplicatively idempotent semirings Ivan Chajda 1 Helmut Länger
More informationRelations of Centralizers on Semiprime Semirings
International Journal of Mathematics Research. ISSN 0976-5840 Volume 10, Number 1 (2018), pp. 21-32 International Research Publication House http://www.irphouse.com Relations of Centralizers on Semiprime
More information2. ETALE GROUPOIDS MARK V. LAWSON
2. ETALE GROUPOIDS MARK V. LAWSON Abstract. In this article, we define étale groupoids and describe some of their properties. 1. Generalities 1.1. Categories. A category is usually regarded as a category
More informationMath 1B03/1ZC3 - Tutorial 2. Jan. 21st/24th, 2014
Math 1B03/1ZC3 - Tutorial 2 Jan. 21st/24th, 2014 Tutorial Info: Website: http://ms.mcmaster.ca/ dedieula. Math Help Centre: Wednesdays 2:30-5:30pm. Email: dedieula@math.mcmaster.ca. Does the Commutative
More informationStojan Bogdanović and Miroslav Ćirić
FILOMAT (Niš) 9:1 (1995), 57 62 POWER SEMIGROUPS THAT ARE ARCHIMEDEAN Stojan Bogdanović and Miroslav Ćirić ABSTRACT. Power semigroups of various semigroups were studied by a number of authors. Here we
More informationGaussian processes and Feynman diagrams
Gaussian processes and Feynman diagrams William G. Faris April 25, 203 Introduction These talks are about expectations of non-linear functions of Gaussian random variables. The first talk presents the
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More informationON SOME SEMIGROUPS GENERATED FROM CAYLEY FUNCTIONS LEJO J. MANAVALAN, P.G. ROMEO
Available online at http://scikorg J Semigroup Theory Appl 2018, 2018:5 https://doiorg/1028919/jsta/3562 ISSN: 2051-2937 ON SOME SEMIGROUPS GENERATED FROM CAYLEY FUNCTIONS LEJO J MANAVALAN, PG ROMEO Department
More informationSome results on the reverse order law in rings with involution
Some results on the reverse order law in rings with involution Dijana Mosić and Dragan S. Djordjević Abstract We investigate some necessary and sufficient conditions for the hybrid reverse order law (ab)
More informationarxiv: v1 [math.ra] 23 Feb 2018
JORDAN DERIVATIONS ON SEMIRINGS OF TRIANGULAR MATRICES arxiv:180208704v1 [mathra] 23 Feb 2018 Abstract Dimitrinka Vladeva University of forestry, bulklohridski 10, Sofia 1000, Bulgaria E-mail: d vladeva@abvbg
More informationCharacterizations of nondecreasing semilattice operations on chains
Characterizations of nondecreasing semilattice operations on chains AAA96 Jimmy Devillet in collaboration with Bruno Teheux University of Luxembourg Motivation Let X be a nonempty set Definition F : X
More informationSYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS
SYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS JITENDER KUMAR AND K. V. KRISHNA Abstract. The syntactic semigroup problem is to decide whether a given
More informationArithmetic Operations. The real numbers have the following properties: In particular, putting a 1 in the Distributive Law, we get
MCA AP Calculus AB Summer Assignment The following packet is a review of many of the skills needed as we begin the study of Calculus. There two major sections to this review. Pages 2-9 are review examples
More informationTheory of Computation - Module 3
Theory of Computation - Module 3 Syllabus Context Free Grammar Simplification of CFG- Normal forms-chomsky Normal form and Greibach Normal formpumping lemma for Context free languages- Applications of
More informationOn relations between right alternative and nuclear square AG-groupoids
International Mathematical Forum, Vol. 8, 2013, no. 5, 237-243 On relations between right alternative and nuclear square AG-groupoids Muhammad Rashad, Imtiaz Ahmad, Amanullah Department of Mathematics
More informationThings we can already do with matrices. Unit II - Matrix arithmetic. Defining the matrix product. Things that fail in matrix arithmetic
Unit II - Matrix arithmetic matrix multiplication matrix inverses elementary matrices finding the inverse of a matrix determinants Unit II - Matrix arithmetic 1 Things we can already do with matrices equality
More informationCompositions of Tree Series Transformations
Compositions of Tree Series Transformations Andreas Maletti a Technische Universität Dresden Fakultät Informatik D 01062 Dresden, Germany maletti@tcs.inf.tu-dresden.de December 03, 2004 1. Motivation 2.
More informationMATH Mathematics for Agriculture II
MATH 10240 Mathematics for Agriculture II Academic year 2018 2019 UCD School of Mathematics and Statistics Contents Chapter 1. Linear Algebra 1 1. Introduction to Matrices 1 2. Matrix Multiplication 3
More informationTROPICAL SCHEME THEORY. Idempotent semirings
TROPICAL SCHEME THEORY Idempotent semirings Definition 0.1. A semiring is (R, +,, 0, 1) such that (R, +, 0) is a commutative monoid (so + is a commutative associative binary operation on R 0 is an additive
More informationPrime Hyperideal in Multiplicative Ternary Hyperrings
International Journal of Algebra, Vol. 10, 2016, no. 5, 207-219 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.6320 Prime Hyperideal in Multiplicative Ternary Hyperrings Md. Salim Department
More informationStructure and Study of Elements in Ternary Γ- Semigroups
From the SelectedWorks of Innovative Research Publications IRP India Spring April, 205 Structure and Study of Elements in Ternary Γ- Semigroups Innovative Research Publications, IRP India, Innovative Research
More informationGENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary
More information0. Introduction. Math 407: Modern Algebra I. Robert Campbell. January 29, 2008 UMBC. Robert Campbell (UMBC) 0. Introduction January 29, / 22
0. Introduction Math 407: Modern Algebra I Robert Campbell UMBC January 29, 2008 Robert Campbell (UMBC) 0. Introduction January 29, 2008 1 / 22 Outline 1 Math 407: Abstract Algebra 2 Sources 3 Cast of
More informationarxiv: v1 [math.gr] 21 Feb 2014
LEFT TRANSITIVE AG-GROUPOIDS M. RASHAD, I. AHMAD, AND M. SHAH arxiv:1402.5296v1 [math.gr] 21 Feb 2014 Abstract. An AG-groupoid is an algebraic structure that satisfies the left invertive law: (ab)c = (cb)a.
More informationChapter 1. Wedderburn-Artin Theory
1.1. Basic Terminology and Examples 1 Chapter 1. Wedderburn-Artin Theory Note. Lam states on page 1: Modern ring theory began when J.J.M. Wedderburn proved his celebrated classification theorem for finite
More informationMoore-Penrose-invertible normal and Hermitian elements in rings
Moore-Penrose-invertible normal and Hermitian elements in rings Dijana Mosić and Dragan S. Djordjević Abstract In this paper we present several new characterizations of normal and Hermitian elements in
More informationTopological 3- Rings
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn:2319-765x. Volume 10, Issue 1 Ver. II. (Feb. 2014), PP 01-07 Topological 3- Rings K.Suguna Rao 1, P.Koteswara Rao 2 1 Dept.of mathematics,acharya
More informationPart IV. Rings and Fields
IV.18 Rings and Fields 1 Part IV. Rings and Fields Section IV.18. Rings and Fields Note. Roughly put, modern algebra deals with three types of structures: groups, rings, and fields. In this section we
More informationRonalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X.
Group inverses in a Banach algebra Ronalda Benjamin Talk given in mathematics postgraduate seminar at Stellenbosch University on 27th February 2012 Abstract Let A be a Banach algebra. An element a A is
More informationSubdirectly irreducible commutative idempotent semirings
Subdirectly irreducible commutative idempotent semirings Ivan Chajda Helmut Länger Palacký University Olomouc, Olomouc, Czech Republic, email: ivan.chajda@upol.cz Vienna University of Technology, Vienna,
More informationOn finite congruence-simple semirings
On finite congruence-simple semirings arxiv:math/0205083v2 [math.ra] 19 Aug 2003 Chris Monico Department of Mathematics and Statistics Texas Tech University Lubbock, TX 79409-1042 cmonico@math.ttu.edu
More informationCLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-III
Bulletin of the Section of Logic Volume 44:1/2 (2015), pp. 81 93 G. C. Rao, Venugopalam Undurthi CLOSURE OPERATORS ON COMPLETE ALMOST DISTRIBUTIVE LATTICES-III Abstract In this paper, we prove that the
More informationOn Monoids over which All Strongly Flat Right S-Acts Are Regular
Æ26 Æ4 ² Vol.26, No.4 2006µ11Â JOURNAL OF MATHEMATICAL RESEARCH AND EXPOSITION Nov., 2006 Article ID: 1000-341X(2006)04-0720-05 Document code: A On Monoids over which All Strongly Flat Right S-Acts Are
More informationStructure of regular semigroups
IOSR Journal of Engineering (IOSRJEN) ISSN (e): 2250-3021, ISSN (p): 2278-8719 Vol. 05, Issue 03 (March. 2015), V2 PP 08-13 www.iosrjen.org Structure of regular semigroups P. Sreenivasulu Reddy and Mulugeta
More information2 Application of Boolean Algebra Theorems (15 Points - graded for completion only)
CSE140 HW1 Solution (100 Points) 1 Introduction The purpose of this assignment is three-fold. First, it aims to help you practice the application of Boolean Algebra theorems to transform and reduce Boolean
More informationOn the Finite Groupoid Z n (t, u)
International Mathematical Forum, Vol. 7, 2012, no. 23, 1105-1114 On the Finite Groupoid Z n (t, u) L. Pourfaraj Department of Mathematics Central Tehran Branch Islamic Azad University Tehran, Iran L.Pourfaraj@iauctb.ac.ir
More information2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S.
BOOLEAN ALGEBRA 2.1 Introduction Binary logic deals with variables that have two discrete values: 1 for TRUE and 0 for FALSE. A simple switching circuit containing active elements such as a diode and transistor
More informationLinear Algebra Practice Problems
Linear Algebra Practice Problems Math 24 Calculus III Summer 25, Session II. Determine whether the given set is a vector space. If not, give at least one axiom that is not satisfied. Unless otherwise stated,
More informationSome decision problems on integer matrices
Some decision problems on integer matrices Christian Choffrut L.I.A.F.A, Université Paris VII, Tour 55-56, 1 er étage, 2 pl. Jussieu 75 251 Paris Cedex France Christian.Choffrut@liafa.jussieu.fr Juhani
More informationAppendix C Vector and matrix algebra
Appendix C Vector and matrix algebra Concepts Scalars Vectors, rows and columns, matrices Adding and subtracting vectors and matrices Multiplying them by scalars Products of vectors and matrices, scalar
More informationTHE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY
THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where
More informationATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL NUMBERS. Ryan Gipson and Hamid Kulosman
International Electronic Journal of Algebra Volume 22 (2017) 133-146 DOI: 10.24330/ieja.325939 ATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL
More informationOn the lattice of congruences on a fruitful semigroup
On the lattice of congruences on a fruitful semigroup Department of Mathematics University of Bielsko-Biala POLAND email: rgigon@ath.bielsko.pl or romekgigon@tlen.pl The 54th Summer School on General Algebra
More information03 Review of First-Order Logic
CAS 734 Winter 2014 03 Review of First-Order Logic William M. Farmer Department of Computing and Software McMaster University 18 January 2014 What is First-Order Logic? First-order logic is the study of
More informationThe Moore-Penrose inverse of differences and products of projectors in a ring with involution
The Moore-Penrose inverse of differences and products of projectors in a ring with involution Huihui ZHU [1], Jianlong CHEN [1], Pedro PATRÍCIO [2] Abstract: In this paper, we study the Moore-Penrose inverses
More informationSet Theory. CSE 215, Foundations of Computer Science Stony Brook University
Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical
More informationPAijpam.eu THE ZERO DIVISOR GRAPH OF A ROUGH SEMIRING
International Journal of Pure and Applied Mathematics Volume 98 No. 5 2015, 33-37 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v98i5.6
More informationMath 320, spring 2011 before the first midterm
Math 320, spring 2011 before the first midterm Typical Exam Problems 1 Consider the linear system of equations 2x 1 + 3x 2 2x 3 + x 4 = y 1 x 1 + 3x 2 2x 3 + 2x 4 = y 2 x 1 + 2x 3 x 4 = y 3 where x 1,,
More informationON (m, n)-ideals OF AN ORDERED ABEL-GRASSMANN GROUPOID. Faisal Yousafzai, Asad Khan, and Aiyared Iampan
Korean J. Math. 23 (2015), No. 3, pp. 357 370 http://dx.doi.org/10.11568/kjm.2015.23.3.357 ON (m, n)-ideals OF AN ORDERED ABEL-GRASSMANN GROUPOID Faisal Yousafzai, Asad Khan, and Aiyared Iampan Abstract.
More informationQuasigroups and Related Systems 21 (2013), Introduction
Quasigroups and Related Systems 21 (2013), 175 184 On 2-absorbing semimodules Manish Kant Dubey and Poonam Sarohe Abstract. In this paper, we introduce the concept of 2-absorbing semimodules over a commutative
More informationAvailable Online through
Available Online through ISSN: 0975-766X CODEN: IJPTFI Research Article www.ijptonline.com NORMAL VAGUE IDEALS OF A Γ-NEAR RING S.Ragamayi* Department of Mathematics, K L University, Vaddeswaram, Guntur,
More informationGroups of Order Less Than 32 and Their Endomorphism Semigroups
Journal of Nonlinear Mathematical Physics Volume 13, Supplement (2006), 93 101 AGMF Tallin 05 Groups of Order Less Than 32 and Their Endomorphism Semigroups Peeter PUUSEMP 1 Department of Mathematics,
More informationELEC Digital Logic Circuits Fall 2014 Boolean Algebra (Chapter 2)
ELEC 2200-002 Digital Logic Circuits Fall 2014 Boolean Algebra (Chapter 2) Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and Computer Engineering Auburn University, Auburn, AL
More informationPrime and Irreducible Ideals in Subtraction Algebras
International Mathematical Forum, 3, 2008, no. 10, 457-462 Prime and Irreducible Ideals in Subtraction Algebras Young Bae Jun Department of Mathematics Education Gyeongsang National University, Chinju
More informationA mathematical statement that asserts that two quantities are equal is called an equation. Examples: x Mathematics Division, IMSP, UPLB
EQUATIONS A mathematical statement that asserts that two quantities are equal is called an equation. Examples: 1.. 3. 1 9 1 x 3 11 x 4xy y 0 Consider the following equations: 1. 1 + 9 = 1. x + 9 = 1 Equation
More informationSection 19 Integral domains
Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There
More informationTheory of Computation
Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.
More informationON STRUCTURE OF KS-SEMIGROUPS
International Mathematical Forum, 1, 2006, no. 2, 67-76 ON STRUCTURE OF KS-SEMIGROUPS Kyung Ho Kim Department of Mathematics Chungju National University Chungju 380-702, Korea ghkim@chungju.ac.kr Abstract
More informationTotal Graph and Complemented Graph of a Rough Semiring
Gazi University Journal of Science GU J Sci 29(2):459-466 (2016) Total Graph and Complemented Graph of a Rough Semiring B.PRABA 1, A. MANIMARAN 2,, V. M. CHANDRASEKARAN 2 1 SSN College of Engineering,
More information