Abstract:The power word problem for a group asks whether an expression , where the are words over a finite set of generators of and the binary encoded integers, is equal to the identity of . It is a restriction of the compressed word problem, where the input word is represented by a straight-line program (i.e., an algebraic circuit over ). We start by showing some easy results concerning the power word problem. In particular, the power word problem for a group is -many-one reducible to the power word problem for a finite-index subgroup of . For our main result, we consider graph products of groups that do not have elements of order two. We show that the power word problem in a fixed such graph product is -Turing-reducible to the word problem for the free group and the power word problems of the base groups. Furthermore, we look into the uniform power word problem in a graph product, where the dependence graph and the base groups are part of the input. Given a class of finitely generated groups without order two elements, the uniform power word problem in a graph product can be solved in , where denotes the uniform power word problem for groups from the class . As a consequence of our results, the uniform knapsack problem in right-angled Artin groups is -complete. The present paper is a combination of the two conference papers (Lohrey and Weiß 2019b, Stober and Weiß 2022a). In Stober and Weiß (2022a) our results on graph products were wrongly stated without the additional assumption that the base groups do not have elements of order two. In the present work we correct this mistake. While we strongly conjecture that the result as stated in Stober and Weiß (2022a) is true, our proof relies on this additional assumption.

Finding direct product decompositions in polynomial time

Decompositions de groupes par produit direct et groupes de Coxeter

Decompositions of the authomorphism groups of edge-colored graphs into the direct product of permutation groups

On the product decomposition conjecture for finite simple groups

A Local Prime Factor Decomposition Algorithm for Strong Product Graphs

Representations of the symmetric group are decomposable in polynomial time

Factorization and irreducibility of composed products

Subgroups of 3-Factor Direct Products

Coxeter groups and Billey-Postnikov decompositions

A Combinatorial Formula for the Wedderburn Decomposition of Rational Group Algebras of Split Metacyclic $p$-groups

Generating subdirect products

Derangements in wreath products of permutation groups

Decomposing Solution Sets of Polynomial Systems: A New Parallel Monodromy Breakup Algorithm

Fully Subexponential Time Approximation Scheme for Product Partition

Group factorisations, uniform automorphisms, and permutation groups of simple diagonal type

Amusing Permutation Representations of Group Extensions

The Power Word Problem in Graph Products

Demazure Product of Permutations and Hopping

A Non-$\mathbb R$-Factorizable Product of $\mathbb R$-Factorizable Groups

Certifying Numerical Decompositions of Compact Group Representations

Beating the Generator-Enumeration Bound for $p$-Group Isomorphism