Related papers: Rational subsets of Baumslag-Solitar groups
Motivated by model-theoretic properties of the BSR class, we present a family of semantic classes of FO formulae with finite or co-finite spectra over a relational vocabulary \Sigma. A class in this family is denoted EBS_\Sigma(\sigma),…
This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is…
We introduce the class of supra-SIM sets of natural numbers. We prove that this class is partition regular and closed under finite-embeddability. We also prove some results on sumsets and SIM sets motivated by their positive Banach density…
We study convergent sequences of Baumslag-Solitar groups in the space of marked groups. We prove that BS(m,n) --> F_2 for |m|,|n| --> \infty and BS(1,n) --> Z \wr Z for |n| --> \infty. For m fixed, |m|>1, we show that the sequence…
Prototypical rational vertex operator algebras are associated to affine Lie algebras at positive integer level k. They correspond physically to the Wess-Zumino-Witten theories, and their representation theory can be captured by quantum…
We define basic notions in the category of conic representations of a topological group and prove elementary facts about them. We show that a conic representation determines an ordinary dynamical system of the group together with a…
In a recently launched research program for developing logic as a formal theory of (interactive) computability, several very interesting logics have been introduced and axiomatized. These fragments of the larger Computability Logic aim not…
Bethe ansatz equations for spin-$s$ Heisenberg spin chain with $s\ge1$ are significantly more difficult to analyze than the spin-$\tfrac{1}{2}$ case, due to the presence of repeated roots. As a result, it is challenging to derive extra…
The problem of embedding an ample semigroup in an inverse semigroup as a (2, 1, 1)-type subalgebra is known to be undecidable. In this article, we investigate the problem for certain classes of ample semigroups. We also give examples of…
We show that real semi-simple Lie groups of higher rank contain (infinitely generated) discrete subgroups with full limit sets in the corresponding Furstenberg boundaries. Additionally, we provide criteria under which discrete subgroups of…
In this article, we derive explicit combinatorial formulas, depending only on $q$, for the Wedderburn decomposition of the rational group algebras of the finite linear groups $\operatorname{SL}_2(q)$ and $\operatorname{PSL}_2(q)$.…
In this article, we solve the twisted conjugacy problem with respect to endomorphisms for solvable Baumslag--Solitar groups $BS(1,n)$, i.e., we propose an algorithm which, given two elements $u,v \in BS(1,n)$ and an endomorphism $\psi \in…
We investigate the Membership Problem for hypergeometric sequences: given a hypergeometric sequence $\langle u_n \rangle_{n=0}^\infty$ of rational numbers and a target $t \in \mathbb{Q}$, decide whether $t$ occurs in the sequence. We show…
In this paper we study the generic, i.e., typical, behavior of finitely generated subgroups of hyperbolic groups and also the generic behavior of the word problem for amenable groups. We show that a random set of elements of a nonelementary…
Let $X \subset \mathbb{P}(w_0, w_1, w_2, w_3)$ be a quasismooth well-formed weighted projective hypersurface and let $L = lcm(w_0,w_1,w_2,w_3)$. We characterize when $X$ is rational under the assumption that $L$ divides $deg(X)$ by…
We analyse the complexity of the satisfiability problem ssmSAT for State Space Models (SSM), which asks whether an input sequence can lead the model to an accepting configuration. We find that ssmSAT is undecidable in general, reflecting…
The Baumslag-Solitar groups and their certain variations are a-T-menable. This is proved by embeding them into topological groups and studying representation theoretic properties of the latter. The paper is motivated by the questions of A.…
In this project, we will study the Brauer group that was first defined by R. Brauer. The elements of the Brauer group are the equivalence classes of finite dimensional central simple algebra. Therefore understanding the structure of the…
A thorough analysis of Lie super-bialgebra structures on Lie super-algebras osp(1|2) and super-e(2) is presented. Combined technique of computer algebraic computations and a subsequent identification of equivalent structures is applied. In…
We consider the satisfiability problem for the two-variable fragment of first-order logic over finite unranked trees. We work with signatures consisting of some unary predicates and the binary navigational predicates child, right sibling,…