On sets related to maximal clones

Yeni Susanti; Klaus Denecke

Displaying similar documents to “On sets related to maximal clones”

Regular elements and Green's relations in Menger algebras of terms

Klaus Denecke, Prakit Jampachon (2006)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Defining an (n+1)-ary superposition operation $S^{n}$ on the set $W_{τ} (X_{n})$ of all n-ary terms of type τ, one obtains an algebra $n - c l o n e τ : = (W_{τ} (X_{n}); S^{n}, x_{1}, . . ., x_{n})$ of type (n+1,0,...,0). The algebra n-clone τ is free in the variety of all Menger algebras ([9]). Using the operation $S^{n}$ there are different possibilities to define binary associative operations on the set $W_{τ} (X_{n})$ and on the cartesian power $W_{τ} {(X_{n})}^{n}$ . In this paper we study idempotent and regular elements as well as Green’s relations in semigroups of terms with these binary associative...

On the number of finite algebraic structures

Erhard Aichinger, Peter Mayr, R. McKenzie (2014)

Journal of the European Mathematical Society

Similarity:

We prove that every clone of operations on a finite set $A$ , if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting $R$ for some finitary relation $R$ over $A$ . It follows that for a fixed finite set $A$ , the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra...

On semigroups of $σ$ -endomorphisms

Iwanik, Anzelm

Similarity:

Expansions of binary recurrences in the additive base formed by the number of divisors of the factorial

Florian Luca, Augustine O. Munagi (2014)

Colloquium Mathematicae

Similarity:

We note that every positive integer N has a representation as a sum of distinct members of the sequence ${d (n!)}_{n \geq 1}$ , where d(m) is the number of divisors of m. When N is a member of a binary recurrence $u = {u ₙ}_{n \geq 1}$ satisfying some mild technical conditions, we show that the number of such summands tends to infinity with n at a rate of at least c₁logn/loglogn for some positive constant c₁. We also compute all the Fibonacci numbers of the form d(m!) and d(m₁!) + d(m₂)! for some positive integers m,m₁,m₂. ...

Inverses of generators of nonanalytic semigroups

Ralph deLaubenfels (2009)

Studia Mathematica

Similarity:

Suppose A is an injective linear operator on a Banach space that generates a uniformly bounded strongly continuous semigroup ${e^{t A}}_{t \geq 0}$ . It is shown that $A^{- 1}$ generates an $O (1 + τ) A {(1 - A)}^{- 1}$ -regularized semigroup. Several equivalences for $A^{- 1}$ generating a strongly continuous semigroup are given. These are used to generate sufficient conditions on the growth of ${e^{t A}}_{t \geq 0}$ , on subspaces, for $A^{- 1}$ generating a strongly continuous semigroup, and to show that the inverse of -d/dx on the closure of its image in L¹([0,∞)) does not generate...

$𝒯$ -Prime Subsets in Semigroups

Bedřich Pondělíček (1975)

Matematický časopis

Similarity:

Sums of commuting operators with maximal regularity

Christian Le Merdy, Arnaud Simard (2001)

Studia Mathematica

Similarity:

Let Y be a Banach space and let $S \subset L_{p}$ be a subspace of an $L_{p}$ space, for some p ∈ (1,∞). We consider two operators B and C acting on S and Y respectively and satisfying the so-called maximal regularity property. Let ℬ and be their natural extensions to $S (Y) \subset L_{p} (Y)$ . We investigate conditions that imply that ℬ + is closed and has the maximal regularity property. Extending theorems of Lamberton and Weis, we show in particular that this holds if Y is a UMD Banach lattice and $e^{- t B}$ is a positive contraction...

From binary cube triangulations to acute binary simplices

Brandts, Jan, van den Hooff, Jelle, Kuiper, Carlo, Steenkamp, Rik

Similarity:

Cottle’s proof that the minimal number of $0 / 1$ -simplices needed to triangulate the unit $4$ -cube equals $16$ uses a modest amount of computer generated results. In this paper we remove the need for computer aid, using some lemmas that may be useful also in a broader context. One of the $0 / 1$ -simplices involved, the so-called antipodal simplex, has acute dihedral angles. We continue with the study of such acute binary simplices and point out their possible relation to the Hadamard determinant problem. ...

Semigroups generated by convex combinations of several Feller generators in models of mathematical biology

Adam Bobrowski, Radosław Bogucki (2008)

Studia Mathematica

Similarity:

Let be a locally compact Hausdorff space. Let $A_{i}$ , i = 0,1,...,N, be generators of Feller semigroups in C₀() with related Feller processes $X_{i} = X_{i} (t), t \geq 0$ and let $α_{i}$ , i = 0,...,N, be non-negative continuous functions on with $\sum_{i = 0}^{N} α_{i} = 1$ . Assume that the closure A of $\sum_{k = 0}^{N} α_{k} A_{k}$ defined on $⋂_{i = 0}^{N} (A_{i})$ generates a Feller semigroup T(t), t ≥ 0 in C₀(). A natural interpretation of a related Feller process X = X(t), t ≥ 0 is that it evolves according to the following heuristic rules: conditional on being at a point p ∈ , with probability...

On the structure of continuous uninorms

Paweł Drygaś (2007)

Kybernetika

Similarity:

Uninorms were introduced by Yager and Rybalov [13] as a generalization of triangular norms and conorms. We ask about properties of increasing, associative, continuous binary operation $U$ in the unit interval with the neutral element $e \in [0, 1]$ . If operation $U$ is continuous, then $e = 0$ or $e = 1$ . So, we consider operations which are continuous in the open unit square. As a result every associative, increasing binary operation with the neutral element $e \in (0, 1)$ , which is continuous in the open unit square may be...

Local integrability of strong and iterated maximal functions

Paul Alton Hagelstein (2001)

Studia Mathematica

Similarity:

Let $M_{S}$ denote the strong maximal operator. Let $M_{x}$ and $M_{y}$ denote the one-dimensional Hardy-Littlewood maximal operators in the horizontal and vertical directions in ℝ². A function h supported on the unit square Q = [0,1]×[0,1] is exhibited such that $\int_{Q} M_{y} M_{x} h < \infty$ but $\int_{Q} M_{x} M_{y} h = \infty$ . It is shown that if f is a function supported on Q such that $\int_{Q} M_{y} M_{x} f < \infty$ but $\int_{Q} M_{x} M_{y} f = \infty$ , then there exists a set A of finite measure in ℝ² such that $\int_{A} M_{S} f = \infty$ .

On the fundamental solution of the equation $∆^{p} u (X) + k (r) u (X) = 0$

J. Musiałek (1969)

Annales Polonici Mathematici

Similarity: