Showing 1–26 of 26 results for author: Koppitz, J

Presentations for monoids of endomorphisms of a star graph

Authors: Vitor H. Fernandes, Jörg Koppitz, Tiwadee Musunthia

Abstract: In this paper, we consider the monoids of all endomorphisms, of all weak endomorphisms, of all strong endomorphisms and of all strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to exhibit a presentation for each of them. In this paper, we consider the monoids of all endomorphisms, of all weak endomorphisms, of all strong endomorphisms and of all strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to exhibit a presentation for each of them. △ Less

Submitted 30 December, 2024; originally announced January 2025.

Comments: math.RA. arXiv admin note: text overlap with arXiv:2410.21084

MSC Class: 20M20; 20M05; 05C12; 05C25

Presentations for monoids of partial endomorphisms of a star graph

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz

Abstract: In this paper, we consider the monoids of all partial endomorphisms, of all partial weak endomorphisms, of all injective partial endomorphisms, of all partial strong endomorphisms and of all partial strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to exhibit a presentation for each of them. In this paper, we consider the monoids of all partial endomorphisms, of all partial weak endomorphisms, of all injective partial endomorphisms, of all partial strong endomorphisms and of all partial strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to exhibit a presentation for each of them. △ Less

Submitted 28 October, 2024; originally announced October 2024.

MSC Class: 20M20; 20M05; 05C12; 05C25

The maximal subsemigroups of the ideals on a monoid of partial injections

Authors: Apatsara Sareeto, Jörg Koppitz

Abstract: In the present paper, a submonoid of the well studied monoid $POI_n$ of all order-preserving partial injections on an $n$-element chain is studied. The set $IOF_n^{par}$ of all partial transformations in $POI_n$ which are fence-preserving as well as parity-preserving form a submonoid of $POI_n$. We describe the Green's relations and ideals of $IOF_n^{par}$. For each ideal of $IOF_n^{par}$, we char… ▽ More In the present paper, a submonoid of the well studied monoid $POI_n$ of all order-preserving partial injections on an $n$-element chain is studied. The set $IOF_n^{par}$ of all partial transformations in $POI_n$ which are fence-preserving as well as parity-preserving form a submonoid of $POI_n$. We describe the Green's relations and ideals of $IOF_n^{par}$. For each ideal of $IOF_n^{par}$, we characterize the maximal subsemigroups. We will observe that there are three different types of maximal subsemigroups. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 12 pages

MSC Class: 20M12; 20M18; 20M20 ACM Class: F.4.1

On partial endomorphisms of a star graph

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz

Abstract: In this paper we consider the monoids of all partial endomorphisms, of all partial weak endomorphisms, of all injective partial endomorphisms, of all partial strong endomorphisms and of all partial strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to determine their ranks. We also describe their Green's relations, calculate their cardinalities and st… ▽ More In this paper we consider the monoids of all partial endomorphisms, of all partial weak endomorphisms, of all injective partial endomorphisms, of all partial strong endomorphisms and of all partial strong weak endomorphisms of a star graph with a finite number of vertices. Our main objective is to determine their ranks. We also describe their Green's relations, calculate their cardinalities and study their regularity. △ Less

Submitted 22 January, 2024; originally announced January 2024.

MSC Class: 20M20; 20M10; 05C12; 05C25

A presentation for a submonoid of the symmetric inverse monoid

Authors: Apatsara Sareeto, Jörg Koppitz

Abstract: A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called presentation. In the present paper, we deal with an important class of algebras of type $(2)$, namely with semigroups of transformations on a finite set. Here, we ar… ▽ More A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called presentation. In the present paper, we deal with an important class of algebras of type $(2)$, namely with semigroups of transformations on a finite set. Here, we are particularly interested in a presentation of a submonoid of the symmetric inverse monoid $I_n$. Our main result is a presentations for $IOF_n^{par}$, the monoid of all order-preserving, fence-preserving, and parity-preserving transformations on an $n$-element set. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 19 pages

MSC Class: 20M05; 20M18; 20M20 ACM Class: F.4

On monoids of endomorphisms of a cycle graph

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz, Teresa M. Quinteiro

Abstract: In this paper we consider endomorphisms of an undirected cycle graph from Semigroup Theory perspective. Our main aim is to present a process to determine sets of generators with minimal cardinality for the monoids $wEnd(C_n)$ and $End(C_n)$ of all weak endomorphisms and all endomorphisms of an undirected cycle graph $C_n$ with $n$ vertices. We also describe Green's relations and regularity of thes… ▽ More In this paper we consider endomorphisms of an undirected cycle graph from Semigroup Theory perspective. Our main aim is to present a process to determine sets of generators with minimal cardinality for the monoids $wEnd(C_n)$ and $End(C_n)$ of all weak endomorphisms and all endomorphisms of an undirected cycle graph $C_n$ with $n$ vertices. We also describe Green's relations and regularity of these monoids and calculate their cardinalities. △ Less

Submitted 6 October, 2023; originally announced October 2023.

MSC Class: 05C38; 20M10; 20M20; 05C25

Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz, Teresa M. Quinteiro

Abstract: In this paper we consider the submonoids $\mathcal{OPDI}_n$, $\mathcal{MDI}_n$ and $\mathcal{ODI}_n$ of the dihedral inverse monoid $\mathcal{DI}_n$ of all orientation-preserving, monotone and order-preserving transformations, respectively. Our goal is to exhibit presentations for each of these three monoids. In this paper we consider the submonoids $\mathcal{OPDI}_n$, $\mathcal{MDI}_n$ and $\mathcal{ODI}_n$ of the dihedral inverse monoid $\mathcal{DI}_n$ of all orientation-preserving, monotone and order-preserving transformations, respectively. Our goal is to exhibit presentations for each of these three monoids. △ Less

Submitted 12 October, 2023; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: arXiv admin note: text overlap with arXiv:2205.02196

MSC Class: 20M20; 20M05; 05C12; 05C25

On three submonoids of the dihedral inverse monoid on a finite set

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz, Teresa M. Quinteiro

Abstract: In this paper we consider three submonoids of the dihedral inverse monoid $\mathcal{DI}_n$, namely its submonoids $\mathcal{OPDI}_n$, $\mathcal{MDI}_n$ and $\mathcal{ODI}_n$ of all orientation-preserving, monotone and order-preserving transformations, respectively. For each of these three monoids, we compute the cardinal, give descriptions of Green's relations and determine the rank. In this paper we consider three submonoids of the dihedral inverse monoid $\mathcal{DI}_n$, namely its submonoids $\mathcal{OPDI}_n$, $\mathcal{MDI}_n$ and $\mathcal{ODI}_n$ of all orientation-preserving, monotone and order-preserving transformations, respectively. For each of these three monoids, we compute the cardinal, give descriptions of Green's relations and determine the rank. △ Less

Submitted 6 November, 2023; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: arXiv admin note: text overlap with arXiv:2205.02196

MSC Class: 20M10; 20M20; 05C12; 05C25

The rank of the semigroup of order-, fence-, and parity-preserving partial injections on a finite set

Authors: Apatsara Sareeto, Jörg Koppitz

Abstract: The monoid of all partial injections on a finite set (the symmetric inverse semigroup) is of particular interest because of the well-known Wagner-Preston Theorem. In this article, we step forward the study of a submonoid of the symmetric inverse semigroup. We explore the monoid of all order-, fence-, and parity-preserving transformations on an $n$-element chain. We also characterize the transforma… ▽ More The monoid of all partial injections on a finite set (the symmetric inverse semigroup) is of particular interest because of the well-known Wagner-Preston Theorem. In this article, we step forward the study of a submonoid of the symmetric inverse semigroup. We explore the monoid of all order-, fence-, and parity-preserving transformations on an $n$-element chain. We also characterize the transformations in that monoid and show that it has a rank $3n-6$. In particular, we provide a generating set $A_n$ of minimal size and exhibit concrete normal forms for the transformations generated by $A_n$. △ Less

Submitted 17 October, 2023; v1 submitted 5 August, 2022; originally announced August 2022.

MSC Class: 20M05; 20M18; 20M20 ACM Class: F.4

The rank of the inverse semigroup of all partial automorphisms on a finite crown

Authors: Ilinka Dimitrova, Jörg Koppitz

Abstract: For $n \in \mathbb{N}$, let $[n] = \{1, 2, \ldots, n\}$ be an $n$ - element set. As usual, we denote by $I_n$ the symmetric inverse semigroup on $[n]$, i.e. the partial one-to-one transformation semigroup on $[n]$ under composition of mappings. The crown (cycle) $\cal{C}_n$ is an $n$-ordered set with the partial order $\prec$ on $[n]$, where the only comparabilities are… ▽ More For $n \in \mathbb{N}$, let $[n] = \{1, 2, \ldots, n\}$ be an $n$ - element set. As usual, we denote by $I_n$ the symmetric inverse semigroup on $[n]$, i.e. the partial one-to-one transformation semigroup on $[n]$ under composition of mappings. The crown (cycle) $\cal{C}_n$ is an $n$-ordered set with the partial order $\prec$ on $[n]$, where the only comparabilities are $$1 \prec 2 \succ 3 \prec 4 \succ \cdots \prec n \succ 1 ~~\mbox{ or }~~ 1 \succ 2 \prec 3 \succ 4 \prec \cdots \succ n \prec 1.$$ We say that a transformation $α\in I_n$ is order-preserving if $x \prec y$ implies that $xα\prec yα$, for all $x, y $ from the domain of $α$. In this paper, we study the inverse semigroup $IC_n$ of all partial automorphisms on a finite crown $\cal{C}_n$. We consider the elements, determine a generating set of minimal size and calculate the rank of $IC_n$. △ Less

Submitted 29 April, 2022; originally announced April 2022.

MSC Class: 20M20; 20M18

On the semigroup of all partial fence-preserving injections on a finite set

Authors: Ilinka Dimitrova, Jörg Koppitz

Abstract: For $n \in \mathbb{N}$, let $X_n = \{a_1, a_2, \ldots, a_n\}$ be an $n$ - element set and let $\textbf{F} = (X_n; <_f)$ be a fence, also called a zigzag poset. As usual, we denote by $I_n$ the symmetric inverse semigroup on $X_n$. We say that a transformation $α\in I_n$ is \textit{fence-preserving} if $x <_f y$ implies that $xα<_f yα$, for all $x, y$ in the domain of $α$. In this paper, we study t… ▽ More For $n \in \mathbb{N}$, let $X_n = \{a_1, a_2, \ldots, a_n\}$ be an $n$ - element set and let $\textbf{F} = (X_n; <_f)$ be a fence, also called a zigzag poset. As usual, we denote by $I_n$ the symmetric inverse semigroup on $X_n$. We say that a transformation $α\in I_n$ is \textit{fence-preserving} if $x <_f y$ implies that $xα<_f yα$, for all $x, y$ in the domain of $α$. In this paper, we study the semigroup $PFI_n$ of all partial fence-preserving injections of $X_n$ and its subsemigroup $IF_n = \{α\in PFI_n : α^{-1}\in PFI_n\}$. Clearly, $IF_n$ is an inverse semigroup and contains all regular elements of $PFI_n.$ We characterize the Green's relations for the semigroup $IF_n$. Further, we prove that the semigroup $IF_n$ is generated by its elements with \rank$\geq n-2$. Moreover, for $n \in 2\mathbb{N}$ we find the least generating set and calculate the rank of $IF_n$. △ Less

Submitted 29 November, 2021; originally announced November 2021.

MSC Class: 20M20; 20M18

On relative ranks of the semigroup of orientation-preserving transformations on infinite chain with restricted range

Authors: Ilinka Dimitrova, Jörg Koppitz

Abstract: Let $X$ be an infinite linearly ordered set and let $Y$ be a nonempty subset of $X$. We calculate the relative rank of the semigroup $OP(X,Y)$ of all orientation-preserving transformations on $X$ with restricted range $Y$ modulo the semigroup $O(X,Y)$ of all order-preserving transformations on $X$ with restricted range $Y$. For $Y = X$, we characterize the relative generating sets of minimal size. Let $X$ be an infinite linearly ordered set and let $Y$ be a nonempty subset of $X$. We calculate the relative rank of the semigroup $OP(X,Y)$ of all orientation-preserving transformations on $X$ with restricted range $Y$ modulo the semigroup $O(X,Y)$ of all order-preserving transformations on $X$ with restricted range $Y$. For $Y = X$, we characterize the relative generating sets of minimal size. △ Less

Submitted 24 November, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

MSC Class: 20M20

Partial Automorphisms and Injective Partial Endomorphisms of a Finite Undirected Path

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz, Teresa M. Quinteiro

Abstract: In this paper, we study partial automorphisms and, more generally, injective partial endomorphisms of a finite undirected path from Semigroup Theory perspective. Our main objective is to give formulas for the ranks of the monoids $IEnd(P_n)$ and $PAut(P_n)$ of all injective partial endomorphisms and of all partial automorphisms of the undirected path $P_n$ with $n$ vertices. We also describe Green… ▽ More In this paper, we study partial automorphisms and, more generally, injective partial endomorphisms of a finite undirected path from Semigroup Theory perspective. Our main objective is to give formulas for the ranks of the monoids $IEnd(P_n)$ and $PAut(P_n)$ of all injective partial endomorphisms and of all partial automorphisms of the undirected path $P_n$ with $n$ vertices. We also describe Green's relations of $PAut(P_n)$ and $IEnd(P_n)$ and calculate their cardinals. △ Less

Submitted 29 January, 2021; originally announced January 2021.

MSC Class: 05C38; 20M10; 20M20; 05C25

Generating Sets of an Infinite Semigroup of Transformations Preserving a Zig-zag Order

Authors: Laddawan Lohapan, Jörg Koppitz, Somnuek Worawiset

Abstract: A zig-zag order is like a directed path, only with alternating directions. A generating set of minimal size for the semigroup of all full transformations on a finite set preserving the zig-zag order was determined by Fenandes et al. in 2019. This paper deals with generating sets of the semigroup $F_{\mathbb{N}}$ of all full transformations on the set of all natural numbers preserving the zig-zag o… ▽ More A zig-zag order is like a directed path, only with alternating directions. A generating set of minimal size for the semigroup of all full transformations on a finite set preserving the zig-zag order was determined by Fenandes et al. in 2019. This paper deals with generating sets of the semigroup $F_{\mathbb{N}}$ of all full transformations on the set of all natural numbers preserving the zig-zag order. We prove that $F_{\mathbb{N}}$ has no minimal generating sets and present two particular infinite decreasing chains of generating sets of $F_{\mathbb{N}}$. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 17 pages

MSC Class: 20M05; 20M20

On relative ranks of finite transformation semigroups with restricted range

Authors: Ilinka Dimitrova, Jörg Koppitz

Abstract: In this paper, we determine the relative rank of the semigroup $T(X,Y)$ of all transformations on a finite chain $X$ with restricted range $Y \subseteq X$ modulo the set $OP(X,Y)$ of all orientation-preserving transformation in $T(X,Y)$. Moreover, we state the relative rank of the semigroup $OP(X,Y)$ modulo the set $O(X,Y)$ of all order-preserving transformations in $OP(X,Y)$. In both cases we cha… ▽ More In this paper, we determine the relative rank of the semigroup $T(X,Y)$ of all transformations on a finite chain $X$ with restricted range $Y \subseteq X$ modulo the set $OP(X,Y)$ of all orientation-preserving transformation in $T(X,Y)$. Moreover, we state the relative rank of the semigroup $OP(X,Y)$ modulo the set $O(X,Y)$ of all order-preserving transformations in $OP(X,Y)$. In both cases we characterize the minimal relative generating sets. △ Less

Submitted 13 June, 2020; originally announced June 2020.

MSC Class: 20M20

On Relative Ranks of the Semigroup of Orientation-preserving Transformations on Infinite Chains

Authors: Ilinka Dimitrova, Jörg Koppitz

Abstract: In this paper, we determine the relative rank of the semigroup OP(X) of all orientation-preserving transformations on infinite chains modulo the semigroup O(X) of all order-preserving transformations. In this paper, we determine the relative rank of the semigroup OP(X) of all orientation-preserving transformations on infinite chains modulo the semigroup O(X) of all order-preserving transformations. △ Less

Submitted 26 August, 2020; v1 submitted 13 June, 2020; originally announced June 2020.

MSC Class: 20M20

The rank of the inverse semigroup of partial automorphisms on a finite fence

Authors: J. Koppitz, T. Musunthia

Abstract: A fence is a particular partial order on a (finite) set, close to the linear order. In this paper, we calculate the rank of the semigroup $\mathcal{FI}_{n}$ of all order-preserving partial injections on an $n$-element fence. In particular, we provide a minimal generating set for $\mathcal{FI}_{n}$. In the present paper, $n$ is odd since this problem for even $n$ was already solved by I. Dimitrova… ▽ More A fence is a particular partial order on a (finite) set, close to the linear order. In this paper, we calculate the rank of the semigroup $\mathcal{FI}_{n}$ of all order-preserving partial injections on an $n$-element fence. In particular, we provide a minimal generating set for $\mathcal{FI}_{n}$. In the present paper, $n$ is odd since this problem for even $n$ was already solved by I. Dimitrova and J. Koppitz. △ Less

Submitted 25 March, 2019; originally announced March 2019.

MSC Class: 20M18; 20M20

Ranks of monoids of endomorphisms of a finite undirected path

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz, Teresa M. Quinteiro

Abstract: In this paper we study the widely considered endomorphisms and weak endomorphisms of a finite undirected path from monoid generators perspective. Our main aim is to determine the ranks of the monoids $wEnd P_n$ and $End P_n$ of all weak endomorphisms and all endomorphisms of the undirected path $P_n$ with $n$ vertices. We also consider strong and strong weak endomorphisms of $P_n$. In this paper we study the widely considered endomorphisms and weak endomorphisms of a finite undirected path from monoid generators perspective. Our main aim is to determine the ranks of the monoids $wEnd P_n$ and $End P_n$ of all weak endomorphisms and all endomorphisms of the undirected path $P_n$ with $n$ vertices. We also consider strong and strong weak endomorphisms of $P_n$. △ Less

Submitted 22 October, 2018; originally announced October 2018.

MSC Class: 05C38; 20M10; 20M20; 05C25

A note on generators of the endomorphism semigroup of an infinite countable chain

Authors: Ilinka Dimitrova, Vítor H. Fernandes, Jörg Koppitz

Abstract: In this note, we consider the semigroup $O(X)$ of all order endomorphisms of an infinite chain $X$ and the subset $J$ of $O(X)$ of all transformations $α$ such that $|Im(α)|=|X|$. For an infinite countable chain $X$, we give a necessary and sufficient condition on $X$ for $O(X) = \langle J \rangle$ to hold. We also present a sufficient condition on $X$ for $O(X) = \langle J \rangle$ to hold, for a… ▽ More In this note, we consider the semigroup $O(X)$ of all order endomorphisms of an infinite chain $X$ and the subset $J$ of $O(X)$ of all transformations $α$ such that $|Im(α)|=|X|$. For an infinite countable chain $X$, we give a necessary and sufficient condition on $X$ for $O(X) = \langle J \rangle$ to hold. We also present a sufficient condition on $X$ for $O(X) = \langle J \rangle$ to hold, for an arbitrary infinite chain $X$. △ Less

Submitted 29 September, 2015; originally announced September 2015.

MSC Class: 20M20; 20M10

Stable varieties of semigroups and groupoids

Authors: Sl. Shtrakov, J. Koppitz

Abstract: The paper deals with $Σ-$composition and $Σ$-essential composition of terms, which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids is obtained. We use an abstract reduction system which simplifies the presentations of terms of type $τ=(2)$ to study the varietiy of idempotent groupoids and s-stable v… ▽ More The paper deals with $Σ-$composition and $Σ$-essential composition of terms, which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids is obtained. We use an abstract reduction system which simplifies the presentations of terms of type $τ=(2)$ to study the varietiy of idempotent groupoids and s-stable varieties of groupoids. They are used as an alternating of the stable varieties, aiming to highlight replacing the subterms of a term in a deductive systems instead of the usual replacing the variables with terms. △ Less

Submitted 1 November, 2014; v1 submitted 30 July, 2012; originally announced July 2012.

Comments: 21 pages, 3 figures, J. Algebra Universalis, 2014

MSC Class: 08B05; 08A02; 03C05

Maximal Subsemigroups containing a particular semigroup

Authors: Jorg Koppitz, Tiwadee Musunthia

Abstract: We study maximal subsemigroups of the monoid T(X) of all full transformations on the set X=N of natural numbers containing a given subsemigroup W of T(X) where each element of a given set $U$ is a generator of T(X) modulo W. This note continue the study of maximal subsemigroups on the monoid of all full transformations on a infinite set. We study maximal subsemigroups of the monoid T(X) of all full transformations on the set X=N of natural numbers containing a given subsemigroup W of T(X) where each element of a given set $U$ is a generator of T(X) modulo W. This note continue the study of maximal subsemigroups on the monoid of all full transformations on a infinite set. △ Less

Submitted 16 January, 2012; v1 submitted 23 December, 2011; originally announced December 2011.

Comments: 9 pages

MSC Class: 20M20

Finite symmetric functions with non-trivial arity gap

Authors: Sl. Shtrakov, J. Koppitz

Abstract: Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the essential arity gap of $f$ which is the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. In the present paper we study the properties of the symmetric function with non-trivial arity gap ($2\leq gap(f)$). We prove several results concerning decomposition o… ▽ More Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the essential arity gap of $f$ which is the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. In the present paper we study the properties of the symmetric function with non-trivial arity gap ($2\leq gap(f)$). We prove several results concerning decomposition of the symmetric functions with non-trivial arity gap with its minors or subfunctions. We show that all non-empty sets of essential variables in symmetric functions with non-trivial arity gap are separable. △ Less

Submitted 7 February, 2013; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: 12 pages

MSC Class: 06E35 ACM Class: G.2.0

Multi-Hypersubstitutions and Colored Solid Varieties

Authors: Klaus Denecke, Jorg Koppitz, Slavcho Shtrakov

Abstract: Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by operation symbols and by colors, i.e. certain positive integers. We are interested in mappings which map differently colored operation symbols to different terms.… ▽ More Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by operation symbols and by colors, i.e. certain positive integers. We are interested in mappings which map differently colored operation symbols to different terms. In this paper we extend the theory of hypersubstitutions and solid varieties to multi-hypersubstitutions and colored solid varieties. We develop the interconnections between such colored terms and multi-hypersubstitutions and the equational theory of Universal Algebra. The collection of all varieties of a given type forms a complete lattice which is very complex and difficult to study; multi-hypersubstitutions and colored solid varieties offer a new method to study complete sublattices of this lattice. △ Less

Submitted 3 December, 2008; v1 submitted 28 November, 2008; originally announced November 2008.

Comments: 23 pages

MSC Class: 08A15; 08A25

Journal ref: International Journal of Algebra and Computation Vol. 16, No. 4 (2006) 797-815

The Depth of a Hypersubstitution

Authors: Klaus Denecke, Jorg Koppitz, Slavcho Shtrakov

Abstract: For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution. For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution. △ Less

Submitted 28 November, 2008; originally announced November 2008.

Comments: 10 pages

MSC Class: 03B50; 08A70

Journal ref: Journal of Automata, Languages and Combinatorics 6 (2001) 3, 253-262

On mappings of terms determined by hypersubstitutions

Authors: Jorg Koppitz, Slavcho Shtrakov

Abstract: The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all terms. The set of all such hypersubstitutions forms a monoid. On the other hand, one can modify each hypersubstitution to any mapping on the set of terms. For this we can consider mappings from the set of all hypersubsti… ▽ More The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all terms. The set of all such hypersubstitutions forms a monoid. On the other hand, one can modify each hypersubstitution to any mapping on the set of terms. For this we can consider mappings from the set of all hypersubstitutions into the set of all mappings on the set of all terms. △ Less

Submitted 20 November, 2008; originally announced November 2008.

Comments: 10 pages, Journal "Algebra and Discrete Mathematics", Number 3 (2005), pp. 18-29

MSC Class: 20M14; 20M07

On finite functions with non-trivial arity gap

Authors: Slavcho Shtrakov, Joerg Koppitz

Abstract: Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. We particularly solve a problem concerning the explicit determination of $n$-ary $k-$valued functions $f$ with $2\leq gap(f)\leq n\leq k$. Our methods yield new combinatorial results about the number o… ▽ More Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. We particularly solve a problem concerning the explicit determination of $n$-ary $k-$valued functions $f$ with $2\leq gap(f)\leq n\leq k$. Our methods yield new combinatorial results about the number of such functions. △ Less

Submitted 5 March, 2010; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: 17 pages, Int. Conf. Algebraic and Combinatorial Coding Theory, ACCT2008, June 16 - Sunday 22, 2008, Pamporovo, BULGARIA

ACM Class: G.2.0