Related papers: Does $\mathcal P(\omega) / \mathrm{fin}$ know its …

For a classical group $G$ over a field $F$ together with a finite-order automorphism $\theta$ that acts compatibly on $F$, we describe the fixed point subgroup of $\theta$ on $G$ and the eigenspaces of $\theta$ on the Lie algebra…

Let $\Diffeo=\Diffeo(\R)$ denote the group of infinitely-differentiable diffeomorphisms of the real line $\R$, under the operation of composition, and let $\Diffeo^+$ be the subgroup of diffeomorphisms of degree +1, i.e.…

We study algebraic dynamical systems (and, more generally, $\sigma$-varieties) $\Phi:{\mathbb A}^n_{\mathbb C} \to {\mathbb A}^n_{\mathbb C}$ given by coordinatewise univariate polynomials by refining a theorem of Ritt. More precisely, we…

In this paper we make an attempt to study right loops $(S, o)$ in which, for each $y\in S$, the map $\sigma_y$ from the inner mapping group $G_S$ of $(S, o)$ to itself given by $\sigma_y (h)(x) o\ h(y)= h(xoy)$, $x\in S, h\in G_S$ is a…

We prove that an $\omega$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that…

The polynomial automorphisms of the affine plane over a field K form a group which has the structure of an amalgamated free product. This well-known algebraic structure can be used to determine some key results about the symmetry and…

We prove in ZFC that for mu >= aleph_2 there is a sigma --ideal I on mu and a Boolean sigma --subalgebra B of the family of subsets of mu which includes I such that the natural homomorphism from B onto B/I cannot be lifted.

A graph $\Gamma$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $\Gamma$ with $V(\Gamma)$ admitting…

An automorphism of a spherical building is called \textit{domestic} if it maps no chamber to an opposite chamber. In previous work the classification of domestic automorphisms in large spherical buildings of types $\mathsf{F}_4$,…

Let $X$ be a projective integral scheme with endomorphism $\sigma$, where $\sigma$ is finite, but not an automorphism. We examine noncommutative ampleness of bimodules defined by $\sigma$. In contrast to the automorphism case, one-sided…

It has long been known that a vertex-transitive graph $\Gamma$ is isomorphic to a double coset graph $\text{Cos}(G,H,S)$ of a transitive group $G\le\text{Aut}(\Gamma)$, a vertex stabilizer $H\le G$, and some subset $S\subseteq G$. We show…

Let $P$ be a closed convex cone in $\mathbb{R}^{n}$. Assume that $P$ is spanning i.e. $P-P=\mathbb{R}^{n}$ and pointed i.e. $P \cap -P=\{0\}$. Let $\alpha:=\{\alpha_{x}:x \in P\}$ be a $\sigma$-weakly continuous family of unital normal…

Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on…

In this paper we further develop the theory of one sided shift spaces over infinite alphabets, characterizing one-step shifts as edge shifts of ultragraphs and partially answering a conjecture regarding shifts of finite type (we show that…

A general overview of the phenomenon of automatic continuity of homomorphisms between Polish groups is given. In particular, we study variants and improvements of the closed graph theorem, applying these to the problem of continuity of…

A detailed proof is given of a theorem describing the centraliser of a transitive permutation group, with applications to automorphism groups of objects in various categories of maps, hypermaps, dessins, polytopes and covering spaces, where…

We consider $\omega^n$-automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length $\omega^n$ for some integer $n\geq 1$. We show that all these structures are…

Let $G$ be a finite non-abelian simple group, $C$ a non-identity conjugacy class of $G$, and $\Gamma_C$ the Cayley graph of $G$ based on $C \cup C^{-1}$. Our main result shows that in any such graph, there is an involution at bounded…

We study periodic points for endomorphisms $\sigma$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $\zeta_\sigma$ of $\sigma$ is either rational or…

In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…