English
Related papers

Related papers: Clonoids between modules

200 papers

The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.

Combinatorics · Mathematics 2009-02-10 Miguel Couceiro , Stephan Foldes

The clone lattice Cl(X) over an infinite set X is a complete algebraic lattice with 2^X compact elements. We show that every algebraic lattice with at most 2^X compact elements is a complete sublattice of Cl(X).

Rings and Algebras · Mathematics 2007-05-23 Michael Pinsker

The catenary degree is an invariant that measures the distance between factorizations of elements within an atomic monoid. In this paper, we classify which finite subsets of $\mathbb Z_{\ge 0}$ occur as the set of catenary degrees of a…

Commutative Algebra · Mathematics 2018-08-15 Christopher O'Neill , Roberto Pelayo

Let $G$ be a finite group and $G'$ its commutator subgroup. By a sequence over $G$, we mean a finite unordered sequence of terms from $G$, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered…

Commutative Algebra · Mathematics 2019-05-06 Jun Seok Oh

We study functional clones, which are sets of non-negative pseudo-Boolean functions (functions $\{0,1\}^k\to\mathbb{R}_{\geq 0}$) closed under (essentially) multiplication, summation and limits. Functional clones naturally form a lattice…

Discrete Mathematics · Computer Science 2018-04-13 Andrei Bulatov , Leslie Ann Goldberg , Mark Jerrum , David Richerby , Stanislav Živný

A correspondence between a monogenic function in an arbitrary finite-dimensional commutative associative algebra and a finite set of monogenic functions in a special commutative associative algebra is established.

Commutative Algebra · Mathematics 2018-03-13 Vitalii Shpakivskyi

Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A…

Rings and Algebras · Mathematics 2012-01-27 Gabriella Böhm , Tomasz Brzezinski , Robert Wisbauer

We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $\Gamma$. We prove that whenever $\Gamma$ contains at least one…

Logic · Mathematics 2022-10-13 Mike Behrisch , Edith Vargas-García , Dmitriy Zhuk

We compare two known methods of extending a complex, unital, commutative normed algebra so as to include solutions to sets of monic polynomials over the original algebra. (One of these is a generalisation of a construction from the thesis…

Functional Analysis · Mathematics 2007-05-23 Thomas Dawson

There are continuum many clones on a three-element set even if they are considered up to \emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \emph{self-dual operations}, i.e., operations that…

Rings and Algebras · Mathematics 2023-05-01 Manuel Bodirsky , Albert Vucaj , Dmitriy Zhuk

The primary goal of this paper is to present a unified way to transform the syntax of a logic system into certain initial algebraic structure so that it can be studied algebraically. The algebraic structures which one may choose for this…

Logic in Computer Science · Computer Science 2008-10-20 Zhaohua Luo

We establish a connection between knot theory and cluster algebras via representation theory. To every knot diagram (or link diagram), we associate a cluster algebra by constructing a quiver with potential. The rank of the cluster algebra…

Representation Theory · Mathematics 2024-05-03 Véronique Bazier-Matte , Ralf Schiffler

Let X be a linearly ordered set of arbitrary size (finite or infinite). Natural functions on such a set one can define using the linear order include maximum, minimum and median functions. While it is clear what the clone generated by the…

Rings and Algebras · Mathematics 2007-05-23 Michael Pinsker

We show that for an infinite set X, if L is a completely distributive algebraic lattice with not more completely join irreducible elements than the size of the power set of X, then there is a monoidal interval in the clone lattice on X…

Rings and Algebras · Mathematics 2007-05-23 Michael Pinsker

Semiholomorphic polynomials are functions $f:\mathbb{C}^2\to\mathbb{C}$ that can be written as polynomials in complex variables $u$, $v$ and the complex conjugate $\overline{v}$. We prove the semiholomorphic analogoue of Akbulut's and…

Geometric Topology · Mathematics 2022-11-23 Benjamin Bode

Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions in the cases where the target clone $C_2$ is the clone of projections. Moreover, we explicitly describe the…

Combinatorics · Mathematics 2024-07-01 Erkko Lehtonen

In this paper we develop the theory of homogeneous functions between finite abelian groups. Here, a function $f:G\longrightarrow H$ between finite abelian groups is homogeneous of degree $d$ if $f(nx)=n^df(x)$ for all $x\in G$ and all $n$…

K-Theory and Homology · Mathematics 2023-06-22 R. Keith Dennis , Reinhard C. Laubenbacher

The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on…

Number Theory · Mathematics 2021-03-17 Jan-Willem M. van Ittersum

Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical…

Combinatorics · Mathematics 2020-07-28 Manuel Bodirsky , Michael Pinsker

We consider clones on countable sets. If such a clone has quasigroup operations, is locally closed and countable, then there is a function $f : \mathbb{N} \to \mathbb{N}$ such that the $n$-ary part of $C$ is equal to the $n$-ary part of…

Logic · Mathematics 2019-09-04 Erhard Aichinger