Searcharxiv⌕ Search

arXiv subjects

Patrick Cégielski

Publications and source records attributed to Patrick Cégielski.

5 recordsLinked to original sources
arXiv2026

Preorder Preservation versus Congruence Preservation

Looking at some monoids and (semi)rings (natural numbers, integers and $p$-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function $f$ on such an algebra to behave like the operations of the algebra. The first way is to preserve congruences or stable preorders. The second way is to demand that, for any (recognizable) set $L$, a suitably chosen lattice (or Boolean algebra) generated by $L$ be closed under inverse images by the function $f$.

math.LO↗
arXiv2022

Affine completeness of some free binary algebras

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. An algebra is said to be affine complete if every congruence preserving function is a polynomial function. We show that the algebra of (possibly empty) binary trees whose leaves are labeled by letters of an alphabet containing at least one letter, and the free monoid on an alphabet containing at least two letters are affine complete.

math.RA↗
arXiv2016

Congruence Preserving Functions on Free Monoids

A function on an algebra is congruence preserving if, for any congruence, it maps congruent elements to congruent elements. We show that, on a free monoid generated by at least 3 letters, a function from the free monoid into itself is congruence preserving %nonmonogenic if and only if it is of the form $x \mapsto w_0 x w_1 \cdots w_{n-1} x w_n$ for some finite sequence of words $w_0,\ldots,w_n$. We generalize this result to functions of arbitrary arity. This shows that a free monoid with at least three generators is a (noncommutative) affine complete algebra. Up to our knowledge, it is the first (nontrivial) case of a noncommutative affine complete algebra.

math.RA↗
arXiv2015

Arithmetical Congruence Preservation: from Finite to Infinite

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 polynomials (taking only integral values) and the function giving the least common multiple of $1,2,\ldots,k$. The tool used to obtain these characterizations is "lifting": if $π\colon X\to Y$ is a surjective morphism, and $f$ a function on $Y$ a lifting of $f$ is a function $F$ on $X$ such that $π\circ F=f\circπ$. In this paper we relate the finite and infinite notions by proving that the finite case can be lifted to the infinite one. For $p$-adic and profinite integers we get similar characterizations via lifting. We also prove that lattices of recognizable subsets of $Z$ are stable under inverse image by congruence preserving functions.

math.NT↗