Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose we are given group $G=\langle a_1,\ldots,a_n \mid R_1=1,\ldots R_m=1 \rangle$. Is there an algorithm which computes a finite presentation for the Schur multiplier, i.e. second homology group $K=H^2(G,\mathbb{Z})$? Can one at least solve a decision problem, whether $K$ is trivial or not?

share|improve this question
    
This is implemented in GAP and thus probably accessible via sage. See the first answer to mathoverflow.net/questions/53730/… for some code. –  Franz Lemmermeyer Aug 18 '11 at 14:08
4  
@Franz: "implemented" does not necessary mean that there is an algorithm :) –  Igor Rivin Aug 18 '11 at 14:18
    
@Franz: The question mentioned by you is about finite groups, and I am mostly interested in infinite groups. As I understand, the function AbelianInvariantsMultiplier from GAP works only for finite groups. Also it should be mentioned that question is about "theoretical" algorithm (with any space and time constraints), but it should work for any group presentation. –  Al Tal Aug 18 '11 at 14:36
    
There are some partial results in intlpress.com/hha/v12/n1/a3. If G is finitely presented, and you're okay with field coefficients, there is an algorithm that can give an upper bound to H_2. –  jd.r Aug 18 '11 at 15:44

1 Answer 1

It is proved in "Some embedding theorems and undecidability questions for groups" by C. Gordon, that there is no algorithm that computes a presentation for the Schur multiplier from a presentation of $G$, and moreover there is no algorithm for the deciding whether the Schur multiplier is trivial or not. Some other similar related results are proved, as well.

share|improve this answer

Your Answer

 
discard

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.