Related papers: Operations preserving equivalence relations
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We give a conceptual explanation of universal deformation formulas for unital associative algebras and prove some results on the structure of their moduli spaces. We then generalize universal deformation formulas to other types of algebras…
Algebraic operations are understood as topologiztion of algebra. They become an example of simplest convergence space. In our article the convergence is a arbitrary multivalued appointment. The continuity of some mapping between two…
To every one-sided shift space $\mathsf{X}$ we associate a cover $\tilde{\mathsf{X}}$, a groupoid $\mathcal{G}_{\mathsf{X}}$ and a $\mathrm{C^*}$-algebra $\mathcal{O}_{\mathsf{X}}$. We characterize one-sided conjugacy, eventual conjugacy…
We introduce a rich family of generalizations of the pentagram map sharing the property that each generates an infinite configuration of points and lines with four points on each line. These systems all have a description as $Y$-mutations…
We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they are generated by a finite set of operations. We obtain…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
In the early 80's, Alain Quilliot presented an approach of ordered sets and graphs in terms of metric spaces, where instead of positive real numbers, the values of the distance are elements of an ordered monoid equipped with an involution.…
Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified through ternary operations. In this context, we introduce structures that contain two constants and a…
This paper introduces iterated monodromy groups for transcendental functions and discusses them in the simplest setting, for post-singularly finite exponential functions. These groups are self-similar groups in a natural way, based on an…
We give a formula for the universal R-matrix of the quantized universal enveloping algebra $U_q(\g).$ This is similar to a previous formula due to Kirillov-Reshetikhin and Levendorskii-Soibelman, except that where they use the action of the…
We introduce a common generalization of the strong Hanani-Tutte theorem and the weak Hanani-Tutte theorem: if a graph $G$ has a drawing $D$ in the plane where every pair of independent edges crosses an even number of times, then $G$ has a…
We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…
In this article we prove that the co-compactness of the arithmetic lattices in a connected semisimple real Lie group is preserved if the lattices under consideration are representation equivalent. This is in the spirit of the question posed…
By a completion of a lemma of Babalola and Opoola \cite{KT}, we prove that certain generalized integral operators preserve $n$-starlikeness in the open unit disk $E=\{z\in \mathbb{C}: |z|<1\}$. Our results generalize, extend and improve…
Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…
We introduce and study a unital version of shift equivalence for finite square matrices over the nonnegative integers. In contrast to the classical case, we show that unital shift equivalence does not coincide with one-sided eventual…
Let A, B, C, D be given finite sets of pairs of n-by-n complex matrices. We describe an algorithm to determine, with finitely many computations, whether there is a single unitary matrix U such that each pair of matrices in A is unitarily…
We consider continuous maps of the interval which preserve the Lebesgue measure. Except for the identity map or $1 - \id$ all such maps have topological entropy at least $\log2/2$ and generically they have infinite topological entropy. In…
We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element…