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 퐶퐼푛 .