NON-DETERMINISTIC LINEAR HYPERSUBSTITUTIONS

Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2015, Vol 35, Issue 1

Abstract

A non-deterministic hypersubstitution maps operation symbols to sets of terms of the corresponding arity. A non-deterministic hypersubstitution of type τ is said to be linear if it maps any operation symbol to a set of linear terms of the corresponding arity. We show that the extension of non-deterministic linear hypersubstitutions of type τ map sets of linear terms to sets of linear terms. As a consequence, the collection of all nondeterministic linear hypersubstitutions forms a monoid. Non-deterministic linear hypersubstitutions can be applied to identities and to algebras of type τ.

Authors and Affiliations

Nareupanat Lekkoksung, Prakit Jampachon

Keywords

Related Articles

ALL REGULAR-SOLID VARIETIES OF IDEMPOTENT SEMIRINGS

The lattice of all regular-solid varieties of semirings splits in two complete sublattices: the sublattice of all idempotent regular-solid varieties of semirings and the sublattice of all normal regular-solid varieties o...

Generalized Derivations With Left Annihilator Conditions in Prime and Semiprime Rings

Let R be a prime ring with its Utumi ring of quotients U, C = Z(U) be the extended centroid of R, H and G two generalized derivations of R, L a noncentral Lie ideal of R, I a nonzero ideal of R. The left annihilator of S...

GENERALIZED PELL EQUATIONS FOR 2 × 2 MATRICES

In this paper we consider the solutions of the generalized matrix Pell equations X^2 − dY^2 = cI, where X and Y are 2 × 2 matrices over Z, d is a non-zero (positive or negative) square-free integer, c is an arbitrary int...

IF-FILTERS OF PSEUDO-BL-ALGEBRAS

Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of...

All Maximal Completely Regular Submonoids of HypG(2)

In this paper we consider mappings σ which map the binary operation symbol f to the term σ(f) which do not necessarily preserve the arity. These mapping are called generalized hypersubstitutions of type τ = (2) and we de...

Download PDF file
  • EP ID EP304464
  • DOI -
  • Views 50
  • Downloads 0

How To Cite

Nareupanat Lekkoksung, Prakit Jampachon (2015). NON-DETERMINISTIC LINEAR HYPERSUBSTITUTIONS. Discussiones Mathematicae - General Algebra and Applications, 35(1), -. https://europub.co.uk/articles/-A-304464