Idempotent and Regular Elements of the Complete Semigroups of Binary Relations of the Class ( )
|
|
- Sherman Bates
- 6 years ago
- Views:
Transcription
1 Applied Mathematics Published Online February 205 in SciRes. Idempotent and Regular Elements of the Complete Semigroups of Binary Relations Σ 9 of the Class Barış Albayrak Neşet Aydın Çanakkale Onsekiz Mart University Çanakkale Turkey balbayrak77@gmail.com neseta@comu.edu.tr 3 Received 3 January 205; accepted February 205; published 5 February 205 Copyright 205 by authors and Scientific Research Publishing Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). Abstract In this paper we take Q subsemilattice of and we will calculate the number of right unit idempotent and regular elements of B (Q ) satisfied that V ( ) = Q for a finite set. Also we will give a formula for calculate idempotent and regular elements of B (Q) defined by an -semilattice of unions. Keywords Semilattice Semigroup Binary Relation. Introduction Let be a nonempty set and B be semigroup of all binary relations on the set. If is a nonempty set of subsets of which is closed under the union then is called a complete -semilattice of unions. Let f be an arbitrary mapping from into. Then one can construct a binary relation f on by = x f x B and called a complete semi- f ({ } ). The set of all such binary relations is denoted by x group of binary relations defined by an -semilattice of unions. We use the notations y = { x yx} Y = y V ( ) { Y Y } A representation of a binary relation of the form = ( YT T) y Y T V ( ) = YT { y y T} = =. is called quasinormal. Note that How to cite this paper: Albayrak B. and Aydın N. (205) Idempotent and Regular Elements of the Complete Semigroups of Binary Relations of the Class Σ 3 ( 9). Applied Mathematics
2 if = ( YT T) B. Albayrak N. Aydın is a quasinormal representation of the binary relation then YT YT = for T T V( ) T V( ) and T T. A complete -semilattice of unions is an I-semilattice of unions if Λ( t ) for any t and Z= Λ ( t ) for any nonempty element Z of. t Z is said to be right unit if β = β B B is idempotent if is said to be regular if β = for some β B ( ). Let ' '' be complete -semilattices of unions and ϕ be a one-to-one mapping from ' to ''. A mapping ϕ : ϕ = ϕ T for all nonempty subset of the se- Now B ( ) =. And B ( ) is a complete isomorphism provided for all β. Also milattice '. Besides that if ϕ: V( ) is a complete isomorphism where B ( ) ( T) for all T V( ) ϕ is said to be a complete -isomorphism. T ϕ = T Let Q and ' be respectively some I and -subsemilattices of the complete -semilattice of unions. Then where ϕ : Q where { } ( ) = Rϕ Q B regular element ϕ complete -isomorphism complete isomorphism and V ( ) = Q. Besides let us denote RQ ( ) = R ( Q ) and R( ) R( Q ) ϕ Φ( Q ) ϕ = Q Ω( Q) ( Q ) { ϕ ϕ: Q is a complete -isomorhism B ( ) } Φ = ( Q) { Q Q is I-subsemilattices of which is complete isomorphic to Q} Ω = This structure was comprehensively investigated in iasamidze []. Lemma. [] If Q is complete -semilattice of unions and I( Q ) is the set all right units of the semigroup B ( Q ) then I( Q) = Rid Q ( QQ ). Lemma 2. [2] Let be a finite set be a complete -semilattice of unions and Q = T T T T T T T T be -subsemilattice of unions of satisfies the following conditions { } Q is I-semilattice of unions T \ T T \ T T \ T T \ T T T = T T T = T T = is -iso- Theorem. [2] Let be a finite set and Q be I-semilattice. If { T T2 T3 T4 T5 T6 T7 T8} morphic to Q and Ω ( Q) = m0 then T2\ T T4\ T3 T4\ T3 T3\ T4 T3\ T4 m0 4 ( 2 ( 2 ) ) ( 3 2 ) ( 3 2 ) 5 T7\ T6 T7\ T6 T6\ T7 T6\ T7 \ T8 ( 6 5 ) ( 6 5 ) 8. T3 T4 \ T T7 T6 \ T5 R = Theorem 2. [2] Let B ( Q) ( ) = Q. B ( ) 8 be a quasinormal representation of the form = ( Yi Ti) such that V is a regular iff for some complete -isomorphism ϕ : Q the following conditions are satisfied: Y ϕ( T) Y Y2 ϕ( T2) Y Y2 Y3 ϕ( T3) Y Y2 Y4 ϕ( T4) Y Y2 Y3 Y4 Y5 Y6 ϕ( T6) Y Y2 Y3 Y4 Y5 Y7 ϕ( T7) Y2 ϕ( T2) Y ϕ T Y ϕ T Y ϕ T Y ϕ T
3 B. Albayrak N. Aydın Let be a finite set and { T T T T T T T T T } = be a complete -semilattice of unions which satisfies the following conditions T \ T T \ T T \ T T \ T T \ T T \ T T T 2 = T 3 T 4 T 5 = T 6 T T = T T T we denote the class of all complete - 3 semilattice of unions whose every element is isomophic to an -semilattice of the form. All subsemilattice of = { T T2 T3 T4 T5 T6 T7 T8 are given in Figure 2. In iasamidze [] it has shown that subsemilattices - 5 are I-semilattice of unions and subsemilattices 7-24 are not I-semilattice of unions. In Yeşil Sungur [3] and Albayrak [4] they have shown that subsemilattices 25 and 26 are I-semilattice of unions if and only if T T2 =. Also they found that number of right unit idempotent and regular elements in subsemilattices. In this paper we take in particular Q = { TT 3 T4 T5 T6 T7 T8 subsemilattice of. We will calculate the number of right unit idempotent and regular elements of B ( Q ) satisfied that V( ) = Q for a finite set. Also we will give a formula for calculate idempotent and regular elements of B ( ) defined by an = T T T T T T T T T. The diagram of the is shown in Figure. By the symbol ( ) -semilattice of unions { } Figure. iagram of. 34
4 B. Albayrak N. Aydın 2. Results Let Q { T T T T T T T T } = be complete -subsemilattice of satisfies the following conditions T \ T T \ T T \ T T \ T T T = T T T = T T. The diagram of the Q is shown in Figure 3. From Lemma 2 Q is I-semilattice of unions. Let Qϑ I denote the set of all I-subsemilattice of the semilattice which are isomorphic of the -semilattice Q. Then we get Let B ( Q ) {{ }{ }} Q ϑ = T T T T T T T T T T T T T T T T I be a idempotent element having a quasinormal representation of the form Figure 2. All subsemilattice of. Figure 3. The diagram of the Q. 35
5 B. Albayrak N. Aydın 9 ( YT T) ( Yi Ti) = B Q. such that V ( ) = Q 3 ( ) Lemma 3. If is a finite set and ( ) B Q then the number I Q may be calculated by formula: I Q. First we calculate number of this idempotent elements in I Q is the set all right units of the semigroup T3\ T ( T5 T4) \ T3 T5\ T4 T5\ T4 T4\ T5 T4\ T5 ((2 ) 2 ) ( 3 2 ) ( 3 2 ) = T7 T8 \ T6 T8\ T7 T8\ T7 T7\ T8 T7\ T8 \ T Proof. From Lemma we have I( Q ) R ( Q Q ) = where id Q For this reason = Q in Theorem. Then we obtain T3\ T T5 T4 \ T3 T5\ T4 T5\ T4 T4\ T5 T4\ T5 ( 2 2 ) ( 3 2 ) ( 3 2 ) I Q Theorem 3. If is a finite set and I ( Q ) then the number = T7 T8 \ T6 T8\ T7 T8\ T7 T7\ T8 T7\ T8 \ T id Q is identity mapping of the set Q. is the set all idempotent elements of the semigroup I Q may be calculated by formula: T5 T4 \ T3 I Q = T3\ T2 T5\ T4 T5\ T4 T4\ T5 T4\ T5 ( T7 T8) \ T6 T8\ T7 T8\ T7 T7\ T8 T7\ T8 \ T9 T3\ T ( T5 T4) \ T3 T5\ T4 T5\ T4 T4\ T5 T4\ T5 (( 2 ) 2 ) ( 3 2 ) ( 3 2 ) ( T7 T8) \ T6 T8\ T7 T8\ T7 T7\ T8 T7\ T8 \ T9 ( 6 5 ) ( 6 5 ) Proof. By using Lemma 3 we have number of right units of the semigroup B ( Q ) defined by Q = { T T3 T4 T5 T6 T7 T8 for T { T T2}. Then number of idempotent elements of I ( Q ) by formula I ( Q ) = I( ). By using QϑI we obtain above formula. {{ }{ }} Q ϑ = T T T T T T T T T T T T T T T T I Now we will calculate number of regular elements B ( Q ) 9 form = ( YT T) ( Yi Ti) B Q calculated having a quasinormal representation of the such that V ( ) = Q. Let R ( Q ) 3 semigroup B ( Q ). By using Q I {{ T T3 T4 T5 T6 T7 T8 { T2 T3 T4 T5 T6 T7 T8 } Ω ( Q ) = 2. The number of all automorphisms of the semilattice Q is q = 4. These are be the set all regular elements of the ϑ = we get TTTTTTTT TTTTTTTT IQ = ϕ = TTTTTTTT TTTTTTTT TTTTTTTT TTTTTTTT θ = τ = TTTTTTTT TTTTTTTT Then Φ ( Q ) = 4. Also by using = { T2 T3 T4 T5 T6 T7 T8 2 = { T2 T3 T5 T4 T6 T7 T8 3 = { T2 T3 T4 T5 T6 T8 T7 4 = { T2 T3 T5 T4 T6 T8 T7 5 = { T T3 T4 T5 T6 T7 T8 6 = { T T3 T5 T4 T6 T7 T8 = { T T T T T T T T } = { T T T T T T T T }
6 B. Albayrak N. Aydın we get R ( Q ) R( ) 8 =. Theorem 4. If is a finite set and R ( Q ) the number R Q R i may be calculated by formula: B Q then is the set all regular elements of the semigroup T3\ T2 T5\ T4 T5\ T4 ( Q ) = 42 ( 2 ) ( ) ( ) ( ) T3\ T T5\ T4 T5\ T ( 2 ) ( ) ( ) ( ) T5 T4 \ T3 T7 T8 \ T6 T4\ T5 T4\ T5 T8\ T7 T8\ T7 T7\ T8 T7\ T8 \ T T5 T4 \ T3 T7 T8 \ T6 T4\ T5 T4\ T5 T8\ T7 T8\ T7 T7\ T8 T7\ T8 \ T Proof. To account for the elements that are in R ( Q ) we first subtract out intersection of ( i ) R( ) R( 2). By using Theorem 2 and Q = { T T3 T4 T5 T6 T7 T8 R( ) R( ) R( ) and R( ) 2 2 Y T Y Y T Y Y Y T T 2 T 3 3 T Y Y Y T Y Y Y Y Y Y T T T Y Y Y Y Y Y T Y T T Y T Y T Y T Y T Y T Y Y T Y Y Y T T 2 T 3 3 T Y Y Y T Y Y Y Y Y Y T T T Y Y Y Y Y Y T Y T T Y T Y 4 T 5 Y 7 T 7 Y 8 T We get Y4 T4 Y4 ( YT Y3 Y5 ) R R 2 =. Smilarly R( i) R( j) R s. Let which is a contradiction with Y 4 Y T Y 3 Y 5 are dis- = for i j = 6. Thus we obtain joint sets. Then R ( Q ) = R( ) + R( ) + R( ) + R( ) + R( ) + R( ) + R( ) + R( ) From Theorem we get above formula. Corollary. If is a finite set I is the set all idempotent elements of the semigroup B set all regular elements of the semigroup B ( ) then the number I and and R is the R may be calculated by formula: ( I) I = ( Qi) ( R) = R ( Qi) Proof. Let I be the set of all idempotent elements of the semigroup B element of B of. I ( Q i ) is given in iasamidze [] for ( 2 5) elements of the subsemigroup ( I ) I ( Q ). Then number of idempotent is equal to sum of idempotent elements of the subsemigroup defined by I-subsemilattice i =. From Theorem 3 we have number of idempotent B Q. Then the number I may be calculated by formula = i. Similarly the number References R may be calculated by formula ( R ) R ( Q ) =. [] iasamidze Ya. and Makharadze Sh. (203) Complete Semigroups of Binary Relations. Kriter Yayınevi İstanbul 524 p. [2] Albayrak B. Aydin N. and iasamidze Ya. (203) Reguler Elements of the Complete Semigroups of Binary Relations of the Class ( 8). International Journal of Pure and Applied Mathematics i 37
7 B. Albayrak N. Aydın [3] Yeşil Sungur. and Aydin N. (204) Reguler Elements of the Complete Semigroups of Binary Relations of the Class ( 7). General Mathematics Notes [4] Albayrak B. Aydin N. and Yeşil Sungur. (204) Regular Elements of Semigroups B efined by the Generalized -Semilattice. General Mathematics Notes
8
Complete Semigroups of Binary Relations Defined by Semilattices of the Class Σ X,10
Applied Mathematics 05 6 74-4 Published Online February 05 in SciRes. http://www.scirp.org/journal/am http://dx.doi.org/0.46/am.05.606 Complete Semigroups of Binary Relations efined by Semilattices of
More informationRegular Elements of the Complete Semigroups of Binary Relations of the Class 8
Gen. Math. Notes, Vol. 21, No. 1, March 2014, pp.27-42 ISSN 2219-7184; Copyright c ICSRS Publication, 2014 www.i-csrs.org Available free online at http://www.geman.in Regular Elements of the Complete Semigroups
More informationIdempotent Elements of the Semigroups B ( D ) defined by Semilattices of the Class Σ ( X ), when Z 7
IJISE - International Journal of Innovative Science Engineering & echnology Vol Issue January 0 ISSN 8 798 Idempotent Elements of the Semigroups B ( defined by Semilattices of the Class Σ ( when 7 8 Nino
More informationBatumi, GEORGIA 2 Department of Mathematics. Hacettepe University Beytepe, Ankara, TURKEY 3 Department of Mathematics
International Journal of Pure and Applied Mathematics Volume 93 No. 4 2014, 549-566 ISSN: 1311-8080 printed version; ISSN: 1314-3395 on-line version url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v93i4.6
More informationV X Y Y X D Z D Z. D is V D Y Y D. ,, if,, V V X V X. f we will compare binary relation
International Journal of Engineering Science and Innovative echnology (IJESI) Volume Issue 3 May 201 Finite semigroups of binary relations defined by semi lattices of the class Σ( ) Mzevinar Bakuridze
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 informationPseudo-finite monoids and semigroups
University of York NBSAN, 07-08 January 2018 Based on joint work with Victoria Gould and Dandan Yang Contents Definitions: what does it mean for a monoid to be pseudo-finite, or pseudo-generated by a finite
More informationCHAPTER 4. βs as a semigroup
CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its
More informationMAXIMAL ORDERS IN COMPLETELY 0-SIMPLE SEMIGROUPS
MAXIMAL ORDERS IN COMPLETELY 0-SIMPLE SEMIGROUPS John Fountain and Victoria Gould Department of Mathematics University of York Heslington York YO1 5DD, UK e-mail: jbf1@york.ac.uk varg1@york.ac.uk Abstract
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SEMIGROUP THEORY MTHE6011A Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. Notes are not permitted
More informationAvailable online at J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY
Available online at http://scik.org J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: 2051-2937 COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY ALJOUIEE A., AL KHALAF A. Department of Mathematics, Faculty
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 informationAttempt QUESTIONS 1 and 2, and THREE other questions. Do not turn over until you are told to do so by the Invigilator.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2016 17 SEMIGROUP THEORY WITH ADVANCED TOPICS MTHE7011A Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions.
More information1 + 1 = 2: applications to direct products of semigroups
1 + 1 = 2: applications to direct products of semigroups Nik Ruškuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews Lisbon, 16 December 2010 Preview: 1 + 1 = 2... for
More informationThe kernel of a monoid morphism. Part I Kernels and extensions. Outline. Basic definitions. The kernel of a group morphism
Outline The kernel of a monoid morphism Jean-Éric Pin1 (1) Kernels and extensions (2) The synthesis theoem (3) The finite case (4) Group radical and effective characterization (5) The topological approach
More informationCHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ).
CHAPTEER - TWO SUBGROUPS Definition 2-1. Let (G, ) be a group and H G be a nonempty subset of G. The pair ( H, ) is said to be a SUBGROUP of (G, ) if ( H, ) is group. Example. ( Z, + ) is subgroup of (
More informationOn a topological simple Warne extension of a semigroup
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 16, Number 2, 2012 Available online at www.math.ut.ee/acta/ On a topological simple Warne extension of a semigroup Iryna Fihel, Oleg
More informationUnions of Dominant Chains of Pairwise Disjoint, Completely Isolated Subsemigroups
Palestine Journal of Mathematics Vol. 4 (Spec. 1) (2015), 490 495 Palestine Polytechnic University-PPU 2015 Unions of Dominant Chains of Pairwise Disjoint, Completely Isolated Subsemigroups Karen A. Linton
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 informationON PRE-I-OPEN SETS, SEMI-I-OPEN SETS AND b-i-open SETS IN IDEAL TOPOLOGICAL SPACES 1. Erdal Ekici
Acta Universitatis Apulensis ISSN: 1582-5329 No. 30/2012 pp. 293-303 ON PRE-I-OPEN SETS, SEMI-I-OPEN SETS AND b-i-open SETS IN IDEAL TOPOLOGICAL SPACES 1 Erdal Ekici Abstract. The aim of this paper is
More informationShort Introduction to Admissible Recursion Theory
Short Introduction to Admissible Recursion Theory Rachael Alvir November 2016 1 Axioms of KP and Admissible Sets An admissible set is a transitive set A satisfying the axioms of Kripke-Platek Set Theory
More informationResearch Article Tight Representations of 0-E-Unitary Inverse Semigroups
Abstract and Applied Analysis Volume 2011, Article ID 353584, 6 pages doi:10.1155/2011/353584 Research Article Tight Representations of 0-E-Unitary Inverse Semigroups Bahman Tabatabaie Shourijeh and Asghar
More informationDomination in Cayley Digraphs of Right and Left Groups
Communications in Mathematics and Applications Vol. 8, No. 3, pp. 271 287, 2017 ISSN 0975-8607 (online); 0976-5905 (print) Published by RGN Publications http://www.rgnpublications.com Domination in Cayley
More informationTwo notes on subshifts
Two notes on subshifts Joseph S. Miller Special Session on Logic and Dynamical Systems Joint Mathematics Meetings, Washington, DC January 6, 2009 First Note Every Π 0 1 Medvedev degree contains a Π0 1
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationThe L 3 (4) near octagon
The L 3 (4) near octagon A. Bishnoi and B. De Bruyn October 8, 206 Abstract In recent work we constructed two new near octagons, one related to the finite simple group G 2 (4) and another one as a sub-near-octagon
More informationSlightly γ-continuous Functions. Key words: clopen, γ-open, γ-continuity, slightly continuity, slightly γ-continuity. Contents
Bol. Soc. Paran. Mat. (3s.) v. 22 2 (2004): 63 74. c SPM ISNN-00378712 Slightly γ-continuous Functions Erdal Ekici and Miguel Caldas abstract: The purpose of this paper is to give a new weak form of some
More informationDirect Product of BF-Algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 125-132 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.614 Direct Product of BF-Algebras Randy C. Teves and Joemar C. Endam Department
More informationSome Properties of D-sets of a Group 1
International Mathematical Forum, Vol. 9, 2014, no. 21, 1035-1040 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.45104 Some Properties of D-sets of a Group 1 Joris N. Buloron, Cristopher
More informationExtensions and I-semidirect products. inverse semigroups
of inverse semigroups Bolyai Institute University of Szeged NBSAN 2018 York, 7 8 January, 2018 Introduction: groups and semigroups extension of groups semidirect / standard wreath product of groups Theorem
More informationBoolean Semilattices
Boolean Semilattices Clifford Bergman Iowa State University June 2015 Motivating Construction Let G = G, be a groupoid (i.e., 1 binary operation) Form the complex algebra G + = Sb(G),,,,,, G X Y = { x
More informationStrongly Regular Congruences on E-inversive Semigroups
International Mathematical Forum, Vol. 10, 2015, no. 1, 47-56 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2015.411188 Strongly Regular Congruences on E-inversive Semigroups Hengwu Zheng
More informationAunu Integer Sequence as Non-Associative Structure and Their Graph Theoretic Properties
Advances in Pure Mathematics, 2016, 6, 409-419 Published Online May 2016 in SciRes. http://www.scirp.org/journal/apm http://dx.doi.org/10.4236/apm.2016.66028 Aunu Integer Sequence as Non-Associative Structure
More information2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.
Chapter 2. Basic Topology. 2.3 Compact Sets. 2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α. 2.32 Definition A subset
More informationarxiv: v1 [math.ds] 22 Jan 2019
A STUDY OF HOLOMORPHIC SEMIGROUPS arxiv:1901.07364v1 [math.ds] 22 Jan 2019 BISHNU HARI SUBEDI Abstract. In this paper, we investigate some characteristic features of holomorphic semigroups. In particular,
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationSongklanakarin Journal of Science and Technology SJST R1 Al Ghour. L-open sets and L^*-open sets
L-open sets and L^*-open sets Journal: Manuscript ID Songklanakarin Journal of Science and Technology SJST-0-0.R Manuscript Type: Date Submitted by the Author: Original Article 0-Oct-0 Complete List of
More informationLarge subsets of semigroups
CHAPTER 8 Large subsets of semigroups In the van der Waerden theorem 7.5, we are given a finite colouring ω = A 1 A r of the commutative semigroup (ω, +); the remark 7.7(b) states that (at least) one of
More informationCompletely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts
Completely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts Xavier MARY Université Paris-Ouest Nanterre-La Défense, Laboratoire
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
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 information-HYPERCONNECTED IDEAL TOPOLOGICAL SPACES
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul LVIII, 2012, f.1 DOI: 10.2478/v10157-011-0045-9 -HYPERCONNECTED IDEAL TOPOLOGICAL SPACES BY ERDAL EKICI and TAKASHI NOIRI
More informationDistance labellings of Cayley graphs of semigroups
Distance labellings of Cayley graphs of semigroups Andrei Kelarev, Charl Ras, Sanming Zhou School of Mathematics and Statistics The University of Melbourne, Parkville, Victoria 3010, Australia andreikelarev-universityofmelbourne@yahoo.com
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 informationInternational Journal of Algebra, Vol. 7, 2013, no. 3, HIKARI Ltd, On KUS-Algebras. and Areej T.
International Journal of Algebra, Vol. 7, 2013, no. 3, 131-144 HIKARI Ltd, www.m-hikari.com On KUS-Algebras Samy M. Mostafa a, Mokhtar A. Abdel Naby a, Fayza Abdel Halim b and Areej T. Hameed b a Department
More informationPrimitive Ideals of Semigroup Graded Rings
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu
More informationCommutative FSM Having Cycles over the Binary Alphabet
Commutative FSM Having Cycles over the Binary Alphabet Dr.S. Jeya Bharathi 1, Department of Mathematics, Thiagarajar College of Engineering, Madurai, India A.Jeyanthi 2,* Department of Mathematics Anna
More informationOn (m,n)-ideals in LA-Semigroups
Applied Mathematical Sciences, Vol. 7, 2013, no. 44, 2187-2191 HIKARI Ltd, www.m-hikari.com On (m,n)-ideals in LA-Semigroups Muhammad Akram University of Gujrat Gujrat, Pakistan makram 69@yahoo.com Naveed
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationβ Baire Spaces and β Baire Property
International Journal of Contemporary Mathematical Sciences Vol. 11, 2016, no. 5, 211-216 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijcms.2016.612 β Baire Spaces and β Baire Property Tugba
More informationJoin Reductions and Join Saturation Reductions of Abstract Knowledge Bases 1
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 3, 109-115 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.7312 Join Reductions and Join Saturation Reductions
More informationON SOME CONGRUENCES OF POWER ALGEBRAS
ON SOME CONGRUENCES OF POWER ALGEBRAS A. PILITOWSKA 1 AND A. ZAMOJSKA-DZIENIO 2 Abstract. In a natural way we can lift any operation defined on a set A to an operation on the set of all non-empty subsets
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 informationULTRAFILTER AND HINDMAN S THEOREM
ULTRAFILTER AND HINDMAN S THEOREM GUANYU ZHOU Abstract. In this paper, we present various results of Ramsey Theory, including Schur s Theorem and Hindman s Theorem. With the focus on the proof of Hindman
More informationPermutation Groups and Transformation Semigroups Lecture 2: Semigroups
Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Peter J. Cameron Permutation Groups summer school, Marienheide 18 22 September 2017 I am assuming that you know what a group is, but
More informationComplete and Fuzzy Complete d s -Filter
International Journal of Mathematical Analysis Vol. 11, 2017, no. 14, 657-665 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijma.2017.7684 Complete and Fuzzy Complete d s -Filter Habeeb Kareem
More informationAutomorphisms of the endomorphism semigroup of a free abelian diband
Algebra and Discrete Mathematics Volume 25 (208). Number 2, pp. 322 332 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Automorphisms of the endomorphism semigroup of a free abelian diband
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 informationA NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS
An. Şt. Univ. Ovidius Constanţa Vol. 18(2), 2010, 161 172 A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS Ivan Lončar Abstract For every Hausdorff space X the space X Θ is introduced. If X is H-closed, then
More informationExtending Algebraic Operations to D-Completions
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Extending Algebraic Operations to D-Completions Klaus
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 informationCompact Primitive Semigroups Having (CEP)
International Journal of Algebra, Vol. 3, 2009, no. 19, 903-910 Compact Primitive Semigroups Having (CEP) Xiaojiang Guo 1 Department of Mathematics, Jiangxi Normal University Nanchang, Jiangxi 330022,
More informationA CLASS OF INFINITE CONVEX GEOMETRIES
A CLASS OF INFINITE CONVEX GEOMETRIES KIRA ADARICHEVA AND J. B. NATION Abstract. Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly
More informationOrbit coherence in permutation groups
Orbit coherence in permutation groups John R. Britnell Department of Mathematics Imperial College London j.britnell@imperial.ac.uk Groups St Andrews 2013 Joint work with Mark Wildon (RHUL) Orbit partitions
More informationSupra β-connectedness on Topological Spaces
Proceedings of the Pakistan Academy of Sciences 49 (1): 19-23 (2012) Copyright Pakistan Academy of Sciences ISSN: 0377-2969 Pakistan Academy of Sciences Original Article Supra β-connectedness on Topological
More informationLecture 11. Andrei Antonenko. February 26, Last time we studied bases of vector spaces. Today we re going to give some examples of bases.
Lecture 11 Andrei Antonenko February 6, 003 1 Examples of bases Last time we studied bases of vector spaces. Today we re going to give some examples of bases. Example 1.1. Consider the vector space P the
More informationA Class of Infinite Convex Geometries
A Class of Infinite Convex Geometries Kira Adaricheva Department of Mathematics School of Science and Technology Nazarbayev University Astana, Kazakhstan kira.adaricheva@nu.edu.kz J. B. Nation Department
More informationResearch Article Frequent Oscillatory Behavior of Delay Partial Difference Equations with Positive and Negative Coefficients
Hindawi Publishing Corporation Advances in Difference Equations Volume 2010, Article ID 606149, 15 pages doi:10.1155/2010/606149 Research Article Frequent Oscillatory Behavior of Delay Partial Difference
More informationNano P S -Open Sets and Nano P S -Continuity
International Journal of Contemporary Mathematical Sciences Vol. 10, 2015, no. 1, 1-11 HIKAI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijcms.2015.4545 Nano P S -Open Sets and Nano P S -Continuity
More informationBRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More informationSemigroup Crossed products
Department of Mathematics Faculty of Science King Mongkut s University of Technology Thonburi Bangkok 10140, THAILAND saeid.zk09@gmail.com 5 July 2017 Introduction In the theory of C -dynamical systems
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 informationFINITE AFFINE PLANES. An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are
FINITE AFFINE PLANES An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are satisfied. A1 Every pair of distinct points are joined by exactly one line. A2
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 informationLattices, closure operators, and Galois connections.
125 Chapter 5. Lattices, closure operators, and Galois connections. 5.1. Semilattices and lattices. Many of the partially ordered sets P we have seen have a further valuable property: that for any two
More informationEmbedding theorems for normal divisible residuated lattices
Embedding theorems for normal divisible residuated lattices Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics and Computer
More informationPETER A. CHOLAK, PETER GERDES, AND KAREN LANGE
D-MAXIMAL SETS PETER A. CHOLAK, PETER GERDES, AND KAREN LANGE Abstract. Soare [23] proved that the maximal sets form an orbit in E. We consider here D-maximal sets, generalizations of maximal sets introduced
More informationTopological dynamics: basic notions and examples
CHAPTER 9 Topological dynamics: basic notions and examples We introduce the notion of a dynamical system, over a given semigroup S. This is a (compact Hausdorff) topological space on which the semigroup
More informationGroup construction in geometric C-minimal non-trivial structures.
Group construction in geometric C-minimal non-trivial structures. Françoise Delon, Fares Maalouf January 14, 2013 Abstract We show for some geometric C-minimal structures that they define infinite C-minimal
More informationResearch Article Common Fixed Points of Weakly Contractive and Strongly Expansive Mappings in Topological Spaces
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 746045, 15 pages doi:10.1155/2010/746045 Research Article Common Fixed Points of Weakly Contractive and Strongly
More informationStrong Convergence of the Mann Iteration for Demicontractive Mappings
Applied Mathematical Sciences, Vol. 9, 015, no. 4, 061-068 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/ams.015.5166 Strong Convergence of the Mann Iteration for Demicontractive Mappings Ştefan
More informationON µ-compact SETS IN µ-spaces
Questions and Answers in General Topology 31 (2013), pp. 49 57 ON µ-compact SETS IN µ-spaces MOHAMMAD S. SARSAK (Communicated by Yasunao Hattori) Abstract. The primary purpose of this paper is to introduce
More informationSemigroup, monoid and group models of groupoid identities. 1. Introduction
Quasigroups and Related Systems 16 (2008), 25 29 Semigroup, monoid and group models of groupoid identities Nick C. Fiala Abstract In this note, we characterize those groupoid identities that have a (nite)
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 informationr-ideals of Commutative Semigroups
International Journal of Algebra, Vol. 10, 2016, no. 11, 525-533 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2016.61276 r-ideals of Commutative Semigroups Muhammet Ali Erbay Department of
More informationMinimal Symmetric Differences of lines in Projective Planes
Minimal Symmetric Differences of lines in Projective Planes Paul Balister University of Memphis Mississippi Discrete Mathematics Workshop November 15, 2014 Joint work with Béla Bollobás, Zoltán Füredi,
More informationIMA Preprint Series # 2066
THE CARDINALITY OF SETS OF k-independent VECTORS OVER FINITE FIELDS By S.B. Damelin G. Michalski and G.L. Mullen IMA Preprint Series # 2066 ( October 2005 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS
More informationMappings of the Direct Product of B-algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 133-140 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.615 Mappings of the Direct Product of B-algebras Jacel Angeline V. Lingcong
More informationMath 225A Model Theory. Speirs, Martin
Math 225A Model Theory Speirs, Martin Autumn 2013 General Information These notes are based on a course in Metamathematics taught by Professor Thomas Scanlon at UC Berkeley in the Autumn of 2013. The course
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 informationOn Uniform Limit Theorem and Completion of Probabilistic Metric Space
Int. Journal of Math. Analysis, Vol. 8, 2014, no. 10, 455-461 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2014.4120 On Uniform Limit Theorem and Completion of Probabilistic Metric Space
More informationExtension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13
Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting
More informationLecture 1: Lattice(I)
Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics
More informationFuzzy M-solid subvarieties
International Journal of Algebra, Vol. 5, 2011, no. 24, 1195-1205 Fuzzy M-Solid Subvarieties Bundit Pibaljommee Department of Mathematics, Faculty of Science Khon kaen University, Khon kaen 40002, Thailand
More informationRegular Generalized Star b-continuous Functions in a Bigeneralized Topological Space
International Journal of Mathematical Analysis Vol. 9, 2015, no. 16, 805-815 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2015.5230 Regular Generalized Star b-continuous Functions in a
More informationHINDMAN S THEOREM AND IDEMPOTENT TYPES. 1. Introduction
HINDMAN S THEOREM AND IDEMPOTENT TYPES URI ANDREWS AND ISAAC GOLDBRING Abstract. Motivated by a question of Di Nasso, we show that Hindman s Theorem is equivalent to the existence of idempotent types in
More informationTHE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS
THE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS A. PILITOWSKA 1 AND A. ZAMOJSKA-DZIENIO 2 Abstract. This paper is devoted to the semilattice ordered V-algebras of the form (A, Ω, +), where
More informationOn minimal models of the Region Connection Calculus
Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science
More information