Related papers: Aperiodic Pointlikes and Beyond

Let \pi(G) denote the set of prime divisors of the order of a finite group G. The prime graph of G is the graph with vertex set \pi(G) with edges {p,q} if and only if there exists an element of order pq in G. In this paper, we prove that a…

We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…

We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…

A new scheme for proving pseudoidentities from a given set {\Sigma} of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when {\Sigma} defines a locally finite variety, a pseudovariety of…

Two semisimple algebraic groups of the same type are said to be motivic equivalent if the motives of the associated projective homogeneous varieties of the same type are isomorphic. We give general criteria of motivic equivalence in terms…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

Recently, Moret\'o and Rizo proposed a conjecture, known as the Picky Conjecture, proposing new character correspondences extending the McKay Conjecture. We prove the Picky Conjecture for all quasi-simple groups of Lie type for non-defining…

A discrete set in the Euclidian space is almost periodic, if the measure with the unite masses at points of the set is almost periodic in the weak sense. We prove the following result: if A is a discrete almost periodic set and the set A-A…

In this work we prove the undecidability (and $\Sigma^0_1$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic methods, namely the technique of effective…

We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…

We study a class of finite groups $G$ which behave similarly to elementary abelian $p$-groups with $p$ prime, that is, there exists a subgroup $N$ such that all elements of $G\setminus N$ are conjugate or inverse-conjugate under $\Aut(G)$.…

We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.

We show that the set of conjugacy classes of cubic polynomials with a prefixed critical point, of preperiod $k\geq 1$, is an irreducible algebraic curve. We also establish an analogous result for quadratic rational maps. We then study a…

In this paper we give invariants that characterize isotypically equivalent Abelian periodic groups. Also, we describe types of standart tuples of elements in these groups. As the particular case we prove that two Abelian $p$-groups with…

We prove the following propositions. Theorem 1: Let $M$ be a subfield of a fixed algebraic closure $\tilde \Q$ of $\Q$ whose existential elementary theory is decidable (resp. primitively decidable). Then, M is conjugate to a recursive…

Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to…

In this paper, we mainly study hyperbolic semigroups from which we get non-empty escaping set and Eremenko's conjecture remains valid. We prove that if each generator of bounded type transcendental semigroup S is hyperbolic, then the…

We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors. Inspired by the classical theory of…

Let $\pi$ be a set of primes. By H.Wielandt definition, {\it Sylow $\pi$-theorem} holds for a finite group $G$ if all maximal $\pi$-subgroups of $G$ are conjugate. In the paper, the following statement is proven. Assume that $\pi$ is a…

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…