English
Related papers

Related papers: Congruence Preserving Functions on Free Monoids

200 papers

The semijoin operation is a fundamental operation of relational algebra that has been extensively used in query processing. Furthermore, semijoins have been used to formulate desirable properties of acyclic schemas; in particular, a schema…

Databases · Computer Science 2026-03-03 Phokion G. Kolaitis

We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…

Logic · Mathematics 2014-06-26 Shohei Izawa

For some monoids, we give a method of composing invertibility preserving maps associated to "partial involutions." Also, we define the notion of "determinants for finite dimensional algebras over a field." As examples, we give invertibility…

Rings and Algebras · Mathematics 2023-03-03 Naoya Yamaguchi , Yuka Yamaguchi

We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regularity for such functions has been defined using two-way…

Formal Languages and Automata Theory · Computer Science 2014-02-14 Rajeev Alur , Adam Freilich , Mukund Raghothaman

Let A be an alphabet and W be a set of words in the free monoid A*. Let S(W) denote the Rees quotient over the ideal of A* consisting of all words that are not subwords of words in W. We call a set of words W finitely based if the monoid…

Group Theory · Mathematics 2016-09-09 Olga Sapir

Let $S$ be one of $\{aba,bcb\}$ and $\{aba, aca\}$, and let $w$ be an infinite square-free word over $\Sigma=\{a,b,c\}$ with no factor in $S$. Suppose that $f:\Sigma\rightarrow T^*$ is a non-erasing morphism. Word $f(w)$ is square-free if…

Formal Languages and Automata Theory · Computer Science 2019-02-18 James D. Currie

Graph products of monoids provide a common framework for direct and free products, and graph monoids (also known as free partially commutative monoids). If the monoids in question are groups, then any graph product is, of course, a group.…

Rings and Algebras · Mathematics 2022-11-23 Yang Dandan , Victoria Gould

We prove several results concerning finitely generated submonoids of the free monoid. These results generalize those known for free submonoids. We prove in particular that if $X=Y\circ Z$ is a composition of finite sets of words with $Y$…

Formal Languages and Automata Theory · Computer Science 2022-07-28 Dominique Perrin , Andrew Ryzhikov

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

Number Theory · Mathematics 2015-06-02 Patrick Cégielski , Serge Grigorieff , Irène Guessarian

We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…

Logic · Mathematics 2024-10-08 Patrick Cegielski , Serge Grigorieff , Irene Guessarian

An $\mathcal{A}$-semigroup is a numerical semigroup without consecutive small elements. This work generalizes this concept to finite-complement submonoids of an affine cone $\mathcal{C}$. We develop algorithmic procedures to compute all…

Commutative Algebra · Mathematics 2025-06-23 J. C. Rosales , R. Tapia-Ramos , A. Vigneron-Tenorio

Let $k\geq 2$ be a square-free integer. We prove that the number of square-free integers $m\in [1,N]$ such that $(k,m)=1$ and $\mathbb{Q}(\sqrt[3]{k^2m})$ is monogenic is $\gg N^{1/3}$ and $\ll N/(\log N)^{1/3-\epsilon}$ for any…

Number Theory · Mathematics 2020-09-08 Zafer Selcuk Aygin , Khoa D. Nguyen

We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…

Rings and Algebras · Mathematics 2017-12-05 Alexei Belov-Kanel , Louis H. Rowen , Uzi Vishne

In this note we prove that any affine algebraic monoid can be obtained as the endomorphisms' monoid of a finite-dimensional (nonassociative) algebra.

Algebraic Geometry · Mathematics 2025-03-06 Alexander Perepechko

An algebra is finitely related (or has finite degree) if its term functions are determined by some finite set of finitary relations. Nilpotent monoids built from words, via Rees quotients of free monoids, have been used to exhibit many…

Group Theory · Mathematics 2024-07-08 Daniel Glasson

A graph $G$ is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function $w$ is defined on its vertices. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight.…

Discrete Mathematics · Computer Science 2018-11-13 Vadim E. Levit , David Tankus

A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight. For…

Discrete Mathematics · Computer Science 2012-10-26 Vadim Levit , David Tankus

We consider algebras with one binary operation $\cdot$ and one generator ({\it monogenic}) and satisfying the left distributive law $a\cdot (b\cdot c)=(a\cdot b)\cdot (a\cdot c)$. One can define a sequence of finite left-distributive…

Logic · Mathematics 2021-02-09 Randall Dougherty , Thomas Jech

It is known that each word of length $n$ contains at most $n+1$ distinct palindromes. A finite rich word is a word with maximal number of palindromic factors. The definition of palindromic richness can be naturally extended to infinite…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Francesco Dolce , Edita Pelantová

Noncommutative functions are graded functions between sets of square matrices of all sizes over two vector spaces that respect direct sums and similarities. They possess very strong regularity properties (reminiscent of the regularity…

Functional Analysis · Mathematics 2020-05-20 Dmitry Kaliuzhnyi-Verbovetskyi , Leonard Stevenson , Victor Vinnikov