Related papers: Submonoid Membership in n-dimensional lamplighter …

This paper is concerned with absolutely irreducible quasisimple subgroups $G$ of a finite general linear group $GL_d(\mathbb{F}_q)$ for which some element $g\in G$ of prime order $r$, in its action on the natural module…

We prove that one variable equations in the lamplighter group $\MZ_2\wr \MZ$ are decidable and describe an algorithm for solving such equations. The algorithm has super-exponential time complexity in the worst case. We also show that, for…

Let $G$ be a group and $H \le K \le G$. We say that $H$ is $c$-embedded in $G$ with respect to $K$ if there is a subgroup $B$ of $G$ such that $G = HB$ and $H \cap B \le Z(K)$. Given a finite group $G$, a prime number $p$ and a Sylow…

Fix a poset $P$ and a natural number $n$. For various commutative local rings $\Lambda$, each of Loewy length $n$, consider the category $\textrm{sub}_\Lambda P$ of $\Lambda$-linear submodule representations of $P$. We give a criterion for…

The subpower membership problem SMP(A) of a finite algebraic structure A asks whether a given partial function from A^k to A can be interpolated by a term operation of A, or not. While this problem can be EXPTIME-complete in general,…

There have been several attempts to extend the notion of conjugacy from groups to monoids. The aim of this paper is study the decidability and independence of conjugacy problems for three of these notions (which we will denote by $\sim_p$,…

We construct a resolution of irreducible complex representations of the symmetric group $S_n$ by restrictions of representations of $GL_n(\mathbb{C})$ (where $S_n$ is the subgroup of permutation matrices). This categorifies a recent result…

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…

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

In this paper we study complex representations of the factorpower $\fp(G,M)$ of a finite group $G$ acting on a finite set $M$. This includes the finite monoid $\FP$, which can be seen as a kind of a ``balanced'' generalization of the…

The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…

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…

We prove that the power word problem for certain metabelian subgroups of $\mathsf{GL}(2,\mathbb{C})$ (including the solvable Baumslag-Solitar groups $\mathsf{BS}(1,q) = \langle a,t \mid t a t^{-1} = a^q \rangle$) belongs to the circuit…

We prove that the compressed word problem and the compressed simultaneous conjugacy problem are solvable in polynomial time in hyperbolic groups. In such problems, group elements are input as words defined by straight line programs defined…

Every finite group $G$ has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length $\lambda (G)$ as the minimum number of nonsoluble factors in a series of…

This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second…

We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either…

In this paper we interpret the solutions to a particular Galois embedding problem over an extension K/F whose Galois group is a finite, cyclic p group in terms of certain Galois submodules within the parameterizing space of elementary…

In recent years, knapsack problems for (in general non-commutative) groups have attracted attention. In this paper, the knapsack problem for wreath products is studied. It turns out that decidability of knapsack is not preserved under…

In this paper we study the parameterized complexity of two well-known permutation group problems which are NP-complete. 1. Given a permutation group G=<S>, subgroup of $S_n$, and a parameter $k$, find a permutation $\pi$ in G such that…