A generalized superposition of linear tree languages and products of linear tree languages

2018 ◽  
Vol 11 (04) ◽  
pp. 1850048
Author(s):  
Pongsakorn Kitpratyakul ◽  
Bundit Pibaljommee

A linear tree language of type [Formula: see text] is a set of linear terms, terms containing no multiple occurrences of the same variable, of that type. Instead of the usual generalized superposition of tree languages, we define the generalized linear superposition to deal with linear tree languages and study its properties. Using this superposition, we define the product of linear tree languages. This product is not associative on the collection of all linear tree languages, but it is associative on some subsets of this collection whose products of any element in the subsets are nonempty. We classify such subsets and study properties of the obtained semigroup especially idempotent elements, regular elements, and Green’s relations [Formula: see text] and [Formula: see text].

2018 ◽  
Vol 11 (06) ◽  
pp. 1850091
Author(s):  
Pongsakorn Kitpratyakul ◽  
Bundit Pibaljommee

A linear tree language of type [Formula: see text] is a set of linear terms, terms in which each variable occurs at most once, of that type. We investigate a semigroup consisting of the collection of all linear tree languages such that products of any element in the collection are nonempty and the operation of the corresponding linear product especially idempotent elements, Green’s relations [Formula: see text], [Formula: see text], and [Formula: see text], and some of its subsemigroups. We discover that this semigroup is neither factorizable nor locally factorizable. We also study the linear product iteration and show that any iteration is idempotent in this semigroup. Moreover, we study a semigroup with the complement of the universe set of the above semigroup together with the same linear product operation.


2008 ◽  
Vol 01 (04) ◽  
pp. 489-507 ◽  
Author(s):  
K. Denecke ◽  
N. Sarasit

Sets of terms of type τ are called tree languages (see [6]). There are several possibilities to define superposition operations on sets of tree languages. On the basis of such superposition operations we define binary associative operations on tree languages and investigate the properties of the arising semigroups. We characterize idempotent and regular elements and Green's relations [Formula: see text] and [Formula: see text]. Moreover, we determine constant, left-zero and right-zero subsemigroups and rectangular bands.


2017 ◽  
Vol 10 (01) ◽  
pp. 1750051 ◽  
Author(s):  
Laddawan Lohapan ◽  
Prakit Jampachon

The concept of linear terms of a given type [Formula: see text] (terms in which each variable occurs at most once) was introduced by M. Couceiro and E. Lethonen in [Galois theory for sets of operations closed under permutation, cylindrification and composition, Algebr. Univ. 67 (2012) 273–297, doi:10.1007/s00012-012-0184-1] (see also [T. Changphas, K. Denecke and B. Pibaljommee, Linear terms and linear hypersubstitutions, SEAMS Bull. Math. 40 (2016) (to be published).]). In this paper, we introduce binary partial operations [Formula: see text] and [Formula: see text] on the set [Formula: see text] of all linear terms of type [Formula: see text] Then we characterize regular elements and Green’s relations in these partial algebras.


1978 ◽  
Vol 25 (1) ◽  
pp. 45-65 ◽  
Author(s):  
K. D. Magill ◽  
S. Subbiah

AbstractA sandwich semigroup of continuous functions consists of continuous functions with domains all in some space X and ranges all in some space Y with multiplication defined by fg = foαog where α is a fixed continuous function from a subspace of Y into X. These semigroups include, as special cases, a number of semigroups previously studied by various people. In this paper, we characterize the regular elements of such semigroups and we completely determine Green's relations for the regular elements. We also determine the maximal subgroups and, finally, we apply some of these results to semigroups of Boolean ring homomorphisms.


2017 ◽  
Vol 16 (12) ◽  
pp. 1750223 ◽  
Author(s):  
Ilinka Dimitrova ◽  
Jörg Koppitz

For [Formula: see text], let [Formula: see text] be an [Formula: see text]-element set and let [Formula: see text] be a fence, also called a zigzag poset. As usual, we denote by [Formula: see text] the symmetric inverse semigroup on [Formula: see text]. We say that a transformation [Formula: see text] is fence-preserving if [Formula: see text] implies that [Formula: see text], for all [Formula: see text] in the domain of [Formula: see text]. In this paper, we study the semigroup [Formula: see text] of all partial fence-preserving injections of [Formula: see text] and its subsemigroup [Formula: see text]. Clearly, [Formula: see text] is an inverse semigroup and contains all regular elements of [Formula: see text] We characterize the Green’s relations for the semigroup [Formula: see text]. Further, we prove that the semigroup [Formula: see text] is generated by its elements with rank [Formula: see text]. Moreover, for [Formula: see text], we find the least generating set and calculate the rank of [Formula: see text].


2021 ◽  
Vol 53 ◽  
Author(s):  
Sorasak Leeratanavalee ◽  
Jukkrit Daengsaen

Any relational hypersubstitution for algebraic systems of type (τ,τ′) = ((mi)i∈I,(nj)j∈J) is a mapping which maps any mi-ary operation symbol to an mi-ary term and maps any nj - ary relational symbol to an nj-ary relational term preserving arities, where I,J are indexed sets. Some algebraic properties of the monoid of all relational hypersubstitutions for algebraic systems of a special type, especially the characterization of its order and the set of all regular elements, were first studied by Phusanga and Koppitz[13] in 2018. In this paper, we study the Green’srelationsontheregularpartofthismonoidofaparticulartype(τ,τ′) = ((m),(n)), where m, n ≥ 2.


2008 ◽  
Vol 01 (03) ◽  
pp. 295-302 ◽  
Author(s):  
Ronnason Chinram

Let X be any set and P(X) be the partial transformation semigroup on X. It is well-known that P(X) is regular. To generalize this, let X and Y be any sets and P(X, Y) be the set of all partial transformations from X to Y. For θ ∈ P(Y, X), let (P(X, Y), θ) be a semigroup (P(X, Y), *) where α * β = αθβ for all α, β ∈ P(X, Y). In this paper, we characterize the semigroup (P(X, Y), θ) to be regular, regular elements of the semigroup (P(X, Y), θ), [Formula: see text]-classes, [Formula: see text]-classes, [Formula: see text]-classes and [Formula: see text]-classes of the semigroup (P(X, Y), θ).


Sign in / Sign up

Export Citation Format

Share Document