MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given two elements in $\mathbb{Q}^n \rtimes_\phi \mathbb{Z}^m$, is there an algorithm that decides if they are conjugate? Just to be explicit, $\phi$ is a homomorphism from $\mathbb{Z}^m \to Aut(\mathbb{Q}^n)$, through which elements of $\mathbb{Z}^m$ act on $\mathbb{Q}^n$. If the answer is unknown, can anyone point me in the direction of texts/papers that deal with decision problems in infinitely generated groups?

share|cite|improve this question

This is not an answer, but you will get an answer by doing this. Look at the paper by Noskov, As in that paper, reduce the problem to a commutative algebra problem, then use "Constructive" Commutative Algebra.

share|cite|improve this answer
Here is a better link: – Igor Rivin Jul 10 '13 at 12:22
Thanks for the help! – user36834 Jul 10 '13 at 14:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.