scholarly journals On Magnifying Elements in E-Preserving Partial Transformation Semigroups

Mathematics ◽  
2018 ◽  
Vol 6 (9) ◽  
pp. 160
Author(s):  
Thananya Kaewnoi ◽  
Montakarn Petapirak ◽  
Ronnason Chinram

Let S be a semigroup. An element a of S is called a right [left] magnifying element if there exists a proper subset M of S satisfying S = M a [ S = a M ] . Let E be an equivalence relation on a nonempty set X. In this paper, we consider the semigroup P ( X , E ) consisting of all E-preserving partial transformations, which is a subsemigroup of the partial transformation semigroup P ( X ) . The main propose of this paper is to show the necessary and sufficient conditions for elements in P ( X , E ) to be right or left magnifying.

Mathematics ◽  
2020 ◽  
Vol 8 (4) ◽  
pp. 473
Author(s):  
Thananya Kaewnoi ◽  
Montakarn Petapirak ◽  
Ronnason Chinram

An element a of a semigroup S is called a left [right] magnifier if there exists a proper subset M of S such that a M = S ( M a = S ) . Let T ( X ) denote the semigroup of all transformations on a nonempty set X under the composition of functions, P = { X i ∣ i ∈ Λ } be a partition, and ρ be an equivalence relation on the set X. In this paper, we focus on the properties of magnifiers of the set T ρ ( X , P ) = { f ∈ T ( X ) ∣ ∀ ( x , y ) ∈ ρ , ( x f , y f ) ∈ ρ and X i f ⊆ X i for all i ∈ Λ } , which is a subsemigroup of T ( X ) , and provide the necessary and sufficient conditions for elements in T ρ ( X , P ) to be left or right magnifiers.


1982 ◽  
Vol 23 (2) ◽  
pp. 137-149 ◽  
Author(s):  
Mary Snowden ◽  
J. M. Howie

Let X be a finite set and let (X) be the full transformation semigroup on X, i.e. the set of all mappings from X into X, the semigroup operation being composition of mappings. This paper aims to characterize those elements of (X) which have square roots. An easily verifiable necessary condition, that of being quasi-square, is found in Theorem 2, and in Theorems 4 and 5 we find necessary and sufficient conditions for certain special elements of (X). The property of being compatibly amenable is shown in Theorem 7 to be equivalent for all elements of (X) to the possession of a square root.


2018 ◽  
Vol 11 (3) ◽  
pp. 580-588
Author(s):  
Ronnason Chinram ◽  
Pattarawan Petchkaew ◽  
Samruam Baupradist

An element a of a semigroup S is called left [right] magnifying if there exists a proper subset M of S such that S = aM [S = Ma]. Let X be a nonempty set and T(X) be the semigroup of all transformation from X into itself under the composition of functions. For a partition P = {X_α | α ∈ I} of the set X, let T(X,P) = {f ∈ T(X) | (X_α)f ⊆ X_α for all α ∈ I}. Then T(X,P) is a subsemigroup of T(X) and if P = {X}, T(X,P) = T(X). Our aim in this paper is to give necessary and sufficient conditions for elements in T(X,P) to be left or right magnifying. Moreover, we apply those conditions to give necessary and sufficient conditions for elements in some generalized linear transformation semigroups.


2021 ◽  
Vol 2021 ◽  
pp. 1-7
Author(s):  
Thananya Kaewnoi ◽  
Ronnason Chinram ◽  
Montakarn Petapirak

Let X be a nonempty set and ρ be an equivalence relation on X . For a nonempty subset S of X , we denote the semigroup of transformations restricted by an equivalence relation ρ fixing S pointwise by E F S X , ρ . In this paper, magnifying elements in E F S X , ρ will be investigated. Moreover, we will give the necessary and sufficient conditions for elements in E F S X , ρ to be right or left magnifying elements.


1973 ◽  
Vol 15 (1) ◽  
pp. 86-93 ◽  
Author(s):  
Carroll Wilde

Abstract. In this paper we develop necessary and sufficient conditions for a finite transformation semigroup to have a mean value which is invariant under the induced shift operators. The structure of such transformation semigroups is described and an explicit description of all possible invariant means given.


2007 ◽  
Vol 82 (3) ◽  
pp. 297-314 ◽  
Author(s):  
Lynn M. Batten ◽  
Robert S. Coulter ◽  
Marie Henderson

AbstractFor any abelian group G and any function f: G → G we define a commutative binary operation or ‘multiplication’ on G in terms of f. We give necessary and sufficient conditions on f for G to extend to a commutative ring with the new multiplication. In the case where G is an elementary abelian p–group of odd order, we classify those functions which extend G to a ring and show, under an equivalence relation we call weak isomorphism, that there are precisely six distinct classes of rings constructed using this method with additive group the elementary abelian p–group of odd order p2.


2009 ◽  
Vol 19 (04) ◽  
pp. 567-583 ◽  
Author(s):  
B. DAVVAZ ◽  
W. A. DUDEK ◽  
S. MIRVAKILI

The main tools in the theory of n-ary hyperstructures are the fundamental relations. The fundamental relation on an n-ary hypersemigroup is defined as the smallest equivalence relation so that the quotient would be the n-ary semigroup. In this paper we study neutral elements in n-ary hypersemigroups and introduce a new strongly compatible equivalence relation on an n-ary hypersemigroup so that the quotient is a commutative n-ary semigroup. Also we determine some necessary and sufficient conditions so that this relation is transitive. Finally, we prove that this relation is transitive on an n-ary hypergroup with neutral (identity) element.


2017 ◽  
Vol 2017 ◽  
pp. 1-14 ◽  
Author(s):  
B. Z. Shavarovskii

We consider the problem of determining whether two polynomial matrices can be transformed to one another by left multiplying with some nonsingular numerical matrix and right multiplying by some invertible polynomial matrix. Thus the equivalence relation arises. This equivalence relation is known as semiscalar equivalence. Large difficulties in this problem arise already for 2-by-2 matrices. In this paper the semiscalar equivalence of polynomial matrices of second order is investigated. In particular, necessary and sufficient conditions are found for two matrices of second order being semiscalarly equivalent. The main result is stated in terms of determinants of Toeplitz matrices.


2020 ◽  
Vol 13 (4) ◽  
pp. 987-994
Author(s):  
Watchara Teparos ◽  
Soontorn Boonta ◽  
Thitiya Theparod

An element a of a semigroup S is called left [right] magnifying if there exists a proper subset M of S such that S = aM [S = M a]. Let X be a nonempty set and BX the semigroup of binary relations on X. In this paper, we give necessary and sufficient conditions for elements in BX to be left or right magnifying.


2018 ◽  
Vol 13 (01) ◽  
pp. 2050016
Author(s):  
Panuwat Luangchaisri ◽  
Thawhat Changphas ◽  
Chalida Phanlert

An element [Formula: see text] of a semigroup [Formula: see text] is a called a left (respectively right) magnifying element of [Formula: see text] if [Formula: see text] (respectively [Formula: see text]) for some proper subset [Formula: see text] of [Formula: see text]. In this paper, left magnifying elements and right magnifying elements of a partial transformation semigroup will be characterized. The results obtained generalize the results of Magill [K. D. Magill, Magnifying elements of transformation semigroups, Semigroup Forum, 48 (1994) 119–126].


Sign in / Sign up

Export Citation Format

Share Document