DOCSLIB.ORG

Nildempotency Structure of Partial One-One Contraction N a Group Theory, Only the Identity Element Is Idempotent 푁퐷퐶퐼푛 Semigroup

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Nildempotency Structure of Partial One-One Contraction N a Group Theory, Only the Identity Element Is Idempotent 푁퐷퐶퐼푛 Semigroup International Journal of Research and Scientific Innovation (IJRSI) | Volume VIII, Issue I, January 2021 | ISSN 2321–2705 Nildempotency Structure of Partial One-One Contraction 퐶퐼푛 Transformation Semigroups S.A. Akinwunmi1, M.M. Mogbonju2, A.O. Adeniji3, D.O. Oyewola4, G. Yakubu5, G.R. Ibrahim6, And M.O. Fatai7 1, 4, & 5Department of Mathematics and Computer Science, Faculty of Science, Federal University of Kashere, Gombe, Nigeria. 2 & 3Department of Mathematics, Faculty of Physical Science, University of Abuja, Abuja, Nigeria. 6Department of Statistics and Mathematical Science, Faculty of Science, Kwara State University Malete, Kwara, Nigeria 7Department of Mathematics, Faculty of Sciences, Federal University Oye-Ekiti , Ekiti, Nigeria. Abstract: The principal objects of interest in the current research A semigroup homomorphism is a function that preserves are the finite sets and the contraction 퐂퐈 finite transformation 퐧 semigroup structure such that the function 휌: (훼푖 ) ⟶ (훽푗 ) semigroups and the characterization of nildempotent elements in between two transformation are homomorphism if 퐂퐈퐧. Let 퐌퐧 be a finite set, say 퐌퐧 = {퐦ퟏ, 퐦ퟐ, … 퐦퐧}, where 퐦퐢 is 휌(훼푖 , 훽푗 ) = 휌(훼푖 )휌(훽푗 ) holds for all 훼푖 , 훽푗 ∈ 푆. If 푆 is a a non-negative integer then 훂 ∈ 퐂퐈퐧 for which for all 퐪, 퐤 ∈ 퐌퐧, |훂퐪 − 훂퐤| ≤ |퐪 − 퐤| is a contraction mapping for all 퐪, 퐤 ∈ 퐃 훂 , finite semigroup, then a non-empty subset 푊of 푆 is called a provided that any element in 퐃(훂) is not assumed to be mapped sub-semigroup of 푆, if for all 훼푖 , 훽푗 ∈ 푊 . A sub-semigroup of to empty as a contraction. We show that 훂 ∈ 퐂퐈퐧 is this type will be called a subgroup of 푆 (for every 훼푖,푗 ∈ 푊) nildempotent if there exist some minimal (nildempotent degree) such that 훼푖 푊 = 푊훼푖 ⟶ 푊. hence, semigroup which is also 퐦, 퐤 ∈ 퐂퐈 such that 훂퐦 = ∅ ⟹ 훂퐤 = 훂 where 퐂퐈 = ퟏ then 퐧 퐧 a group is called a subgroup. A bijective mapping of a set 훼푖 훂 퐒 = ퟏ = 퐧 퐕 = ∅ implies 퐈 훂 ⊆ |퐃(훂)| where 퐍퐃퐂퐈퐧 = ퟏ to itself is called a permutation on 푀. If 푀 is a set then a one- ퟐ퐤 for each 퐧 ∈ 퐍. Then 퐄퐂퐈 = , 퐧, 퐤 ∈ 퐍 for to-one into mapping 휌: 푀 ⟶ 푀 is said to be transformation. 퐧 퐤 − 퐧 + ퟏ 1≥ 퐤 ≥ 퐧. If 푀 is finite, then 휌 is said to be a permutation which is also known as re-arrangement. The mappings that include the Key-phrases: contraction, nildempotency, degree, inverse, empty set are called partial transformation 푃푛 . The trivial semigroup, characterization fact that the composition of functions is associative gives rise Mathematics Subject Classification: 16W22, 10X2, 10X3, to one of the most promising families of semigroups 19CLG1, 19CLG2, 06F05 & 10CLM (transformation) for the present and next generation of researchers [1]. Hence, the new class of semigroup which we I. INTRODUCTION/ BACKGROUND named nildempotency structure of partial one-one contraction n a group theory, only the identity element is idempotent 푁퐷퐶퐼푛 semigroup. but the case is not similar in a semigroup theory in general I Various special sub-semigroups of partial transformation there may be many idempotent transformation (element), in semigroups have been studied by many researcher(s) like [2], fact all the transformation may be idempotent which was [3] and [4] but few have work on contraction mapping being a referred to as band transformation semigroup. new class of transformation semigroup. The relationship Any given partial one-one contraction transformation 훼푛 is between fix of 훼 and idempotency was study by [4] for 2 nildempotent if there exists a positive integer 푘 such that 훼 ∈ 푆푖푛푔푛 and the equivalence relation {(푥, 푦) ∈ 푁 ∶ 훼푥 = 푘 휶풏 = {푒}, for all 푚, 푘 ∈ 푀푛 under the composition of 훼푦} is denoted by 퐾푒푟(훼). He also showed that the number of mappings where 훼푛 ∈ 퐶퐼푛 then 퐶퐼푛 ⊆ 푆 such that for all stationary blocks is equal to 푓푖푥(훼) and element 훼 is ′ 훼푛 ∈ 퐶퐼푛 there exist a unique 훼푛 ∈ 퐶퐼푛 if the following idempotent if holds for partial one – one convex and axioms were satisfied: contraction transformation semigroup. The method employed ′ in the current research was by listing and studying the (i) For all 훼푛 ∈ 퐶퐼푛 then 훼푛 = 훼푛 훼푛 훼푛 = ′ ′ ′ elements then show the relationship that exists between 훼푛 (훼푛 )훼푛 = 훼푛 ′ idempotent and nilpotent structure using combinatorial (ii) Then 퐼(훼푛 ) = 퐹(훼푛 ) if and only if |훼푞 − 훼푘| ≤ |푞 − approach. For the purpose of the current research work, we ′ 푘| where 훼푛, 훼푛 ∈ 퐶퐼푛 .If for all 푞, 푘 ∈ 푀푛 such that defined a mapping 훼 ∈ 푃푛 for which for all 푞, 푘 ∈ 푀푛 then D(α) is not assumed to be mapped to empty and 훼푞 − 훼푘 ≤ |푞 − 푘| provided that any element in 퐷(훼) is not k αn ∈ In , then αn = {e}, for all 푚, 푞, 푘 ∈ 푀푛 assumed to be mapped to zero as a contraction. We also defined 퐶퐼푛 if a transformation 훼 is partial one-one, 퐶푃푛 if it In other words if a transformation 훼푛 ∈ 퐶퐼푛 contain some is partial and 퐶푇푛 if it is full (total). minimal idempotency and nilpotency degrees then it is 푁퐷퐶퐼푛 Nildempotent semigroup such that 푁퐷퐶퐼푛 ⊂ 푆. www.rsisinternational.org Page 230 International Journal of Research and Scientific Innovation (IJRSI) | Volume VIII, Issue I, January 2021 | ISSN 2321–2705 The following notion will assist to understand the concept of II. NILDEMPOTENCY STRUCTURE OF PARTIAL contraction mapping as used in algebraic system. Let 퐶퐼푛 be ONE-ONE CONTRACTION TRANSFORMATION the order of set of all contraction mappings of 퐼푛 , for a SEMIGROUPS ퟏ ퟐ ퟑ (partial) 훼 ∈ 퐶퐼 : 훼 = such that 퐷 훼 = 1 2 3 The principal objects of interest in the present section are the 푛 ퟏ ∅ ퟐ and 퐼 훼 = 1 ∅ 2 then we have 훼푞 − 훼푘 푎푛푑 푞 − 푘 finite sets and the contraction finite transformation that is 훼푞 − 훼푘 ≤ 푞 − 푘 implies 퐷 훼 ⊆ 푀 whenever semigroups. Firstly, we give characterization of nildempotent 푞, 푘 ∈ 퐷(훼). It is trivial to show for all 푞, 푘 ∈ 퐷(훼), 훼 satisfy elements in 퐶퐼푛 . Let 푀푛 be a finite set, say푀푛 = contraction inequalities such that 훼 is a contraction mapping. {푚1, 푚2, … 푚푛 }, where 푛 is a non-negative integer. For the sake of completeness, we shall recall some Transformation of 푀푛 is an array of the form: preliminaries terms: 풒ퟏ 풒ퟐ 풒ퟑ…………… 풒풏 휶풏 = (1) 풌ퟏ 풌ퟐ 풌ퟑ…………… 풌풏 Definition 1 [Mapping ( )]: Let 푀 and 푁 be non-empty sets. A relation 휑 from 푀 into 푁 is called a mapping from 푀 into Where all 푘푖 ∈ 푀푛 . If 푛 ∈ 푀푛 , say 푞 = 푚푖 , the element 푘푖 will 푁 if: be called the value of the transformation 훼푛 at the element 푞 and will be denoted by 훼푛 (푞).Then the set of all contraction i. 퐷 휑 = 푀 partial one-one transformation of 푀푛 is denoted by 퐶퐼푛 We ′ ′ ii. For all 푚, 푛 , (푘 푙 ) ∈ 휑, 푚 = 푘 implies푛 = 푙. can rewrite the element of 훼푛 in (1) in the form: When (ii) is satisfy by 휑, we say 휑 is well defined. We use ′ ퟏ ퟐ ퟑ…………… 풏 휶풏 = (2) the notation 휑: 푀 → 푁 denote a mapping from set 푀 into푁. 풌ퟏ 풌ퟐ 풌ퟑ…………… 풌풏 For (푚, 푛) ∈ 휑, we usually write 휑 풎 = 풏 and say 푛 is the Where 푘푖 = 훼 푖 , if 푖 ∈ 퐷 훼 and 푘푖 = ∅ if 푖 ∈ 퐼(훼). A image of 푚 under 휑 and 푚 is pre-image of 푛. transformation 훼 ∈ 퐶퐼푛 for which for all 푞, 푘 ∈ 푀푛 , then Suppose휑: 푴 → 푵. Then 휑 is a sub-set of 푀 푋 푁 such that |훼푞 − 훼푘| ≤ |푞 − 푘| as a contraction mapping for all for all 푚 ∈ 푀, there exists a unique 푛 ∈ 푁 such that (푚, 푛 ∈ 푞, 푘 ∈ 퐷 훼 , provided that any element in 퐷(훼) is not 휑). Hence, mapping is used as a rule which associates to each assumed to be mapped to empty as a contraction mapping. element 푚 ∈ 푀 exactly one element푛 ∈ 푁. If a relation 휑 is a Suppose 훼푛 ∈ 퐼푛 be a mapping containing 푛 elements, we transformation then the domain 푫 휑 of 휑 is 푀 such that 휑 need to study the number of distinct subset of the mapping 훼푛 is well defined that if 푚 = 푛 ∈ 푀, then 휑 풎 = 휑(풏) ∈ 푁 that will have exactly say 푗 elements such that the empty for all 푚, 푛 ∈ 푀. mapping and the mapping 훼푛 ∈ 퐼푛 are considered to be sub Definition 2 [Monoid ]: A semigroup 퐼푛 is said to be a monoid semigroups of a finite semigroup 푆 under the composition of if there exists an element 1 ∈ 퐼푛 with 푚1 = 1푚 = 푚 for mapping, then 훼푛 ∈ 퐶퐼푛 which satisfy both nilpotent and idempotent properties is a nildempotent semigroup. Therefore, 푚 ∈ 퐼푛 . The element which is necessarily unique is called transposing (2) under the composition of mapping we have: identity of 퐼푛 . (풌) Definition 3 [Regular Semigroup (퐼 )]: A semigroup 퐼 in 풎ퟏ 풎ퟐ … 풎풏 풎ퟏ 풎ퟐ 풎풏 푛 푟 푛 |푵푪푰풏| = = 휶 which every element is regular is called a regular semigroup 휶ퟏ 휶ퟐ … 휶풏 (∅ ) such that 퐼푚 = {푛: 푚(푛)푚 = 푚} for all 푚, 푛 ∈ 퐼푛 . (3) Definition 4 [Idempotent Element (푚)]: An element 푚 ∈ 퐼푛 of where 훼푖 = 훼 푖 , if 푖 ∈ 퐷 훼 and 푘푖 = ∅ if 푖 ∈ 퐼(훼) which 2 a finite partial one-one semigroup is idempotent if 푚 = 푚. depicts the structure of nilpotency properties of 훼푛 ∈ 퐶퐼푛 such + In a partial one-one semigroup 퐼푛 , an element 훼 ∈ 퐼푛 is that 푘 ∈ 푍 which is the basis for all nilpotent elements of (푛) idempotent if and only if 퐼 훼 = 퐹(훼), where 퐹(훼) is the set 퐶퐼푛 .
Load more

Recommended publications
  • Computing Finite Semigroups
    Computing finite semigroups J. East, A. Egri-Nagy, J. D. Mitchell, and Y. P´eresse August 24, 2018 Abstract Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that of certain associated subgroups. Examples of semigroups to which these results apply include many important classes: transformation semigroups, partial permutation semigroups and inverse semigroups, partition monoids, matrix semigroups, and subsemigroups of finite regular Rees matrix and 0-matrix semigroups over groups. For any subsemigroup of such a semigroup, it is possible to, among other things, efficiently compute its size and Green's relations, test membership, factorize elements over the generators, find the semigroup generated by the given subsemigroup and any collection of additional elements, calculate the partial order of the D-classes, test regularity, and determine the idempotents. This is achieved by representing the given subsemigroup without exhaustively enumerating its elements. It is also possible to compute the Green's classes of an element of such a subsemigroup without determining the global structure of the semigroup. Contents 1 Introduction 2 2 Mathematical prerequisites4 3 From transformation semigroups to arbitrary regular semigroups6 3.1 Actions on Green's classes . .6 3.2 Faithful representations of stabilisers . .7 3.3 A decomposition for Green's classes . .8 3.4 Membership testing . 11 3.5 Classes within classes . 13 4 Specific classes of semigroups 14 4.1 Transformation semigroups . 15 4.2 Partial permutation semigroups and inverse semigroups . 16 4.3 Matrix semigroups .
    [Show full text]
  • Free Idempotent Generated Semigroups and Endomorphism Monoids of Independence Algebras
    Free idempotent generated semigroups and endomorphism monoids of independence algebras Yang Dandan & Victoria Gould Semigroup Forum ISSN 0037-1912 Semigroup Forum DOI 10.1007/s00233-016-9802-0 1 23 Your article is published under the Creative Commons Attribution license which allows users to read, copy, distribute and make derivative works, as long as the author of the original work is cited. You may self- archive this article on your own website, an institutional repository or funder’s repository and make it publicly available immediately. 1 23 Semigroup Forum DOI 10.1007/s00233-016-9802-0 RESEARCH ARTICLE Free idempotent generated semigroups and endomorphism monoids of independence algebras Yang Dandan1 · Victoria Gould2 Received: 18 January 2016 / Accepted: 3 May 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract We study maximal subgroups of the free idempotent generated semigroup IG(E), where E is the biordered set of idempotents of the endomorphism monoid End A of an independence algebra A, in the case where A has no constants and has finite rank n. It is shown that when n ≥ 3 the maximal subgroup of IG(E) containing a rank 1 idempotent ε is isomorphic to the corresponding maximal subgroup of End A containing ε. The latter is the group of all unary term operations of A. Note that the class of independence algebras with no constants includes sets, free group acts and affine algebras. Keywords Independence algebra · Idempotent · Biordered set 1 Introduction Let S be a semigroup with set E = E(S) of idempotents, and let E denote the subsemigroup of S generated by E.
    [Show full text]
  • Arxiv:1905.10901V1 [Cs.LG] 26 May 2019
    Seeing Convolution Through the Eyes of Finite Transformation Semigroup Theory: An Abstract Algebraic Interpretation of Convolutional Neural Networks Andrew Hryniowski1;2;3, Alexander Wong1;2;3 1 Video and Image Processing Research Group, Systems Design Engineering, University of Waterloo 2 Waterloo Artificial Intelligence Institute, Waterloo, ON 3 DarwinAI Corp., Waterloo, ON fapphryni, [email protected] Abstract of applications, particularly for prediction using structured data. Despite such successes, a major challenge with lever- Researchers are actively trying to gain better insights aging convolutional neural networks is the sheer number of into the representational properties of convolutional neural learnable parameters within such networks, making under- networks for guiding better network designs and for inter- standing and gaining insights about them a daunting task. As preting a network’s computational nature. Gaining such such, researchers are actively trying to gain better insights insights can be an arduous task due to the number of pa- and understanding into the representational properties of rameters in a network and the complexity of a network’s convolutional neural networks, especially since it can lead architecture. Current approaches of neural network inter- to better design and interpretability of such networks. pretation include Bayesian probabilistic interpretations and One direction that holds a lot of promise in improving information theoretic interpretations. In this study, we take a understanding of convolutional neural networks, but is much different approach to studying convolutional neural networks less explored than other approaches, is the construction of by proposing an abstract algebraic interpretation using finite theoretical models and interpretations of such networks. Cur- transformation semigroup theory.
    [Show full text]
  • Transformation Semigroups and Their Automorphisms
    Transformation Semigroups and their Automorphisms Wolfram Bentz University of Hull Joint work with Jo~aoAra´ujo(CEMAT, Universidade Nova de Lisboa) Peter J. Cameron (University of St Andrews) York Semigroup York, October 9, 2019 X Let X be a set and TX = X be full transformation monoid on X , under composition. Note that TX contains the symmetric group over X (as its group of units) We will only consider finite X , and more specifically Tn = TXn , Sn = SXn , where Xn = f1;:::; ng for n 2 N For S ≤ Tn, we are looking at the interaction of S \ Sn and S Transformation Monoids and Permutation Groups Wolfram Bentz (Hull) Transformation Semigroups October 9, 2019 2 / 23 Note that TX contains the symmetric group over X (as its group of units) We will only consider finite X , and more specifically Tn = TXn , Sn = SXn , where Xn = f1;:::; ng for n 2 N For S ≤ Tn, we are looking at the interaction of S \ Sn and S Transformation Monoids and Permutation Groups X Let X be a set and TX = X be full transformation monoid on X , under composition. Wolfram Bentz (Hull) Transformation Semigroups October 9, 2019 2 / 23 We will only consider finite X , and more specifically Tn = TXn , Sn = SXn , where Xn = f1;:::; ng for n 2 N For S ≤ Tn, we are looking at the interaction of S \ Sn and S Transformation Monoids and Permutation Groups X Let X be a set and TX = X be full transformation monoid on X , under composition. Note that TX contains the symmetric group over X (as its group of units) Wolfram Bentz (Hull) Transformation Semigroups October 9, 2019 2 / 23 Transformation Monoids and Permutation Groups X Let X be a set and TX = X be full transformation monoid on X , under composition.
    [Show full text]
  • Green's Relations in Finite Transformation Semigroups
    Green’s Relations in Finite Transformation Semigroups Lukas Fleischer Manfred Kufleitner FMI, University of Stuttgart∗ Universitätsstraße 38, 70569 Stuttgart, Germany {fleischer,kufleitner}@fmi.uni-stuttgart.de Abstract. We consider the complexity of Green’s relations when the semigroup is given by transformations on a finite set. Green’s relations can be defined by reachability in the (right/left/two-sided) Cayley graph. The equivalence classes then correspond to the strongly connected com- ponents. It is not difficult to show that, in the worst case, the number of equivalence classes is in the same order of magnitude as the number of el- ements. Another important parameter is the maximal length of a chain of components. Our main contribution is an exponential lower bound for this parameter. There is a simple construction for an arbitrary set of generators. However, the proof for constant alphabet is rather involved. Our results also apply to automata and their syntactic semigroups. 1 Introduction Let Q be a finite set with n elements. There are nn mappings from Q to Q. Such mappings are called transformations and the elements of Q are called states. The composition of transformations defines an associative operation. If Σ is some arbi- trary subset of transformations, we can consider the transformation semigroup S generated by Σ; this is the closure of Σ under composition.1 The set of all trans- arXiv:1703.04941v1 [cs.FL] 15 Mar 2017 formations on Q is called the full transformation semigroup on Q. One can view (Q, Σ) as a description of S. Since every element s of a semigroup S defines a trans- formation x 7→ x · s on S1 = S ∪ {1}, every semigroup S admits such a description ∗ This work was supported by the DFG grants DI 435/5-2 and KU 2716/1-1.
    [Show full text]
  • Pdf, 787.33Kb
    CHAPTER 1 Introduction The concept of a fundamental semigroup, which is a semigroup that cannot be shrunk homomorphically without collapsing idempotents together, was introduced by Munn [25] in 1966, who developed an elegant theory within the class of inverse semigroups, which inspired many researchers in subsequent decades. There is a natural partial order on the set of idempotents of any semigroup, which is given by e ≤ f ⇐⇒ ef = fe = e. In any inverse semigroup idempotents commute, so the product of any two idempotents is idempotent. The set of idempotents becomes a semilattice under ≤, where the greatest lower bound of two idempotents e and f is the product ef. Munn constructed a semigroup TE from an arbitrary semilattice E, which he proved is the maximum fundamental inverse semigroup with semilattice of idempotents E. Any fundamental inverse semigroup with semilattice of idempotents E must be isomorphic to a full subsemigroup of TE. Also, for any inverse semigroup with semilattice of idempotents E, Munn constructed a fundamental representation φ : S → TE with kernel µ = {(a, b) ∈ S × S | (∀e ∈ E) a−1ea = b−1eb} which is the maximum idempotent separating congruence on S. These results demonstrate the importance of TE, since every inverse semigroup with semilattice of idempotents E is a coextension of a fundamental inverse semigroup S/µ with the same semilattice of idem- potents, which is a subsemigroup of TE. For any set X the symmetric inverse semigroup IX = {partial one-one mappings : X → X} is a fundamental inverse semigroup, which is an example of Munn’s construction TE. For more details about Munn’s theory of fundamental inverse semigroups see [22] Section 5.4.
    [Show full text]
  • Primitive Permutation Groups and Strongly Factorizable
    Primitive Permutation Groups and Strongly Factorizable Transformation Semigroups Jo˜ao Ara´ujo∗†, Wolfram Bentz‡, and Peter J. Cameron§ Abstract Let Ω be a finite set and T (Ω) be the full transformation monoid on Ω. The rank of a transformation t T (Ω) is the natural number ∈ Ωt . Given A T (Ω), denote by A the semigroup generated by A. | | ⊆ h i Let k be a fixed natural number such that 2 k Ω . In the first ≤ ≤ | | part of this paper we (almost) classify the permutation groups G on Ω such that for all rank k transformation t T (Ω), every element ∈ 2 in St := G, t can be written as a product eg, where e = e St h i ∈ and g G. In the second part we prove, among other results, that if ∈ S T (Ω) and G is the normalizer of S in the symmetric group on Ω, ≤ then the semigroup SG is regular if and only if S is regular. (Recall that a semigroup S is regular if for all s S there exists s′ S such ′ ∈ ∈ that s = ss s.) The paper ends with a list of problems. ∗ arXiv:1910.08335v1 [math.GR] 18 Oct 2019 Departamento de Matem´atica and CMA, Faculdade de Ciˆencias e Tecnologia (FCT) Universidade Nova de Lisboa (UNL), 2829-516 Caparica, Portugal; [email protected] †CEMAT-Ciˆencias, Faculdade de Ciˆencias, Universidade de Lisboa 1749–016, Lisboa, Portugal; [email protected] ‡School of Mathematics & Physical Sciences, University of Hull, Kingston upon Hull, HU6 7RX, UK; [email protected] §School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, UK; [email protected] 1 1 Introduction A semigroup S with set of idempotents E and group of units G is said to be strongly factorizable if S = EG.
    [Show full text]
  • On the Work Performed by a Transformation Semigroup
    AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 49 (2011), Pages 95–109 On the work performed by a transformation semigroup James East School of Mathematics and Statistics University of Sydney Sydney, NSW 2006 Australia [email protected] Peter J. McNamara Department of Mathematics Stanford University Stanford, CA 94305-2125 U.S.A. [email protected] Abstract A (partial) transformation α on the finite set {1,...,n} moves an ele- ment i of its domain a distance of |i − iα| units. The work w(α)per- formed by α is the sum of all of these distances. We derive formulae for the total work w(S)= α∈S w(α) performed by various semigroups S of (partial) transformations. One of our main results is the proof of a conjecture of Tim Lavers which states that the total work performed by the semigroup of all order-preserving functions on an n-element chain is equal to (n − 1)22n−3. 1 Introduction Fix a positive integer n and write n = {1,...,n}. The partial transformation semi- group PTn is the semigroup of all partial transformations on n; i.e. all functions between subsets of n. (Note that the use of the word “partial” does not imply that the domain is necessarily a proper subset of n.Inthisway,PTn also includes all full transformations of n; i.e. all functions n → n.) A partial transformation α moves 96 JAMES EAST AND PETER J. MCNAMARA apointi of its domain to a (possibly) new point j in its image. If the elements of n are thought of as points, equally spaced along a line, then the point i has been moved a distance of |i − j| units.
    [Show full text]
  • Remarks on Algebraic Decomposition of Automata
    Remarks on Algebraic Decomposition of Automata by A. R. MEYER and C. THOMPSON Carnegie-Mellon University ABSTRACT A version of the Krohn-Rhodes decomposition theorem for finite automata is proved in which capabilities as well as semigroups are preserved. Another elementary proof of the usual Krohn-Rhodes theorem is also presented. 1. Introduction The constructive half of Krohn and Rhodes' decomposition theorem for finite automata states that any finite automaton can be simulated by a cascade of reset and permutation automata. Moreover, the groups of the permutation automata in the cascade need be only simple groups which divide the semigroup of the original automaton. Assorted proofs of this theorem appear in [1, 2, 3, 4, 5, 7] and we include our own elementary proof in Section 5. Our object in this paper is to supply the few extra steps necessary to prove a corrected version of a slightly stronger decomposition theorem stated by Hartmanis and Stearns [4]. This theorem appears in Section 3. In Section 4 we exhibit a counter-example to the theorem as originally stated by Hartmanis and Stearns, and briefly consider cascades of "half-reset" automata. 2. Preliminaries Our notation follows Ginzburg [3]. In particular, function arguments appear on the left (so that xf is the value of the function f at the argument x). Composition of functions is designated by concatenation, with the leftmost function understood to apply first [so that xfg = (xf)g]. For a function f and a set S, the restriction off to S is denoted byfrS. The cardinality of S is given by IS I.
    [Show full text]
  • Ehresmann Theory and Partition Monoids
    Ehresmann theory and partition monoids James East1 and Robert D. Gray2 Abstract This article concerns Ehresmann structures in the partition monoid PX . Since PX con- tains the symmetric and dual symmetric inverse monoids on the same base set X, it naturally contains the semilattices of idempotents of both submonoids. We show that one of these semilattices leads to an Ehresmann structure on PX while the other does not. We explore some consequences of this (structural/combinatorial and representation theoretic), and in particular characterise the largest left-, right- and two-sided restriction submonoids. The new results are contrasted with known results concerning relation monoids, and a number of interesting dualities arise, stemming from the traditional philosophies of inverse semigroups as models of partial symmetries (Vagner and Preston) or block symmetries (FitzGerald and Leech): “surjections between subsets” for relations become “injections between quotients” for partitions. We also consider some related diagram monoids, including rook partition monoids, and state several open problems. Keywords: Partition monoids, symmetric inverse monoids, dual symmetric inverse monoids, Ehresmann monoids, relation monoids, Ehresmann categories. MSC: 20M20, 20M10, 20M17, 20M18, 20M25, 18B05. Contents 1 Introduction 2 2 Ehresmann semigroups and restriction semigroups3 2.1 Ehresmann semigroups . .3 2.2 Involutions and inverse semigroups . .5 2.3 Substructures . .5 2.4 Restriction semigroups . .5 2.5 Ehresmann categories . .6 2.6 Representations . .6 3 Monoids of binary relations and transformations7 3.1 Definitions . .7 3.2 Ehresmann structure . .8 3.3 Substructures . .8 3.4 Restriction subsemigroups . .9 3.5 Categories and representations . 10 4 Partition monoids 10 4.1 Definitions .
    [Show full text]
  • Group Axioms for Iteration View Metadata, Citation and Similar Papers at Core.Ac.Uk Brought to You by CORE Z
    Information and Computation 148, 131180 (1999) Article ID inco.1998.2746, available online at http:ÂÂwww.idealibrary.com on Group Axioms for Iteration View metadata, citation and similar papers at core.ac.uk brought to you by CORE Z. E sik* provided by Elsevier - Publisher Connector Department of Computer Science, A. Jozsef University, 6720 Szeged, Aradi v. tere 1, Hungary E-mail: esikÄinf.u-szeged.hu Iteration theories provide a sound and complete axiomatization of the equational properties of the iteration (or fixed point) operation in many models of theoretical computer science including ordered and metric structures, trees and synchronization trees. All known equational axioma- tizations of iteration theories consist of a small set of equational axioms for Conway theories and a complicated equation scheme, the commuta- tive identity. Here we associate an identity with each finite semigroup. We prove that the set consisting of the Conway identities and the group iden- tities associated with the finite (simple) groups is complete. Moreover, we prove that the Conway identities and a subcollection of the semigroup identities associated with a subclass of the finite semigroups is complete iff each finite (simple) group divides one of the semigroups in the sub- class. We also formulate a conjecture and study its consequences. The results are a generalization of Krob's axiomatization of the equational theory of the regular sets. ] 1999 Academic Press 1. INTRODUCTION Iteration theories were introduced in [2, 3] and independently in [12]. The axioms of iteration theories capture the equational properties of the iteration opera- tion in several models related to computer science, including the following: v Continuous functions on cpo's, or continuous ordered theories [40], where iteration is defined by least fixed points.
    [Show full text]
  • An Algebraic View of Topological ∈-Machines
    An algebraic view of topological -machines Luke Grecki Graduate Group in Applied Mathematics [email protected] June 8, 2010 1 Contents 1 Semigroups 3 2 Semigroups of automata 4 3 -machine words and monoid structures 5 3.1 Forbidden words and zeros . 6 3.2 Idlewordsandidentityelements . 7 3.3 Synchronizing words and ideals . 7 3.4 Inertwordsandfilters ................................... 8 3.5 An algebraic picture . 10 3.6 Anexample......................................... 11 4 Algebraic levels and possibility reduction 11 4.1 Wordhierarchies ...................................... 12 4.2 Synchronization....................................... 13 5 Conclusion 14 Abstract In algebraic automata theory(AAT), automata are represented as algebraic objects, and algebraic methods are used to characterize them. In this paper we use the basic ideas of AAT to construct a new perspective on topological -machines. In our first section we define the algebraic structure of a semigroup and briefly review some ideas used in the study of semigroups. We then introduce the basic concept of AAT, the semigroup of an automaton, and give some examples to illustrate this idea. In our third section we make a correspondence between special sets of -machine words and algebraic structures in its semigroup, which allows us to form an algebraic picture of the -machine. In our fourth section we extend the picture of the previous section by introducing hierarchies of words, which allows us to represent the process of synchronization in a new way. In our final section we summarize and point out directions for future work. 2 1 Semigroups Semigroups are among the simplest structures studied in algebra. They arise frequently in modern mathematics and are fundamental objects in algebraic automata theory.
    [Show full text]