Related papers: Notes on the ordered set $A^A$. Part I. The classi…
We introduce a notion of natural orderings of elements of finite connected quandles of order $n$. When the elements of such a quandle $Q$ are already ordered naturally, any automophism on $Q$ is a natural ordering. Although there are many…
For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for automatic structures is complete for $\Sigma^1_1$; the first…
Graph partitioning, or the dividing of a graph into two or more parts based on certain conditions, arises naturally throughout discrete mathematics, and problems of this kind have been studied extensively. In the 1990s, Ando conjectured…
We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G,…
The notion of Moufang set was introduced by Jacques Tits in \cite{Tits92}. We recall briefly the well-established definition and a construction which, under certain conditions, yields a Moufang set. We show that these conditions can be…
We show that two Alexander biquandles M and M' are isomorphic iff there is an isomorphism of Z[s,1/s,t,1/t]-modules h:(1-st)M --> (1-st)M' and a bijection g:O_s(A) --> O_s(A') between the s-orbits of sets of coset representatives of…
We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…
We say that a finite almost simple $G$ with socle $S$ is admissible (with respect to the spectrum) if $G$ and $S$ have the same sets of orders of elements. Let $L$ be a finite simple linear or unitary group of dimension at least three over…
Lov\'asz (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the number of homomorphisms from C to B for any finite structure C. Soon after,…
Let $G$ be a group. A function $G\rightarrow G$ of the form $x\mapsto x^{\alpha}g$ for a fixed automorphism $\alpha$ of $G$ and a fixed $g\in G$ is called an affine map of $G$. In this paper, we study finite groups $G$ with an affine map of…
The main result of this paper is to show that all binomial identities are orderable. This is a natural statement in the combinatorial theory of finite sets, which can also be applied in distributed computing to derive new strong bounds on…
We give sufficient conditions to find all subtypes isomorphic to a subtype in a finite generalized ordered type.
An infinite linearly ordered set (S,<=) is called doubly homogeneous if its automorphism group A(S) acts 2-transitively on it. We show that any group G arises as outer automorphism group G cong Out(A(S)) of the automorphism group A(S), for…
Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…
Recently V.Drinfeld formulated a number of problems in quantum group theory. In particular, he suggested to consider ``set-theoretical'' solutions of the quantum Yang-Baxter equation, i.e. solutions given by a permutation $R$ of the set…
A graph is said to be $k$-{\em isoregular} if any two vertex subsets of cardinality at most $k$, that induce subgraphs of the same isomorphism type, have the same number of neighbors. It is shown that no $3$-isoregular bicirculant (and more…
We give a new criterion which guarantees that a free group admits a bi-ordering that is invariant under a given automorphism. As an application, we show that the fundamental group of the "magic manifold" is bi-orderable, answering a…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…
For a binary quadratic form $Q$, we consider the action of $\mathrm{SO}_Q$ on a two-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and…